Телеграмм чат группы compilerdev страница 1723

parrot.ru

Рейтинг популярных групп и каналов

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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

Compiler Development

983 membersпожаловаться на группу

2020 November 08

PS

Peter Sovietov in Compiler Development

Первая же ссылка гугла по "sea of nodes": https://darksi.de/d.sea-of-nodes/ Видно, как диаграммы моментально теряют какое-либо подобие читаемости, хотя рассматривается простейшая передача контекста, на символьном уровне наглядно отображаемая как передача World в Clean, например.

Darkside of Software Engineering

Опять же, SoN это только частный случай графовых IR. Которые, в свою очередь, родом из dataflow-подхода: https://course.ece.cmu.edu/~ece740/f13/lib/exe/fetch.php?media=onur-740-fall13-module5.2.1-dataflow-part1.pdf
У того же Филда&Харрисона целая глава посвящена "потоковым реализациям". Так что классическому функциональному программированию это все не чуждо.

источник

17:21пожаловаться #1

PS

Peter Sovietov in Compiler Development

Если под "символьным подходом" считать обычное переписывание термов, которые, как известно, являются деревьями, то да, для графовых IR нужна несколько большая гибкость.

источник

17:25пожаловаться #2

VK

Val Krylov in Compiler Development

Если под "символьным подходом" считать обычное переписывание термов, которые, как известно, являются деревьями, то да, для графовых IR нужна несколько большая гибкость.

Раз уж вспомнился Clean, у его авторов была хорошая книжка на эту тему: Plasmeijer R., van Eckelen M. - Functional programming and parallel graph rewriting (1993). Там рассматриваются и различия между работой с термами и работой с графами.

источник

17:32пожаловаться #3

TS

Timur Safin in Compiler Development

Кстати почему SoN вот так не рисуют? Было бы намного назляднее чем облако из нод

Поиск Яндекса по картинкам говорит, что это "Modeling and Discovering Vulnerabilities with Code Property Graphs", Fabian Yamaguchi, Nico Goldey, Daniel Arp and Konrad Rieck

источник

18:46пожаловаться #4

M

MaxGraey in Compiler Development

Поиск Яндекса по картинкам говорит, что это "Modeling and Discovering Vulnerabilities with Code Property Graphs", Fabian Yamaguchi, Nico Goldey, Daniel Arp and Konrad Rieck

Да это было описание ПО по анализу уязвимостей

источник

18:48пожаловаться #5

TS

Timur Safin in Compiler Development

https://ieeexplore.ieee.org/document/6956589

ieeexplore.ieee.org

Modeling and Discovering Vulnerabilities with Code Property Graphs - IEEE Conference Publication

IEEE Xplore, delivering full text access to the world's highest quality technical literature in engineering and technology. | IEEE Xplore

источник

18:48пожаловаться #6

AD

Alex Denisov in Compiler Development

Уже не помню, я только график сохранил. Это самое интерестное тым было, т к приблуда проприаторная и материал больше маркетинговый был

