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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

Compiler Development

771 membersпожаловаться на группу
2019 December 31

PS

Peter Sovietov in Compiler Development
Михаил Бахтерев
Я имею в виду ir-таргеты. Плюс, может, компиляцию между ними, а авторы процессоров пусть выбирают себе более удобную и с ней работают.
Проще взгляд на мир изменить в сторону предметной ориентированности. И тогда можно будет увидеть вокруг себя многообразие IR :)
источник
23:50пожаловаться#1

PS

Peter Sovietov in Compiler Development
E G
Есть где почитать об этом?
О чем конкретно?
источник
23:50пожаловаться#2

DP

Dmitry Ponyatov in Compiler Development
Михаил Бахтерев
intermediate presentation
Чо мелочится, сразу hardware/ssoftware codesign, с подбором target-модели на сушествующую verilog спецыфикацию железа
источник
23:51пожаловаться#3

МБ

Михаил Бахтерев in Compiler Development
Peter Sovietov
Проще взгляд на мир изменить в сторону предметной ориентированности. И тогда можно будет увидеть вокруг себя многообразие IR :)
Лихих разработчиков CPU в этом не убедить. Они хотят Си, Фортран и прочее общее назначение. Жуют LLVM кактус и тратят на это бешенные ресурсы
источник
23:52пожаловаться#4

FO

