К
Size: a a a
2020 July 28
MV
а как кстати делается проверка что ты не выходишь за границу памяти? неужто на каждое обращение к линейной памяти под капотом делается проверка?
с помощью guard page
SK
с помощью guard page
не знаешь где можно про это почитать? как это можно сделать если есть несколько инстансов Wasm в одном потоке?
M
По этому мне Макс сказал везде напихать unchecked в AS
Это наши in-house проверки) wasm vm проверяет лишь границы выделенной линейной памяти
lp
не знаешь где можно про это почитать? как это можно сделать если есть несколько инстансов Wasm в одном потоке?
google "PLDI 2017 webassembly "
MV
guard page может разное называться, почти все вм маппят (но не коммитят) регион памяти сразу за heap, доступ к которому вызывает SIGSEGV
К
Это наши in-house проверки) wasm vm проверяет лишь границы выделенной линейной памяти
Ну васму похер, у него одна большая память же.
Рантайму нет
Рантайму нет
К
Я бы не хотел получить битый класс, когда за размеры массива ушёл, который вообще хз где .
M
Ну васму похер, у него одна большая память же.
Рантайму нет
Рантайму нет
ну да, вот поэтому и нужно проверять гранулированно, на уровне массива. Вообще в дальнейшем оптимизатор сам будет расставлять unchecked там где нужно (bounds check ellimination)
MV
не знаешь где можно про это почитать? как это можно сделать если есть несколько инстансов Wasm в одном потоке?
я только в сорцах вм (в том числе и в v8) видел, но и вообще это достаточно известная техника. Вроде это никак не мешает держать несколько инстансов вм в памяти, потому что доп память под GP реально не выделяется
MO
кажется я глупость написал 😔
M
Да никто массив и не выравнивает. Это Констанитин запутал вас видимо)
MV
а что мешает весь wasm heap выделить единым куском
К
Я не говорил ничего про выравнивания..
К
с помощью guard page
Это все вот:)
К
а что мешает весь wasm heap выделить единым куском
Оно же так и есть же
MV
я только в сорцах вм (в том числе и в v8) видел, но и вообще это достаточно известная техника. Вроде это никак не мешает держать несколько инстансов вм в памяти, потому что доп память под GP реально не выделяется
т.е. в user-space amd64 заведомо достаточно памяти под много инстансов с маппингом доп памяти
MV
Это все вот:)
ну простите
К
Или на все инстанса разом?
К
Не безопасно