M
виртуальный вызов это особый частный случай и чаще всего требует два indirect вызова, но можно оптимизировать и до одного или вообще девиртуализировать
Size: a a a
2019 December 13
M
ну и виртуальный вызов можно по разному реализовывать. Я знаю как миним 3 варианта)
ZB
Ну т.е. виртуальные вызовы все же есть, но нет отдельной инструкции для этого. И их оптимизация нужна. А с приходом gc-proposal необходимость оптимизаций возрастет.
M
в gc proposal я не видел ничего про виртуальные вызовы и таблицы
M
Ну и не всем языкам это нужно. Тому же Cи, Хаскелю или любому другому функциональному ЯП это не нужно, Rust, C++, Swift, Crystal тоже имею выртуальные вызовы но обходятся без VM и JIT=)
AT
MaxGraey
Ну и не всем языкам это нужно. Тому же Cи, Хаскелю или любому другому функциональному ЯП это не нужно, Rust, C++, Swift, Crystal тоже имею выртуальные вызовы но обходятся без VM и JIT=)
Haskell тоже полезно - вызовы методов классов типов - виртуальные в общем случае.
AT
В Rust вызовы impl Trait - тоже виртуальные. То, что рантайм их не оптимизирует, не то чтобы большое достоинство рантайма. 😊
M
В Rust вызовы impl Trait - тоже виртуальные. То, что рантайм их не оптимизирует, не то чтобы большое достоинство рантайма. 😊
Это я знаю, поэтому и не причислил его в первую категорию, но вот про Haskell не знал что там тоже оказывается есть виртуальные вызовы
AT
MaxGraey
виртуальные вызовы ассоциируются с таблицей локализщированной для конкретного class id, indirect calls же в случае с wasm с общей глобальной таблицей
Это ж только в MVP таблица одна? Подразумевается, что в будущем будет можно использовать несколько таблиц, как я понял.
M
Это ж только в MVP таблица одна? Подразумевается, что в будущем будет можно использовать несколько таблиц, как я понял.
Да, так же как и несколько линейных буферов памяти
AT
MaxGraey
Это я знаю, поэтому и не причислил его в первую категорию, но вот про Haskell не знал что там тоже оказывается есть виртуальные вызовы
Так классы типов работают в точности как трейты. Точнее, наоборот, конечно. 😊
AT
MaxGraey
Да, так же как и несколько линейных буферов памяти
Это значит, будет что оптимизировать.
AT
На всякий случай укажу на то, что даже процессоры оптимизируют виртуальные (косвенные) вызовы - на этом весь Spectre держится. 😉
M
Как объяснить детям что такое WebAssembly? Просто показать этот кадр и ниндзя черепашек)
AT
MaxGraey
Как объяснить детям что такое WebAssembly? Просто показать этот кадр и ниндзя черепашек)
Все дети, которые смотрели черепашек-ниндзя, уже давно выросли. 😉
M
Все дети, которые смотрели черепашек-ниндзя, уже давно выросли. 😉
Да там 2016го даже фильм выходил, так не так уж персонажи от туда и позабыты
P🛸
MaxGraey
Как объяснить детям что такое WebAssembly? Просто показать этот кадр и ниндзя черепашек)
А тело в котором он живет это патрик из спанч-боба.
ZB
> виртуальных вызовов нету и пока не планируется
> Надеюсь что нет. Потому что тогда это будет ни чем не лучше Java VM
возвращаясь к изначальному — мой пойнт в том что это временное явление, сейчас скорее всего это не сильно болит в силу специфики языков которые в основном компилируются в wasm. Но со временем “давление” увеличится.
> Надеюсь что нет. Потому что тогда это будет ни чем не лучше Java VM
возвращаясь к изначальному — мой пойнт в том что это временное явление, сейчас скорее всего это не сильно болит в силу специфики языков которые в основном компилируются в wasm. Но со временем “давление” увеличится.
SK
Альтернативный GC proposal от SOIL с примерами применения для ОО и функциональных языков https://github.com/soil-initiative/gc/pull/1