E
блин, каждый раз хочу не забывать интересные статьи добавлять в букмарки и забываю
Size: a a a
2020 November 10
E
ну кстати офигенная-то идея!
E
вырезать код, который по ПГО был нетронут
E
это ж целые графы вырежутся, назовем этот режим "YOLO/YAGNI"
KR
Вообще, в теор.вере различают невозможные события (при сложении 1 и 2 получится 125) и практически невозможные (вероятность 0).
Вот если builtin-expect-probability - 0, то это практически невозможное событие. А если анализатор вырезал кусок мёртвого кода - это он решил, что событие невозможное.
Кстати, в стохастике очень много чего завязано на события с вероятностью 0 и их аккуратное рассмотрение.
Вот если builtin-expect-probability - 0, то это практически невозможное событие. А если анализатор вырезал кусок мёртвого кода - это он решил, что событие невозможное.
Кстати, в стохастике очень много чего завязано на события с вероятностью 0 и их аккуратное рассмотрение.
KR
ПГО - это, кстати, всего лишь одна траектория исполнения программы? Или там можно нормальное такое Монте-Карло сделать с миллионом треков?
M
А есть кто применяет графические промежуточные представления/базы данных в статическом анализе, компиляторах, IDE, хочется понять есть ли вообще практический смысл в собственном велосипеде?
SG
А есть кто применяет графические промежуточные представления/базы данных в статическом анализе, компиляторах, IDE, хочется понять есть ли вообще практический смысл в собственном велосипеде?
"Графические" в смысле "графовые" или реально картинки?
SG
А есть кто применяет графические промежуточные представления/базы данных в статическом анализе, компиляторах, IDE, хочется понять есть ли вообще практический смысл в собственном велосипеде?
Если графовые, то статьи на эту тему точно есть. Например https://dl.acm.org/doi/10.1145/3037697.3037744 Могу ещё поискать.
M
Semyon Grigorev
"Графические" в смысле "графовые" или реально картинки?
Да графовые, статьи врятли помогут
M
Есть анализатор кода rust analyser там есть крайне ужасная штука HIR, и я думаю туда впихнуть Node4j просто, потому что а почему и нет
M
Статью бы вида - вот мы делали, там то то не очень, а остальное вроде бы и ничего
M
Вот вроде вообще нужный кейс.
SG
Да графовые, статьи врятли помогут
Из не совсем статей сходу вспоминается https://www.shiftleft.io/ У них https://joern.io/ под капотом с уже звучавшим сдесь CPG.
SG
Есть анализатор кода rust analyser там есть крайне ужасная штука HIR, и я думаю туда впихнуть Node4j просто, потому что а почему и нет
А выбор именно Neo4j в качестве БД чем-то обоснован или просто "а почему бы и нет"?
M
Декларативные матчи нравятся, ну и оно опенсорсное, автор в комитете по GQL, вообшем, по мне лучший из доступных, можно писать с нуля свое. Кладов почему то зациклен на инкрементальности.
http://smallcultfollowing.com/babysteps/blog/2019/01/29/salsa-incremental-recompilation/
Если кратко:
персистентно из коробки
имеет апи разработанное за нас из коробки
оптимизированно за нас из коробки
так же опенсорсно
декларативный синтасис match, и вообще очереди использовать лучше, чем процедурно дергать ORM модель, потому, что в очереди есть эмерджетные свойства и ее можно как то оптимизировать
http://smallcultfollowing.com/babysteps/blog/2019/01/29/salsa-incremental-recompilation/
Если кратко:
персистентно из коробки
имеет апи разработанное за нас из коробки
оптимизированно за нас из коробки
так же опенсорсно
декларативный синтасис match, и вообще очереди использовать лучше, чем процедурно дергать ORM модель, потому, что в очереди есть эмерджетные свойства и ее можно как то оптимизировать
VS
ПГО - это, кстати, всего лишь одна траектория исполнения программы? Или там можно нормальное такое Монте-Карло сделать с миллионом треков?
Кстати, хороший вопрос. Не слышал о вариациях с Монте-Карло, но имхо должно быть интересно.
M
Кстати, хороший вопрос. Не слышал о вариациях с Монте-Карло, но имхо должно быть интересно.
https://ru.wikipedia.org/wiki/AlphaGo у них там как раз оценка локального превосходства на алгоритмах монте-карло
https://habr.com/ru/post/391513/#comment_17355173
https://habr.com/ru/post/391513/#comment_17355173
PS
В LLVM обсуждают векторизацию на основе risc-v vector extension от испанских товарищей http://lists.llvm.org/pipermail/llvm-dev/2020-November/146319.html https://repo.hca.bsc.es/gitlab/rferrer/llvm-epi/-/blob/EPI/README.md
