ҪҸ
@shelajevoleg а ты не знаешь случайно где запись достать или вообще какую-то инфу по GraalWasm
Size: a a a
2019 November 25
ҪҸ
кажется это неофициальная имплементация
M
А, я про него же уже упоминал пару месяцев назад
M
Краткий очерк TruffleWasm компонента для GraalVM который позволит его превратить в VM для Wasm:
https://delivery.acm.org/10.1145/3370000/3362780/splashcomp19posters-p9-p.pdf?ip=176.37.70.102&id=3362780&acc=OPEN&key=4D4702B0C3E38B35%2E4D4702B0C3E38B35%2E4D4702B0C3E38B35%2E6D218144511F3437&__acm__=1572043138_8adcba9e27e78efc4f083089bc81571b
https://delivery.acm.org/10.1145/3370000/3362780/splashcomp19posters-p9-p.pdf?ip=176.37.70.102&id=3362780&acc=OPEN&key=4D4702B0C3E38B35%2E4D4702B0C3E38B35%2E4D4702B0C3E38B35%2E6D218144511F3437&__acm__=1572043138_8adcba9e27e78efc4f083089bc81571b
ҪҸ
я просто подумал по тому твиту что это нечто официальное от Оракл
OS
Нет, это не официальная репозитория. От нас или oracle или GraalVM
ҪҸ
2019 November 26
M
AT
Думал-думал насчёт GC в WASM - понял, что стек-то нельзя просматривать! Без этого похоже, что ничего принципиально лучше рефкаунтинга не сделать - всё равно придётся выполнять кучу барьеров на чтение/запись. Или не знаю что ещё.
SK
Стек GC корней можно дублировать в линейной памяти и просматривать там
AT
Стек GC корней можно дублировать в линейной памяти и просматривать там
Это значит - продублировать стек (aka shadow stack), при этом его может потребоваться динамически расширять (и сжимать), вероятно, используя тот же GC. Что уже звучит довольно безумно. 😃
Но это ещё не всё - каждый раз, когда перезаписываем ссылку на стеке функции, её нужно перезаписать и на shadow stack. Чем это лучше reference counting - не ясно. Учитывая, что придётся ещё и делать mark.
Но это ещё не всё - каждый раз, когда перезаписываем ссылку на стеке функции, её нужно перезаписать и на shadow stack. Чем это лучше reference counting - не ясно. Учитывая, что придётся ещё и делать mark.
SK
Побыстрее бы в Wasm GC завезли, чтоб велосипедов не писать
AT
Побыстрее бы в Wasm GC завезли, чтоб велосипедов не писать
+100. 😞
ҪҸ
ну он опирается на три пропозала, 2 из которых на 1 фазе. причем один из них еще и от другого тоже зависит. так что в 2020 можно и не дождаться
SK
Они не кажутся большими по сравнению с самим GC
IK
А чо, завезут прям GC?
IK
Я думал, что дадут инструментов, сами пишите, как хотите
ҪҸ
А чо, завезут прям GC?
нет