第8章 管程和阻塞同步

1 概念总结

1 管程：

一种将同步和数据结合在一起的结构化方法，将结构、方法、同步封装在一个模块包内。

2 锁加在争用资源那里，而不是使用者那里。比如，队列有自己的内部锁，调用线程获得这个锁并释放锁，这样并不要求使用该队列的每个线程都遵循一个繁琐的同步协议。

3 无法获得锁时，一般两种方法：

• A 自旋：依然占用CPU，做无用功
• B 阻塞：代价大

4 阻塞算法：一个线程的延迟能够引起另一个线程延迟的算法

5 等待室里面很多线程时：此时如果signalAll，则所有线程都离开等待室，尝试获得锁；此时如果signal，则只有一个离开等待室获得锁，其它继续等待。

6 唤醒丢失：释放锁后，部分等待线程不知道的情况。

避免措施：

• 用signalAll通知所有等待条件的进程，而不是用signal通知一个
• 指定一个超时等待时限

7 读写锁特性：

• 任一线程持有读锁或者写锁时，其它线程不能获得写锁
• 任一线程持有写锁时，其它线程不能获得读锁

8 可重入锁：

为何不可重入锁会自己锁死自己？比如嵌套调用某方法时，该方法获得了该锁，嵌套调用自己就无法获得该锁，也就锁死在这里了。

9 信号量 Semaphore：

不是每次让一个线程进入，而是每次允许最多c个线程进入，c是初始化时定死的。

• acquire()
• release()

 

2 相关源码

1 java.util.concurrent.lock.Lock类提供了大部分锁的接口定义：

• void lock();
• void lockInterruptibly() throws InterruptedException; 如果线程在等待时被中断了，则抛出一个异常
• boolean tryLock();
• boolean tryLock(long time, TimeUnit unit) throws InterruptedException;
• void unlock();
• Condition newCondition();  一个条件对象工厂，用来控制锁状态

2 java.util.concurrent.locks.Condition类提供了条件对象：

• void await() throws InterruptedException;
• void awaitUninterruptibly(); 不怕等待中断
• long awaitNanos(long nanosTimeout) throws InterruptedException; 纳秒级别超时
• boolean await(long time, TimeUnit unit) throws InterruptedException; 超时时间+过期时间
• boolean awaitUntil(Date deadline) throws InterruptedException; 过期时间
• void signal();
• void signalAll();

3 java.util.concurrent.locks.ReentrantLock:  参考ReentrantLock.java 可重入锁

 

3 例子解读

1 图8-5 使用锁控制FIFO队列

1 L16-L17，tail=0是因为这个队列可能是循环队列？

2 L2 L3 ，使用两个条件对象：notFull / notEmpty，比使用一个条件对象更为有效，是因为：

对于这个队列而言，存在三种状态： A 空 Empty -> B 非空not Empty or not Full -> C 满 Full

三个状态相邻转换，当然用两个条件对象：

• not Full: 用于控制B/C两态的转换
• not Empty: 用于控制A/B两态的转换

2 8.3.1 简单的读写锁

1 使用了两个内部类：ReadLock  WriteLock

2 对于读者状态的统计，使用了计数器readers，对于写着锁，使用了boolean型：允许多读，不能多写

3 8.3.2 公平的读写锁

1 当没有读者时，此时可能一个写线程和一堆读线程等待，写线程可能被一堆读线程锁在外面，所以要：

一旦一个写者调用了写锁，则不允许更多读者获得读锁，直到写锁释放。这样，只要等待当前读者结束即可。

2 简单锁中，要等到readers>0失效，即无读者才行；此时，只要占有锁的读者释放锁，写着即可和其它读者一起被通知，公平竞争，不需等到所有读线程结束。

4 图8-13 简单可重入锁

1 holdCount这个计数器来表示，当前线程获得该锁的次数；只有减为0，即当前线程释放了该锁，其它线程才可继续，否则等待，见L18

2 L27的异常判断很好