modification order

定义在写事件上的序关系，对每个位置的写事件都是严格全序。