УНИВЕРСИТЕТ ИТМО
Кафедра «Технологии программирования»

Реализация алгоритма Лампорта на основе автоматного подхода

© Р. В. Сатюков, И. А. Синёв, А. А. Шалыто

Санкт-Петербургский государственный университет информационных технологий, механики и оптики

Проектная документация
Исполняемая программа (компиляционный подход)
Исходные тексты на языке Java (компиляционный подход)

Аннотация

В работе демонстрируется возможность нестандартного применения автоматного программирования и инструмента Unimod при реализации алгоритма Лампорта, обеспечивающего контроль доступа параллельных процессов к критической секции.

Unimod позволяет интерпретировать и компилировать автоматные программы, поведение которых наглядно задается графами переходов. При этом структура программы в целом определяется схемой связей автоматов с поставщиками событий и объектами управления. Эта схема является диаграммой классов.