САНКТ-ПЕТЕРБУРГСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ ИНФОРМАЦИОННЫХ ТЕХНОЛОГИЙ, МЕХАНИКИ И ОПТИКИ
Кафедра «Технологии программирования»

State machine-based implementation of Lamport algorithm

© R.V. Satukov, I.A. Sinev, A.A. Shalyto

Saint-Petersburg State University of Information Technologies, Mechanics and Optics

Project documentation
Executable file
Source code

Annotation

This work demonstrates availability of non-standard applications of automata programming and Unimod tool by example of implementation of Lamport's mutual exclusion algorithm.

Unimod enables compilation and interpretation of state machine-based programs. Behaviour of these programs is visually designated by state diagrams. Furthermore, overall program structure is specified by connectivity diagram that shows communications between state machines, event providers and controlled objects and at the same time plays a part of the class diagram.