javalock实现原理_Lock的实现原理.pdfVIP

javalock 实现原理_Lock的实现原理 1. Lock 的简介及使⽤ Lock是java 1.5 中引⼊的线程同步⼯具，它主要⽤于多线程下共享资源的控制。本质上Lock仅仅是⼀个接 ⼝(位于源码包中的 java\util\concurrent\locks 中) ，它包含以下⽅法 //尝试获取锁，获取成功则返回，否则阻塞当前线程 voidlock();//尝试获取锁，线程在成功获取锁之前被中断，则放弃获取锁，抛出异常 void lockInterruptibly() throwsInterruptedException;//尝试获取锁，获取锁成功则返回true ，否则返回false booleantryLock();//尝试获取锁，若在规定时间内获取到锁，则返回true ，否则返回false ，未获取锁之前被 中断，则抛出异常 boolean tryLock(longtime, TimeUnit unit)throwsInterruptedException;//释放锁 voidunlock();//返回当前锁的条件变量，通过条件变量可以实现类似notify和wait的功能，⼀个锁可以有多 个条件变量 Condition newCondition(); Lock有三个实现类，⼀个是ReentrantLock,另两个是ReentrantReadWriteLock类中的两个静态内部类 ReadLock和WriteLock。 使⽤⽅法：多线程下访问(互斥)共享资源时， 访问前加锁，访问结束以后解锁，解锁的操作推荐放⼊ finally块中。 Lock l = ...; //根据不同的实现Lock接⼝类的构造函数得到⼀个锁对象 l.lock(); //获取锁位于try块的外⾯ try{//access the resource protected by this lock } finally{ l.unlock(); } 注意：加锁位于对资源访问的try块的外部，特别是使⽤lockInterruptibly⽅法加锁时就必须要这样做，这 为了防⽌线程在获取锁时被中断，这时就不必(也不能)释放锁。 try{ l.lockInterruptibly();//获取锁失败时不会执⾏finally块中的unlock语句 try{//access the resource protected by this lock }finally{ l.unlock(); } }catch(InterruptedException e) {//TODO Auto-generated catch block e.printStackTrace(); } 2. 实现Lock接⼝的基本思想 需要实现锁的功能，两个必备元素: ⼀个是表⽰(锁)状态的变量(我们假设0表⽰没有线程获取锁，1表⽰已有线程占有锁),该变量必须声明为 voaltile类型; 另⼀个是队列，队列中的节点表⽰因未能获取锁⽽阻塞的线程。 为了解决多核处理器下多线程缓存不⼀致的问题，表⽰状态的变量必须声明为voaltile类型，并且对表⽰ 状态的变量和队列的某些操作要保证原⼦性和可见性。原⼦性和可见性的操作主要通过Atomic包中的⽅ 法实现。 线程获取锁的⼤致过程(这⾥没有考虑可重⼊和获取锁过程被中断或超时的情况) 1. 读取表⽰锁状态的变量 2. 如果表⽰状态的变量的值为0 ，那么当前线程尝试将变量值设置为1(通过CAS操作完成) ，当多个线程 同时将表⽰状态的变量值由0设置成1时，仅⼀个线程能成功，其它线程都会失败: 2.1 若成功，表⽰获取了锁， 2.1.1 如果该线程(或者说节点)已位于在队列中，则将其出列(并将下⼀个节点则变成了队列的头节点) 2.1.2 如果该线程未⼊列，则不⽤对队列进⾏维护 然后当前线程从lock⽅法中返回，对共享资源进⾏访问。 2.2 若失败，则当前线程将⾃⾝放⼊等待(锁的)队列中并阻塞⾃⾝，此时线程⼀直被阻塞在lock⽅法中， 没有从该⽅法中返回(被唤醒后仍然在lock⽅法中，并从下⼀条语句继续执⾏，这⾥⼜会回到第1步重新 开始)。 3. 如果表⽰状态的变量的值为1，那么将当前线程放⼊等待队列中，然后将⾃⾝阻塞(被唤醒后仍然在 lock⽅法中，并从下⼀条语句继续执⾏，这⾥⼜会回到第1步重新开始) 注意: 唤醒并不表⽰线程能⽴刻运⾏，⽽是表⽰线程处于就绪状态，仅仅是可以运⾏⽽已 线程释放锁的⼤致过程 1. 释放锁的线程将状态变量的值从1设置为0 ，并唤醒等待(锁)队列中的队⾸节点，释放锁的线程从就从 unlock⽅法中返回，继续执⾏线程后⾯的代码