Изменения
Нет описания правки
'''Логическими векторными часами''' называется функция из множества событий (прием/посылка сообщений) в вектор из целых чисел.
* Каждый каждый поток имеет целочисленный n-мерный вектор (n – количество потоков), проинициализированный нулями.* Перед посылкой/принятием сообщения, поток увеличивает свою компоненту вектора.в случае внутреннего события счётчик текущего процесса увеличивается на 1;* При посылке перед отправкой сообщения внутренний счётчик, соответствующий текущему процессу, увеличивается на 1, и вектор целиком прикрепляется к сообщению отправляющий поток добавляет свой вектор, а ;* при приеме получении сообщения поток присваивает своей переменной покомпонентный счётчик текущего процесса увеличивается на 1, далее значения в текущем векторе выставляются в максимум из от текущего и полученного значения и значения собственной переменной.
Значением вышеупомянутой функции на событии является значение переменной, принадлежащей тому же потоку, что и событие. Стоит заметить, что векторное время уникально для каждого события.
