Для уточнения - правильно ли я понял: пробежать по AST

Question

Для уточнения - правильно ли я понял: пробежать по AST

разных модулей параллельно, собрав ТОЛЬКО всю нужную информацию, а потом бегать по этой информации в однопотоке, но по всему отображению программы?

То есть, у нас есть 2 абстрактных домена: один промежуточный, а второй - для анализа всей программы из промежуточного.

#compilerdev #it #programming #russian

0

10.09.2023

4 ответов

6 просмотров

Konstantin Romanov Автор вопроса

Alex
Если про thin lto, то там параллельно получение пр...

Ну это стандартный map-reduce, он же fork-join, и т.д. Простые эффективные методы вычислительного программирования, применяющиеся с доисторических времён.

0

7 месяцев назад

Alex

Konstantin Romanov
Ну это стандартный map-reduce, он же fork-join, и ...

Оно всё, может, и выглядит просто, но сделать это не так просто)

0

7 месяцев назад

Konstantin Romanov Автор вопроса

Alex
Оно всё, может, и выглядит просто, но сделать это ...

Безусловно. Просто к OCaml'у это, кажется, неприменимо в текущем виде. Парсер очень быстр.

0

7 месяцев назад

Alex · Accepted Answer

Если про thin lto, то там параллельно получение представления, потом узкая точка, когда мы собираем воедино, потом там функции распределялись по кластерам, и собирались параллельно. Но там именно lto, а не whole program. Но подход вполне себе применимый

185 похожих чатов

Для уточнения - правильно ли я понял: пробежать по AST

4 ответов

Похожие вопросы