Java内存模型(jmm)
- Why:保证多线程正确协同工作
-
看图说明:
文字解释:线程a和线程b通信过程,首先线程a把本地内存的共享变量更新到主内存中,然后线程b去读取主内存的共享变量,最后更新到自己的本地内存中
JMM涉及的特性以及规则
- 特性
1.原子性:操作不可中断,即一个线程操作不会被另一个线程影响
特例:在32的操作系统中,long型不是原子性
2.可见性:是指一个线程修改某个共享变量的值,另一个线程能否立刻知道该共享变量的变化。
经常出现可见问性问题是因为重排序
重排序:编译器和处理器为了提高执行效率,改变语句执行顺序,为此jmm有happenbefore规则。
3.有序性: 代码语句按顺序执行 - happenbefore规则
happenbefore规则是jmm的核心:作用保证前一个操作对后一个操作可见(同一个线程或者不同线程)
1.程序顺序原则:一个线程内保证语义的串行性
2.Volatile规则:volatile的写,先发生于读,这保证了volatile的可见性
3.锁规则:解锁必然发生在随后的加锁前
4.传递性:a先于b,b先于c,那么a必然先于c
5.线程的start()方法先于他的每一个动作
6.线程所有操作先于线程的终结
7.线程的中断先于被中断线程的代码
8.对象的构造函数执行、结束先于finalize()方法
AQS同步器(抽象类)
- 原理:使用int成员变量表示同步状态,通过内置fifo队列完成资源获取线程的排队工作
-
他出名的儿子(继承了aqs)
1.ReentrantLock(类):大家都叫他重入锁,因为他可以重复加锁,不过synchronized也有这功能。
2.ReentrantReadWriteLock(类):大家都叫他读写锁,他可以听时刻允许多线程进入,读写锁比排它锁(ReentrantLock)性能好,因为大多数情况读多于写。
3.CountDownLatch(类):大家叫他倒计时器,他允许一个或多个线程等待其他线程完成操作。
CyclicBarrier和CountDownLatch区别
- CyclicBarrier
1.同步屏障,用于多线程计算结果最后合并场景。 - CountDownLatch
1.CountDownLatch的计数器只能使用一次,cyclicbarrier的计数器可以重置
线程池(摆脱原始的线程创建方法)
-
类图:如下
-
使用:
1.通过ThreadPoolExecutor创建线程池
参数解释:
1.int corePoolSize :线程池基本大小
2.BlockingQueue :阻塞队列,用来保存等待执行的任务
3.int maximumPoolSize :线程池最大数量,他与阻塞队列关系是这样4.审的,如果队列满了,线程池没有满,线程池会根据线程数量创执行任务。
4.long keepAliveTime :空闲线程存或时间
5.TimeUnit unit :线程活动保持时间的单位提交
1.传递一个runnable(没有返回值),需要返回值使用submit()方法。
threadPoolExecutor.execute(new Runnable() {
@Override
public void run() {
}
});