多线程的内存可见性
可见性:一个线程对共享变量的修改能够及时的被其他线程看到。 共享变量:如果一个变量在多个工作线程的工作内存中都存有副本,那么这个变量就是这几个线程的 共享变量。 Java内存模型(JMM):描述了Java各种变量(线程共享变量)的访问规则,以及在JVM中将变量存储到内存和从内存中取出变量这样的底层细节。 两条规定: 1、线程对共享变量所有的操作都必须在自己的工作内存中进行,不能直接从主内存中读取。 2、不同线程之间无法直接访问其他线程工作内存中的变量,线程间变量值的传递需要通过主内存来进行。 指令重排序: 代码书写的顺序与实际实行的顺序不同,指令重排序是编译器或处理器为了提高性能而做的优化。 1、编译器优化的重排序(编译器优化) 2、指令级并行重排序(处理器优化) 3、内存系统的重排序(处理器优化) 不可见的原因:线程的交叉执行,重排序结合线程交叉执行,共享变量未及时更新。 voltaile实现内存的可见性: 深入来说是通过加入内存屏障和禁止重排序优化来实现的 1、对volatile修饰的变量执行写操作时,会在写操作后加一条store屏障指令 2、对colatile修饰的变量执行都操作时,会在读操作之前load屏障指令 volatile修饰的变量不能保证原子性,只能保证可见性。 多线程中安全的使用volatile变量,必须同时满足以下两个条件: 1、对变量的写入造作不依赖当前的值 2、该变量没有包含在具有其他变量的不变式中。 (编辑:李大同) 【声明】本站内容均来自网络,其相关言论仅代表作者个人观点,不代表本站立场。若无意侵犯到您的权利,请及时与联系站长删除相关内容! |