|
108 транзакты, которые должны перемещаться в текущий момент модельного времени; все они имеют одинаковое время, равное текущему, и если их приоритеты совпадают, то очередной транзакт для перемещения выбирается по правилу FIFO; список будущих событий содержит транзакты, которые будут перемещаться по модели в будущие моменты времени; в этот список попадают транзакты, вошедшие в блоки имитации задержки или заблокированные по каким-либо условиям; списки прерывании, синхронизации и пользователя содержат транзакты, обслуживание которых прервано по некоторым условиям, задаваемым блоками прерывания, синхронизации или находящимся под управлением пользователя. Алгоритм событийного моделирования состоит в формировании, просмотре и изменении этих списков, в перемещении транзактов из одного списка в другой и в продвижении одного из транзактов (активного, находящегося на вершине списка текущих событий) по блокам модели. Продвижение текущего транзакта продолжается по блокам модели до тех пор, пока не произойдет одно из следующих событий: транзакт входит в блок задержки, в котором время транзакта увеличивается на значение, определяемое параметрами узла, и транзакт переходит в список будущих событий; транзакт входит в один из блоков проверки условий, и условие не позволяет транзакту перемещаться дальше (наступает условие блокировки), тогда транзакт переводится в список будущих событий; транзакт входит в блок удаления TERMINATE. Затем выбирается из списка текущих событий следующий транзакт и начинается его продвижение по модели. Если становится невозможным продвижение всех транзактов из списка текущих событий, то изменяется текущий момент времени (т. е. наступает время следующего события или •ч. группы событий) и все сказанное выше повторяется. Моделирование синхронизация параллельных процессови обеспечивается как механизмами и средствами продвижения транзактов по |
89 транзактов, по приоритетам. В процессе моделирования может быть образовано несколько списков: список текущих событий содержит транзакты, которые должны перемещаться в текущий момент модельного времени; все они имеют одинаковое время, равное текущему, и если их приоритеты совпадают, то очередной транзакт для перемещения выбирается по правилу FIFO; список будущих событий содержит транзакты, которые будут перемещаться по модели в будущие моменты времени; в этот список попадают транзакты, вошедшие в блоки имитации задержки или заблокированные по каким-либо условиям; списки прерывании, синхронизации и пользователя содержат транзакты, обслуживание которых прервано по некоторым условиям, задаваемым блоками прерывания, синхронизации или находящимся под управлением пользователя. Алгоритм событийного моделирования состоит формировании, просмотре и изменении этих списков, в перемещении транзактов из одного списка в другой и в продвижении одного из транзактов (активного, находящегося на вершине списка текущих событий) по блокам модели. Продвижение текущего транзакта продолжается по блокам модели до тех пор, пока не произойдет одно из следующих событий: транзакт входит в блок задержки, в котором время транзакта увеличивается на значение, определяемое параметрами узла, и транзакт переходит в список будущих событий; транзакт входит в один из блоков проверки условий, и условие не позволяет транзакту перемещаться дальше (наступает условие блокировки), тогда транзакт переводится в список будущих событий; транзакт входит в блок удаления TERMINATE. Затем выбирается из списка текущих событий следующий транзакт и начинается его продвижение по модели. Если становится невозможным продвижение всех транзактов из списка текущих событий, то изменяется текущий момент времени (т. е. наступает время следующего события или группы событий) и все сказанное выше повторяется. Моделирование синхронизация параллельных процессови |