JAVA语言规范-线程和锁章节之同步、等待和通知

原文链接  本文是Oracle官方《Java语言规范》的译文

JAVA语言规范:线程和锁

1 同步

JAVA编程语言提供了线程间通信的多种机制。这些方法中最基本的是同步化,此方法是使用监视器实现的。JAVA中每个对象与一个监视器相关联,一个线程可以加锁和解锁监视器。一次仅有一个线程可能在监视器上持有锁。尝试锁住该监视器的任何其他线程被阻塞,直到它们可以再该监视器上获得一个锁。线程t可以多次锁住特别的监视器;每个解锁将一个加锁操作的作用反转来了。

synchronized语句计算了一个对象的引用;然后它尝试在该对象的监视器上执行加锁操作,并不进一步继续,直到锁操作已经成功完成。在加锁操作被执行完后,会执行synchronized语句体。如果语句体的执行没有完成(正常或突然)。那么将在相同的监视器上自动执行相同的解锁操作。

JAVA编程语言没有防止,也没有要求检查死锁条件。线程在多个对象上(直接或间接)持有锁的程序,应该使用传统技术来避免死锁,创建不会死锁的高级加锁原语(如果有必要的话)。其他机制(比如读写java.util.concurrent 包中的 volatile 变量和类)提供了一些同步的其他方法。

2 等待集合 和 通知

JAVA中的每个对象,都有一个关联的监视器,也会有一个关联的等待集合。等待集合是一个线程的集合。

当对象第一次被创建时,它的等待集合为空,增加或移除该集合中的线程,这样的简单操作都是原子性的。等待集合受到以下方法的操纵: Object.wait, Object.notify, and Object.notifyAll.。

等待集合的操作也受到线程中断状态的的影响,还有Thread类中那些可以进行中断线程方法的影响。此外在Thread类中的sleep和join的方法,它们能够获得等待集合和通知的动作。

 

2.1等待(Wait)

等待操作由wait()方法的执行引起,或者也可以由限定时间长度的wait()方法触发。

调用方法wait(long millisecs)或者函数wait(long millisecs, int nanosecs) ,当调用的参数均为0时,这样的调用等同于wait()。

如果线程在没有抛出InterruptedException 的情况下返回,那么线程就从wait 正常返回。

令线程t是在对象m上执行等待方法的线程,并令n是t在m上加锁操作的编号,这些操作已经不被解锁操作匹配。下面的操作之一发生:

  • 如果n是0(也就是,线程t已经没有占用目标m的锁)则抛出IllegalMonitorStateException 异常。
  • 如果这是一个定时等待,并且十亿分之一秒参数不在0-999999,或者毫秒参数是负的,那么就会抛出IllegalArgumentException 的异常。
  • 如果线程t被中断,那就抛出InterruptedException,并将t的中断状态设置为假。

否则,下面的序列发生:

1、线程t被添加到对象m的等待集合中,并在m上执行n个解锁操作。

2、线程t没有执行任何的进一步指令,直到它已经从m的等待集合中删除。由于下面的操作的任何之一,该程序可能从等待集合中删除,并在后面的某个时间继续。

  •   在等待等待集合中删除而选择的t的m上正在执行的notify操作。
  •   在m上正被执行的notifyAll操作。
  •   在t上执行的interrupt操作。
  •   如果这是一个定时等待,则为m的等待集合删除的内部操作,该集合至少在millisecs毫秒加nanosecs十亿分之一秒消逝后发生(从写操作开始)。
  •   根据实现的内部操作。实现被允许(尽管不鼓励)执行“伪造的唤醒”——以便从等待集合中删除中删除线程,从而能够在没有显式指令这样做的情况下再继续。注意这个装备成了在循环内使用wait的JAVA编码实践的必要条件,这些循环只有在线程等待持有的某个逻辑条件时才终止。

每个线程必须通过可能导致它从等待集合中删除的时间确定顺序。顺序不一定与其他的排序一直,但线程表现得像以那个循环发生的那些事件一样。

例如,如果线程t在m的等待队列中,然后t的中断和m的通知发生,那么在这些事件上必须有一个顺序。如果中断被认为首先发生,那么t将最终通过抛出InterruptedException来从wait中中返回,而且中的等待集合的某个其他线程(如果在通知的时候存在的话)必须接收通知。如果通知被认为是首先发生的,那么t将最终正常地wait返回,且中断仍然挂起。

  • 线程t在m上执行n个加锁操作。
  • 如果由于中断线程t在步骤2中从m的等待集合中删除了,那么t的中断状态就被设置为假,并且等待方法抛出InterruptedException。

 

2.2 通知(notify)

通知操作在调用方法notify和notifyAll 调用之后发生。令线程t是执行对象m上的这些方法的任一方法的线程,并令n是t在m上的加锁操作的数量,这些操作没有被解锁操作匹配。下面操作之一发生了。

  • 如果n是0,则抛出IllegalMonitorStateException。情形是这样的:线程t已经没有占有目标m的锁。
  • 如果n大于0,并且这是一个notify操作,那么如果m的等待集合不是空的,则是m的当前等待集合的一个成员的线程u被选择,并从等待集合中删除(不保证在等待集合中选定哪个线程)。从等待集合中进行该删除让u在等待操作中得以继续。但注意,继续之后的u的加锁操作不能成功,直到t完全解锁m的监视器后的某个时间。
  • 如果n大于0,并且这是一个notifyAll操作,那么所有的线程就从m的等待集合中删除并继续,但请注意。它们当中仅有的一个将一次锁住wait的继续期间需要的监视器

2.3  中断

中断操作在调用方法Thread.interrupt及定义来依次调用它的方法(比如ThreadGroup.interrupt)之后发生。对于某个线程u,令t是调用u.interrupt的线程,其中t和u可能是相同的。此操作导致u的中断状态被设置为真。

另外,如果存在着等待集合包含u的某个对象m,那么u就从m的等待集合中删除。这使得u能够在等待操作中继续,在该操作的情况中,此等待将在重新加锁m的监视器后抛出InterruptedException。

调用Thread.isInterrupted可以确定线程的中断状态。静态方法Thread.interrupted有线程调用来观察和清除自己的中断状态。

2.4 等待、通知和中断的交互

上面的规范允许我们确定于等待、通知和中断有关的几个属性。如果在等待时,线程同时是通知和中断的,它就可能是下面之一:

  • 从wait正常返回,尽管仍然有挂起中断(在其他工作中,对Thread.interrupted的调用将返回真)。
  • 通过抛出InterruptedException从wait处返回。

线程不可以重置它的中断状态,并从wait的调用中正常返回。

同样,通知不能由于中断而丢失。假定线程的集合s在对象m的等待集合中,并且另一个线程在m上执行notify,那么有下面之一发生:

  • 至少s中有一个线程从wait处正常返回,或者
  • s中的所有线程必须通过抛出InterruptedException退出wait。

注意,如果线程通过notify被中断和唤醒,并且线程通过抛出InterruptedException从wait返回,那么等待集合中的某个线程必须被通知到。

原创文章,转载请注明: 转载自并发编程网 – ifeve.com本文链接地址: JAVA语言规范-线程和锁章节之同步、等待和通知

山鸡

花名 残墨 。底层爱好者,涉猎广泛,码砖编制。
FavoriteLoading添加本文到我的收藏
  • Trackback are closed
  • Comments (0)
  1. No comments yet.

You must be logged in to post a comment.

return top