Оглавление
Моноид истории
-
Определение и свойства моноида истории
- Моноид истории – это структура, которая описывает историю выполнения операций над множеством элементов.
- Моноид истории является полуабелевым категориальным произведением моноидов.
- Он имеет два основных свойства: изоморфизм с моноидом следа и возможность коммутации операций.
-
Коммутация операций
- Коммутация операций означает, что операции могут выполняться одновременно и не упорядочены относительно друг друга.
- Письмо “a” служит примитивом синхронизации, отмечая место в глобальной и индивидуальной истории.
- Следы – это глобальные истории, а моноид истории изоморфен моноиду следа.
-
Примеры и рекомендации
- Приведены примеры и рекомендации по использованию моноида истории в контексте параллельных вычислений.
- Ссылки на литературу и источники информации для более глубокого изучения темы.
Полный текст статьи: