Синхронизация в распределенных системах

Алгоритм синхронизации логических часов.Например, два процесса, которые взаимодействуют, используя семафор, должны иметь доступ к нему.Введем для двух произвольных событий отношение случилось до.Рассмотрим алгоритм решения этой задачи, который предложил Lamport.Для отметок времени в нем используются события.В логическом смысле это вполне возможно, так как 6.В этом случае мы имеем дело с логическими часами.