Java中并发的三大特性

　　Java内存模型

　　在讲三大特性之前先简单介绍一下Java内存模型(Java Memory Model，简称JMM)，了解了Java内存模型以后，可以更好地理解三大特性。

　　Java内存模型是一种抽象的概念，并不是真实存在的，它描述的是一组规范或者规定。JVM运行程序的实体是线程，每一个线程都有自己私有的工作内存。Java内存模型中规定了所有变量都存储在主内存中，主内存是一块共享内存区域，所有线程都可以访问。但是线程对变量的读取赋值等操作必须在自己的工作内存中进行，在操作之前先把变量从主内存中复制到自己的工作内存中，然后对变量进行操作，操作完成后再把变量写回主内存。线程不能直接操作主内存中的变量，线程的工作内存中存放的是主内存中变量的副本。

　　原子性(Atomicity)

　　原子性是指：在一次或者多次操作时，要么所有操作都被执行，要么所有操作都不执行。

　　一般说到原子性都会以银行转账作为例子，比如张三向李四转账100块钱，这包含了两个原子操作：在张三的账户上减少100块钱;在李四的账户上增加100块钱。这两个操作必须保证原子性的要求，要么都执行成功，要么都执行失败。不能出现张三的账户减少100块钱而李四的账户没增加100块钱，也不能出现张三的账户没减少100块钱而李四的账户却增加100块钱。举例如下：

　　示例一

　　i = 1;

　　根据上面介绍的Java内存模型，线程先把i=1写入工作内存中，然后再把它写入主内存，就此赋值语句可以说是具有原子性。

　　示例二

　　i = j;

　　这个赋值操作实际上包含两个步骤：线程从主内存中读取j的值，然后把它存入当前线程的工作内存中;线程把工作内存中的i改为j的值，然后把i的值写入主内存中。虽然这两个步骤都是原子性的操作，但是合在一起就不是原子性的操作。

　　示例三

　　i++;

　　这个自增操作实际上包含三个步骤：线程从主内存中读取i的值，然后把它存入当前线程的工作内存中;线程把工作内存中的i执行加1操作;线程再把i的值写入主内存中。和上一个示例一样，虽然这三个步骤都是原子性的操作，但是合在一起就不是原子性的操作。

　　从上面三个示例中，我们可以发现：简单的读取和赋值操作是原子性的，但把一个变量赋值给另一个变量就不是原子性的了;多个原子性的操作放在一起也不是原子性的。

　　如何保证原子性

　　在Java内存模型中，只保证了基本读取和赋值的原子性操作。如果想保证多个操作的原子性，需要使用synchronized关键字或者Lock相关的工具类。如果想要使int、long等类型的自增操作具有原子性，可以用java.util.concurrent.atomic包下的工具类，如：AtomicInteger、AtomicLong等。另外需要注意的是，volatile关键字不具有保证原子性的语义。

　　可见性(Visibility)

　　什么是可见性

　　可见性是指：当一个线程对共享变量进行修改后，另外一个线程可以立即看到该变量修改后的最新值。

　　如何保证可见性

　　在Java中可以用以下3种方式保证可见性。

　　使用volatile关键字

　　当一个变量被volatile关键字修饰时，其他线程对该变量进行了修改后，会导致当前线程在工作内存中的变量副本失效，必须从主内存中再次获取，当前线程修改工作内存中的变量后，同时也会立刻将其修改刷新到主内存中。

　　使用synchronized关键字

　　synchronized关键字能够保证同一时刻只有一个线程获得锁，然后执行同步方法或者代码块，并且确保在锁释放之前，会把变量的修改刷新到主内存中。

　　使用Lock相关的工具类

　　Lock相关的工具类的lock方法能够保证同一时刻只有一个线程获得锁，然后执行同步代码块，并且确保执行Lock相关的工具类的unlock方法在之前，会把变量的修改刷新到主内存中。

　　有序性(Ordering)

　　什么是有序性

　　有序性指的是：程序执行的顺序按照代码的先后顺序执行。

　　在Java中，为了提高程序的运行效率，可能在编译期和运行期会对代码指令进行一定的优化，不会百分之百的保证代码的执行顺序严格按照编写代码中的顺序执行，但也不是随意进行重排序，它会保证程序的最终运算结果是编码时所期望的。这种情况被称之为指令重排(Instruction Reordering)。

　　如何保证有序性

　　这里就要提到Java内存模型的一个叫做先行发生(Happens-Before)的原则了。如果两个操作的执行顺序无法从Happens-Before原则推到出来，那么可以对它们进行随意的重排序处理了。Happens-Before原则有哪些呢?

　　程序次序原则：一段代码在单线程中执行的结果是有序的。

　　锁定原则：一个锁处于被锁定状态，那么必须先执行unlock操作后面才能进行lock操作。

　　volatile变量原则：同时对volatile变量进行读写操作，写操作一定先于读操作。

　　线程启动原则：Thread对象的start方法先于此线程的每一个动作。

　　线程终结原则：线程中的所有操作都先于对此线程的终止检测。

　　线程中断原则：对线程interrupt方法的调用先于被中断线程的代码检测到中断事件的发生。

　　对象终结原则：一个对象的初始化完成先于它的finalize方法的开始。

　　传递原则：操作A先于操作B，操作B先于操作C，那么操作A一定先于操作C。

　　除了Happens-Before原则提供的天然有序性，我们还可以用以下几种方式保证有序性：

　　使用volatile关键字保证有序性。

　　使用synchronized关键字保证有序性。

　　使用Lock相关的工具类保证有序性。

　　总结

　　原子性：在一次或者多次操作时，要么所有操作都被执行，要么所有操作都不执行。

　　可见性：当一个线程对共享变量进行修改后，另外一个线程可以立即看到该变量修改后的最新值。

　　有序性：程序执行的顺序按照代码的先后顺序执行。

　　synchronized关键字和Lock相关的工具类可以保证原子性、可见性和有序性，volatile关键字可以保证可见性和有序性，不能保证原子性。

　　更多关于“java培训”的问题，欢迎咨询千锋教育在线名师。千锋教育多年办学，课程大纲紧跟企业需求，更科学更严谨，每年培养泛IT人才近2万人。不论你是零基础还是想提升，都可以找到适合的班型，千锋教育随时欢迎你来试听。