Java之锁研究

http://blog.csdn.net/jiangxinyu/article/details/7805147


在并发环境下,解决共享资源冲突问题时,可以考虑使用锁机制。
1.对象的锁
所有对象都自动含有单一的锁。
JVM负责跟踪对象被加锁的次数。如果一个对象被解锁,其计数变为0。在任务(线程)第一次给对象加锁的时候,计数变为1。每当这个相同的任务(线程)在此对象上获得锁时,计数会递增。
只有首先获得锁的任务(线程)才能继续获取该对象上的多个锁。
每当任务离开一个synchronized方法,计数递减,当计数为0的时候,锁被完全释放,此时别的任务就可以使用此资源。
2.synchronized同步块
2.1同步到单一对象锁
当使用同步块时,如果方法下的同步块都同步到一个对象上的锁,则所有的任务(线程)只能互斥的进入这些同步块。
Resource1.java演示了三个线程(包括main线程)试图进入某个类的三个不同的方法的同步块中,虽然这些同步块处在不同的方法中,但由于是同步到同一个对象(当前对象  synchronized  ( this )),所以对它们的方法依然是互斥的。
Resource1.java
package  com.zj.lock;
import  java.util.concurrent.TimeUnit;
 
public   class  Resource1 {
     public   void  f() {
        // other operations should not be locked...
       System. out .println(Thread.currentThread().getName()
              ":not synchronized in f()" );
        synchronized  ( this ) {
            for  ( int  i = 0; i < 5; i++) {
              System. out .println(Thread.currentThread().getName()
                     ":synchronized in f()" );
               try  {
                  TimeUnit. SECONDS .sleep(3);
              catch  (InterruptedException e) {
                  e.printStackTrace();
              }
           }
       }
    }
 
     public   void  g() {
        // other operations should not be locked...
       System. out .println(Thread.currentThread().getName()
              ":not synchronized in g()" );
        synchronized  ( this ) {
            for  ( int  i = 0; i < 5; i++) {
              System. out .println(Thread.currentThread().getName()
                     ":synchronized in g()" );
               try  {
                  TimeUnit. SECONDS .sleep(3);
              catch  (InterruptedException e) {
                  e.printStackTrace();
              }
           }
       }
    }
 
     public   void  h() {
        // other operations should not be locked...
       System. out .println(Thread.currentThread().getName()
              ":not synchronized in h()" );
        synchronized  ( this ) {
            for  ( int  i = 0; i < 5; i++) {
              System. out .println(Thread.currentThread().getName()
                     ":synchronized in h()" );
               try  {
                  TimeUnit. SECONDS .sleep(3);
              catch  (InterruptedException e) {
                  e.printStackTrace();
              }
           }
       }
    }
 
     public   static   void  main(String[] args) {
        final  Resource1 rs =  new  Resource1();
 
        new  Thread() {
            public   void  run() {
              rs.f();
           }
       }.start();
 
        new  Thread() {
            public   void  run() {
              rs.g();
           }
       }.start();
 
       rs.h();
    }
}
结果:
Thread-0:not synchronized in f()
Thread-0:synchronized in f()
main:not synchronized in h()
Thread-1:not synchronized in g()
Thread-0:synchronized in f()
Thread-0:synchronized in f()
Thread-0:synchronized in f()
Thread-0:synchronized in f()
Thread-1:synchronized in g()
Thread-1:synchronized in g()
Thread-1:synchronized in g()
Thread-1:synchronized in g()
Thread-1:synchronized in g()
main:synchronized in h()
main:synchronized in h()
main:synchronized in h()
main:synchronized in h()
main:synchronized in h()
2.2 同步到多个对象锁
Resource1.java演示了三个线程(包括main线程)试图进入某个类的三个不同的方法的同步块中,这些同步块处在不同的方法中,并且是同步到三个不同的对象( synchronized  ( this ) synchronized ( syncObject1 ) synchronized  ( syncObject2 )),所以对它们的方法中的临界资源访问是独立的。
Resource2.java
package  com.zj.lock;
import  java.util.concurrent.TimeUnit;
 
public   class  Resource2 {
     private  Object  syncObject1  =  new  Object();
     private  Object  syncObject2  =  new  Object();
 
     public   void  f() {
        // other operations should not be locked...
       System. out .println(Thread.currentThread().getName()
              ":not synchronized in f()" );
        synchronized  ( this ) {
            for  ( int  i = 0; i < 5; i++) {
              System. out .println(Thread.currentThread().getName()
                     ":synchronized in f()" );
               try  {
                  TimeUnit. SECONDS .sleep(3);
              catch  (InterruptedException e) {
                  e.printStackTrace();
              }
           }
       }
    }
 
     public   void  g() {
        // other operations should not be locked...
       System. out .println(Thread.currentThread().getName()
              ":not synchronized in g()" );
        synchronized  ( syncObject1 ) {
            for  ( int  i = 0; i < 5; i++) {
              System. out .println(Thread.currentThread().getName()
                     ":synchronized in g()" );
               try  {
                  TimeUnit. SECONDS .sleep(3);
              catch  (InterruptedException e) {
                  e.printStackTrace();
              }
           }
       }
    }
 
     public   void  h() {
        // other operations should not be locked...
       System. out .println(Thread.currentThread().getName()
              ":not synchronized in h()" );
        synchronized  ( syncObject2 ) {
            for  ( int  i = 0; i < 5; i++) {
              System. out .println(Thread.currentThread().getName()
                     ":synchronized in h()" );
               try  {
                  TimeUnit. SECONDS .sleep(3);
              catch  (InterruptedException e) {
                  e.printStackTrace();
              }
           }
       }
    }
 
     public   static   void  main(String[] args) {
        final  Resource2 rs =  new  Resource2();
 
        new  Thread() {
            public   void  run() {
              rs.f();
           }
       }.start();
 
        new  Thread() {
            public   void  run() {
              rs.g();
           }
       }.start();
 
       rs.h();
    }
}
结果:
Thread-0:not synchronized in f()
Thread-0:synchronized in f()
main:not synchronized in h()
main:synchronized in h()
Thread-1:not synchronized in g()
Thread-1:synchronized in g()
Thread-0:synchronized in f()
main:synchronized in h()
Thread-1:synchronized in g()
Thread-0:synchronized in f()
main:synchronized in h()
Thread-1:synchronized in g()
Thread-0:synchronized in f()
main:synchronized in h()
Thread-1:synchronized in g()
Thread-0:synchronized in f()
main:synchronized in h()
Thread-1:synchronized in g()
3.Lock对象锁
除了使用synchronized外,还可以使用Lock对象来创建临界区。Resource3.java的演示效果同Resource1.java;Resource4.java的演示效果同Resource2.java。
Resource3.java
package  com.zj.lock;
import  java.util.concurrent.TimeUnit;
import  java.util.concurrent.locks.Lock;
import  java.util.concurrent.locks.ReentrantLock;
 
public   class  Resource3 {
     private  Lock  lock  =  new  ReentrantLock();
 
     public   void  f() {
        // other operations should not be locked...
       System. out .println(Thread.currentThread().getName()
              ":not synchronized in f()" );
        lock .lock();
        try  {
            for  ( int  i = 0; i < 5; i++) {
              System. out .println(Thread.currentThread().getName()
                     ":synchronized in f()" );
               try  {
                  TimeUnit. SECONDS .sleep(3);
              catch  (InterruptedException e) {
                  e.printStackTrace();
              }
           }
       finally  {
            lock .unlock();
       }
    }
 
     public   void  g() {
        // other operations should not be locked...
       System. out .println(Thread.currentThread().getName()
              ":not synchronized in g()" );
        lock .lock();
        try  {
            for  ( int  i = 0; i < 5; i++) {
              System. out .println(Thread.currentThread().getName()
                     ":synchronized in g()" );
               try  {
                  TimeUnit. SECONDS .sleep(3);
              catch  (InterruptedException e) {
                  e.printStackTrace();
              }
           }
       finally  {
            lock .unlock();
       }
    }
 
     public   void  h() {
        // other operations should not be locked...
       System. out .println(Thread.currentThread().getName()
              ":not synchronized in h()" );
        lock .lock();
        try  {
            for  ( int  i = 0; i < 5; i++) {
              System. out .println(Thread.currentThread().getName()
                     ":synchronized in h()" );
               try  {
                  TimeUnit. SECONDS .sleep(3);
              catch  (InterruptedException e) {
                  e.printStackTrace();
              }
           }
       finally  {
            lock .unlock();
       }
    }
 
     public   static   void  main(String[] args) {
        final  Resource3 rs =  new  Resource3();
 
        new  Thread() {
            public   void  run() {
              rs.f();
           }
       }.start();
 
        new  Thread() {
            public   void  run() {
              rs.g();
           }
       }.start();
 
       rs.h();
    }
}
结果:
Thread-0:not synchronized in f()
Thread-0:synchronized in f()
main:not synchronized in h()
Thread-1:not synchronized in g()
Thread-0:synchronized in f()
Thread-0:synchronized in f()
Thread-0:synchronized in f()
Thread-0:synchronized in f()
main:synchronized in h()
main:synchronized in h()
main:synchronized in h()
main:synchronized in h()
main:synchronized in h()
Thread-1:synchronized in g()
Thread-1:synchronized in g()
Thread-1:synchronized in g()
Thread-1:synchronized in g()
Thread-1:synchronized in g()
Resource4.java
package  com.zj.lock;
import  java.util.concurrent.TimeUnit;
import  java.util.concurrent.locks.Lock;
import  java.util.concurrent.locks.ReentrantLock;
 
public   class  Resource4 {
     private  Lock  lock1  =  new  ReentrantLock();
     private  Lock  lock2  =  new  ReentrantLock();
     private  Lock  lock3  =  new  ReentrantLock();
 
     public   void  f() {
        // other operations should not be locked...
       System. out .println(Thread.currentThread().getName()
              ":not synchronized in f()" );
        lock1 .lock();
        try  {
            for  ( int  i = 0; i < 5; i++) {
              System. out .println(Thread.currentThread().getName()
                     ":synchronized in f()" );
               try  {
                  TimeUnit. SECONDS .sleep(3);
              catch  (InterruptedException e) {
                  e.printStackTrace();
              }
           }
       finally  {
            lock1 .unlock();
       }
    }
 
     public   void  g() {
        // other operations should not be locked...
       System. out .println(Thread.currentThread().getName()
              ":not synchronized in g()" );
        lock2 .lock();
        try  {
            for  ( int  i = 0; i < 5; i++) {
              System. out .println(Thread.currentThread().getName()
                     ":synchronized in g()" );
               try  {
                  TimeUnit. SECONDS .sleep(3);
              catch  (InterruptedException e) {
                  e.printStackTrace();
              }
           }
       finally  {
            lock2 .unlock();
       }
    }
 
     public   void  h() {
        // other operations should not be locked...
       System. out .println(Thread.currentThread().getName()
              ":not synchronized in h()" );
        lock3 .lock();
        try  {
            for  ( int  i = 0; i < 5; i++) {
              System. out .println(Thread.currentThread().getName()
                     ":synchronized in h()" );
               try  {
                  TimeUnit. SECONDS .sleep(3);
              catch  (InterruptedException e) {
                  e.printStackTrace();
              }
           }
       finally  {
            lock3 .unlock();
       }
    }
 
     public   static   void  main(String[] args) {
        final  Resource4 rs =  new  Resource4();
 
        new  Thread() {
            public   void  run() {
              rs.f();
           }
       }.start();
 
        new  Thread() {
            public   void  run() {
              rs.g();
           }
       }.start();
 
       rs.h();
    }
}
结果:
Thread-0:not synchronized in f()
Thread-0:synchronized in f()
main:not synchronized in h()
main:synchronized in h()
Thread-1:not synchronized in g()
Thread-1:synchronized in g()
Thread-0:synchronized in f()
main:synchronized in h()
Thread-1:synchronized in g()
Thread-0:synchronized in f()
main:synchronized in h()
Thread-1:synchronized in g()
Thread-0:synchronized in f()
main:synchronized in h()
Thread-1:synchronized in g()
Thread-0:synchronized in f()
main:synchronized in h()
Thread-1:synchronized in g()



synchronized和lock的区别:

Lock 的锁定是通过代码实现的,而 synchronized 是在 JVM 层面上实现的
synchronized 在锁定时如果方法块抛出异常,JVM 会自动将锁释放掉,不会因为出了异常没有释放锁造成线程死锁。但是 Lock 的话就享受不到 JVM 带来自动的功能,出现异常时必须在 finally 将锁释放掉,否则将会引起死锁。

在资源竞争不是很激烈的情况下,偶尔会有同步的情形下,synchronized是很合适的。原因在于,编译程序通常会尽可能的进行优化synchronize,另外可读性非常好,不管用没用过5.0多线程包的程序员都能理解。 

ReentrantLock: 
ReentrantLock提供了多样化的同步,比如有时间限制的同步,可以被Interrupt的同步(synchronized的同步是不能Interrupt的)等。在资源竞争不激烈的情形下,性能稍微比synchronized差点点。但是当同步非常激烈的时候,synchronized的性能一下子能下降好几十倍。而ReentrantLock确还能维持常态。 

Atomic: 

和上面的类似,不激烈情况下,性能比synchronized略逊,而激烈的时候,也能维持常态。激烈的时候,Atomic的性能会优于ReentrantLock一倍左右。但是其有一个缺点,就是只能同步一个值,一段代码中只能出现一个Atomic的变量,多于一个同步无效。因为他不能在多个Atomic之间同步。


Lock和synchronized, i: P- J$ Q( {0 u- [! B
6 G6 t3 s( l! @
    JDK1.5以后,在锁机制方面引入了新的锁-Lock,在网上的说法都比较笼统,结合网上的信息和我的理解这里做个总结。

    java现有的锁机制有两种实现方式,J.DK1.4前是通过synchronized实现,JDK1.5后加入java.util.concurrent.locks包下的各种lock(以下简称Lock)
' B& _4 p) e+ G) f  ?4 G
    先说说代码层的区别。1 W7 z, m* ?; x* K6 M6 |4 d
    synchronized:在代码里,synchronized类似“面向对象”,修饰类、方法、对象。0 w' j& `) f5 j% k
    Lock:不作为修饰,类似“面向过程”,在方法中需要锁的时候lock,在结束的时候unlock(一般都在finally块里)。
例如代码:3 ]9 I3 e' G$ t6 J9 _
Java代码  [url=][/url]0 o- D+ |  @2 V. ?! B
, Q. o: k1 t4 j0 D) m

  • public
    void method1() {   
  • 8 ^3 H  D: ]/ K2 r; ~
    synchronized(this){   
  •         System.out.println(1);   
  •     }   
  • }   

  • % m6 ]/ }2 C# a$ m2 {; R+ {
    public% B; q0 T( C! Q0 h
    void method2() {   
  •     Lock lock = new ReentrantLock();   
  •     lock.lock();   

  • try{   
  •         System.out.println(2);   
  •     }finally{   
  •         lock.unlock();   
  •     }   
  • }  

其次说说性能。
    相关的性能测试网上已经有很多,这里也直接拿来主义,给出结论:
    在并发高是,luck性能优势很明显,在低并发时,synchronized也能取得优势。具体的临界范围比较难定论,下面会讨论。

    现在来分析它们具体的区别。
    锁都是 原子性 的,也可以理解为锁是否在使用的标记,并且比较和设置这个标记的操作是原子性的,不同硬件平台上的jdk实现锁的相关方法都是native的(比如park/unpark),所以不同平台上锁的精确度的等级由这些native的方法决定。所以网上经常可以看见的结论是“Lock比synchronized有更精确的原子操作”说的也是native方法(不得不感慨C才是硬件王道)。

0 j9 p) M* o, Z7 T8 K" U  M6 T
下面继续讨论怎么由代码层到native的过程。+ J' A7 s& \# ~5 i% \# e& }2 S3 Q' S$ p
1、所有对象都自动含有单一的锁,JVM负责跟踪对象被加锁的次数。如果一个对象被解锁,其计数变为0。在任务(线程)第一次给对象加锁的时候,计数变为1。每当这个相同的任务(线程)在此对象上获得锁时,计数会递增。 只有首先获得锁的任务(线程)才能继续获取该对象上的多个锁。每当任务离开时,计数递减,当计数为0的时候,锁被完全释放。synchronized就是基于这个原理,同时synchronized靠某个对象的单一锁技术的次数来判断是否被锁,所以无需(也不能)人工干预锁的获取和释放。如果结合方法调用时的栈和框架(如果对方法的调用过程不熟悉建议看看[url=/blog/1157548]http://wupuyuan.iteye.com/blog/1157548[/url]),不难推测出synchronized原理是基于栈中的某对象来控制一个框架,所以对于synchronized有常用的优化是锁对象不锁方法。实际上synchronized作用于方法时,锁住的是“this”,作用于静态方法/属性时,锁住的是存在于永久带的CLASS,相当于这个CLASS的全局锁,锁作用于一般对象时,锁住的是对应代码块。在HotSpot中JVM实现中,锁有个专门的名字:对象监视器。, h! j4 `( h( f% m0 b7 u: E

当多个线程同时请求某个对象监视器时,对象监视器会设置几种状态用来区分请求的线程
Contention List:所有请求锁的线程将被首先放置到该竞争队列,是个虚拟队列,不是实际的Queue的数据结构。
Entry List:EntryList与ContentionList逻辑上同属等待队列,ContentionList会被线程并发访问,为了降低对ContentionList队尾的争用,而建立EntryList。,Contention List中那些有资格成为候选人的线程被移到Entry List 
Wait Set:那些调用wait方法被阻塞的线程被放置到Wait Set
OnDeck:任何时刻最多只能有一个线程正在竞争锁,该线程称为OnDeck
Owner:获得锁的线程称为Owner. I: u- z! e7 S; h3 {2 E' l
!Owner:释放锁的线程, Y; t3 O6 }/ `) i: P* M, G" \9 I

2、Lock不同于synchronized面向对象,它基于栈中的框架而不是某个具体对象,所以Lock只需要在栈里设置锁的开始和结束(lock和unlock)的地方就行了(人工必须标明),不用关心框架大小对象的变化等等。这么做的好处是Lock能提供无条件的、可轮询的、定时的、可中断的锁获取操作,相对于synchronized来说,synchronized的锁的获取是释放必须在一个模块里,获取和释放的顺序必须相反,而Lock则可以在不同范围内获取释放,并且顺序无关。java.util.concurrent.locks下的锁类很类似,依赖于java.util.concurrent.AbstractQueuedSynchronizer,它们把所有的Lock接口操作都转嫁到Sync类上,这个类继承了AbstractQueuedSynchronizer,它同时还包含子2个类:NonfairSync 和FairSync 从名字上可以看的出是为了实现公平和非公平性。AbstractQueuedSynchronizer中把所有的的请求线程构成一个队列(一样也是虚拟的),具体的实现可以参考http://blog.csdn.net/chen77716/article/details/6641477#,这里我就不复制了。

3、从jdk的源代码来看,Lock和synchronized的源码基本相同,区别主要在维护的同步队列上。再往下深究就到了native方法了。# d" @9 c1 d4 \

4、还有个改进我也想说下,其实很重要的。线程分阻塞(wait)和非阻塞状态,阻塞状态由操作系统(linux、windows等)完成,当前一个被“锁”的线程执行完毕后,有可能在后续的线程队列里还没分配出一个获取锁而被“唤醒”的非阻塞线程,即所有线程还都是阻塞状态时,就被系统调度(进入内核的线程是阻塞的),这样会导致内核在用户态和内核态之间来回接换,严重影响锁的性能。在jdk1.6以前主要靠自旋锁来解决,原理是在前一个线程结束后,争用线程可以做一个空循环,继续占有CPU,等待取锁的机会。当然这样做显然也是浪费时间,只是在两种浪费中选取浪费少的……  jdk1.6后引入了偏向锁,当线程第一次获得了监视对象,之后让监视对象“偏向”这个线程,之后的多次调用则可以避免CAS操作,等于是置了一临时变量来记录位置(类似索引比较)。详细的就涉及到汇编指令了,我也就没太深究,偏向锁性能优于自旋锁,但是还是没有达到HotSpot认为的最佳时间(一个线程上下文切换的时间)。& j  ?- t+ ?" I- B, J) Q; D
9 g8 N/ T8 E+ w. r8 ^% ^3 J
    综合来看对于所有的高并发情况,采用Lock加锁是最优选择,但是由于历史遗留等问题,synchronized也还是不能完全被淘汰,同时,在低并发情况下,synchronized的性能还是比Lock好的。  M9 i) B& |. r2 }1 Q1 C


猜你喜欢

转载自blog.csdn.net/ahngzw77/article/details/47780389