![](https://i-blog.csdnimg.cn/blog_migrate/504fa7fa34c0e0d82207e0a10478c311.png)
Java 内存模型是围绕并发过程中如何处理原子性、可见性、有序性来建立的。
- 原子性
通过 synchronized、LOCK解决 - 可见性
一个线程对变量的修改另一个线程能够立即察觉到
通过synchronized、LOCK、volatile来解决 - 有序性
通过volatile 和 hapen-before原则保证
volatile
- 保证共享变量的可见性
- 禁止代码重排序
内存屏障
- lfence 是一种Load Barrier 读屏障
- sfence 是一种Store Barrier 写屏障
- mfence 是一种全能型的屏障,具备lfence 和 sfence的能力
- Lock前缀 lock 不是一种内存屏障,但是他能完成类似内存屏障的功能,lock 会对CPU总线和告诉缓存加锁,可以理解为CPU指令级的一种锁。
线程状态
- 新建(New)
创建后尚未启动的线程处于这种状态 - 运行(Runnable)
包括操作系统线程状态中的Running 和 Ready状态,也就是说线程正在执行,或者线程正在等待被CPU等待 - 无限期等待(Waiting)
处于这种状态的线程不会被分配CPU执行时间,要等待被其他线程显示唤醒- 没有设置超时时间的 wait() 方法
- 没有设置超时时间的 join() 方法
- LockSupport.park
- 限期等待(Timed Waiting)
处于这种状态的向后才能也不会被分配CPU执行时间,但是无需等待被其他线程显示唤醒,在等待一定时间后,他们由系统自动唤醒- Thread::sleep()
- 设置了超时时间的 Object.wait()
- 设置了超时时间的Thread::join()
- LockSupport::parkNanos()
- LockSupport::parkUntil
- 阻塞(Blocked):
线程被阻塞了,“阻塞状态” 与“等待状态”的区别是“阻塞状态”在等待着获取一个排它锁,这个时间将在另一个线程放弃这个锁的时候发生;而“等待状态”则是在等待一段时间,或者唤醒动作的发生。在程序进入同步区域的时候,线程将进入这种状态 - 结束(Terminated)
以终止的线程的状态,线程已经结束执行