关于多线程的一些笔记(二)
JMM模型
概述:
共享内存中多线程进行读写操作的行为规范
特点:
如图:
1、JMM让java程序与硬件指令进行了隔离
(Java内存模型(简称:JMM)定义了共享内存中多线程程序读写操作 的行为规范,通过这些规则来规范对内存的读写操作从而保证指令的正 确性,它解决了 CPU 多级缓存、处理器优化、指令重排序 导致的内存访问问题)
2、JMM把内存分为两块,一块为私有线程的工作区域(工作内存),一块是所有线程的共享区域(主内存)
(由于JVM运行程序的实体是线程,而每个线程创建时JVM都会为其创建一个工作内存,用于存储线程私有的数据。而Java内存模型中规定所有变量都存储在主内存,主内存是共享内存区域,所有线程都可以访问。)
3、线程跟线程之间是相互隔离,线程跟线程交互需要通过主内存
(线程对变量的操作(读取赋值等)必须在工作内存中进行,首先要将变量从主内存拷贝的自己的工作内存空间,然后对变量进行操作,操作完成后再将变量写回主内存,不能直接操作主内存中的变量,工作内存中存储着主内存中的变量副本,前面说过,工作内存是每个线程的私有数据区域,因此不同的线程无法访问其它线程的工作内存,线程间的通信(传值)必须通过主内存来完成)
并发编程的三大特性
1、原子性
2、内存可见性
(A线程对数据进行修改后,B线程可以看到修改后的数据)
3、有序性
程序执行的顺序按照代码的先后顺序执行。
一般来说处理器为了提高程序运行效率,可能会对输入代码进行优化,它不保证程序中各个语句的执行先后顺序同代码中的顺序一致,但是它会保证程序最终执行结果和代码顺序执行的结果是一致的。如下:
int a=2; //1
int b=3; //2
int rs=a*b; //3
则因为指令重排序,他还可能执行顺序为 1-2-3,2-1-3
但是绝对不会是3-1-2/3-2-1这种顺序,因为这打破了依赖关系。
显然重排序对单线程运行是不会有任何问题,而多线程就不一定了,所以我们在多线程编程时就得考虑这个问题了。
volatile关键字
作用:
1、实现可见性
2、实现有序性
Volatile实现内存可见性原理:
来源
JMM内存屏障插入策略如下:
在每个volatile写操作的前面插入一个StoreStore屏障,后面插入一个StoreLoad屏障。
在每个volatile读操作后面插入一个LoadLoad,LoadStore屏障。
内存屏障(Memory Barrier)是一种CPU指令,用于控制特定条件下的重排序和内存可见性问题。Java编译器也会根据内存屏障的规则禁止重排序
缺点:
不能实现原子性,通常和CAS一起使用
volatile和Synchronize的区别:
效率:
Synchronize使用的是锁,效率慢;
volatile使用的是内存屏障,效率快
特点:
Synchronize可以实现原子性、可见性和有序性
volatile可以实现可见性和有序性
Synchronize重量级锁
工作原理:
public class TicketDemo1 {
static int ticketNum = 10;
public void getTicket() {
synchronized (TicketDemo1.class) {
....
}
}
}
通过javap -c TickerDemo.class 反编译指令查看
使用Synchronize是通过jvm指令进入、退出对象监视器( Monitor )来实现对方法、同步块的同步的。
关于Synchronize的更详细说明
lock锁(可重入锁ReentrantLock)
作用:避免死锁
lock锁和Synchronize的区别
- 原始构成
- Synchronized 是关键字,属于JVM层面,底层是通过 monitorenter 和 monitorexit 完成,依赖于 monitor 对象来完成。由于 wait/notify 方法也依赖于 monitor 对象,因此只有在同步块或方法中才能调用这些方法。
- Lock 是 java.util.concurrent.locks.lock 包下的,是 api层面的锁。
- 使用方法
- Synchronized 不需要用户手动释放锁,代码完成之后系统自动让线程释放锁
- ReentrantLock 需要用户手动释放锁,没有手动释放可能导致死锁。
- 等待是否可以中断
- Synchronized 不可中断,除非抛出异常或者正常运行完成
- ReentrantLock 可以中断。一种是通过
tryLock(long timeout, TimeUnit unit)
,另一种是lockInterruptibly()
放代码块中,调用interrupt()
方法进行中断。
- 加锁是否公平
- synchronized 是非公平锁
- ReentrantLock 默认非公平锁,可以在构造方法传入 boolean 值,true 代表公平锁,false 代表非公平锁。
- 锁绑定多个 Condition
- Synchronized 只有一个阻塞队列,只能随机唤醒一个线程或者唤醒全部线程。
- ReentrantLock 用来实现分组唤醒,可以精确唤醒。