Телеграмм чат группы webassembly_ru страница 1760

parrot.ru

Рейтинг популярных групп и каналов

В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

WebAssembly — русскоговорящее сообщество

745 membersпожаловаться на группу

2021 February 02

M

MaxGraey in WebAssembly — русскоговорящее сообщество

Ля какой бенч. А почему AssemblyScript быстрей чем Emscripten ? Это аще легально ?

Потому что у нас есть кое какие свои оптимизации кроме binaryen. Кроме того у нас собственный pass pipeline отличающийся от стандартноо (используемого в emscripten)

источник

17:18пожаловаться #1

A

Anon in WebAssembly — русскоговорящее сообщество

Бохато живёте

источник

17:19пожаловаться #2

M

MaxGraey in WebAssembly — русскоговорящее сообщество

Ля какой бенч. А почему AssemblyScript быстрей чем Emscripten ? Это аще легально ?

Кроме того там старый emscripten основанный на LLVM5 кажеться. Лучше сравнивать с Clang версией

источник

17:36пожаловаться #3

AT

Alexander Tchitchigi... in WebAssembly — русскоговорящее сообщество

Да чего вы на Walt наезжаете — почти так же хорош, как "голый" Emscripten — отличный результат! Бесполезный, конечно, но всё равно. 😃

источник

17:44пожаловаться #4

Б

Богдан in WebAssembly — русскоговорящее сообщество

Alexander Tchitchigin

Ага, кто-то пишет. Коллективы из десятков core contributors, имеющих опыт разработки и оптимизации компиляторов в десятки лет на протяжении десятков лет. Я вот не горю желанием с ними соревноваться.

А почему собственно так сложно написать продакшн язык/компилятор и прям нужна целая команда и годы разработки? Вот тут один чел в 5 уроках пишет свой язык и вручную делает различные оптимизации и включая укладку в регистры (register renaming) и генерацию x64 бинарника. И все это без llvm и другого вспомогательного по
https://www.youtube.com/watch?v=fDKfdyDWdE4
https://www.youtube.com/watch?v=wdOpIIzxiNA
https://www.youtube.com/watch?v=NOFDr3HjuuQ
https://www.youtube.com/watch?v=bIvi6FNyiJA
https://www.youtube.com/watch?v=KNYCUJOzj5c
Понятно что он реализовал всего лишь пару-тройку базовых оптимизаций когда в llvm реализовано несколько десятков но учитывая с какой легкостью и скоростью в этих уроках реализуется одна оптимизация за другой то появляется мысль что не так уж оно сложно в итоге

Three-Address Code — How to Create a Compiler part 3/5 — Converting AST into statement-based IR

In this tool-assisted education video series I create a compiler in C++ for a B-like programming language. In this episode the program code is converted from a tree structure into a list of statements — a tree-address code — much like assembler, but still a more abstract form.

This is part of a multi-episode series. In the next video, we will optimize the IR code.

Become a member: https://youtube.com/Bisqwit/join

Downloads:
— https://github.com/bisqwit/compiler_series/tree/master/ep3 All the material associated with this episode can be downloaded here.

Check out this book if you would like to learn more indepth about compilers and optimization (Amazon affiliate link):
— https://www.amazon.com/gp/product/1558603204/ref=as_li_tl?ie=UTF8&camp=1789&creative=9325&creativeASIN=1558603204&linkCode=as2&tag=oellilu-20&linkId=973a02b8027731c84e9875e552d55ac9

Acknowledgements:
— Music: Remember Me :: () :: () ()
— Music: The Longest Journey :: () :: () ()
— Music: Famicom Tantei Club Part II: Ushiro ni Tatsu Shōjo…

источник

17:51пожаловаться #5

Б

Богдан in WebAssembly — русскоговорящее сообщество

Автор walt тоже так думал, а потом появился вот этот простой бенчмарк от одного из энтузиаста walt-а который сравнивает C++/emscripten/clang, walt и AssemblyScript:
https://jtiscione.github.io/webassembly-wave/index.html

