Редактирование: ВПнМ/Теормин
Материал из eSyr's wiki.
Внимание: Вы не представились системе. Ваш IP-адрес будет записан в историю изменений этой страницы.
ПРЕДУПРЕЖДЕНИЕ: Длина этой страницы составляет 91 килобайт. Страницы, размер которых приближается к 32 КБ или превышает это значение, могут неверно отображаться в некоторых браузерах. Пожалуйста, рассмотрите вариант разбиения страницы на меньшие части.
Правка может быть отменена. Пожалуйста, просмотрите сравнение версий, чтобы убедиться, что это именно те изменения, которые вас интересуют, и нажмите «Записать страницу», чтобы изменения вступили в силу.
Текущая версия | Ваш текст | ||
Строка 1156: | Строка 1156: | ||
=== Язык Promela. Чередование (интерливинг) операторов. Внешний и внутренний недетерминизм. Управление выполнимостью операторов. === | === Язык Promela. Чередование (интерливинг) операторов. Внешний и внутренний недетерминизм. Управление выполнимостью операторов. === | ||
- | '''Чередование (интерливинг) операторов''' | ||
- | * процессы выполняются параллельно и асинхронно, ''между двумя последовательными операторами одного процесса может быть сколь угодно длинная пауза'', | ||
- | * произвольная диспетчеризация процессов, | ||
- | * выполнение операторов разных процессов происходит в произвольном порядке, ''основные операторы выполняются атомарно'', | ||
- | * в теле одного процесса также допускается недетерминированное ветвление | ||
- | |||
- | '''Внешний и внутренний недетерминизм''' | ||
- | * два уровня недетерминизма: | ||
- | ** внешний (выбор процесса), | ||
- | ** внутренний (выбор действия в процессе). | ||
- | |||
- | '''Управление выполнимостью операторов''' | ||
- | Основной инструмент управления выполнимостью операторов в Promela – выражения (expressions). | ||
- | (a + b) -> c++; | ||
- | Так же существуют управляющие конструкции if..fi и do..od | ||
- | |||
=== Язык Promela. Задание потока управления последовательного процесса. Управляющие конструкции if, do. Организация внутреннего недетерминизма. === | === Язык Promela. Задание потока управления последовательного процесса. Управляющие конструкции if, do. Организация внутреннего недетерминизма. === | ||
'''Задание потока управления последовательного процесса''' | '''Задание потока управления последовательного процесса''' |