gcsfuse中的锁与偏序理论

gcsfuse中的锁与偏序理论

一、偏序（Partial Order）理论详解

1.1 什么是偏序关系

在数学中，一个集合 (S) 上的偏序关系 (\leq) 是满足以下三个性质的二元关系：
性质定义说明自反性(\forall a \in S: a \leq a)每个元素与自身有关系反对称性(a \leq b \wedge b \leq a \Rightarrow a = b)互相"小于等于"的两元素必相等传递性(a \leq b \wedge b \leq c \Rightarrow a \leq c)关系可以传递偏序关系与全序（total order）的区别是：偏序中不要求任意两个元素都可以比较。也就是说，可能存在元素 (a, b) 使得 (a \not\leq b) 且 (b \not\leq a)（即 (a) 和 (b) 不可比较）。
1.2 严格偏序（Strict Partial Order）


本工程中使用的是严格偏序 (