BD
Dollar Føølish
То есть не лапша в виде стандарта
Ну насколько я понимаю там должны были определить модель памяти практически так же как в с++11 ее определили.
Size: a a a
2020 December 25
BD
Evgenii Moiseenko
там ещё есть замечательный абзац про запрет out-of-thin-air значений, без какого-либо определения этих самых thin-air значений
Эт прекрасно, они молодцы)
BD
Dollar Føølish
О пользе верификации.. спасибо
Да, за верификацию спасибо - это очень полезная тема.
AG
Ну насколько я понимаю там должны были определить модель памяти практически так же как в с++11 ее определили.
определить то определили, только там дыры полезли
AG
в итоге есть несколько потенциальных фиксов типа RC11, но канонического вроде ничего ещё не приняли
2020 December 26
EZ
Теперь никто не поймет. Но есть мнение что эффективный линеаризуемый lock-free deque (если не применять универсальную конструкцию и другие дескрипторы) вообще не написать. Мы не видели. Если кто видел - шлите код. Мы с радостью найдем там багу (ребятам надо для статьи побольше такого материала).
На расте видел минимум два локфри дека (не уверен что эффективных и линеаризуемых, но вроде рабочих)
DP
На расте видел минимум два локфри дека (не уверен что эффективных и линеаризуемых, но вроде рабочих)
Реализован как структуры в кложе - на ref-tree?
DP
Вывод в консоль захватывает мьютекс обычно, а там барьеры и все что к ним прилагается
Ну выводом должны отдельные процесс(ы)-логгер заниматься.
А возможно создание очередей/майлбоксов без блокировок?
А возможно создание очередей/майлбоксов без блокировок?
EZ
Dmitry Ponyatov
Реализован как структуры в кложе - на ref-tree?
вроде нет если я правильно понял о чем ты
https://docs.rs/coco/0.3.4/src/coco/deque.rs.html#1-912
https://docs.rs/deque/0.3.2/src/deque/lib.rs.html#10-365
https://docs.rs/coco/0.3.4/src/coco/deque.rs.html#1-912
https://docs.rs/deque/0.3.2/src/deque/lib.rs.html#10-365
AG
вроде нет если я правильно понял о чем ты
https://docs.rs/coco/0.3.4/src/coco/deque.rs.html#1-912
https://docs.rs/deque/0.3.2/src/deque/lib.rs.html#10-365
https://docs.rs/coco/0.3.4/src/coco/deque.rs.html#1-912
https://docs.rs/deque/0.3.2/src/deque/lib.rs.html#10-365
коко это был экспериментальный форк кросбима, сейчас оно уже вмержено в основой репозиторий
AG
и да, оно основано на статье Чейз-Лева с парой фиксов, там даже есть неформальное доказательство
AG
M
Вот вам куча реализаций (включая и по пейперу от Чейз-Лева)
https://github.com/mpoeter/xenium/tree/master/xenium
https://github.com/mpoeter/xenium/tree/master/xenium
AG
угу, Пётер диплом писал по алгоритмам рекламации и изобрел новый (stamp-it)
2020 December 28
2020 December 29
NK
Поздравляю читателей PLComp с предстоящими праздниками! Подведу некоторые итоги этого года.
1. Выход очередного, четвертого тома HOPL. https://t.me/plcomp/6
Замечательное, увлекательное чтение для всех, кто интересуется историей разработки ЯП.
2. Развитие подхода E-Graphs для создания систем оптимизации и синтеза программ. https://t.me/plcomp/8
Именно в этом году появились доступные реализации E-Graphs, в том числе и учебные. Следует ожидать постепенного внедрения подхода в компиляторы.
3. Практические применения SyGuS (синтаксически-управляемый синтез программ) в компиляторах.
Для BPF (https://t.me/plcomp/51), для сетевых процессоров (https://dl.acm.org/doi/abs/10.1145/3387514.3405852) и для DSP (https://www.cs.utexas.edu/~bornholt/papers/diospyros-lctes20.pdf ).
В будущем году, надеюсь, мы в PLComp также сможем оперативно реагировать на основные события в компиляторной/языковой тематике. Пока же предлагаю "заглянуть в будущее", посмотреть на работы предстоящих конференций.
1. ASPLOS 2021. https://asplos-conference.org/papers/
2. POPL 2021. https://popl21.sigplan.org/program/program-POPL-2021
3. CGO 2021. https://conf.researchr.org/info/cgo-2021/accepted-papers
#conf
1. Выход очередного, четвертого тома HOPL. https://t.me/plcomp/6
Замечательное, увлекательное чтение для всех, кто интересуется историей разработки ЯП.
2. Развитие подхода E-Graphs для создания систем оптимизации и синтеза программ. https://t.me/plcomp/8
Именно в этом году появились доступные реализации E-Graphs, в том числе и учебные. Следует ожидать постепенного внедрения подхода в компиляторы.
3. Практические применения SyGuS (синтаксически-управляемый синтез программ) в компиляторах.
Для BPF (https://t.me/plcomp/51), для сетевых процессоров (https://dl.acm.org/doi/abs/10.1145/3387514.3405852) и для DSP (https://www.cs.utexas.edu/~bornholt/papers/diospyros-lctes20.pdf ).
В будущем году, надеюсь, мы в PLComp также сможем оперативно реагировать на основные события в компиляторной/языковой тематике. Пока же предлагаю "заглянуть в будущее", посмотреть на работы предстоящих конференций.
1. ASPLOS 2021. https://asplos-conference.org/papers/
2. POPL 2021. https://popl21.sigplan.org/program/program-POPL-2021
3. CGO 2021. https://conf.researchr.org/info/cgo-2021/accepted-papers
#conf
IP
есть ли какие-нибудь простые и читаемые примеры реализации glr-парсера?
AT
есть ли какие-нибудь простые и читаемые примеры реализации glr-парсера?
В https://github.com/YaccConstructor/YaccConstructor есть, но насчёт "простые и читаемые" не уверен — вопрос спорный.
