目录
一、volatile 关键字
1、volatile 能保证内存可见性
2、volatile 不保证原子性
二、wait 和 notify
1、wait()方法
2、notify()方法
3、notifyAll()方法
4、wait 和 sleep 的对比
我们前面的线程安全文章中,分析引起线程不安全的原因,其中就有一个原因是可见性,若一个线程对一个共享变量的修改,不能让其他线程看到,则会引起线程安全问题。因此,我们就引入了volatile 关键字,volatile 修饰的变量,能够保证 "内存可见性"。
(这里的“工作内存”不是真正的内存,就像CPU寄存器。)
代码在写入 volatile 修饰的变量的时候:
我们在讨论内存可见性时说, 直接访问工作内存(实际是 CPU 的寄存器或者 CPU 的缓存),速度非 常快,但是可能出现数据不⼀致的情况。 加上 volatile,就强制读写内存,速度是慢了, 但是数据变的更准确了。
代码示例:
在这个代码中
static class Counter {
public int flag = 0;
}
public static void main(String[] args) {
Counter counter = new Counter();
Thread t1 = new Thread(() -> {
while (counter.flag == 0) {
// do nothing
}
System.out.println("循环结束!");
});
Thread t2 = new Thread(() -> {
Scanner scanner = new Scanner(System.in);
System.out.println("输⼊⼀个整数:");
counter.flag = scanner.nextInt();
});
t1.start();
t2.start();
}
// 执⾏效果
// 当用户输⼊⾮0值时, t1 线程循环不会结束. (这显然是⼀个 bug)
这里t1线程循环并不会结束,这是因为 t1 读的是自己工作内存中的内容,当 t2 对 flag 变量进行修改,此时 t1 感知不到 flag 的变化。
static class Counter {
public volatile int flag = 0;
}
// 执⾏效果
// 当用户输⼊⾮0值时, t1 线程循环能够⽴即结束.
public class ThreadDemo {
private static volatile long count = 0;
public static void main(String[] args) throws InterruptedException{
Thread t1 = new Thread(()->{
for (int i = 1;i <= 500000;i++) {
count++;
}
});
Thread t2 = new Thread(()->{
for (long i = 0;i < 500000;i++) {
count++;
}
});
t1.start();
t2.start();
t1.join();
t2.join();
System.out.println("count= "+count);
}
}
可见运行结果为:
此时,最终 count 的值仍然无法保证是 1000000。所以volatile 不保证原子性,volatile 保证的是内存可见性。
就比如打球,球场上的每个运动员都是独立的 "执行流" ,可以认为是⼀个 "线程"。而完成⼀个具体的进攻得分动作,则需要多个运动员相互配合,按照⼀定的顺序执行⼀定的动作,线程 1 先 "传球",线程 2 才能 "扣篮"。
完成这个协调工作,主要涉及到三个方法:
注意:wait, notify, notifyAll 都是 Object 类的方法
这里要注意,wait 要搭配 synchronized 来使用,脱离 synchronized 使用 wait 会直接抛出异常。
代码示例:观察wait()方法使用
public static void main(String[] args) throws InterruptedException {
Object object = new Object();
synchronized (object) {
System.out.println("等待中");
object.wait();
System.out.println("等待结束");
}
}
public class ThreadDemo {
static class WaitTask implements Runnable {
private Object locker;
public WaitTask(Object locker) {
this.locker = locker;
}
@Override
public void run() {
synchronized (locker) {
while (true) {
try {
System.out.println("wait 开始");
locker.wait();
System.out.println("wait 结束");
} catch (InterruptedException e) {
e.printStackTrace();
}
}
}
}
}
static class NotifyTask implements Runnable {
private Object locker;
public NotifyTask(Object locker) {
this.locker = locker;
}
@Override
public void run() {
synchronized (locker) {
System.out.println("notify 开始");
locker.notify();
System.out.println("notify 结束");
}
}
}
public static void main(String[] args) throws InterruptedException {
Object locker = new Object();
Thread t1 = new Thread(new WaitTask(locker));
Thread t2 = new Thread(new NotifyTask(locker));
t1.start();
Thread.sleep(1000);
t2.start();
}
}
static class WaitTask implements Runnable {
// 代码不变
}
static class NotifyTask implements Runnable {
// 代码不变
}
public static void main(String[] args) throws InterruptedException {
Object locker = new Object();
Thread t1 = new Thread(new WaitTask(locker));
Thread t3 = new Thread(new WaitTask(locker));
Thread t4 = new Thread(new WaitTask(locker));
Thread t2 = new Thread(new NotifyTask(locker));
t1.start();
t3.start();
t4.start();
Thread.sleep(1000);
t2.start();
}
此时可以看到,调用notify 只能唤醒⼀个线程 。
public void run() {
synchronized (locker) {
System.out.println("notify 开始");
locker.notifyAll();
System.out.println("notify 结束");
}
}
此时可以看到,调用 notifyAll 能同时唤醒 3 个wait 中的线程。
理解 notify 和 notifyAll:notify 只唤醒等待队列中的一个线程,其他线程还是乖乖等着