FORTRAN ONE LOVE in Compiler Development
Dmitry Ponyatov
Чо мелочится, сразу hardware/ssoftware codesign, с подбором target-модели на сушествующую verilog спецыфикацию железа
Ой это ужас, когда софт между архитектурами почти не портируется(((
источник
23:53пожаловаться#5

МБ

Михаил Бахтерев in Compiler Development
Dmitry Ponyatov
Чо мелочится, сразу hardware/ssoftware codesign, с подбором target-модели на сушествующую verilog спецыфикацию железа
А как это выглядит не в виде идеи, а в виде кода?
источник
23:53пожаловаться#6

FO

FORTRAN ONE LOVE in Compiler Development
Михаил Бахтерев
Лихих разработчиков CPU в этом не убедить. Они хотят Си, Фортран и прочее общее назначение. Жуют LLVM кактус и тратят на это бешенные ресурсы
Хочу чистый Фортран. Без Сей
источник
23:53пожаловаться#7

PS

Peter Sovietov in Compiler Development
Михаил Бахтерев
Лихих разработчиков CPU в этом не убедить. Они хотят Си, Фортран и прочее общее назначение. Жуют LLVM кактус и тратят на это бешенные ресурсы
Ну и пусть себе едят. Все эти идеальные-универсальные решения неминуемо отомрут. И лучше не созывать комитеты и кидать клич 'сообществу', а начать с узкой предметной области. Придумать для нее {ЯП, компилятор, IR, архитектуру}. Собственно, так и делают, и успешно побивают на своем поле и LLVM, и GPP.
источник
23:54пожаловаться#8

FO

FORTRAN ONE LOVE in Compiler Development
Peter Sovietov
Ну и пусть себе едят. Все эти идеальные-универсальные решения неминуемо отомрут. И лучше не созывать комитеты и кидать клич 'сообществу', а начать с узкой предметной области. Придумать для нее {ЯП, компилятор, IR, архитектуру}. Собственно, так и делают, и успешно побивают на своем поле и LLVM, и GPP.
nVidia уже VASP на свои GPU портировало. Оно почти неработоспособно, если оперативы на GPU мало
источник
23:55пожаловаться#9

МБ

Михаил Бахтерев in Compiler Development
Peter Sovietov
Ну и пусть себе едят. Все эти идеальные-универсальные решения неминуемо отомрут. И лучше не созывать комитеты и кидать клич 'сообществу', а начать с узкой предметной области. Придумать для нее {ЯП, компилятор, IR, архитектуру}. Собственно, так и делают, и успешно побивают на своем поле и LLVM, и GPP.
Ну вот хотят люди сделать процессор для телефона, как им вписаться в эту идеологию?
источник
23:55пожаловаться#10

FO

FORTRAN ONE LOVE in Compiler Development
Да и многие методы слишком криво портированы
источник
23:55пожаловаться#11

МБ

Михаил Бахтерев in Compiler Development
Да. И ещё есть тонны важного софта на том же Фортране
источник
23:55пожаловаться#12

PS

Peter Sovietov in Compiler Development
Михаил Бахтерев
Ну вот хотят люди сделать процессор для телефона, как им вписаться в эту идеологию?
Это же MPSoC набором разнородных процессоров-ускорителей. Поэтому идеология вполне вписывается.
источник
23:56пожаловаться#13

DP

Dmitry Ponyatov in Compiler Development
Peter Sovietov
Ну и пусть себе едят. Все эти идеальные-универсальные решения неминуемо отомрут. И лучше не созывать комитеты и кидать клич 'сообществу', а начать с узкой предметной области. Придумать для нее {ЯП, компилятор, IR, архитектуру}. Собственно, так и делают, и успешно побивают на своем поле и LLVM, и GPP.
Тут нужна какая-то глобальная идея, на уровне абстрактной алгебры и упоротого хаскеля - как уложить одну модель (вычислительную), в рамки произвольно выбранной другой модели (описывающей архитекутуру, или модель языка программтрования)
источник
23:57пожаловаться#14

FO

FORTRAN ONE LOVE in Compiler Development
Dmitry Ponyatov
Тут нужна какая-то глобальная идея, на уровне абстрактной алгебры и упоротого хаскеля - как уложить одну модель (вычислительную), в рамки произвольно выбранной другой модели (описывающей архитекутуру, или модель языка программтрования)
В квантах нету никакой абстрактной алгебры. Там есть матрицы и численные методы.
источник
23:57пожаловаться#15

DP

Dmitry Ponyatov in Compiler Development
FORTRAN ONE LOVE
В квантах нету никакой абстрактной алгебры. Там есть матрицы и численные методы.
ну попробуйте сборку мусора в линейной алгебре выразить - есть формальный метод, который модет хотя бы подтвердить что это невозможно?
источник
23:59пожаловаться#16

МБ

Михаил Бахтерев in Compiler Development
Peter Sovietov
Это же MPSoC набором разнородных процессоров-ускорителей. Поэтому идеология вполне вписывается.
Да, но как на этом будут обычные приложения работать? Переучивать программистов под экзотичные языки, при чём, по языку на каждый процессор. Это разве норм?
источник
23:59пожаловаться#17
2020 January 01

FO

FORTRAN ONE LOVE in Compiler Development
Dmitry Ponyatov
ну попробуйте сборку мусора в линейной алгебре выразить - есть формальный метод, который модет хотя бы подтвердить что это невозможно?
А она мне нужна? У меня в коде массивы с быстрым выделением/освобождением памяти
источник
00:00пожаловаться#18

МБ

Михаил Бахтерев in Compiler Development
Dmitry Ponyatov
Тут нужна какая-то глобальная идея, на уровне абстрактной алгебры и упоротого хаскеля - как уложить одну модель (вычислительную), в рамки произвольно выбранной другой модели (описывающей архитекутуру, или модель языка программтрования)
Там нет никакой упоротой алгебры. Есть тьюринг-полное комбинаторное исчисление, из которого, кстати, стековые процессоры напрямую выводятся :)
источник
00:00пожаловаться#19

МБ

Михаил Бахтерев in Compiler Development
Dmitry Ponyatov
ну попробуйте сборку мусора в линейной алгебре выразить - есть формальный метод, который модет хотя бы подтвердить что это невозможно?
Кстати, это возможно. Линейная алгебра над рациональными числами тьюринг-полная. Это, конечно, упоротый вариант, но всё же.
источник
00:02пожаловаться#20