После этого walt (https://github.com/ballercat/walt) уже не развивается. Советую на него глянуть у него такая же философия и цели как у вас

ballercat/walt

:zap: Walt is a JavaScript-like syntax for WebAssembly text format :zap: - ballercat/walt

Понятно что для дженерик языка можно бесконечно что-то оптимизировать и вряд ли тут можно соревноваться с гигантами вроде llvm по количеству и качеству оптимизаций. Но что если у нас вместо дженерик языка будет максимально ограниченный dsl у которого синтаксис/грамматика/семантика будет подобрана специально под легкость и эффективность дальнеших оптимизаций компилятором? Разве не получится срезать углы и упростить задачу? В конце концов всегда же можно провести всякие оптимизации (инлайнинг, ручной loop-unrolling и т.д) вручную в коде самой программы

источник

17:52пожаловаться #6

A

Anon in WebAssembly — русскоговорящее сообщество

В Binaryen разных методов оптимизации было вроде 68 в прошлом году.

источник

17:57пожаловаться #7

AT

Alexander Tchitchigi... in WebAssembly — русскоговорящее сообщество

А почему собственно так сложно написать продакшн язык/компилятор и прям нужна целая команда и годы разработки? Вот тут один чел в 5 уроках пишет свой язык и вручную делает различные оптимизации и включая укладку в регистры (register renaming) и генерацию x64 бинарника. И все это без llvm и другого вспомогательного по
https://www.youtube.com/watch?v=fDKfdyDWdE4
https://www.youtube.com/watch?v=wdOpIIzxiNA
https://www.youtube.com/watch?v=NOFDr3HjuuQ
https://www.youtube.com/watch?v=bIvi6FNyiJA
https://www.youtube.com/watch?v=KNYCUJOzj5c
Понятно что он реализовал всего лишь пару-тройку базовых оптимизаций когда в llvm реализовано несколько десятков но учитывая с какой легкостью и скоростью в этих уроках реализуется одна оптимизация за другой то появляется мысль что не так уж оно сложно в итоге

Three-Address Code — How to Create a Compiler part 3/5 — Converting AST into statement-based IR

In this tool-assisted education video series I create a compiler in C++ for a B-like programming language. In this episode the program code is converted from a tree structure into a list of statements — a tree-address code — much like assembler, but still a more abstract form.

This is part of a multi-episode series. In the next video, we will optimize the IR code.

Become a member: https://youtube.com/Bisqwit/join

Downloads:
— https://github.com/bisqwit/compiler_series/tree/master/ep3 All the material associated with this episode can be downloaded here.

Check out this book if you would like to learn more indepth about compilers and optimization (Amazon affiliate link):
— https://www.amazon.com/gp/product/1558603204/ref=as_li_tl?ie=UTF8&camp=1789&creative=9325&creativeASIN=1558603204&linkCode=as2&tag=oellilu-20&linkId=973a02b8027731c84e9875e552d55ac9

Acknowledgements:
— Music: Remember Me :: () :: () ()
— Music: The Longest Journey :: () :: () ()
— Music: Famicom Tantei Club Part II: Ushiro ni Tatsu Shōjo…

Я в Clang/LLVM не смотрел, но подозреваю, там больше сотни оптимизаций. 😊
А сложность оптимизаций растёт стремительно: простые оптимизации реально пишутся "на коленке" за пару часов, но после этого оказывается, что тебе нужен CFG, forward и backward dataflow analysis и ещё парочка нетривиальных алгоритмов сверху. И проще оно не становится.

источник

18:00пожаловаться #8

M

MaxGraey in WebAssembly — русскоговорящее сообщество

Понятно что для дженерик языка можно бесконечно что-то оптимизировать и вряд ли тут можно соревноваться с гигантами вроде llvm по количеству и качеству оптимизаций. Но что если у нас вместо дженерик языка будет максимально ограниченный dsl у которого синтаксис/грамматика/семантика будет подобрана специально под легкость и эффективность дальнеших оптимизаций компилятором? Разве не получится срезать углы и упростить задачу? В конце концов всегда же можно провести всякие оптимизации (инлайнинг, ручной loop-unrolling и т.д) вручную в коде самой программы

> В конце концов всегда же можно провести всякие оптимизации (инлайнинг, ручной loop-unrolling и т.д) вручную в коде самой программы

Можно. проблема в том, что такой код станет малопонятным и плохо сопровождаемым и малейшее изменение приведет к лавинообразному рефакторингу (напримр в случае с разверткой 2-х мерного цикла)

источник

18:00пожаловаться #9

AT

Alexander Tchitchigi... in WebAssembly — русскоговорящее сообщество

А почему собственно так сложно написать продакшн язык/компилятор и прям нужна целая команда и годы разработки? Вот тут один чел в 5 уроках пишет свой язык и вручную делает различные оптимизации и включая укладку в регистры (register renaming) и генерацию x64 бинарника. И все это без llvm и другого вспомогательного по
https://www.youtube.com/watch?v=fDKfdyDWdE4
https://www.youtube.com/watch?v=wdOpIIzxiNA
https://www.youtube.com/watch?v=NOFDr3HjuuQ
https://www.youtube.com/watch?v=bIvi6FNyiJA
https://www.youtube.com/watch?v=KNYCUJOzj5c
Понятно что он реализовал всего лишь пару-тройку базовых оптимизаций когда в llvm реализовано несколько десятков но учитывая с какой легкостью и скоростью в этих уроках реализуется одна оптимизация за другой то появляется мысль что не так уж оно сложно в итоге

Three-Address Code — How to Create a Compiler part 3/5 — Converting AST into statement-based IR

In this tool-assisted education video series I create a compiler in C++ for a B-like programming language. In this episode the program code is converted from a tree structure into a list of statements — a tree-address code — much like assembler, but still a more abstract form.

This is part of a multi-episode series. In the next video, we will optimize the IR code.

Become a member: https://youtube.com/Bisqwit/join

Downloads:
— https://github.com/bisqwit/compiler_series/tree/master/ep3 All the material associated with this episode can be downloaded here.

Check out this book if you would like to learn more indepth about compilers and optimization (Amazon affiliate link):
— https://www.amazon.com/gp/product/1558603204/ref=as_li_tl?ie=UTF8&camp=1789&creative=9325&creativeASIN=1558603204&linkCode=as2&tag=oellilu-20&linkId=973a02b8027731c84e9875e552d55ac9

Acknowledgements:
— Music: Remember Me :: () :: () ()
— Music: The Longest Journey :: () :: () ()
— Music: Famicom Tantei Club Part II: Ushiro ni Tatsu Shōjo…

А на YouTube лучше видео Jonathan Blow посмотрите — там хотя бы не учебный компилятор, но и пилит он его уже сильно не первый год.

источник

18:01пожаловаться #10

M

MaxGraey in WebAssembly — русскоговорящее сообщество

Alexander Tchitchigin

А на YouTube лучше видео Jonathan Blow посмотрите — там хотя бы не учебный компилятор, но и пилит он его уже сильно не первый год.

По-моему 5 лет уже пилит. И до сих пор кстати LLVM не прикрутил. Сейчас решил вместо компилятора теперь книгу по компиляторам написать

источник

18:02пожаловаться #11

AT

Alexander Tchitchigi... in WebAssembly — русскоговорящее сообщество

По-моему 5 лет уже пилит. И до сих пор кстати LLVM не прикрутил. Сейчас решил вместо компилятора теперь книгу по компиляторам написать

Бета-та точно есть, ещё с прошлого года, так что почти допилил. А что все так про LLVM триггерятся? Блоу же вообще не хотел его использовать. Компилятор у него полностью свой, и он порывался ещё собственный линкер написать, потому что существующие — слишком медленные.

источник

18:05пожаловаться #12

M

MaxGraey in WebAssembly — русскоговорящее сообщество

Alexander Tchitchigin

Бета-та точно есть, ещё с прошлого года, так что почти допилил. А что все так про LLVM триггерятся? Блоу же вообще не хотел его использовать. Компилятор у него полностью свой, и он порывался ещё собственный линкер написать, потому что существующие — слишком медленные.

А ну, просто видел в роадмепе его. Если не планировал то ок

источник

18:05пожаловаться #13

AT

Alexander Tchitchigi... in WebAssembly — русскоговорящее сообщество

А ну, просто видел в роадмепе его. Если не планировал то ок

Нет, если есть/был в роадмапе, значит, планировал так или иначе в какой-то момент. Но он прямо говорил (или писал), что LLVM его не устраивает по соображениям скорости сборки, так что в качестве основного варианта у него всегда было "всё своё" по крайней мере до линкера.

источник

18:08пожаловаться #14

Б

Богдан in WebAssembly — русскоговорящее сообщество

> В конце концов всегда же можно провести всякие оптимизации (инлайнинг, ручной loop-unrolling и т.д) вручную в коде самой программы

Можно. проблема в том, что такой код станет малопонятным и плохо сопровождаемым и малейшее изменение приведет к лавинообразному рефакторингу (напримр в случае с разверткой 2-х мерного цикла)

Малопонятный и плохо сопровождаемомый код это если банально делать то что можно автоматизировать вручную. Это одна крайность. А вторая крайность - это пример какого-то дженерик языка когда компилятор должен анализировать кучу условий и делать сложный траверс по графу пытаясь понять намерения программиста чтобы провести какие-то эффективные оптимизации. А может есть что-то посередине? Может можно организовать намного более тесное общение с компилятором с помощью конструкций/синтаксиса/грамматики языка которая будет специально заточена под дальнейшие оптимизации? Чтобы не компилятор анализировал и угадывал намерения а программист явно их выражал в коде и при этом не сильно ухудшить читаемость и поддерживаемость

источник

18:37пожаловаться #15

M

MaxGraey in WebAssembly — русскоговорящее сообщество

Малопонятный и плохо сопровождаемомый код это если банально делать то что можно автоматизировать вручную. Это одна крайность. А вторая крайность - это пример какого-то дженерик языка когда компилятор должен анализировать кучу условий и делать сложный траверс по графу пытаясь понять намерения программиста чтобы провести какие-то эффективные оптимизации. А может есть что-то посередине? Может можно организовать намного более тесное общение с компилятором с помощью конструкций/синтаксиса/грамматики языка которая будет специально заточена под дальнейшие оптимизации? Чтобы не компилятор анализировал и угадывал намерения а программист явно их выражал в коде и при этом не сильно ухудшить читаемость и поддерживаемость

Именно так и представлял себе Брендан Эйх JavaScript 1.0. Точно так же себе представлял Бутерин solidity. В конечном итоге все языки казалось бы спроектированные для узкой доменной области превращаются в языки с общим назначением. И я таких примеров могу назвать очень много. Да те же шейдера. Раньше они умели только математику и чтение из тектуры, даже функции power не было, потом все это появилось и даже циклы постоянной длины, потом появились циклы переменной длины и настоящие условные переходы. Теперь с compute shaders программы для GPU вообще мало чем отличаются от обычных. К этому неизбежно приходят практически все языки. Даже декларативные. Взять тот же CSS. Он неожиданно для многих уже давно turing compleate с появлением CSS3 ну а про CSS-in-JS я вообще молчу=)

