java 线程的特点_从多线程的三个特性理解多线程开发

工作中许多地方需要涉及到多线程的设计与开发，java多线程开发当中我们为了线程安全所做的任何操作其实都是围绕多线程的三个特性：原子性、可见性、有序性展开的。针对这三个特性的资料网上已经很多了，在这里我希望在站在便于理解的角度，用相对直观的方式阐述这三大特性，以及为什么要实现和满足三大特性。

一、原子性

原子性是指一个操作或者一系列操作要么全部执行并且执行的过程不会被任何因素打断，要么就都不执行。其实这句话就是在告诉你，如果有多个线程执行相同一段代码时，而你又能够预见到这多个线程相互之间会影响对方的执行结果，那么这段代码是不满足原子性的。结合到实际开发当中，如果代码中出现这种情况，大概率是你操作了共享变量。

针对这个情况网上有个很经典的例子，银行转账问题：

比如A和B同时向C转账10万元。如果转账操作不具有原子性，A在向C转账时，读取了C的余额为20万，然后加上转账的10万，计算出此时应该有30万，但还未来及将30万写回C的账户，此时B的转账请求过来了，B发现C的余额为20万，然后将其加10万并写回。然后A的转账操作继续——将30万写回C的余额。这种情况下C的最终余额为30万，而非预期的40万。 如果A和B两个转账操作是在不同的线程中执行，而C的账户就是你要操作的共享变量，那么不保证执行操作原子性的后果是十分严重的。

OK，上面的状况我们理清楚了，由此可以引申出下列三个问题

1、哪些是共享变量

从JVM内存模型的角度上讲，存储在堆内存上数据都是线程共享的，如实例化的对象、全局变量、数组等。存储在线程栈上的数据是线程独享的，如局部变量、操作栈、动态链接、方法出口等信息。

举个通俗的例子，如果你的执行方法相当于做菜，你可以认为每个线程都是一名厨师，方法执行时会在虚拟机栈中创建栈帧，相当于给每个厨师分配一个单独的厨房，做菜也就是执行方法的过程中需要很多资源，里面的锅碗瓢盆各种工具，就诸如你在方法内的局部变量是每个厨师独享的；但如果需要使用水电煤气等公共资源，就诸如全局变量一般是共享的，使用时需要保证线程安全。

2、哪些是原子操作

既然是要保证操作的原子性，如何判断我的操作是否符合原子性呢，一段代码肯定是不符合原子性的，因为它包含很多步操作。但如果只是一行代码呢，比如上面的银行转账的例子如果没有这么复杂，共享变量“C的账户”只是一个简单的count++操作呢？针对这个问题，首先我们要明确，看起来十分简单的一句代码，在JMM(java线程内存模型)中可能是需要多步操作的。

先来看一个经典的例子：使用程序实现一个计数器，期望得到的结果是1000，代码如