浅议“全局变量”、“多线程”和“编译器陷阱”-阿里云开发者社区

开发者社区> 橘子红了呐> 正文

浅议“全局变量”、“多线程”和“编译器陷阱”

简介:
+关注继续查看
今天偶然看到一段代码,也看到了作者对此的说明,觉得很有意思:
public event EventHandler Started;

protected virtual void OnStarted(EventArgs e)
{
    EventHandler handler 
= Started;
    
if (handler != null)
    {
        handler(
null, e);
    }
}

为什么要申明一个全局的事件变量 Started?一开始我也觉得很多余,后来听作者说这段代码可以用到多线程中,有可能正在判断事件变量Started的时候,它有可能被另外的一个线程给改变了,这里引入一个局部变量 handler,可以保留Started之前的对象引用,确保后面的事件能够得到正确的处理。

那么我们是否可以按照这个风格写下面类似的代码呢?

public object MyObject;

public  void OnFunction()
{
    object obj
= MyObject;
    
if (obj!= null)
    {
        //在这里对obj进行其它处理

    }
}

上面这段代码在一般情况下没有问题,在多线程下面也工作良好,但如果你启用了编译器优化,很不幸,这段代码被优化成了下面的样子:

public object MyObject;

public  void OnFunction()
{
   
 if (MyObject!= null)
    {
        //在这里对MyObject进行其它处理

    }
}

也就是说,MyObject 对象引用的代码被inline(内联)了,取消了局部变量object obj的定义,减少了对象数量和创建过程,有助于提高效率,如果这段代码被用于多线程中,噩梦很可能就来了,你不知道是谁修改了MyObject的值,这就是“编译器陷阱”!

类似的代码,为什么上面EventHandler Started 在多线程下工作的很好,而object MyObject 却不可以?原来,这其中有玄机,在.NET平台中,它采用了不同的优化策略,参加原博文中的说法:

如果我说,这样的代码明显是会被编译器优化掉的,因此这样写完全没有意义,怎样呢?毕竟EventHandler作为一个委托,并没有用volatile关键字声明(事实上事件不能声明为volatile,但可以在这里用Thread.VolatileRead(ref object)方法),使用时也没有用Interlocked来访问。我其实真没有想到那么远,不过CLR Via C#上给出了解释(记不得是哪一章了):JIT的编译器在这里会识别出这个写法并且确保不会把handler变量优化掉。真是万幸,但估计又成为了一个被学院派的诟病的特性。

原文地址:

再说说C#定义事件的写法



    本文转自深蓝医生博客园博客,原文链接:http://www.cnblogs.com/bluedoctor/archive/2012/01/20/2328036.html,如需转载请自行联系原作者

版权声明:本文内容由阿里云实名注册用户自发贡献,版权归原作者所有,阿里云开发者社区不拥有其著作权,亦不承担相应法律责任。具体规则请查看《阿里云开发者社区用户服务协议》和《阿里云开发者社区知识产权保护指引》。如果您发现本社区中有涉嫌抄袭的内容,填写侵权投诉表单进行举报,一经查实,本社区将立刻删除涉嫌侵权内容。

相关文章
《C语言编程初学者指南》一2.4 打印变量的内容
本节书摘来自华章出版社《C语言编程初学者指南》一书中的第2章,第2.4节,作者【美】Keith Davenport(达文波特) , M1ichael Vine(维恩),更多章节内容可以访问云栖社区“异步社区”公众号查看 2.
957 0
【高并发】终于弄懂为什么局部变量是线程安全的了!!
相信很多小伙伴都知道局部变量是线程安全的,那你知道为什么局部变量是线程安全的吗?
9 0
《C语言编程初学者指南》一2.3 初始化变量和赋值运算符
本节书摘来自华章出版社《C语言编程初学者指南》一书中的第2章,第2.3节,作者【美】Keith Davenport(达文波特) , M1ichael Vine(维恩),更多章节内容可以访问云栖社区“异步社区”公众号查看 2.3 初始化变量和赋值运算符 当初次声明变量的时候,程序将变量名(地址指针)分配给一个可用的内存位置。
1677 0
Java线程:线程栈模型与线程的变量
Java线程:线程栈模型与线程的变量   要理解线程调度的原理,以及线程执行过程,必须理解线程栈模型。 线程栈是指某时刻时内存中线程调度的栈信息,当前调用的方法总是位于栈顶。线程栈的内容是随着程序的运行动态变化的,因此研究线程栈必须选择一个运行的时刻(实际上指代码运行到什么地方)。
464 0
3350
文章
0
问答
文章排行榜
最热
最新
相关电子书
更多
文娱运维技术
立即下载
《SaaS模式云原生数据仓库应用场景实践》
立即下载
《看见新力量:二》电子书
立即下载