状态依赖的管理
在单线程化的程序中,如果调用一个方法时,依赖于状态的先验条件为满足(比如连接池非空),那么这个先验条件就无法变为真。但是在并发程序中,基于状态的先验条件会在其他线程的活动中被改变。对于并发对象,依赖于状态的方法有时可以再不能满足先验条件的情况下选择失败,不过更好的选择是等待先验条件变为真。
通俗语言:如果前提条件没有满足,则等待其他线程操作使当前线程的前提条件变成真,变成可执行状态,同时唤醒他们
有一种依赖于状态的操作,能够被阻塞直到可以继续执行。内部条件队列的机制可以让线程一直阻塞,指导对象已经进入某个特定的状态,该状态下进程可以继续执行,并且在阻塞线程可以进行进一步执行的时候,对象会将它们唤醒。“轮训与休眠”来解决状态依赖操作(费力不讨好)。
举例:在生产者-消费者中经常会使用有节缓存,中put-take方法,包含一个前提条件:不能从空缓存中获取元素,也不能将已满的缓存中放入元素,那么依赖状态操作可以抛出一个异常或者返回一个错误状态,也可以保持堵塞指导对象进入正确状态。
条件队列
概念:它使用一组线程,能沟通过等待特定条件变成真,。传统队列时一个个数据,条件队列中的元素是一个个等待相关条件的线程。
每个对象可以作为条件队列,并且object中的wait,notify,notifyall是内部条件队列API,