Телеграмм чат группы webassembly

2020 May 24

MV

Mikhail Voronov in WebAssembly — русскоговорящее сообщество

@voronovm Вы не можете просто скомпилировать c в формальный язык (Тюринг вращался бы в его могиле). Но я не буду спорить

а это к чему относится? и что такое в точности формальный язык?

источник

16:15пожаловаться #1

e

egoarka in WebAssembly — русскоговорящее сообщество

>asmble - компилит wasm в jvm

а когда это может понадобится?)
чтобы можно было тот же редис запустить на мобилке?

источник

16:16пожаловаться #2

MP

Michael Pavlovsky in WebAssembly — русскоговорящее сообщество

MaxGraey, [24.05.20 08:55]
[In reply to Mikhail Voronov]
Не нужно ничего на раст переписывать) Только скомпилировать C++ в WebAssembly

Mikhail Voronov, [24.05.20 08:58]
Firefox вот похожее уже делает
https://hacks.mozilla.org/2020/02/securing-firefox-with-webassembly/

источник

16:16пожаловаться #3

MV

Mikhail Voronov in WebAssembly — русскоговорящее сообщество

egoarka

>asmble - компилит wasm в jvm

а когда это может понадобится?)
чтобы можно было тот же редис запустить на мобилке?

Мы использовали раньше asmble, потому что основная часть кода была написана на скале. И это позволяло нам удобно в одно адресное пространство загружать скомпилированный из васма jvm-класс

источник

16:18пожаловаться #4

JC

Julian =) Coffee in WebAssembly — русскоговорящее сообщество

Michael Pavlovsky

@voronovm Вы не можете просто скомпилировать c в формальный язык (Тюринг вращался бы в его могиле). Но я не буду спорить

Вы про Тьюринг полноту?

источник

16:18пожаловаться #5

MV

Mikhail Voronov in WebAssembly — русскоговорящее сообщество

Michael Pavlovsky

MaxGraey, [24.05.20 08:55]
[In reply to Mikhail Voronov]
Не нужно ничего на раст переписывать) Только скомпилировать C++ в WebAssembly

Mikhail Voronov, [24.05.20 08:58]
Firefox вот похожее уже делает
https://hacks.mozilla.org/2020/02/securing-firefox-with-webassembly/

ну я тут под похожим имел в виду использование wasm в качестве одного из exploit mitigations

источник

16:19пожаловаться #6

e

egoarka in WebAssembly — русскоговорящее сообщество

Mikhail Voronov

Мы использовали раньше asmble, потому что основная часть кода была написана на скале. И это позволяло нам удобно в одно адресное пространство загружать скомпилированный из васма jvm-класс

да уж, раньше такого нельзя было представить

источник

16:19пожаловаться #7

MV

Mikhail Voronov in WebAssembly — русскоговорящее сообщество

ну asmble, к сожалению, не развивается больше и у него есть много непреодолимых ограничений (без использования jni) по быстроте работы по сравнению с wasmer/wasmtime

источник

16:20пожаловаться #8

AT

Alexander Tchitchigi... in WebAssembly — русскоговорящее сообщество

Michael Pavlovsky

@voronovm Вы не можете просто скомпилировать c в формальный язык (Тюринг вращался бы в его могиле). Но я не буду спорить

Если Вас беспокоят Undefined Behaviour, то они на то и Undefined, что их можно "додефайнить" любым удобным способом, что компиляторы/процессоры с успехом и делают.

источник

16:25пожаловаться #9

AT

Alexander Tchitchigi... in WebAssembly — русскоговорящее сообщество

При этом, machine language — полностью формальный язык, и компиляторы как-то ухитряются переводить в него C/C++ код. 🤷‍♀️

источник

16:26пожаловаться #10

MP

Michael Pavlovsky in WebAssembly — русскоговорящее сообщество

Alexander Tchitchigin

Если Вас беспокоят Undefined Behaviour, то они на то и Undefined, что их можно "додефайнить" любым удобным способом, что компиляторы/процессоры с успехом и делают.

Я выразил сомнения по поводу идеи : С-васм -С как решение проблемы изоляции. С- ВАСМ - это вполне ок

источник

16:27пожаловаться #11

AT

Alexander Tchitchigi... in WebAssembly — русскоговорящее сообщество

Хотя... Простите, что рассказываю очевидные вещи — постараюсь воздерживаться от капитанства в будущем. 😊

источник

16:27пожаловаться #12

MP

Michael Pavlovsky in WebAssembly — русскоговорящее сообщество

:)

источник

16:28пожаловаться #13

AT

Alexander Tchitchigi... in WebAssembly — русскоговорящее сообщество

Michael Pavlovsky

Я выразил сомнения по поводу идеи : С-васм -С как решение проблемы изоляции. С- ВАСМ - это вполне ок

Это, безусловно, НЕ ultimate (окончательное) решение проблемы изоляции, но вполне валидный промежуточный вариант, ИМХО.

источник

16:29пожаловаться #14

MP

Michael Pavlovsky in WebAssembly — русскоговорящее сообщество

Alexander Tchitchigin

Это, безусловно, НЕ ultimate (окончательное) решение проблемы изоляции, но вполне валидный промежуточный вариант, ИМХО.

Это означает, что за последние 40-50 лет использования c / c ++ все, что нам нехватало , это добавить несколько проверок граничных условий в памяти? .... Wasm приносит и стандартизирует таким образом среду выполнения, модель памяти, бокс системных вызовов, контекст безопасного доступа к ресурсам

источник

16:34пожаловаться #15

AT

Alexander Tchitchigi... in WebAssembly — русскоговорящее сообщество

Michael Pavlovsky

Это означает, что за последние 40-50 лет использования c / c ++ все, что нам нехватало , это добавить несколько проверок граничных условий в памяти? .... Wasm приносит и стандартизирует таким образом среду выполнения, модель памяти, бокс системных вызовов, контекст безопасного доступа к ресурсам

> что нам нехватало , это добавить несколько проверок граничных условий в памяти?

Как показывают исследования — на 70% — да. 😂

источник

16:35пожаловаться #16

MP

Michael Pavlovsky in WebAssembly — русскоговорящее сообщество

https://clang-analyzer.llvm.org/

источник

16:36пожаловаться #17

MP

Michael Pavlovsky in WebAssembly — русскоговорящее сообщество

Alexander Tchitchigin

> что нам нехватало , это добавить несколько проверок граничных условий в памяти?

Как показывают исследования — на 70% — да. 😂