【Java并发性和多线程】竞态条件与临界区

本文为转载学习

原文连接：http://tutorials.jenkov.com/java-concurrency/race-conditions-and-critical-sections.html

译文连接：http://ifeve.com/race-conditions-and-critical-sections/

    在同一程序中运行多个线程自己不会致使问题，问题在于多个线程访问了相同的资源。如，同一内存区（变量，数组，或对象）、系统（数据库，web services等）或文件。实际上，这些问题只有在一或多个线程向这些资源作了写操做时才有可能发生，只要资源没有发生变化,多个线程读取相同的资源就是安全的。

    多线程同时执行下面的代码可能会出错：

public class Counter {
	protected long count = 0;
	public void add(long value){
		this.count = this.count + value;   
	}
}

    想象下线程A和B同时执行同一个Counter对象的add()方法，咱们没法知道操做系统什么时候会在两个线程之间切换。JVM并非将这段代码视为单条指令来执行的，而是按照下面的顺序：

从内存获取 this.count 的值放到寄存器
将寄存器中的值增长value
将寄存器中的值写回内存

    观察线程A和B交错执行会发生什么：

this.count = 0;
   A:	读取 this.count 到一个寄存器 (0)
   B:	读取 this.count 到一个寄存器 (0)
   B: 	将寄存器的值加2
   B:	回写寄存器值(2)到内存. this.count 如今等于 2
   A:	将寄存器的值加3
   A:	回写寄存器值(3)到内存. this.count 如今等于 3

    两个线程分别加了2和3到count变量上，两个线程执行结束后count变量的值应该等于5。然而因为两个线程是交叉执行的，两个线程从内存中读出的初始值都是0。而后各自加了2和3，并分别写回内存。最终的值并非指望的5，而是最后写回内存的那个线程的值，上面例子中最后写回内存的是线程A，但实际中也多是线程B。若是没有采用合适的同步机制，线程间的交叉执行状况就没法预料。

竞态条件 & 临界区

    当两个线程竞争同一资源时，若是对资源的访问顺序敏感，就称存在竞态条件。致使竞态条件发生的代码区称做临界区。上例中add()方法就是一个临界区,它会产生竞态条件。在临界区中使用适当的同步就能够避免竞态条件。