Два типа событий

[vak]

Я тут по работе взялся переделать некий симулятор дискретного времени на multi-threading. Приходится переосмысливать саму организацию цикла выполнения и очереди событий. Пришёл к выводу, что события должны быть двух типов: одни выполняются в начале цикла, другие в конце цикла. Поясню картинкой.



Представим, что мы прогнали симулятор до останова #24 (модельное время равно 24), а затем дали команду выполнить ещё один цикл (до останова #25). Что при этом произойдёт?

Из очереди событий выполнятся некоторые действия (типа A), затем счётчик модельного времени увеличится на единицу, после этого выполнятся ещё какие-то действия (типа B).

События типа A - это "неразрушающие" действия, типа чтения из памяти. Они не изменяют состояние моделируемого объекта. События типа B - изменение состояния, например запись в память.

По опыту, события A обычно начинают некоторый процесс, растянутый по времени. События B завершают его. К примеру, рассмотрим выполнение оператора "x += 1". Оно состоит из двух событий:

• чтение значения x - событие типа A
• запись значения x+1 - событие типа B

Если выполнение этого оператора занимает один такт - действия A и B выполняются в одном цикле симуляции. Если больше - событие B откладывается на N-1 цикл.

Почему-то нигде раньше, ни в коде, ни в литературе я не встречал такой организации очереди событий.

Comments

[vit_r]

Автоматы Мили и Мура не стоит, наверно, совмещать в одной схеме. B надо разбивать на части.

[vak]

"Когда у вас в руках молоток - всё вокруг выглядит как гвозди."

Честно говоря, не вижу тут автоматов Мили и Мура. 😀

[vit_r]

С автоматами проще.

[vak]

С автоматами нынче не приходится задумываться. Их генерит компилятор по потребности.

[vit_r]

Вот там, где "не приходится задумываться" и скрыты резервы. (^_-)