Концептуальная модель времени в теории асинхронных процессов. Глобальные свойства процессов.

Процесс: 1. последовательная смена состояний 2. Совокупность последовательных действий, вызывающих смену состояний чего либо. (Дуальность: состояние-действие).

Процессы можно разделить на взаимодействующие и не взаимодействующие.

Parallel – процессы, совмещенные во времени, не взаимодействующие. Их мы их не рассматриваем.

Con-current – взаимодействующие процессы либо через ресурсы либо через данные (это и есть асинхронные процессы).

С точки зрения схемотехники:

1. Синхронные (нужно учитывать максимальную длительность операции)

2. Асинхронные (нужен сигнал завершения операции; его выдаёт АЛУ; за счёт него не ждём лишнего, как в синхронных).

– задержки активных элементов (со временем параметр изменяется, что может привести к отказам). (~0.2–0.5 сек в настоящее время).

Необходимо взять максимальное *10.

3. Апериодические (самосинхронные)

Не требует задающего генератора. Работа всех узлов и элементов проходит по реальным задержкам. Тем самым решается проблема самодиагностики.

Физическая модель времени: имеется механизм определения временных интервалов ( ) => имеется возможность вводить операции отношения ( ), можно использовать равенство временных отрезков.

Нас же не интересует временной масштаб, мы не будем «считать» временные отрезки;

нас не интересует, сколько времени процесс находится в том или ином состоянии => нам интересен факт смены состояний.

Т.о. переходим кпричинно-следственной модели времени:

1. Нас интересует в процессе лишь последовательность присутствия конкретных состояний.

2. Пропадает понятие равенства временных отрезков, а =>, пропадает понятие одновременности – что является одним из основополагающих принципов асинхронности.