M
У меня вообще не вызывает ассоциации SSA только с регистровой моделью
Size: a a a
2019 October 16
lp
MaxGraey
Ну SSA может быть и не над регистрами) Например есть mSSA (memory SSA)
а разве memory ssa моделируется не при помощи регистров?)
lp
«регистров»
M
а разве memory ssa моделируется не при помощи регистров?)
ну ок, везде где есть явные присвоения можно сказать там регистры / слоты)
EO
стек тоже при помощи регистров моделируется, вы чё
で
MaxGraey
а для чего там wasm? тем более тпм исподбзется именно интерпретатор
Пишешь макросы на расте
@
Конпиляешь только макрос
@
Пакуешь как внешнюю апи в свой npm пакет.
Но вообще да, не очень понятно зачем.
@
Конпиляешь только макрос
@
Пакуешь как внешнюю апи в свой npm пакет.
Но вообще да, не очень понятно зачем.
AF
ну, если бы не было miri, допустим, как иначе можно было бы сделать? А, написать miri
で
MaxGraey
Там еще полихедральныая модель может использоваться
А где про это прочитать.
M
А где про это прочитать.
Здесь например: https://polyhedral.info/
M
Больше о ней не скажу, сам недавно начал только ее осваивать
EO
и тебя Юра уже зацепил? :)
で
MaxGraey
Здесь например: https://polyhedral.info/
Конкретно с этим проблема я так понимаю сейчас из-за перехода к nll и уменьшения доли работы в chalk-ish коде. Его вроде хотят вовсе убрать, но это не точно
M
и тебя Юра уже зацепил? :)
Ну да, о ней слышал до этого, но никогда не пытался углубится. Но я тебе скажу, чем больше я вникаю, тем больше понимаю, что она больше для GPU и гетеродинных вычислений имеет смысл. Пожет быть для автовекторизации и то сомнительно, а loop fusion, tiling и прочие вещи можно сделать и без нее, просто там удобнее, но сложность блин огромная
EO
MaxGraey
Ну да, о ней слышал до этого, но никогда не пытался углубится. Но я тебе скажу, чем больше я вникаю, тем больше понимаю, что она больше для GPU и гетеродинных вычислений имеет смысл. Пожет быть для автовекторизации и то сомнительно, а loop fusion, tiling и прочие вещи можно сделать и без нее, просто там удобнее, но сложность блин огромная
я пытался, но не смог
у меня еще не та база, чтобы понять полигедральную модель
у меня еще не та база, чтобы понять полигедральную модель
M
Ну то есть это как умножить 2 на 2 но только используя быстрое умножение через Фурье =)
EO
MaxGraey
Ну то есть это как умножить 2 на 2 но только используя быстрое умножение через Фурье =)
мне проще умножить 2 на 2 на квантовом проце, но я уверен в этом где-то на 78%
で
MaxGraey
Ну то есть это как умножить 2 на 2 но только используя быстрое умножение через Фурье =)
Останется только полиномиальное навернуть
M
Интерестный пейпер про так сделать настоящий (гарантированный) SC-DRF в WebAssembly
https://delivery.acm.org/10.1145/3370000/3360559/oopsla19main-p76-p.pdf?ip=176.37.70.102&id=3360559&acc=OA&key=4D4702B0C3E38B35%2E4D4702B0C3E38B35%2E4D4702B0C3E38B35%2E6D218144511F3437&__acm__=1571256146_789a044341ad579c471f28b15efd54f5
https://delivery.acm.org/10.1145/3370000/3360559/oopsla19main-p76-p.pdf?ip=176.37.70.102&id=3360559&acc=OA&key=4D4702B0C3E38B35%2E4D4702B0C3E38B35%2E4D4702B0C3E38B35%2E6D218144511F3437&__acm__=1571256146_789a044341ad579c471f28b15efd54f5
M
А тем временем Life VM (который форк Wagon-а который в свою очередь вдохновлялся Wag-ом) портируют на Haxe =)
https://github.com/darmie/cabasa
https://github.com/darmie/cabasa
2019 October 17
NZ
Ребят, подскажите. вот ссылка по которой я чётко вижу по Chrome фичи wasm и их статус - https://www.chromestatus.com/features#webassembly - а есть подобное по FireFox?