источник

18:45пожаловаться #16

AT

Alexander Tchitchigi... in WebAssembly — русскоговорящее сообщество

Малопонятный и плохо сопровождаемомый код это если банально делать то что можно автоматизировать вручную. Это одна крайность. А вторая крайность - это пример какого-то дженерик языка когда компилятор должен анализировать кучу условий и делать сложный траверс по графу пытаясь понять намерения программиста чтобы провести какие-то эффективные оптимизации. А может есть что-то посередине? Может можно организовать намного более тесное общение с компилятором с помощью конструкций/синтаксиса/грамматики языка которая будет специально заточена под дальнейшие оптимизации? Чтобы не компилятор анализировал и угадывал намерения а программист явно их выражал в коде и при этом не сильно ухудшить читаемость и поддерживаемость

> А может есть что-то посередине? Может можно организовать намного более тесное общение с компилятором с помощью конструкций/синтаксиса/грамматики языка которая будет специально заточена под дальнейшие оптимизации? Чтобы не компилятор анализировал и угадывал намерения а программист явно их выражал в коде и при этом не сильно ухудшить читаемость и поддерживаемость

Есть, только Вам не понравится. В разной степени описанию соответствуют Rust и ATS. Как ни удивительно, у обоих очень не простые компиляторы.

Фундаментальная проблема в том, что для оптимизаций нужна одна семантическая информация, а людям интересна совсем другая. Немного surprising middle ground находится в области чистых функций, контроля эффектов и линейных типов — потому что они облегчают рассуждения и людям, и компиляторам — но Вам всё равно не понравится.

