直接开始………………

1.什么是多线程：

线程可以分为两大类：

用户级线程

用户线程是指不需要内核支持而在用户程序中实现的线程。不依赖操作系统核心。线程完全由自己管理。也不需要用户态/核心态切换。缺点是操作系统不知道多线程的存在。如果一个线程阻塞，则整个进程就会阻塞。

内核级线程

线程的所有管理操作都是由操作系统内核完成的。但线程切换，会涉及到用户态到内核态的切换。（Java程序是内核线程）

用户空间，内核空间

用户空间可以理解为在用户程序开辟的空间

内核空间是系统内核开辟的空间，也只能内核线程可以访问。

先来一张原理图：

                   

                      

1. 充分利用多核CPU的计算能力；

2. 方便进行业务拆分，提升应用性能；

第二个答案：

并发产生的问题：高并发场景下，导致频繁的上下文切换

临界区线程安全问题，容易出现死锁的，产生死锁就会造成系统功能不可用

 

进入本章真正的议题：什么是JMM模型。

先来一堆文字介绍吧---------

Java内存模型(Java Memory Model简称JMM)是一种抽象的概念，并不真实存在，它描 述的是一组规则或规范，通过这组规范定义了程序中各个变量（包括实例字段，静态字段和构 成数组对象的元素）的访问方式。JVM运行程序的实体是线程，而每个线程创建时JVM都会为 其创建一个工作内存(有些地方称为栈空间)，用于存储线程私有的数据，而Java内存模型中规 定所有变量都存储在主内存，主内存是共享内存区域，所有线程都可以访问，但线程对变量的 操作(读取赋值等)必须在工作内存中进行，首先要将变量从主内存拷贝的自己的工作内存空 间，然后对变量进行操作，操作完成后再将变量写回主内存，不能直接操作主内存中的变量， 工作内存中存储着主内存中的变量副本拷贝，前面说过，工作内存是每个线程的私有数据区 域，因此不同的线程间无法访问对方的工作内存，线程间的通信(传值)必须通过主内存来完 成。

图贴一下：

                      

                            

JMM-同步八种操作介绍

（1）lock(锁定)：作用于主内存的变量，把一个变量标记为一条线程独占状态

（2）unlock(解锁)：作用于主内存的变量，把一个处于锁定状态的变量释放出来，释放后的

变量才可以被其他线程锁定

（3）read(读取)：作用于主内存的变量，把一个变量值从主内存传输到线程的工作内存中，

以便随后的load动作使用

（4）load(载入)：作用于工作内存的变量，它把read操作从主内存中得到的变量值放入工作

内存的变量副本中

（5）use(使用)：作用于工作内存的变量，把工作内存中的一个变量值传递给执行引擎

（6）assign(赋值)：作用于工作内存的变量，它把一个从执行引擎接收到的值赋给工作内存

的变量

（7）store(存储)：作用于工作内存的变量，把工作内存中的一个变量的值传送到主内存中，

以便随后的write的操作

（8）write(写入)：作用于工作内存的变量，它把store操作从工作内存中的一个变量的值传送

到主内存的变量中

如果要把一个变量从主内存中复制到工作内存中，就需要按顺序地执行read和load操作，

如果把变量从工作内存中同步到主内存中，就需要按顺序地执行store和write操作。但Java内

存模型只要求上述操作必须按顺序执行，而没有保证必须是连续执行。

                  

并发编程的可见性，原子性与有序性问题

原子性

原子性指的是一个操作是不可中断的，即使是在多线程环境下，一个操作一旦开始就不会

被其他线程影响。

在java中，对基本数据类型的变量的读取和赋值操作是原子性操作有点要注意的是，对于

32位系统的来说，long类型数据和double类型数据(对于基本数据类型，

byte,short,int,float,boolean,char读写是原子操作)，它们的读写并非原子性的，也就是说如

果存在两条线程同时对long类型或者double类型的数据进行读写是存在相互干扰的，因为对

于32位虚拟机来说，每次原子读写是32位的，而long和double则是64位的存储单元，这样会导致一个线程在写时，操作完前32位的原子操作后，轮到B线程读取时，恰好只读取到了后32

位的数据，这样可能会读取到一个既非原值又不是线程修改值的变量，它可能是“半个变

量”的数值，即64位数据被两个线程分成了两次读取。但也不必太担心，因为读取到“半个变

量”的情况比较少见，至少在目前的商用的虚拟机中，几乎都把64位的数据的读写操作作为原

子操作来执行，因此对于这个问题不必太在意，知道这么回事即可。

X=10; //原子性（简单的读取、将数字赋值给变量）

Y = x; //变量之间的相互赋值，不是原子操作

X++; //对变量进行计算操作

X = x+1;

可见性

理解了指令重排现象后，可见性容易了，可见性指的是当一个线程修改了某个共享变量的

值，其他线程是否能够马上得知这个修改的值。对于串行程序来说，可见性是不存在的，因为

我们在任何一个操作中修改了某个变量的值，后续的操作中都能读取这个变量值，并且是修改

过的新值。

但在多线程环境中可就不一定了，前面我们分析过，由于线程对共享变量的操作都是线程

拷贝到各自的工作内存进行操作后才写回到主内存中的，这就可能存在一个线程A修改了共享

变量x的值，还未写回主内存时，另外一个线程B又对主内存中同一个共享变量x进行操作，但

此时A线程工作内存中共享变量x对线程B来说并不可见，这种工作内存与主内存同步延迟现象

就造成了可见性问题，另外指令重排以及编译器优化也可能导致可见性问题，通过前面的分

析，我们知道无论是编译器优化还是处理器优化的重排现象，在多线程环境下，确实会导致程

序轮序执行的问题，从而也就导致可见性问题。

有序性

有序性是指对于单线程的执行代码，我们总是认为代码的执行是按顺序依次执行的，这样

的理解并没有毛病，毕竟对于单线程而言确实如此，但对于多线程环境，则可能出现乱序现

象，因为程序编译成机器码指令后可能会出现指令重排现象，重排后的指令与原指令的顺序未

必一致，要明白的是，在Java程序中，倘若在本线程内，所有操作都视为有序行为，如果是多

线程环境下，一个线程中观察另外一个线程，所有操作都是无序的，前半句指的是单线程内保

证串行语义执行的一致性，后半句则指指令重排现象和工作内存与主内存同步延迟现象。