PS
У Воеводиных есть про Линду?
Есть.
Size: a a a
2020 April 27
МБ
Есть.
Оу. Я только про графы у них знаю. А в какой именно книге? Какого года?
МБ
Мы, пожалуй, слишком увлеклись обсуждением PGAS. Linda — значительно более высокоуровневая вещь. Для нее, вообще говоря, требуется своеобразный вариант распределенной разделяемой памяти (DSM) — ассоциативная DSM. В этом смысле координационная работа в Linda на уровне сопоставления с образцом на множестве кортежей напоминает систему переписывания.
По поводу отказоустойчивости вот, например, есть диссертация "Supporting fault-tolerant parallel programming in Linda": https://repository.arizona.edu/bitstream/handle/10150/186872/azu_td_9507003_sip1_m.pdf?sequence=1
Перемножение матриц, да? Есть очень хороший учебник Воеводиных "Параллельные вычисления". Там один из разделов посвящен Linda и в числе примеров как раз есть это самое перемножение матриц. Учебник, кстати говоря, в любом случае советую. Фундамент всегда важен.
По поводу отказоустойчивости вот, например, есть диссертация "Supporting fault-tolerant parallel programming in Linda": https://repository.arizona.edu/bitstream/handle/10150/186872/azu_td_9507003_sip1_m.pdf?sequence=1
Перемножение матриц, да? Есть очень хороший учебник Воеводиных "Параллельные вычисления". Там один из разделов посвящен Linda и в числе примеров как раз есть это самое перемножение матриц. Учебник, кстати говоря, в любом случае советую. Фундамент всегда важен.
Спасибо за диссертацию
PS
Когда мне говорят, что сегодня компиляторами заниматься неинтересно, что все уже давно придумано и есть LLVM, и всего несколько команд в мире разрабатывают компиляторы... То, я, во-первых, удивляюсь такому узкомыслию. А, во-вторых, даю ссылку на статью Carpentry Compiler про DSL и оптимизирующий компилятор, который генерирует оптимальные чертежи скворечников :)
https://grail.cs.washington.edu/projects/carpentrycompiler/files/CarpentryCompiler.pdf
https://grail.cs.washington.edu/projects/carpentrycompiler/files/CarpentryCompiler.pdf
KR
Когда мне говорят, что сегодня компиляторами заниматься неинтересно, что все уже давно придумано и есть LLVM, и всего несколько команд в мире разрабатывают компиляторы... То, я, во-первых, удивляюсь такому узкомыслию. А, во-вторых, даю ссылку на статью Carpentry Compiler про DSL и оптимизирующий компилятор, который генерирует оптимальные чертежи скворечников :)
https://grail.cs.washington.edu/projects/carpentrycompiler/files/CarpentryCompiler.pdf
https://grail.cs.washington.edu/projects/carpentrycompiler/files/CarpentryCompiler.pdf
Но так тоже нельзя - получается, что любой детерминированный переводчик с одного текста на другой == компилятор.
PS
Но так тоже нельзя - получается, что любой детерминированный переводчик с одного текста на другой == компилятор.
А Вы посмотрите-то статью. Подозреваю, что не все сходу там поймете. Компиляторные технологии там вполне передовые! Собственно, там больше компиляторной науки, чем в большинстве популярных компиляторов, которые занимаются порождением LLVM-представления на выходе :)
KR
А Вы посмотрите-то статью. Подозреваю, что не все сходу там поймете. Компиляторные технологии там вполне передовые! Собственно, там больше компиляторной науки, чем в большинстве популярных компиляторов, которые занимаются порождением LLVM-представления на выходе :)
Это безусловно!
АЕ
Когда мне говорят, что сегодня компиляторами заниматься неинтересно, что все уже давно придумано и есть LLVM, и всего несколько команд в мире разрабатывают компиляторы... То, я, во-первых, удивляюсь такому узкомыслию. А, во-вторых, даю ссылку на статью Carpentry Compiler про DSL и оптимизирующий компилятор, который генерирует оптимальные чертежи скворечников :)
https://grail.cs.washington.edu/projects/carpentrycompiler/files/CarpentryCompiler.pdf
https://grail.cs.washington.edu/projects/carpentrycompiler/files/CarpentryCompiler.pdf
В действительности, команд компиляторщиков в машинный код поразительно много. Особенно благодаря книгам Н. Вирта, в которых тема компиляторостроения приведена к системному виду.
PS
В действительности, команд компиляторщиков в машинный код поразительно много. Особенно благодаря книгам Н. Вирта, в которых тема компиляторостроения приведена к системному виду.
Да, Вирт — хороший начальный шаг. С ним можно писать простенькие компиляторы для RISC- и стековых архитектур. Но только его одного недостаточно, чтобы понять, как писать вышеупомянутый оптимизирующий компилятор для скворечников. Все-таки, тут уже более сложные компиляторные технологии используются.
2020 April 28
АЕ
Об абстрактном синтаксическом дереве у Вирта в книге упомянуто.
RS
А есть здесь компиляторщики, которые сами разрабатывают оптимизирующие компиляторы без LLVM?
PS
Rifat S
А есть здесь компиляторщики, которые сами разрабатывают оптимизирующие компиляторы без LLVM?
Да. Здесь есть, к примеру, представители Excelsior и МЦСТ.
АЕ
А что такое МЦСТ?
АЕ
«...Ведутся разработки оптимизирующих и двоичных компиляторов...» Интересно, что за двоичный компилятор?
RS
Насколько я понимаю, в их процессоре Эльбрус внутри прошит двоичный компилятор, который берет на вход код x86 и компилирует его во VLIW представление и выполняет его. Если где-то ошибаюсь, то поправьте меня.
VS
Про Эльбрус есть история про то, как Путину пообещали 2ггц
RS
Частота ничто, архитектура процессора, всё :)
VS
Не так давно