[转自]:http://www.infoq.com/cn/articles ... ontent_articles_clk
锁的释放-获取建立的happens before 关系

锁是java并发编程中最重要的同步机制。锁除了让临界区互斥执行外，还可以让释放锁的线程向获取同一个锁的线程发送消息。

下面是锁释放-获取的示例代码：

1. class MonitorExample {
   
2.     int a = 0;
   
3. 
   
4.     public synchronized void writer() {  //1
   
5.         a++;                             //2
   
6.     }                                    //3
   
7. 
   
8.     public synchronized void reader() {  //4
   
9.         int i = a;                       //5
   
10.         ……
    
11.     }                                    //6
    
12. }

复制代码

假设线程A执行writer()方法，随后线程B执行reader()方法。根据happens before规则，这个过程包含的happens before 关系可以分为两类：

• 根据程序次序规则，1 happens before 2, 2 happens before 3; 4 happens before 5, 5 happens before 6。
• 根据监视器锁规则，3 happens before 4。
• 根据happens before 的传递性，2 happens before 5。
  

上述happens before 关系的图形化表现形式如下(图一)：

在上图中，每一个箭头链接的两个节点，代表了一个happens before 关系。黑色箭头表示程序顺序规则；橙色箭头表示监视器锁规则；蓝色箭头表示组合这些规则后提供的happens before保证。
上图表示在线程A释放了锁之后，随后线程B获取同一个锁。在上图中，2 happens before 5。因此，线程A在释放锁之前所有可见的共享变量，在线程B获取同一个锁之后，将立刻变得对B线程可见。

[转自]:http://www.infoq.com/cn/articles ... ontent_articles_clk
锁的释放-获取建立的happens before 关系

锁是java并发编程中最重要的同步机制。锁除了让临界区互斥执行外，还可以让释放锁的线程向获取同一个锁的线程发送消息。

下面是锁释放-获取的示例代码：

1. class MonitorExample {
   
2.     int a = 0;
   
3. 
   
4.     public synchronized void writer() {  //1
   
5.         a++;                             //2
   
6.     }                                    //3
   
7. 
   
8.     public synchronized void reader() {  //4
   
9.         int i = a;                       //5
   
10.         ……
    
11.     }                                    //6
    
12. }

复制代码

假设线程A执行writer()方法，随后线程B执行reader()方法。根据happens before规则，这个过程包含的happens before 关系可以分为两类：

• 根据程序次序规则，1 happens before 2, 2 happens before 3; 4 happens before 5, 5 happens before 6。
• 根据监视器锁规则，3 happens before 4。
• 根据happens before 的传递性，2 happens before 5。
  

上述happens before 关系的图形化表现形式如下(图一)：

在上图中，每一个箭头链接的两个节点，代表了一个happens before 关系。黑色箭头表示程序顺序规则；橙色箭头表示监视器锁规则；蓝色箭头表示组合这些规则后提供的happens before保证。
上图表示在线程A释放了锁之后，随后线程B获取同一个锁。在上图中，2 happens before 5。因此，线程A在释放锁之前所有可见的共享变量，在线程B获取同一个锁之后，将立刻变得对B线程可见。