摘要：
Volatile variables apply another type of memory constraint to individual variables. The compiler often optimizes code by loading the values for variab 阅读全文
摘要：
在内核中或者同步变量中维护着一个同步变量和线程的映射关系。 上述结论只是猜测。 阅读全文
摘要：
不变量，临界区和判定条件 不变量（Invariant）：程序所做的一些假设，特别是指变量之间的关系。如：一个queue，有头节点，和其它数据节点，这些元素之间的连接关系就是不变量。当程序里面不变量遭受破坏时，后果往往是很严重的，轻则数据出错，重则程序直接崩溃。 临界区（Critical Sectio 阅读全文
摘要：
使用线程的几种方式 1. 流水线：每个线程反复地在数据系列集上执行同一种操作，并把操作结果传递给下一步骤的其他线程，这就是“流水线”（assembly line）方式； 2 工作组：每个线程都在自己的数据上执行操作。工作组中的线程可能执行同样的操作，也可能执行不同的操作，但是他们一定独立运行； 3 阅读全文
摘要：
In concurrent programming, a monitor is a synchronization construct that allows threads to have both mutual exclusion and the ability to wait (block) 阅读全文