Scanner scanner = new Scanner(System.in);
scanner.nextLine();
System.out.println(“退出主线程”);
}
}在word6时候,控制台输入结束:

文件内容是这样的:

可见性
基本概念
- 可见性:一个线程对共享变量值的修改,能够及时地被其他线程看到。
- 共享变量:如果一个变量在多个线程的工作内存中都存在副本,那么这个变量就是这几个线程的共享变量。
JAVA内存模型(JMM)
Java Memory Model描述了Java程序中各种变量(线程共享变量)的访问规则,以及在JVM中将变量存储到内存和从内存中读取出变量这样的底层细节。
JMM
所有共享变量都存储在主内存中
每个线程都有自己独立的工作内存,里面保存该线程使用到的变量副本(是主内存中该变量的一份拷贝)

工作内存和主内存交互的八种原子操作
关于一个变量如何从主内存中拷贝到工作内存、如何从工作内存同步回主内存之类的实现细节,Java内存模型定义了以下八种操作来完成,JVM实现时候必须保证下面提及的每一种操作都是原子的、不可分的。
①用于主内存变量:
锁定(lock):把变量标识为一条线程独占的状态。
解锁(unlock):把处于锁定状态的变量释放出来。
读取(read):把变量的值从主内存传输到线程的工作内存中,以便随后的load动作使用。
载入(load):把read操作从主内存中得到的变量值放入工作内存的变量副本中。
②用于工作内存变量:
使用(use):把工作内存中一个变量的值传递给执行引擎。
赋值(assign):把从执行引擎接收到的值赋给工作内存的变量。
存储(store):把工作内存中变量的值传送到主内存中,以便随后的write操作使用。
写入(write):把store操作从工作内存中得到的变量的值放入主内存的变量中。
确保并发操作安全的原则:
1.顺序但不连续:必然是先read后load以及先store后write,有先后顺序的要求,但是并没有要求连续执行,比如read和load,store和write之间是要插入其他指令的,比如read a,read b,load a,load b就是合理的;
2.读了一定载,存了一定写,读或者存之后不允许拒绝载入和写操作,即read\load,store\write不允许他们之一单独出现;
3.线程不能没有assign,就同步回主内存,想同步回去总归要做点不一样的事情吧hhh
4.新的变量只能在主内存“诞生”,不允许在工作内存中使用未初始化的变量,即use和store这种涉及工作内存变量的操作,都要求这个变量是先执行过assign和load操作的(初始化操作)
5.一个变量只允许一个线程lock操作,但是可以同一个线程lock套Lock,如果多次Lock,自然也需要多次unlock才能解锁变量
6.加锁之前先重新读取值,Lock操作会清空工作内存中此变量的值,use之前需要重新load或者assign进行初始化
7.不能解空锁,不能解别人的锁unlock不能解锁没有lock的变量,也不能在一个线程unlock另一个线程中lock的变量
8.解锁之前先同步,unlock前,必须要先store、write,把变量同步回主内存。
我们下面所讲的所有内容,都可以在这些规则中找到对应的点。
以上8种内存操作以及8种规则限定,再加上其他volatile的一些特殊规定,完全确定了JAVA中哪些内存访问操作在并发下是安全的,由于定义相当严谨但又十分繁琐,很麻烦,后面我们会介绍一个先行发生原则来确定一个访问在并发环境下是否安全。
两条规定:
- 1.线程不能直接与主内存交互。
线程对共享变量的所有操作必须在自己的工作内存中进行,不能直接从主内存读写。
- 2.各线程工作内存之间相互独立。
不同线程之间无法直接访问其他线程工作内存中的变量,线程间变量
共享变量可见性实现的原理:
以线程1对共享变量的修改要被线程2及时看到为例,要经过以下步骤:
- 1.把工作内存1中更新过的共享变量刷新到主内存中;
- 2.从主内存中将刷新过的共享变量读取工作内存2中。
那么要实现可见性,必须保证:
- 1.线程修改后的共享变量值及时从工作内存刷新到主内存(store and write);
- 2.其他线程能及时把共享变量新值从主内存更新到自己的工作内存(load and read)。
可见性实现方式:
语言层面:
- synchronized
- volatile
先了解两个小的基本概念之后我们再来介绍synchronized和volatile。
指令重排序
代码书写的顺序与实际执行的顺序不同,是编译器或者处理器为了提高程序性能而做的优化。原因是重排序之后的指令可能更加符合CPU的执行特点,最大限度发挥CPU性能。
int num1 = 1;
int num2 = 2;可能实际的执行顺序是相反的:
int num2 = 2;
int num1 = 1;
as-if-serial无论如何重排序,程序执行的结果应该与代码顺序执行的结果一致。
一个例子:
int num1 = 1;
int num2 = 2;
int sum = num1 + num2;在单线程中前两句随便重排序(数据依赖关系不允许重排序),但是第三句绝对是在前两句之后,这样不会影响sum的最终结果是3。指令重排序不会影响单线程中变量可见性。
而多线程中,指令重排序很有可能导致变量可见性问题。后面详细叙述。
下面详细叙述synchronized和volatile。
synchronizedsynchronized实现互斥锁,能够实现原子性和可见性。
实现可见性原理
JMM关于synchronized的两条规定:
线程解锁unlock前(退出sychronized代码块时候),必须把共享变量的最新值刷新到主内存中store and write
线程加锁lock时(进入sychronized代码块时候),将清空工作内存中共享变量的值,从而使用共享变量时需要从主内存重新读取最新的值load and read(加锁和解锁需要同一把锁)
这两条规定也就保证了synchronized能够实现共享变量的可见性。
过程
1.获得互斥锁
2.清空工作内存
3.从主内存拷贝变量的最新副本到工作内存
4.执行代码
5.更改后的共享变量值刷新到主内存
6.释放互斥锁
synchronized可见性分析代码示例
下面是一个线程不安全的代码:
public class Test {
private boolean ready = false;
private int result = 0;
private int number = 1;
public void write() {
ready = true;//1.1
number = 2;//1.2
}
public void read() {
if (ready) {
result = number * 3;//2.1
}
System.out.println(“result的值为:” + result);//2.2
}
private class ReadWriteThread extends Thread{
private boolean flag;
public ReadWriteThread(boolean flag) {
this.flag = flag;
}
@Override
public void run() {
if (flag) {//构造方法传入true执行写操作
write();
}else {//构造方法传入false执行读操作
read();
}
}
}
public static void main(String[] args) {
Test fuck = new Test();
fuck.new ReadWriteThread(true).start();//启动写线程
fuck.new ReadWriteThread(false).start();//启动读线程
}
}以上程序的逻辑很简单,就是一个Test类里面,有个result和number,有write和read方法。它内部有个线程类,通过传给线程类的构造器的boolean值来控制这个线程是读线程还是写线程。
然后在main里面分别启动一个读和写线程,运行后结果的输出可能有很多种情形。
result的值可能为:0,6,3
导致这种情况(共享变量不可见)出现的原因:
线程的交叉执行
比如最朴素的情况,先写后读,则输出结果6.写线程先启动1.1执行完ready=true,number此时是1,然后读线程得到CPU,进入if语句,最终打印result是3,而如果读线程直接执行完毕,result就是0。
重排序结合线程交叉执行
比如写线程先启动,重排序先执行1.2,然后读线程就执行了,这时候即使number值变了,result的结果也是0。
共享变量更新后的值没有在工作内存与主内存间及时更新
而安全的代码则是在write和read方法都加上synchronized关键字。
public synchronized void write() {
ready = true;//1.1
number = 2;//1.2
}
public synchronized void read() {
if (ready) {
result = number * 3;//2.1
}
System.out.println(“result的值为:” + result);//2.2
}加了一把锁,锁内的代码在一段时间内只能有一个线程可以执行,只有当前线程释放锁,其他线程才能进入这块代码执行。
synchronized解决可见性的解决方案:
- 原子性
避免了线程交叉执行锁内代码,同样由于保证锁内只有一个线程执行,那么重排序对单个线程来讲as-if-serial,始终结果是不变的,也不存在由于指令重排序导致的不可见问题了。
- 可见性
上面提到了synchronized实现可见性的原理,在加锁和释放锁时候都是要刷内存的。也就保证了共享变量能够及时更新。不加synchronized也能更新,但是并不能保证是及时更新,那么高并发情况下就可能出现意外。
加了synchronized之后(这里是对象锁),就只有两种结果,0或者6了~
在写读之间加个sleep,让主线程休眠上1000ms,那么基本可以保证先写后读,最终结果只有6。
volatile
synchronized保证原子性和可见性,volatile保证了可见性。
volatile实现内存可见性的原理:
从编译器和处理器角度来讲,通过加入内存屏障和禁止重排序优化实现
对volatile变量执行write操作时候,处理器会在写操作前加入一条store屏障指令,会把工作内存中共享变量副本的值强制刷新到主内存共享变量中去,以便进行后续的write,主内存中就是写的最新的值。还能防止处理器,把volatile前面的变量重排序到volatile写操作之后。
对volatile变量执行read操作时候,处理器会在读操作前加入一条load屏障指令,会把主内存中共享变量的值放入工作内存的共享变量副本中去,以便进行后续的read,工作内存中就是读的最新的值。还能防止重排序。
volatile没有lock,不能实现原子性。最简单的例子就是count++,这个实在不想说了…算了还是写个代码看一下,这段代码是保证了race的可见性的,我们预期的race的结果应该是200000:
public class Test {
public static volatile int race = 0;
public static void increase() {
race ++;
}
public static void main(String[] args) {
Thread[] threads = new Thread[20];
for(int i = 0; i < 20; i++) {
threads[i] = new Thread(new Runnable() {
@Override
public void run() {
for (int j = 0; j < 10000; j++) {
Test.increase();
}
}
});
threads[i].start();
}
while(Thread.activeCount() > 1) {
Thread.yield();
}
System.out.println(race);
}
}不过最终的运行结果小于200000,就是由于volatile并不能保证原子性,race++的底层机器指令是分几步完成的,不同的线程就会进行交叉操作。
自增操作原子性的解决方案
使用synchronized关键字
使用ReentrantLock(java.until.concurrent.locks包下)
使用AtomicInteger(vava.util.concurrent.atomic包下)
使用synchronized示例:
public synchronized static void increase() {
race ++;
}
















