竞态条件与临界区

当两个线程竞争同一资源时，如果对资源的访问顺序敏感，就称存在竞态条件。导致竞态条件发生的代码区称作临界区。在临界区中使用适当的同步就可以避免竞态条件。
界区实现方法有两种，一种是用synchronized，一种是用Lock显式锁实现。

有临界区是为了让更多的其它线程能安全够访问资源。

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

推荐您阅读更多有关于“ 线程 synchronized 资源 锁 ”的文章

猜你喜欢

• 8-27HTTP POST数据和数据接收
• 8-27常用SpringJPA主键生成策略，UUID和自增
• 8-27Apache Commons Jar包下载
• 8-27IIS服务器返回Bad Request (Invalid Hostname)解决办法
• 8-27SpringJPA 慎重 findAll() 切记分页