历史记录

线性一致性在并发编程中，如果一个操作（或一组操作）由有序的调用和响应事件（事件）列表组成，则该操作（或一组操作）是可线性化的，可以通过添加响应事件...