一、JUC简介
Java 5.0 提供了java.util.concurrent(简称JUC)包,在此包中增加了在并发编程中很常见的实用工具类,用于定义类似于编程的自定义子系统,包括线程池、异步IO和轻量级任务框架。提供可调的、灵活的线程池。还提供了设计用于多线程上下文的Collection实现等。
二、内存可见性
- 内存可见性(Memory Visibility)是指当某个线程正在使用对象状态,而另一个线程同时修改该状态,需要确保当一个线程修改了对象状态后,其他线程能够看到发生的状态变化。
- 可见性错误是指当读操作与写操作在不同的线程中执行时,我们无法确保执行读操作的线程能适时地看到其他线程写入的值,有时甚至是根本不可能的事情。
- 我们可以通过同步来保证对象被安全的发布。除此之外,我们也可以使用一种更加轻量级的volatile变量。
根据Java内存模型的实现,线程在具体执行时,会先拷贝主存数据到线程本地(CPU缓存),操作完成后再把结果从线程本地刷到主存。
三、volatile 关键字
Java提供了一种稍弱的同步机制,即volatile变量,用来确保将变量的更新操作通知到其他线程。可以将volatile看做一个轻量级的锁,但是又与锁有些不同:
- 对于多线程,不是一种互斥关系
- 不能保证变量状态的“原子性操作”
四、demo
1. synchronized 实现
package com.yuxx.juc;
public class TestVolatile2 {
public static void main(String[] args) {
NoVolatileDemo td = new NoVolatileDemo();
new Thread(td).start();
while(true) {
synchronized (td) {
if(td.isFlag()) {
System.out.println("------------------------");
break;
}
}
}
}
}
class NoVolatileDemo implements Runnable{
private boolean flag = false;
@Override
public void run() {
try {
Thread.sleep(200);
} catch (InterruptedException e) {
e.printStackTrace();
}
flag = true;
System.out.println("flag = " + isFlag());
}
public boolean isFlag() {
return flag;
}
public void setFlag(boolean flag) {
this.flag = flag;
}
}
2. volatile 实现
package com.yuxx.juc;
public class TestVolatile {
public static void main(String[] args) {
ThreadDemo td = new ThreadDemo();
new Thread(td).start();
while(true) {
if(td.isFlag()) {
System.out.println("------------------------");
break;
}
}
}
}
class ThreadDemo implements Runnable{
private volatile boolean flag = false;
public boolean isFlag() {
return flag;
}
public void setFlag(boolean flag) {
this.flag = flag;
}
@Override
public void run() {
try {
Thread.sleep(200);
} catch (InterruptedException e) {
e.printStackTrace();
}
flag = true;
System.out.println("flag = " + isFlag());
}
}
以上两个demo,实现了相同的效果:线程内,将一个flag赋值为true,赋值之前,先睡眠了0.2秒。此时创建一个线程,while循环,等flag为true时,打印结束。
五、volatile 和 synchronized 特点
synchronized 关键字解决的是执行控制的问题,它会组织其他线程获取当前对象的监控锁,这样使得当前对象中被synchronized 关键字保护的代码块,无法被其他线程访问,也就无法并发执行。更重要的是,synchronized还会创建一个内存屏障,内存屏障指令保证了所有CPU操作结果都会刷到主存中,从而保证操作的内存可见性,同时也使得先获得这个锁的线程的所有操作,都happens-before于随后获得这个锁的现成的操作。
volatile 关键字解决的是内存可见性的问题,会使得所有对volatile变量的读写都会直接刷到主存,即保证了变量的可见性,这样就能满足一些对变量可见性有要求而对读取顺序没有要求的需求。
使用volatile 关键字仅能实现对原始变量(如boolean、short、int、long等)操作的原子性,但需要特别注意,volatile不能保证复合操作的原子性,即使只是i++,实际上也是由多个原子操作组成。
对于volatile关键字,当且仅当满足以下所有条件时可使用:
1. 对变量的写入操作不依赖于变量的当前值,或者你能确保只有单个线程更新变量的值。
2. 该变量没有包含在具有其他变量的不变式中。
六、volatile和synchronized 的区别
- volatile本质是在告诉JVM当前变量在寄存器(工作内存)中的值是不确定的,需要从主存中读取;synchronized则是锁定当前变量,只有当前线程可以访问该变量,其他线程被阻塞住。
- volatile 仅能使用在变量级别;synchronized则可以使用在变量、方法和类级别的。
- volatile 仅能实现变量的修改可见性,不能保证原子性;而synchronized则可以保证变量的修改可见性和原子性。
- volatile不会造成线程的阻塞;synchronized可能会造成线程的阻塞。
- volatile标记的变量不会被编译器优化;synchronized标记的变量可以被编译器优化。