一、什么是竞态条件?java
当两个线程竞争同一资源时,若是对资源的访问顺序敏感,就称存在竞态条件。this
竞态条件(Race Condition):计算的正确性取决于多个线程的交替执行时序时,就会发生竞态条件。线程
致使竞态条件发生的代码区称做临界区。code
在临界区中使用适当的同步就能够避免竞态条件。内存
临界区实现方法有两种,一种是用synchronized,一种是用Lock显式锁实现。资源
二、实例:get
class Counter { protected long count = 0; public void add(long value) { this.count = this.count + value; } }
观察线程A和B交错执行会发生什么,两个线程分别加了2和3到count变量上,两个线程执行结束后count变量的值应该等于5。然而因为两个线程是交叉执行的,两个线程从内存中读出的初始值都是0。而后各自加了2和3,并分别写回内存。最终的值并非指望的5,而是最后写回内存的那个线程的值同步
上面例子中最后写回内存的是多是线程A,也多是线程B。若是没有采用合适的同步机制,线程间的交叉执行状况就没法预料。
add()方法就是一个临界区,它会产生竞态条件。it
三、最多见的竞态条件为:io
先检测后执行。
执行依赖于检测的结果,而检测结果依赖于多个线程的执行时序,而多个线程的执行时序一般状况下是不固定、不可判断的,从而致使执行结果出现各类问题。