есть опенсорц часть https://joern.io
отличие от проприетарной версии (https://ocular.shiftleft.io) в более слабом dataflow трэкере

источник

20:03пожаловаться #7

AD

Alex Denisov in Compiler Development

ну и ограниченная поддержка языков

источник

20:04пожаловаться #8

h

hazer_hazer in Compiler Development

Привет.
Правильно ли я понимаю, что с compile-time чекингом, например, в java, на рантайме не проверяется тип константы, когда она берется из пула?
В этом же смысл компайл-тайм чекинга. Но если, предположим будет статический каст или что-то такое, то будет SegFault и всё полетит.
Если подсунуть байт-код, где в констант пуле будет int вместо double, а в коде написать double, то все сломается?

источник

21:12пожаловаться #9

а

а это кто in Compiler Development

Привет.
Правильно ли я понимаю, что с compile-time чекингом, например, в java, на рантайме не проверяется тип константы, когда она берется из пула?
В этом же смысл компайл-тайм чекинга. Но если, предположим будет статический каст или что-то такое, то будет SegFault и всё полетит.
Если подсунуть байт-код, где в констант пуле будет int вместо double, а в коде написать double, то все сломается?

Будет UB

источник

21:14пожаловаться #10

а

а это кто in Compiler Development

всё сломается, да

источник

21:14пожаловаться #11

h

hazer_hazer in Compiler Development

Но UB будет, потому что они прочекали, или потому-что они кэтчат segfault и пишут UB?

источник

21:15пожаловаться #12

а

а это кто in Compiler Development

Привет.
Правильно ли я понимаю, что с compile-time чекингом, например, в java, на рантайме не проверяется тип константы, когда она берется из пула?
В этом же смысл компайл-тайм чекинга. Но если, предположим будет статический каст или что-то такое, то будет SegFault и всё полетит.
Если подсунуть байт-код, где в констант пуле будет int вместо double, а в коде написать double, то все сломается?

Ты JVM пишешь ? :>

источник

21:15пожаловаться #13

h

hazer_hazer in Compiler Development

а это кто

Ты JVM пишешь ? :>

Ну. Не совсем. Я думал сначала, насчет интерпретатора, потому что просто, но очень хотел type-checking, поэтому решил компилируемый, но с LLVM у меня не пошло, и я решил реализовать что-то подобное java

источник

21:16пожаловаться #14

а

а это кто in Compiler Development

Я тоже JVM пробовал писать, сделал парсер .class файлов, дошёл до реализации опкодов

источник

21:17пожаловаться #15

h

hazer_hazer in Compiler Development

а это кто

Я тоже JVM пробовал писать, сделал парсер .class файлов, дошёл до реализации опкодов

Вот я и компилятор и ВМ пытаюсь написать

источник

21:18пожаловаться #16

а

а это кто in Compiler Development

Привет.
Правильно ли я понимаю, что с compile-time чекингом, например, в java, на рантайме не проверяется тип константы, когда она берется из пула?
В этом же смысл компайл-тайм чекинга. Но если, предположим будет статический каст или что-то такое, то будет SegFault и всё полетит.
Если подсунуть байт-код, где в констант пуле будет int вместо double, а в коде написать double, то все сломается?

UB значит undefined behaviour, поведение неопределённое стандартом языка

Если в памяти записано число типа double а программа считывает int, поведение не определно, не понятно какое int число будет

источник

21:18пожаловаться #17

AS

Aleksey Shipilev in Compiler Development

Привет.
Правильно ли я понимаю, что с compile-time чекингом, например, в java, на рантайме не проверяется тип константы, когда она берется из пула?
В этом же смысл компайл-тайм чекинга. Но если, предположим будет статический каст или что-то такое, то будет SegFault и всё полетит.
Если подсунуть байт-код, где в констант пуле будет int вместо double, а в коде написать double, то все сломается?

Я бы предположил, что скорее это вызовет ошибку верификации при загрузке класса, и привет. Плохой байткод верификатор не должен пропустить к исполнению в VM, что освобождает остальную реализацию VM от необходимости проверок на каждый чих. Не всегда и не везде, но в подавляющем большинстве случаев.

источник

21:18пожаловаться #18

а

а это кто in Compiler Development

Но UB будет, потому что они прочекали, или потому-что они кэтчат segfault и пишут UB?

segfault это ошибка памяти, она тут ни при чём

источник

21:19пожаловаться #19

E

EgorBo in Compiler Development

Aleksey Shipilev

Я бы предположил, что скорее это вызовет ошибку верификации при загрузке класса, и привет. Плохой байткод верификатор не должен пропустить к исполнению в VM, что освобождает остальную реализацию VM от необходимости проверок на каждый чих. Не всегда и не везде, но в подавляющем большинстве случаев.

а у вас прям суровый верификатор в джите? на перф джита не влияет?

источник

21:19пожаловаться #20