请用简单的术语解释历史Monoid

Question

我试图阅读历史幺半群，但无法绕过它。有人可以用更简单的术语解释一下吗？

谢谢

参考：http://en.wikipedia.org/wiki/History_monoid

Answer 1

历史monoid是线程中可能的原始动作序列集，同时考虑了同时在多个线程中出现的同步原语。

实际上它不仅仅是一个集合而是一个monoid，这意味着你可以连接序列以获得monoid中的新序列，并且有一个中性元素，即空序列。