Исследовательская группа

Лаборатория языковых инструментов

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

February 17

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

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

Материалы