CPU硬件有它自己的内存模型,不同的编程语言也有它自己的内存模型。

在 C# 的语言规范中 ECMA-334,对于Volatile关键字的描述:

15.5.4 Volatile fields
When a field-declaration includes a
volatile modifier, the fields introduced by that declaration are
volatile fields. For non-volatile fields, optimization techniques that
reorder instructions can lead to unexpected and unpredictable results in
multi-threaded programs that access fields without synchronization such
as that provided by the lock-statement (§13.13). These optimizations
can be
performed by the compiler, by the run-time system, or by
hardware. For volatile fields, such reordering optimizations are
restricted:

  • A read of a volatile field is called a volatile read. A volatile
    read has “acquire semantics”; that is, it is guaranteed to occur prior
    to any references to memory that occur after it in the instruction
    sequence.
  • A write of a volatile field is called a volatile write. A
    volatile write has “release semantics”; that is, it is guaranteed to
    happen after any memory references prior to the write instruction in the
    instruction sequence.

简单来说,对于常规字段,由于代码优化而导致指令顺序改变,如果没有进行一定的同步控制,在多线程应用中可能会导致意想不到的结果,而造成这种意外的原因可能是编译器优化、运行时系统的优化或者因为硬件的原因(即CPU和主存储器的通信模型)。可变(volatile)字段会限制这种优化的发生,在这里引入两个定义:

可变读: 对于可变字段的读操作会获取语义。即,其可以保证对于可变字段的内存读取操作一定发生在其后内存操作指令的前面。进一步解释,与 Thread.MemoryBarrier 类似,获取语义会保证在读取可变字段指令前的指令可以跨越它出现在它后面,但是相反地,在它后面的指令不能跨越它出现在它的前面。例子:

class Volatile_class
{
private int _a;
private volatile int _b;
private int _c; private void Call()
{
int temp=_a;
//由于_b是可变字段,这样可以保证编译器不会将temp2=_c的指令提前到其之前
//但是,可以将temp=_a提到其之后
int temp1=_b;
int temp2=_c; ...
} private void OtherCall(){...}
}
  • 可变写: 对于可变字段的写操作会释放语义。即,其可以保证对于可变字段的写操作发生在其前面指令执行之后,但是在它之后的指令可以跨域它提前执行。

    X86_X64

    现代的 x86_x64 CPU 可以保证字段的读写都是 “volatile” 的,即你不会读取到旧的字段值,这是由 CPU 提供保证的。这样看起来好像与上面的描述存在矛盾,如果 CPU 可以保证所有字段的读写都是 volatile ,那为什么还需要在语言层面提供volatile关键字。其实这是两个不同的概念,CPU 从硬件层面上保证了对内存的读写是实时的,你不会读取到 Stale Value ,无论这个字段是常规字段还是可变字段。而语言层面上的 volatile 只是一个关键字,告诉编译器不能对该字段进行 instruction reorder 等可能导致多线程读写出现不符合预期结果的优化(暂且这样理解)。

参考这段代码:

class Program
{
class infinity_loop
{
public bool Terminated;
} static void Main(string[] args)
{
var loop=new infinity_loop(); new Thread(()=>{
loop.Terminated=true;
}).Start(); while(!loop.Terminated);
}
}

使用 dotnet core Release 模式运行这段代码,可以发现它永远也不会退出,分析汇编代码:

可以看到红色框选位置,指令test一直在比较eax寄存器上的值,而该寄存器缓存了loop对象的Terminated值(为false),汇编语言中,test是对两个参数进行AND操作,并设置对应的标志位。例如,如果两个值的AND操作为0,则ZF标志会被设置为1。而je指令是:根据特定标志位的情况进行跳转,其中就包括了ZF标志位。回到上面的汇编代码,可以知道 test eax eax 肯定会将ZF设置为1,则je就会导致死循环的产生。

尝试为Terminated值添加volatile关键字

class Program
{
class infinity_loop
{
public volatile bool Terminated;//可变字段
} static void Main(string[] args)
{
var loop=new infinity_loop(); new Thread(()=>{
loop.Terminated=true;
}).Start(); while(!loop.Terminated);
}
}

运行代码,可以发现程序正常退出。再看汇编代码:

可以看到,这次是直接比较内存中字段的真实值,而不是寄存器上的值,这样循环会正常退出。

这是因为Loop Hoisting优化策略导致其中的循环判断经过JIT编译器优化后变成如下:

if(!loop.Terminated)
while(true);

可以想象,这段优化过后的代码在多线程应用中是永远不会退出的。

最佳实践

volatile 是一个比较晦涩,理解起来可能比较困难的概念,并不建议在不理解的情况下使用,你可以使用lock,Thread.MemoryBarrier或者Interlocked作为替代,不仅仅因为其中有过多的细节对开发人员隐藏,而且还要保证你的团队组员都理解其中的工作原理,特别地,volatile还会受不同环境影响,例如.NET Framework,编译器版本,甚至是硬件实现,这些都是需要考虑的因素。你要在使用 lock(或者其他)导致的性能开销和 volatile 引入导致的代码维护难度这两方面进行权衡。

