Моноид истории

• Определение и свойства моноида истории

  • Моноид истории — это структура, которая описывает историю выполнения операций над множеством элементов. 
  • Моноид истории является полуабелевым категориальным произведением моноидов. 
  • Он имеет два основных свойства: изоморфизм с моноидом следа и возможность коммутации операций. 

• Коммутация операций

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

• Примеры и рекомендации

  • Приведены примеры и рекомендации по использованию моноида истории в контексте параллельных вычислений. 
  • Ссылки на литературу и источники информации для более глубокого изучения темы.