источник

19:06пожаловаться #17

AT

Alexander Tchitchigi... in WebAssembly — русскоговорящее сообщество

Именно так и представлял себе Брендан Эйх JavaScript 1.0. Точно так же себе представлял Бутерин solidity. В конечном итоге все языки казалось бы спроектированные для узкой доменной области превращаются в языки с общим назначением. И я таких примеров могу назвать очень много. Да те же шейдера. Раньше они умели только математику и чтение из тектуры, даже функции power не было, потом все это появилось и даже циклы постоянной длины, потом появились циклы переменной длины и настоящие условные переходы. Теперь с compute shaders программы для GPU вообще мало чем отличаются от обычных. К этому неизбежно приходят практически все языки. Даже декларативные. Взять тот же CSS. Он неожиданно для многих уже давно turing compleate с появлением CSS3 ну а про CSS-in-JS я вообще молчу=)

https://mikehadlow.blogspot.com/2012/05/configuration-complexity-clock.html all over again, huh? 😉

The Configuration Complexity Clock

When I was a young coder, just starting out in the big scary world of enterprise software, an older, far more experienced chap gave me a ste...

источник

19:08пожаловаться #18

AT

Alexander Tchitchigi... in WebAssembly — русскоговорящее сообщество

I think the observations are pretty relevant and resonant for (the future applications of) Wasm: https://www2.eecs.berkeley.edu/Pubs/TechRpts/2019/EECS-2019-3.pdf
(The paper is on challenges and prospects of "serverless computing".)

источник

21:24пожаловаться #19

A

Anon in WebAssembly — русскоговорящее сообщество

Вери вандерфул

источник

21:25пожаловаться #20