Системное время и синхронизация систем

Аннотация

В статье проводится анализ концепции причинной обусловленности как основы правильного асинхронного поведения. Предлагается декомпозировать систему на процессорный стратум и синхро-стратум, функционирующий подобно распределенным асинхронным часам. Универсальный синхро-стратум обеспечивает возможность прямого перехода от синхронного прототипа к асинхронной системе. Приводятся несколько типов спецификаций и аппаратной реализации синхро-стратума вместе с их сравнительными характеристиками.