2013年5月13日 Volatile；锁；互斥和同步

锁的主要特性： 互斥（mutual exclusion） 和 可见性（visibility）。

互斥， 一次就只有一个线程能够使用该共享数据。线程通过持有某个特定的锁，实现互斥访问资源。
可见性， 确保释放锁之前对共享数据做出的更改对于随后获得该锁的另一个线程是可见的。

Volatile 变量具有 synchronized 的可见性特性，但是不具备原子特性。

Volatile 具有简易性或可伸缩性，不会像锁那样造成线程阻塞。如果读操作远远大于写操作，volatile 变量还可以提供优于锁的性能优势。

正确使用 volatile 变量的条件：
        对变量的写操作不依赖于当前值。
        该变量没有包含在具有其他变量的不变式中。

与锁相比，Volatile 变量是一种非常简单但同时又非常脆弱的同步机制，它在某些情况下将提供优于锁的性能和伸缩性。如果严格遵循 volatile 的使用条件 —— 即变量真正独立于其他变量和自己以前的值 —— 在某些情况下可以使用 volatile 代替 synchronized 来简化代码。然而，使用 volatile 的代码往往比使用锁的代码更加容易出错。本文介绍的模式涵盖了可以使用 volatile 代替 synchronized 的最常见的一些用例。遵循这些模式（注意使用时不要超过各自的限制）可以帮助您安全地实现大多数用例，使用 volatile 变量获得更佳性能。

======================   同步与互斥   =======================

交进程之间的关系主要有两种， 同步与互斥。

互斥，是指散步在不同进程之间的若干程序片断，当某个进程运行其中一个程序片段时，其它进程就不能运行它 们之中的任一程序片段，只能等到该进程运行完这个程序片段后才可以运行。
同步，是指散步在不同进程之间的若干程序片断，它们的运行必须严格按照规定的 某种先后次序来运行，这种先后次序依赖于要完成的特定的任务。

同步是一种更为复杂的互斥，而互斥是一种特殊的同步。

总结：

互斥： 是指某一资源同时只允许一个访问者对其进行访问，具有唯一性和排它性。但互斥无法限制访问者对资源的访问顺序，即访问是无序的。

同步： 是指在互斥的基础上(大多数情况)，通过其它机制实现访问者对资源的有序访问。在大多数情况下，同步已经实现了互斥，特别是所有写入资源的情况必定是互斥的。少数情况是指可以允许多个访问者同时访问资源