【C# 线程 】内存模型 与Volatile的更多相关文章

  1. 面试时通过volatile关键字,全面展示线程内存模型的能力

    面试时,面试官经常会通过volatile关键字来考核候选人在多线程方面的能力,一旦被问题此类问题,大家可以通过如下的步骤全面这方面的能力.     1 首先通过内存模型说明volatile关键字的作用 ...

  2. java线程内存模型,线程、工作内存、主内存

    转自:http://rainyear.iteye.com/blog/1734311 java线程内存模型 线程.工作内存.主内存三者之间的交互关系图: key edeas 所有线程共享主内存 每个线程 ...

  3. Java内存模型:volatile详解

    详见:http://blog.yemou.net/article/query/info/tytfjhfascvhzxcyt202 Java内存模型:volatile是干什么用的Volatile字段是用 ...

  4. Java并发编程:JMM(Java内存模型)和volatile

    1. 并发编程的3个概念 并发编程时,要想并发程序正确地执行,必须要保证原子性.可见性和有序性.只要有一个没有被保证,就有可能会导致程序运行不正确. 1.1. 原子性 原子性:即一个或多个操作要么全部 ...

  5. 【java】java内存模型(2)--volatile内存语义详解

    多线程并发编程中synchronized和Volatile都扮演着重要的角色,Volatile是轻量级的synchronized,它在多处理器开发中保证了共享变量的“可见性”.可见性的意思是当一个线程 ...

  6. Java内存模型与volatile关键字

    Java内存模型与volatile关键字 一).并发程序开发 并行程序的开发要涉及多线程.多任务间的协作和数据共享问题. 常用的并发控制:内部锁.重入锁.读写锁.信号量. 二).线程的特点 线程的特点 ...

  7. 基础篇:深入JMM内存模型解析volatile、synchronized的内存语义

    目录 1 java内存模型,JMM(JAVA Memory Model) 2 CPU高速缓存.MESI协议 3 指令重排序和内存屏障指令 4 happen-before原则 5 synchronize ...

  8. Java线程内存模型-JVM-底层原理

    public class Demo1 { private static boolean initFlag=false; public static void main(String[] args) t ...

  9. Java并发编程、内存模型与Volatile

    http://www.importnew.com/24082.html  volatile关键字 http://www.importnew.com/16142.html  ConcurrentHash ...

随机推荐

  1. .Net Core依赖注入

    一.配置文件的读取 利用Startup类中的configuration读取appsettings.json中的配置 { "Logging": { "LogLevel&qu ...

  2. centos6.6手动安装mysql5.5并配置主从同步

    0.实验环境 主机IP(Master) 192.168.61.150 centos6.6 从机IP(Slave)   192.168.61.157 centos6.6 1.查看centos系统版本 [ ...

  3. Python如何把八进制转换成ASCII码

    做题途中拿到一串八进制字符串 0126 062 0126 0163 0142 0103 0102 0153 0142 062 065 0154 0111 0121 0157 0113 0111 010 ...

  4. Sweetalert模态对话框与Swiper轮播插件、Bootstrap样式组件、AdminLTE后台管理模板地址

    Sweetalert纯JS模态对话框插件地址:http://mishengqiang.com/sweetalert/ AdminLTE后台管理模板系统地址(基于Bootstrap):https://a ...

  5. X000101

    P3879 [TJOI2010]阅读理解 考虑用 Trie 解决 #include<stdio.h> #include<bitset> #include<string.h ...

  6. JAVA多线程学习六-守护线程

    java中的守护程序线程是一个服务提供程序线程,它为用户线程提供服务. 它的生命依赖于用户线程,即当所有用户线程都死掉时,JVM会自动终止该线程. 有许多java守护程序线程自动运行,例如 gc,fi ...

  7. bom-location

    <!DOCTYPE html> <html lang="en"> <head> <meta charset="UTF-8&quo ...

  8. Struts2中的过滤器

    过滤器:            过滤器可以处理用户的请求和程序响应的内容,可用于权限控制.编码转换的场合.过滤器是servlet规范中的一部分,不是只有Struts2有. 使用过滤器之前你得定义一个过 ...

  9. ittun.com的使用方法

    [如果这篇文章对你有所作用,请加关注哦!] 步骤一: 进入官网http://ittun.com/ Windows 64位下载http://ittun.com/upload/17.2/ittun_win ...

  10. JS实现判断点是否在多边形范围内

    一.说明 在GIS领域,判断点是否在多边形范围内是一个基础方法,这里主要说下实现原理. 原理比较简单,就是有一个GIS理论,一个点向一个方向发送射线,射线与多边形各个边相交的交点如果是奇数说明点在多边 ...