线程同步的本质是协调线程对资源的访问；
线程同步的工具是同步变量：互斥量、条件变量、信号量、读写量。
资源类型与访问控制：
1）独占排他型：互斥量；
2）满足一些条件才能访问：条件变量，条件检查与条件设置；
3）集合资源；信号量。
同步操作规范与访问控制
线程在执行临界区代码前会尝试获得访问控制权，检查同步变量的状态、并修改状态；然后进入临界区；
离开临界区时，要对同步变量做相应操作。
http://www.cnblogs.com/likeyiyy/p/3670213.html
互斥量的本质是串行执行。