M
MaxGraey
На WAVM даже быстрее натива на 15%
https://twitter.com/whitequark/status/1264310424696229888
https://twitter.com/whitequark/status/1264310424696229888
Size: a a a
2020 May 24
M
Надо просто всю кодовую базу хрома скомпилировать в WebAssembly а потом обратно в Cи 😉 Как показала недавняя практика это не только улучшает бесопаснлость но еще и скорость) ⬇⬇⬇⬇⬇⬇⬇
M
Оказывается у Chrome не только проблемы с памятью, а ещё и проблемы с безопасностью от этого.
А вообще статья интересна также и предложенными способами решения. Советую ознакомиться и с оригиналом.
https://www.opennet.ru/opennews/art.shtml?num=53019
А вообще статья интересна также и предложенными способами решения. Советую ознакомиться и с оригиналом.
https://www.opennet.ru/opennews/art.shtml?num=53019
e
MaxGraey
Надо просто всю кодовую базу хрома скомпилировать в WebAssembly а потом обратно в Cи 😉 Как показала недавняя практика это не только улучшает бесопаснлость но еще и скорость) ⬇⬇⬇⬇⬇⬇⬇
а зачем обратно в си?
там не останется зависимостей от васма?
я вроде декомпилили и что то было такое, могу ошибаться
там не останется зависимостей от васма?
я вроде декомпилили и что то было такое, могу ошибаться
M
И кстати Mozilla недавно так и поступила для одного своего модуля)
M
а зачем обратно в си?
там не останется зависимостей от васма?
я вроде декомпилили и что то было такое, могу ошибаться
там не останется зависимостей от васма?
я вроде декомпилили и что то было такое, могу ошибаться
Что бы можно было заэмбедить без лишнего интеропа
IK
Главное не удалить исходники)
MP
MaxGraey
Надо просто всю кодовую базу хрома скомпилировать в WebAssembly а потом обратно в Cи 😉 Как показала недавняя практика это не только улучшает бесопаснлость но еще и скорость) ⬇⬇⬇⬇⬇⬇⬇
Молодец Мах, простое и понятное решение :).
MP
То есть использовать ВАСМ как статический анализатор кода, я Вас правильно понял?
M
Нет, как промежуточное представление которое нормализует поведение (убирает UB) и добавляет sandbox проверки (проверка на выход за границу, переполнения стека и т д)
MP
То есть, то что в народе называют verifiable code
MV
MaxGraey
Надо просто всю кодовую базу хрома скомпилировать в WebAssembly а потом обратно в Cи 😉 Как показала недавняя практика это не только улучшает бесопаснлость но еще и скорость) ⬇⬇⬇⬇⬇⬇⬇
кстати, были реальные примеры, когда при переписывании с плюсов на раст, обнаруживались ошибки и ub
M
кстати, были реальные примеры, когда при переписывании с плюсов на раст, обнаруживались ошибки и ub
Не нужно ничего на раст переписывать) Только скомпилировать C++ в WebAssembly
MV
MaxGraey
Нет, как промежуточное представление которое нормализует поведение (убирает UB) и добавляет sandbox проверки (проверка на выход за границу, переполнения стека и т д)
но это не уберёт эффекты существующих ub при компиляции в васм
N
но это не уберёт эффекты существующих ub при компиляции в васм
Что такое ub?
MV
undefined behaviour
MV
Firefox вот похожее уже делает
https://hacks.mozilla.org/2020/02/securing-firefox-with-webassembly/
https://hacks.mozilla.org/2020/02/securing-firefox-with-webassembly/
MV
но это не уберёт эффекты существующих ub при компиляции в васм
Я там не пропустил изначально. Т.е. компиляция плюсов в васм и обратно позволит только зафиксировать эффекты ub на этапе C/C++ => wasm. Ну и ещё нет гарантии, что декомпиляторы wasm => C/C++ будут генерировать код без ub.
e
MaxGraey
Не нужно ничего на раст переписывать) Только скомпилировать C++ в WebAssembly
ну, пока компилишь с плюсов в васм -> компилятор будет как раз отлавливать все ошибки и ub (и пока все ошибки не исправишь - нормально не даст скомпилить)
но мне кажется это будет тяжело сделать
потому что проще будет с нуля написать на плюсах, учитывая это все ошибки, чем скомпилить что имеется
но мне кажется это будет тяжело сделать
потому что проще будет с нуля написать на плюсах, учитывая это все ошибки, чем скомпилить что имеется
MV
ну, пока компилишь с плюсов в васм -> компилятор будет как раз отлавливать все ошибки и ub (и пока все ошибки не исправишь - нормально не даст скомпилить)
но мне кажется это будет тяжело сделать
потому что проще будет с нуля написать на плюсах, учитывая это все ошибки, чем скомпилить что имеется
но мне кажется это будет тяжело сделать
потому что проще будет с нуля написать на плюсах, учитывая это все ошибки, чем скомпилить что имеется
хм, а как он будет отлавливать ошибки и ub?