Java内存模型是保障多线程安全的根基,这里不过认识型的理解总结并未深入研究。
一、什么是内存模型,为什么须要它
Java内存模型(Java Memory Model)并发相关的安全公布,同步策略的规范、一致性等都来自于JMM。
1 平台的内存模型 在架构定义的内存模型中将告诉应用程序能够从内存系统中获得如何的保证,此外还定义了一些特殊的指令(称为内存栅栏或栅栏),当须要共享数据时,这些指令就能实现额外的存储协调保证。 JVM通过在适当的位置上插入内存栅栏来屏蔽在JVM与底层平台内存模型之间的差异。
2 重排序 多个线程同一时候操作同一个变量时,读与写必须保证原子性,否则会出现读取的变量值并非最新改动的等重排序问题。
3 Java内存模型简单介绍 Happens-Before的规则包含:
程序顺序规则。假设程序中操作A在操作B之前,那么在线程中A操作将在B操作之前运行。
监视器锁规则。在监视器锁上的解锁操作必须在同一个监视器上的加锁操作之前运行。
Volative变量规则。对Volative变量的写入操作必须在对该变量的读操作之前运行。
线程启动规则。在线程上对Thread.Start的调用必须在线程中运行不论什么操作之前运行。
线程结束规则。在线程中的不论什么操作都必须在其它线程检測到该线程已结束之前运行,或者从Thread.join中成功返回,或者调用Threas.isAlive时返回false。
中断规则。当一个线程在还有一个线程上调用interrupt时,必须在被中断线程检測到interrupt调用之前运行(通过抛出InterruptedException,或者调用isInterrupted和interrupted)。
终结器规则。对象的构造函数必须在启动该对象的终结器之前运行完毕。
传递性。假设操作A在操作B之前运行,而且操作B在操作C之前运行,则操作A必须在操作C之前运行。
4 借助同步 在类库中提供的其它Happens-Before排序包含:
将一个元素放入一个线程安全容器的操作将在还有一个线程从该容器中获得这个元素的操作之前运行。
在CountDownLatch上的倒数操作将在线程从闭锁上的await方法中返回之前运行。
释放Semaphore许可的操作将在从该Semaphore上获得一个许可之前运行。
Future表示的任务的全部操作将在Future.get中返回之前运行。
向Executor提交一个Runnable或Callable的操作将在任务開始运行之前运行。
一个线程到达CyclicBarrier或Exchanger的操作将在其它到达该栅栏或交换点的线程被释放之前运行。假设CyclicBarrier使用一个栅栏操作,那么到达栅栏的操作将在栅栏操作之前运行,而栅栏操作又会在线程从栅栏中释放之前运行。
二、公布
1 不安全的公布 除了不可变对象以外,使用被还有一个线程初始化的对象通常都是不安全的,除非对象的公布操作是在使用该对象的线程開始使用之前运行。
2 安全的公布
3 安全初始化模式
4 双重检查加锁
三、初始化过程中的安全性
參考资料:
深入理解Java内存模型
《深入理解Java虚拟机:JVM高级特性与最佳实践》 第五部分 高效并发