什么是竞态条件?举例说明

当两个线程竞争同一资源时,如果对资源的访问顺序敏感,就称存在竞态条件。

导致竞态条件发生的代码区称作临界区。

在临界区中使用适当的同步就可以避免竞态条件。

临界区实现方法有两种,一种是用synchronized,一种是用Lock显式锁实现。

eg 来自网址:http://cuisuqiang.iteye.com/blog/2020152

    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()方法就是一个临界区,它会产生竞态条件。

原文地址:https://www.cnblogs.com/xiaozhijing/p/7919216.html