拂晓-千云暗组- 努力,执着,意志,精神
  • 饥饿和公平(转)

    2017-04-24

    如果一个线程因为CPU时间全部被其他线程抢走而得不到CPU运行时间,这种状态被称之为“饥饿”。而该线程被“饥饿致死”正是因为它得不到CPU运行时间的机会。解决饥饿的方案被称之为“公平性” – 即所有线程均能公平地获得运行机会。

    下面是本文讨论的主题:

    1. Java中导致饥饿的原因:

    • 高优先级线程吞噬所有的低优先级线程的CPU时间。
    • 线程被永久堵塞在一个等待进入同步块的状态。
    • 线程在等待一个本身也处于永久等待完成的对象(比如调用这个对象的wait方法)。

    2. 在Java中实现公平性方案,需要:

    • 使用锁,而不是同步块。
    • 公平锁。
    • 注意性能方面。

    Java中导致饥饿的原因

    在Java中,下面三个常见的原因会导致线程饥饿:

    1. 高优先级线程吞噬所有的低优先级线程的CPU时间。
    2. 线程被永久堵塞在一个等待进入同步块的状态,因为其他线程总是能在它之前持续地对该同步块进行访问。
    3. 线程在等待一个本身(在其上调用wait())也处于永久等待完成的对象,因为其他线程总是被持续地获得唤醒。

    高优先级线程吞噬所有的低优先级线程的CPU时间

    你能为每个线程设置独自的线程优先级,优先级越高的线程获得的CPU时间越多,线程优先级值设置在1到10之间,而这些优先级值所表示行为的准确解释则依赖于你的应用运行平台。对大多数应用来说,你最好是不要改变其优先级值。

    线程被永久堵塞在一个等待进入同步块的状态

    Java的同步代码区也是一个导致饥饿的因素。Java的同步代码区对哪个线程允许进入的次序没有任何保障。这就意味着理论上存在一个试图进入该同步区的线程处于被永久堵塞的风险,因为其他线程总是能持续地先于它获得访问,这即是“饥饿”问题,而一个线程被“饥饿致死”正是因为它得不到CPU运行时间的机会。

    线程在等待一个本身(在其上调用wait())也处于永久等待完成的对象

    如果多个线程处在wait()方法执行上,而对其调用notify()不会保证哪一个线程会获得唤醒,任何线程都有可能处于继续等待的状态。因此存在这样一个风险:一个等待线程从来得不到唤醒,因为其他等待线程总是能被获得唤醒。

    在Java中实现公平性

    虽Java不可能实现100%的公平性,我们依然可以通过同步结构在线程间实现公平性的提高。

    首先来学习一段简单的同步态代码:

    1 public class Synchronizer{
    2
    3     public synchronized void doSynchronized(){
    4
    5     //do a lot of work which takes a long time
    6
    7     }
    8 }

    如果有一个以上的线程调用doSynchronized()方法,在第一个获得访问的线程未完成前,其他线程将一直处于阻塞状态,而且在这种多线程被阻塞的场景下,接下来将是哪个线程获得访问是没有保障的。

    使用锁方式替代同步块

    为了提高等待线程的公平性,我们使用锁方式来替代同步块。

    1 public class Synchronizer{
    2     Lock lock = new Lock();
    3     public void doSynchronized() throws InterruptedException{
    4         this.lock.lock();
    5         //critical section, do a lot of work which takes a long time
    6         this.lock.unlock();
    7     }
    8 }

    注意到doSynchronized()不再声明为synchronized,而是用lock.lock()和lock.unlock()来替代。

    下面是用Lock类做的一个实现:

    01 public class Lock{
    02
    03     private boolean isLocked      = false;
    04
    05     private Thread lockingThread = null;
    06
    07     public synchronized void lock() throws InterruptedException{
    08
    09     while(isLocked){
    10
    11         wait();
    12
    13     }
    14
    15     isLocked = true;
    16
    17     lockingThread = Thread.currentThread();
    18
    19 }
    20
    21 public synchronized void unlock(){
    22
    23     if(this.lockingThread != Thread.currentThread()){
    24
    25          throw new IllegalMonitorStateException(
    26
    27               "Calling thread has not locked this lock");
    28
    29          }
    30
    31     isLocked = false;
    32
    33     lockingThread = null;
    34
    35     notify();
    36
    37     }
    38 }

    注意到上面对Lock的实现,如果存在多线程并发访问lock(),这些线程将阻塞在对lock()方法的访问上。另外,如果锁已经锁上(校对注:这里指的是isLocked等于true时),这些线程将阻塞在while(isLocked)循环的wait()调用里面。要记住的是,当线程正在等待进入lock() 时,可以调用wait()释放其锁实例对应的同步锁,使得其他多个线程可以进入lock()方法,并调用wait()方法。

    这回看下doSynchronized(),你会注意到在lock()和unlock()之间的注释:在这两个调用之间的代码将运行很长一段时间。进一步设想,这段代码将长时间运行,和进入lock()并调用wait()来比较的话。这意味着大部分时间用在等待进入锁和进入临界区的过程是用在wait()的等待中,而不是被阻塞在试图进入lock()方法中。

    在早些时候提到过,同步块不会对等待进入的多个线程谁能获得访问做任何保障,同样当调用notify()时,wait()也不会做保障一定能唤醒线程(至于为什么,请看线程通信)。因此这个版本的Lock类和doSynchronized()那个版本就保障公平性而言,没有任何区别。

    但我们能改变这种情况。当前的Lock类版本调用自己的wait()方法,如果每个线程在不同的对象上调用wait(),那么只有一个线程会在该对象上调用wait(),Lock类可以决定哪个对象能对其调用notify(),因此能做到有效的选择唤醒哪个线程。

    公平锁

    下面来讲述将上面Lock类转变为公平锁FairLock。你会注意到新的实现和之前的Lock类中的同步和wait()/notify()稍有不同。

    准确地说如何从之前的Lock类做到公平锁的设计是一个渐进设计的过程,每一步都是在解决上一步的问题而前进的:Nested Monitor Lockout, Slipped Conditions和Missed Signals。这些本身的讨论虽已超出本文的范围,但其中每一步的内容都将会专题进行讨论。重要的是,每一个调用lock()的线程都会进入一个队列,当解锁后,只有队列里的第一个线程被允许锁住Farlock实例,所有其它的线程都将处于等待状态,直到他们处于队列头部。

    01 public class FairLock {
    02     private boolean           isLocked       = false;
    03     private Thread            lockingThread  = null;
    04     private List<QueueObject> waitingThreads =
    05             new ArrayList<QueueObject>();
    06
    07   public void lock() throws InterruptedException{
    08     QueueObject queueObject           = new QueueObject();
    09     boolean     isLockedForThisThread = true;
    10     synchronized