Java多线程饥饿与公平介绍及代码示例
如果一个线程因为cpu时间全部被其他线程抢走而得不到cpu运行时间,这种状态被称之为“饥饿”。而该线程被“饥饿致死”正是因为它得不到cpu运行时间的机会。解决饥饿的方案被称之为“公平性” – 即所有线程均能公平地获得运行机会。
下面是本文讨论的主题:
java中导致饥饿的原因
在java中,下面三个常见的原因会导致线程饥饿:
高优先级线程吞噬所有的低优先级线程的cpu时间。
线程被永久堵塞在一个等待进入同步块的状态,因为其他线程总是能在它之前持续地对该同步块进行访问。
线程在等待一个本身(在其上调用wait())也处于永久等待完成的对象,因为其他线程总是被持续地获得唤醒。
高优先级线程吞噬所有的低优先级线程的cpu时间
你能为每个线程设置独自的线程优先级,优先级越高的线程获得的cpu时间越多,线程优先级值设置在1到10之间,而这些优先级值所表示行为的准确解释则依赖于你的应用运行平台。对大多数应用来说,你最好是不要改变其优先级值。
线程被永久堵塞在一个等待进入同步块的状态
java的同步代码区也是一个导致饥饿的因素。java的同步代码区对哪个线程允许进入的次序没有任何保障。这就意味着理论上存在一个试图进入该同步区的线程处于被永久堵塞的风险,因为其他线程总是能持续地先于它获得访问,这即是“饥饿”问题,而一个线程被“饥饿致死”正是因为它得不到cpu运行时间的机会。
线程在等待一个本身(在其上调用wait())也处于永久等待完成的对象
如果多个线程处在wait()方法执行上,而对其调用notify()不会保证哪一个线程会获得唤醒,任何线程都有可能处于继续等待的状态。因此存在这样一个风险:一个等待线程从来得不到唤醒,因为其他等待线程总是能被获得唤醒。
下面分享一个线程饥饿死锁的例子,代码:
public class threaddeadlock { executorservice exec = executors.newsinglethreadscheduledexecutor(); // executorservice exec = executors.newcachedthreadpool(); //如果添加给线程池中添加足够多的线程,就可以让所有任务都执行,避免饥饿死锁。 /** * 模拟页面加载的例子 * * 产生死锁分析: * renderpagetask任务中有2个子任务分别是“加载页眉”和“加载页脚”。当提交renderpagetask任务时,实际上是向线程池中添加了3个任务, * 但是由于线程池是单一线程池,同时只会执行一个任务,2个子任务就会在阻塞在线程池中。而renderpagetask任务由于得不到返回,也会 * 一直堵塞,不会释放线程资源让子线程执行。这样就导致了线程饥饿死锁。 * * 在一个callable任务中,要返回2个子任务 * @author hadoop * */ class renderpagetask implements callable<string>{ @override public string call() throws exception { future<string> header,footer; header = exec.submit(new callable<string>(){ @override public string call() throws exception { system.out.println("加载页眉"); thread.sleep(2*1000); return "页眉"; } } ); footer = exec.submit(new callable<string>(){ @override public string call() throws exception { system.out.println("加载页脚"); thread.sleep(3*1000); return "页脚"; } } ); system.out.println("渲染页面主体"); return header.get() + footer.get(); } } public static void main(string[] args) throws interruptedexception, executionexception { threaddeadlock td = new threaddeadlock(); future<string> futre = td.exec.submit(td.new renderpagetask()); string result = futre.get(); system.out.println("执行结果为:" + result); } }
在java中实现公平性
虽java不可能实现100%的公平性,我们依然可以通过同步结构在线程间实现公平性的提高。
首先来学习一段简单的同步态代码:
public class synchronizer{ public synchronized void dosynchronized(){ //do a lot of work which takes a long time } }
如果有一个以上的线程调用dosynchronized()方法,在第一个获得访问的线程未完成前,其他线程将一直处于阻塞状态,而且在这种多线程被阻塞的场景下,接下来将是哪个线程获得访问是没有保障的。
使用锁方式替代同步块
为了提高等待线程的公平性,我们使用锁方式来替代同步块。
public class synchronizer{ lock lock = new lock(); public void dosynchronized() throws interruptedexception{ this.lock.lock(); //critical section, do a lot of work which takes a long time this.lock.unlock(); } }
注意到dosynchronized()不再声明为synchronized,而是用lock.lock()和lock.unlock()来替代。
下面是用lock类做的一个实现:
public class lock{ private boolean islocked = false; private thread lockingthread = null; public synchronized void lock() throws interruptedexception{ while(islocked){ wait(); } islocked = true; lockingthread = thread.currentthread(); } public synchronized void unlock(){ if(this.lockingthread != thread.currentthread()){ throw new illegalmonitorstateexception( "calling thread has not locked this lock"); } islocked = false; lockingthread = null; notify(); } }
注意到上面对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实例,所有其它的线程都将处于等待状态,直到他们处于队列头部。
public class fairlock { private boolean islocked = false; private thread lockingthread = null; private list<queueobject> waitingthreads = new arraylist<queueobject>(); public void lock() throws interruptedexception{ queueobject queueobject = new queueobject(); boolean islockedforthisthread = true; synchronized(this){ waitingthreads.add(queueobject); } while(islockedforthisthread){ synchronized(this){ islockedforthisthread = islocked || waitingthreads.get(0) != queueobject; if(!islockedforthisthread){ islocked = true; waitingthreads.remove(queueobject); lockingthread = thread.currentthread(); return; } } try{ queueobject.dowait(); } catch(interruptedexception e){ synchronized(this) { waitingthreads.remove(queueobject); } throw e; } } } public synchronized void unlock(){ if(this.lockingthread != thread.currentthread()){ throw new illegalmonitorstateexception( "calling thread has not locked this lock"); } islocked = false; lockingthread = null; if(waitingthreads.size() > 0){ waitingthreads.get(0).donotify(); } } }
public class queueobject { private boolean isnotified = false; public synchronized void dowait() throws interruptedexception { while(!isnotified){ this.wait(); } this.isnotified = false; } public synchronized void donotify() { this.isnotified = true; this.notify(); } public boolean equals(object o) { return this == o; } }
首先注意到lock()方法不在声明为synchronized,取而代之的是对必需同步的代码,在synchronized中进行嵌套。
fairlock新创建了一个queueobject的实例,并对每个调用lock()的线程进行入队列。调用unlock()的线程将从队列头部获取queueobject,并对其调用donotify(),以唤醒在该对象上等待的线程。通过这种方式,在同一时间仅有一个等待线程获得唤醒,而不是所有的等待线程。这也是实现fairlock公平性的核心所在。
请注意,在同一个同步块中,锁状态依然被检查和设置,以避免出现滑漏条件。
还需注意到,queueobject实际是一个semaphore。dowait()和donotify()方法在queueobject中保存着信号。这样做以避免一个线程在调用queueobject.dowait()之前被另一个调用unlock()并随之调用queueobject.donotify()的线程重入,从而导致信号丢失。queueobject.dowait()调用放置在synchronized(this)块之外,以避免被monitor嵌套锁死,所以另外的线程可以解锁,只要当没有线程在lock方法的synchronized(this)块中执行即可。
最后,注意到queueobject.dowait()在try – catch块中是怎样调用的。在interruptedexception抛出的情况下,线程得以离开lock(),并需让它从队列中移除。
性能考虑
如果比较lock和fairlock类,你会注意到在fairlock类中lock()和unlock()还有更多需要深入的地方。这些额外的代码会导致fairlock的同步机制实现比lock要稍微慢些。究竟存在多少影响,还依赖于应用在fairlock临界区执行的时长。执行时长越大,fairlock带来的负担影响就越小,当然这也和代码执行的频繁度相关。
总结
以上就是本文关于java多线程饥饿与公平介绍及代码示例的全部内容,希望对大家有所帮助。感兴趣的朋友可以继续参阅本站:java编程之多线程死锁与线程间通信简单实现代码、解析java编程之synchronized锁住的对象、java编程redisson实现分布式锁代码示例等,有什么问题可以随时留言,小编会及时回复大家的。感谢朋友们对本站的支持!