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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

Compiler Development

816 membersпожаловаться на группу
2020 April 19

МБ

Михаил Бахтерев in Compiler Development
Alex Gryzlov
моя текущая гипотеза что практически вся основная база для компиляторов выводится из теории доказательств и теории моделей :)
Конкретные алгоритмы не выводятся. Как вывести какое-нибудь назначение регистров раскраской графа методом линейного программирования? Или конкретный алгоритм проверки типов? Но структурные вещи, может быть, и выводятся.
источник
17:27пожаловаться#1

AG

Alex Gryzlov in Compiler Development
ну я к тому что эту технику вполне можно воспроизвести в том же хаскеле при желании: https://offog.org/publications/fita200811-generics.pdf
источник
17:27пожаловаться#2

PS

Peter Sovietov in Compiler Development
Михаил Бахтерев
Конкретные алгоритмы не выводятся. Как вывести какое-нибудь назначение регистров раскраской графа методом линейного программирования? Или конкретный алгоритм проверки типов? Но структурные вещи, может быть, и выводятся.
У, Вы хватили! Какие вообще алгоритмы! Это дело прошлого.  Эпоха постмодерна или пост-алгоритмизма :)
источник
17:28пожаловаться#3

AG

Alex Gryzlov in Compiler Development
Михаил Бахтерев
Конкретные алгоритмы не выводятся. Как вывести какое-нибудь назначение регистров раскраской графа методом линейного программирования? Или конкретный алгоритм проверки типов? Но структурные вещи, может быть, и выводятся.
http://www.riec.tohoku.ac.jp/~ohori/research/regalloc.pdf
источник
17:28пожаловаться#4

PS

Peter Sovietov in Compiler Development
Alex Gryzlov
ну я к тому что эту технику вполне можно воспроизвести в том же хаскеле при желании: https://offog.org/publications/fita200811-generics.pdf
Угу, но это, как и в случае Stratego на Haskell, скорее манифестации в духе "у нас тоже можно". Кроме того, с 2009 года Nanopass стал сильно мощнее и выразительнее.
источник
17:30пожаловаться#5

МБ

Михаил Бахтерев in Compiler Development
Alex Gryzlov
http://www.riec.tohoku.ac.jp/~ohori/research/regalloc.pdf
Ну, они же не выводят сам алгоритм, а просто его кодируют в таком вот proof-theoretic виде.
источник
17:30пожаловаться#6

AG

Alex Gryzlov in Compiler Development
именно выводят, там альтернативный алгоритм, не раскраска графа
источник
17:32пожаловаться#7

PS

Peter Sovietov in Compiler Development
Alex Gryzlov
именно выводят, там альтернативный алгоритм, не раскраска графа
А в чем состоит алгоритм?
источник
17:34пожаловаться#8

AG

Alex Gryzlov in Compiler Development
Peter Sovietov
А в чем состоит алгоритм?
трансформация в окололинейную систему с ограничением на размер контекста через liveness анализ
источник
17:37пожаловаться#9

AG

Alex Gryzlov in Compiler Development
операции над регистрами - структурные правила
источник
17:37пожаловаться#10

PS

Peter Sovietov in Compiler Development
Alex Gryzlov
трансформация в окололинейную систему с ограничением на размер контекста через liveness анализ
Но, похоже, это и на самом деле просто другая формулировка известного подхода. Извлекаем факты из кода, а затем решатель за нас решает систему ограничений.
источник
17:38пожаловаться#11

AG

Alex Gryzlov in Compiler Development
я думаю, здесь ситуация сходная с bidirectional тайпчекером
источник
17:40пожаловаться#12

МБ

Михаил Бахтерев in Compiler Development
Peter Sovietov
Но, похоже, это и на самом деле просто другая формулировка известного подхода. Извлекаем факты из кода, а затем решатель за нас решает систему ограничений.
Ну... Это уж слишком абстратно. Любой алгоритм так можно описать :)
источник
17:40пожаловаться#13

AG

Alex Gryzlov in Compiler Development
главное правильно закодировать инварианты структур, а алгоритм тривиально отсюда выпадает как трансформация между ними :)
источник
17:41пожаловаться#14

МБ

Михаил Бахтерев in Compiler Development
А что? Не посеминарить ли нам эту статью?
источник
17:41пожаловаться#15

PS

Peter Sovietov in Compiler Development
Михаил Бахтерев
Ну... Это уж слишком абстратно. Любой алгоритм так можно описать :)
Ну хорошо, вот Вам конкретика. Обходим программу, получаем множество переменных — live ranges. Далее строим формулу для SMT-решателя в духе r1 != r2, r2 != r3... Так более конкретно? Понятно ли, что можно раскрасить граф таким образом? ;)
источник
17:42пожаловаться#16

AG

Alex Gryzlov in Compiler Development
там не смт, они дают специализированный алгоритм унификации для этой системы
источник
17:43пожаловаться#17

PS

Peter Sovietov in Compiler Development
Alex Gryzlov
там не смт, они дают специализированный алгоритм унификации для этой системы
Для практика тут разница в том, в первую очередь, что совсем непонятна вычислительная сложность "специализированного алгоритма".
источник
17:44пожаловаться#18

AG

Alex Gryzlov in Compiler Development
за практику я не спорю, моя гипотеза касается базы ;)
источник
17:45пожаловаться#19

PS

Peter Sovietov in Compiler Development
Ok :)
источник
17:45пожаловаться#20