Size: a a a

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

2019 April 01

NK

ID:414983998 in WebAssembly — русскоговорящее сообщество
что проверяется?
источник

AF

Alexey F. in WebAssembly — русскоговорящее сообщество
Wasm
источник

MV

Mikhail Voronov in WebAssembly — русскоговорящее сообщество
как?
источник

AF

Alexey F. in WebAssembly — русскоговорящее сообщество
постпроцессинг
источник

MV

Mikhail Voronov in WebAssembly — русскоговорящее сообщество
эм?
источник

MV

Mikhail Voronov in WebAssembly — русскоговорящее сообщество
по идее, ничего не проверяется на ub
источник

AF

Alexey F. in WebAssembly — русскоговорящее сообщество
так, мы же про вызовы сейчас?
источник

AF

Alexey F. in WebAssembly — русскоговорящее сообщество
не про логику
источник

NK

ID:414983998 in WebAssembly — русскоговорящее сообщество
wasm валидируется да, но это дает только ответ, сможет он скомпилировать и выполнить этот код или нет без unknown op и валидацией целостности например тех же секций
источник

AF

Alexey F. in WebAssembly — русскоговорящее сообщество
ID:414983998
wasm валидируется да, но это дает только ответ, сможет он скомпилировать и выполнить этот код или нет без unknown op и валидацией целостности например тех же секций
компилятор (фронтэнд) тоже самое же уже делает
источник

MV

Mikhail Voronov in WebAssembly — русскоговорящее сообщество
Alexey F.
так, мы же про вызовы сейчас?
я про то, что генерация wasm кода из C/C++ в wasm при наличии UB недерминирована: на разных сетапах из одного и того же кода можем получить разный сгенерированный wasm код
источник

AB

Aleksandr Borgardt in WebAssembly — русскоговорящее сообщество
если тулчайн  один и тот же то нет
источник

AF

Alexey F. in WebAssembly — русскоговорящее сообщество
так что не может быть такого, что некомпилирующийся фрондэнд выдаст невалидный бэкэнд
источник

NK

ID:414983998 in WebAssembly — русскоговорящее сообщество
Alexey F.
компилятор (фронтэнд) тоже самое же уже делает
Да, это делается как LLVM после codegen, так и VM до выполнения. Тоже самое что проверять форму на фронте и на бэке, думаю так будет понятнее
источник

AB

Aleksandr Borgardt in WebAssembly — русскоговорящее сообщество
Alexey F.
так что не может быть такого, что некомпилирующийся фрондэнд выдаст невалидный бэкэнд
+1
источник

MV

Mikhail Voronov in WebAssembly — русскоговорящее сообщество
Aleksandr Borgardt
если тулчайн  один и тот же то нет
если ОС разная, то да
источник

MV

Mikhail Voronov in WebAssembly — русскоговорящее сообщество
т.е. тут зависит от всего сетапа: тулчейн, таргет ОС, хост ОС и т.д.
источник

NK

ID:414983998 in WebAssembly — русскоговорящее сообщество
Alexey F.
так что не может быть такого, что некомпилирующийся фрондэнд выдаст невалидный бэкэнд
Он то выдаст валидный бэк, но вот UB что будут в рантайме он не проверит
источник

AF

Alexey F. in WebAssembly — русскоговорящее сообщество
VM должен давать гарантии, да
источник

MV

Mikhail Voronov in WebAssembly — русскоговорящее сообщество
ну вот конкретно в этом случае (https://github.com/michaelvoronov/musl/blob/wasm-prototype-1/src/malloc/malloc.c#L306) гарантий никто даст не может
источник