JetBrains Research — наука, меняющая мир

Обещающая семантика 2.0

Модели памяти языков программирования должны обладать рядом качеств, среди которых (1) поддержка компиляторных оптимизаций, (2) возможность эффективной компиляции в целевые платформы (x86, IBM Power, ARM и др.) и (3) поддержка разумных рассуждений о поведении программ в этих моделях. На данный момент ни одна из моделей памяти, используемых в стандартах промышленных языков программирования, не удовлетворяет всем трём критериям.

Обещающая семантика 1.0 [1] является перспективным решением, которое, однако, не поддерживает полностью оптимальную схему компиляции в ARMv8.3, а также глобальные оптимизации. В докладе будет рассмотрена Обещающая семантика 2.0, которая решает данные проблемы.

[1] Jeehoon Kang, Chung-Kil Hur, Ori Lahav, Viktor Vafeiadis, Derek Dreyer. A promising semantics for relaxed-memory concurrency. In POPL 2017, pp. 175-189. ACM (January 2017)

17.02.2020, 17:15. Место: ауд. 3248, мат-мех. факультет СПбГУ, Старый Петергоф, Университетский пр-т, д. 28