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