TP
ничего не должно мешать сделать gc который будет по linear memory гулять и подчищать всё
Size: a a a
2021 March 09
AT
Погодите-ка, может тупой вопрос, почему мы говорим про стэк и GC в одном контексте? Насколько я помню, GC собирает мусор в хипе. А стек освобождается при выходе из скоупа
Google "GC roots".
AT
что за стек к которому нет доступа?
t.const c
Push the value t.const c to the stack.
Вот этот самый.
Г
ну можно внутри васм модуля легко определять свои руты, а вот с внешкой проблемы, выдал в жс объект и все, или я все-таки че-т не понимаю
AT
ну можно внутри васм модуля легко определять свои руты, а вот с внешкой проблемы, выдал в жс объект и все, или я все-таки че-т не понимаю
Shadow stack? Геморройно и медленно, но можно. Так и делают. Либо RC. Других вариантов нет.
VC
u can't remove
M
Народ, привет)
Когда там уже GC завезут?)
Когда там уже GC завезут?)
В v8 довольно скоро уже
M
wasmtime же вроде себе там какой-то refcount запилил или я ошибаюсь?
только для external reference types
TP
Google "GC roots".
Немного погуглил. Правильно ли я понимаю, что чтобы запустить gc cycle нам нужно с чего-то начать траверсить. А это «что-то» есть gc roots (например локальные переменные, которые в стеке, но к которым у нас нет доступа)?
M
Немного погуглил. Правильно ли я понимаю, что чтобы запустить gc cycle нам нужно с чего-то начать траверсить. А это «что-то» есть gc roots (например локальные переменные, которые в стеке, но к которым у нас нет доступа)?
правильно
TP
А планируют они добавить такой доступ к стеку?
M
А планируют они добавить такой доступ к стеку?
нет. Разве что через некоторую абстракцию вроде этой
https://github.com/WebAssembly/design/issues/1359
или полностью скрыть это через Wasm GC. Основная причина как я понимю это из соображений безопасности
https://github.com/WebAssembly/design/issues/1359
или полностью скрыть это через Wasm GC. Основная причина как я понимю это из соображений безопасности
TP
нет. Разве что через некоторую абстракцию вроде этой
https://github.com/WebAssembly/design/issues/1359
или полностью скрыть это через Wasm GC. Основная причина как я понимю это из соображений безопасности
https://github.com/WebAssembly/design/issues/1359
или полностью скрыть это через Wasm GC. Основная причина как я понимю это из соображений безопасности
Интересно, спасибо
TP
Вопрос по другой теме: wasm modules. В спеке пишут что это основная единица программы. Только я до конца не понял что это: может ли 1 .wasm-файл содержать несколько модулей или wasm-файл это и есть модуль?
M
Вопрос по другой теме: wasm modules. В спеке пишут что это основная единица программы. Только я до конца не понял что это: может ли 1 .wasm-файл содержать несколько модулей или wasm-файл это и есть модуль?
Может содержать несколько модулей и некотрые рантаймы это поддерживают, но большинство поддерживают только один модуль в файле, так как в 99% случаев этого достаточно. Модули как единица важны для изоляции памяти, глобальных переменных и таблицы вызовов. В дальнейшем эти модули смогут динамически линковаться
TP
Может содержать несколько модулей и некотрые рантаймы это поддерживают, но большинство поддерживают только один модуль в файле, так как в 99% случаев этого достаточно. Модули как единица важны для изоляции памяти, глобальных переменных и таблицы вызовов. В дальнейшем эти модули смогут динамически линковаться
Спасибо, понял)
TP
А кто над чем работает связанным с wasm?
Кто что ожидает от этой технологии?)
Кто что ожидает от этой технологии?)
AT
А кто над чем работает связанным с wasm?
Кто что ожидает от этой технологии?)
Кто что ожидает от этой технологии?)
Я ожидаю удобный переносимый универсальный code generation target для компиляции всяких языков, DSL в частности. Поэтому жду GC and Interface Types.
TP
Я ожидаю удобный переносимый универсальный code generation target для компиляции всяких языков, DSL в частности. Поэтому жду GC and Interface Types.
Да, без GC тяжеловато компилировать языки в васм)
TP
Думаете будут на нем пилить фронт-приложения?