Evgeny_CD, Архитектор (25.02.2024 19:47, просмотров: 89) ответил Evgeny_CD на Хабр. Создание собственного компилятора.-
- Чуть менее общая постановка задачи - генерация системы команд виртуальной машины, которая максимально быстро будет исполняться на данной процессорной архитектуре. - Evgeny_CD(25.02.2024 22:47)
- Это в несколько этапов (многофазово) прооисходит. Программа на
синтетических языках сама по себе это дерево, поэтому результатом
парсинга и является абстрактное синтаксическое дерево (граф),
только в сжатом, машинном представлении. "Методы" в этом смысле:
LLVM. Это набор фреймворков (т.е. шаблонов) для построения а)
Фреймворк фронт-энда, выполняющего синтаксический и лексический
анализ. б) Фреймворк примитивов по манипуляции с промежуточными
трансформациями в результате RxTx(146 знак., 25.02.2024 20:02)
- Не совсем. Пусть у нас есть возможность сделать любой процессор с
любой системой команд. Мы решаем конкретный набор задач, поэтому
универсализм какой-то общеизвестной архитектуры нам не очень в
кассу. Например, мы делаем IP блок для SoC, который сразу даст нам
интерфейс TLS (типа WizNet, только не просто IP, а сразу TLS 1.4
(или какой там актуален сейчас) со всеми его сервисами). Нас
волнует не просто площадь ядра процессора, а совокупная площадь
ядро + память. И если мы Evgeny_CD(364 знак., 25.02.2024 20:13)
- TLS 1.4 только в проекте и непонятно, когда выйдет. Актуальны TLS 1.3 и куча дополнений к нему. - Evgeny_CD(26.02.2024 01:35)
- Не слышал о таком. Как мне кажется, пока что никому не приходило в голову такое, расчет какой-то оптимальной системы команд. Все действуют эмпирически. Самый компактный и простой по матзатратам процессор последовательной архитектуры. - RxTx(25.02.2024 20:39)
- Я, наконец, сформулировал сам для себя что меня бесит в современном мире MCU. Evgeny_CD(964 знак., 25.02.2024 20:21)
- Не в теме, но речь идет о синтезе выходного языка. Боюсь это
по-круче искусственного интеллекта задачка. - Cкpипaч(25.02.2024 20:16)
- Именно. Синтез оптимального пространства примитивов для разложения
целевой задачи по нему. AI здесь мелкий помошник. - Evgeny_CD(25.02.2024 20:24)
- А оно надо? Мы ведь изначально с другой стороны пришли -
удешевление электроники за счет применения вместо "обычных,
оптимальных под задачу" электронных схем некоего универсального
"суперустройства", подходящего для решения сразу всех вообразимых
задач. Cкpипaч(526 знак., 25.02.2024 20:36 - 20:43)
- Спираль зашла на второй круг. Evgeny_CD(946 знак., 25.02.2024 20:43)
- Пора переносить библиотеки внутрь кристаллов. И лучшая библиотека -
построенная в форме фреймворка (вклеиваем "обрабочики" в уже
готовый продукт). При этом код самой библиотеки можно сделать
просто недоступным к чтению. Cкpипaч(116 знак., 25.02.2024 20:50)
- Отчасти верно, и так делают крупные фирмы - STM (Куб), Renesas
(проект Синергия, ради которой они вообще RTOS купили). Но это не
решает фундаментальной задачи. Evgeny_CD(268 знак., 25.02.2024 20:50)
- Не нашел неуловимого Джо? :) Лемма: "Похуй какова архитектура кода,
недоступного к чтению". - Cкpипaч(25.02.2024 20:52)
- Путь в никуда. Именно на таких гипотезах и выстроен нынешний
дырявый мир IoT. - Evgeny_CD(25.02.2024 20:58)
- Верю на слово. Но генерить под каждый тип задач отдельную систему
команд, вижу как не более чем "попытку трудоустроить племянника".
Если есть нормально формализуемая задача, сильно отличающаяся от
остального проекта - она должна быть непрозрачным ip-блоком, на
внутренней шине процессора, оптимального задаче в целом. Cкpипaч(51 знак., 25.02.2024 21:10)
- Вот я и ищу подходы к автоматической генерации системы команд :) - Evgeny_CD(25.02.2024 21:19)
- Изобретением своей собственной системы команд страдает каждый
первый погромист (если не бить по рукам). Вы же заглянули
в безднусильно дальше :) Cкpипaч(171 знак., 25.02.2024 21:29)
- Изобретением своей собственной системы команд страдает каждый
первый погромист (если не бить по рукам). Вы же заглянули
- Вот я и ищу подходы к автоматической генерации системы команд :) - Evgeny_CD(25.02.2024 21:19)
- Верю на слово. Но генерить под каждый тип задач отдельную систему
команд, вижу как не более чем "попытку трудоустроить племянника".
Если есть нормально формализуемая задача, сильно отличающаяся от
остального проекта - она должна быть непрозрачным ip-блоком, на
внутренней шине процессора, оптимального задаче в целом. Cкpипaч(51 знак., 25.02.2024 21:10)
- Путь в никуда. Именно на таких гипотезах и выстроен нынешний
дырявый мир IoT. - Evgeny_CD(25.02.2024 20:58)
- Не нашел неуловимого Джо? :) Лемма: "Похуй какова архитектура кода,
недоступного к чтению". - Cкpипaч(25.02.2024 20:52)
- Отчасти верно, и так делают крупные фирмы - STM (Куб), Renesas
(проект Синергия, ради которой они вообще RTOS купили). Но это не
решает фундаментальной задачи. Evgeny_CD(268 знак., 25.02.2024 20:50)
- Пора переносить библиотеки внутрь кристаллов. И лучшая библиотека -
построенная в форме фреймворка (вклеиваем "обрабочики" в уже
готовый продукт). При этом код самой библиотеки можно сделать
просто недоступным к чтению. Cкpипaч(116 знак., 25.02.2024 20:50)
- Спираль зашла на второй круг. Evgeny_CD(946 знак., 25.02.2024 20:43)
- А оно надо? Мы ведь изначально с другой стороны пришли -
удешевление электроники за счет применения вместо "обычных,
оптимальных под задачу" электронных схем некоего универсального
"суперустройства", подходящего для решения сразу всех вообразимых
задач. Cкpипaч(526 знак., 25.02.2024 20:36 - 20:43)
- Именно. Синтез оптимального пространства примитивов для разложения
целевой задачи по нему. AI здесь мелкий помошник. - Evgeny_CD(25.02.2024 20:24)
- Не совсем. Пусть у нас есть возможность сделать любой процессор с
любой системой команд. Мы решаем конкретный набор задач, поэтому
универсализм какой-то общеизвестной архитектуры нам не очень в
кассу. Например, мы делаем IP блок для SoC, который сразу даст нам
интерфейс TLS (типа WizNet, только не просто IP, а сразу TLS 1.4
(или какой там актуален сейчас) со всеми его сервисами). Нас
волнует не просто площадь ядра процессора, а совокупная площадь
ядро + память. И если мы Evgeny_CD(364 знак., 25.02.2024 20:13)