(C) 2003 г. М.И.Гуисов, А.Б.Кузнецов, А.А.Шалыто
Санкт-Петербургский государственный институт точной механики и оптики (технический университет)
Отсюда можно скачать полный текст документации в формате pdf (140 кб)
Исходные тексты и приложение
В настоящей работе демонстрируется эффективность применения объектно-ориентированного программирования с явным выделением состояний, в котором совместно используются объектно-ориентированный и автоматный стили программирования [1]. В работе [2] был предложен шаблон, который позволяет реализовывать системы вызываемых последовательно автоматов. Однако, при решении задач с параллельными процессами этот шаблон неприменим, в основном, из-за того, что в нем отcутствует переобозначение переменной состояния.
Для устранения указанного недостатка в настоящей работе используются следующие подходы [3]:
При создании программы для упрощения взаимодействия параллельно работающих автоматов применялся механизм обмена сообщениями, реализованный с помощью библиотеки "swmem" [3].
В качестве примера выбрана задача о синхронизации цепи стрелков, предложенная Д.Майхиллом в 1957 г. [4].
Рассмотренный в работе пример продемонстрировал эффективность применения предложенного в работе [3] подхода при реализации систем с параллельными процессами. Использование протоколов позволяет визуализировать работу программы, что значительно облегчает ее отладку и, в конечном итоге, демонстрирует в наглядном виде правильность ее работы.
Список литературы