不变量，临界区和判定条件
不变量（Invariant）：程序所做的一些假设，特别是指变量之间的关系。如：一个queue，有头节点，和其它数据节点，这些元素之间的连接关系就是不变量。当程序里面不变量遭受破坏时，后果往往是很严重的，轻则数据出错，重则程序直接崩溃。
临界区（Critical Section）：处理共享数据的一段代码。
判定条件（Predicates）：描述不变量状态的逻辑表达式。
临界区（Critical Section）：处理共享数据的一段代码。
判定条件（Predicates）：描述不变量状态的逻辑表达式。
http://blog.csdn.net/future_fighter/article/details/3878386#__41976872033386947