3.2. Средства описания параллелизма
Средства, которые могут быть использованы для описания параллелизма в программах, можно разделить на два вида: графические и языковые.
3.2.1. Графические средства
Вопрос (
К графическим средствам относятся:
1. ГОСТ «Схемы алгоритмов, программ, данных и систем»
2. SDL-диаграммы
3. UML-диаграммы
4. графы
)Вопрос
Графические средства представлены ГОСТ 19701.90, который называется «Схемы алгоритмов, программ, данных и систем». В этом ГОСТе есть пункт 3.2.2.5, называемый «Параллельные действия».
В этом пункте есть следующие примеры:
1) Синхронизация двух или более параллельных операций
2
)
В данной схеме C, D, E начинаются только после завершения A, а F начинается только после завершения B, C, D.
В п. 3.3.2.1 есть значок - символ передачи управления от одного процесса к другому.
3.2.2. SDL – диаграммы
Еще одним средством описания процессов являются SDL-диаграммы. SDL—это "specification and description language". Этот язык широко применяется для описания процессов в системах реального времени. Сам язык описан в Международных Рекомендациях МККТТ Z.101 - Z.104.
Следующие символы могут быть использованы:
state
"state" - состояние, в котором действие процесса приостановлено в ожидании ввода;
внешний ввод (external input)
внутренний ввод (internal input)
«input» - входящий сигнал, который распознается процессом;
внешний вывод (external output)
внутренний вывод (internal output)
«output» - действие, которое генерирует сигнал, который в свою очередь действует в другом месте как ввод;
решение
(decision)
«decision» - действие, которое задает вопрос, на который ответ может быть получен в тот же момент, и которое выбирает один из нескольких путей для продолжения потока;
задача (task)
«task» - любое действие, которое не является ни решением, ни выводом.
Рассмотрим пример использования SDL диаграммы для описания процессов.
Пример взят из области коммуникационных протоколов.
Пусть передача информации выполняется по следующему алгоритму.
В определенные моменты времени система ожидает прием блока информации и отвечает передачей квитанции.
Если система неправильно принимает несколько блоков подряд или в течение некоторого времени не принимает их вообще, то она отключается.
Если система принимает ожидаемый блок, то она выдает квитанцию и снова переходит к ожиданию.
Временная диаграмма алгоритма может выглядеть следующим образом:
Фрагмент SDL-диаграммы, описывающей приведенный выше алгоритм, может выглядеть следующим образом:
останов счетчика ошибок
останов счетчика ошибок
Временные соотношения в системе поддерживает система прерываний.