关于C#执行顺序带来的一些潜在问题

前言

编写程序的时候，人们的直观感觉通常认为，程序的执行顺序是按照语句的顺序进行的。然而，许多编程语言的规范是允许实际执行顺序与语句编写顺序不符的。实际上，编译器为了完成某种优化，常常会对一些操作进行适当的顺序调整，导致一些预料之外的现象。

实验现象

首先，通过一个例子来展示这个现象。在一个C# .NET Core 3.1命令行程序中，定义两个全局变量a和b，在线程1中，依次对b和a进行递增。这样，在任何时刻b应当等于a或a+1。

    static int a = 0;
    static int b = 0;

    static void Thread1()
    {
      while (true)
      {
        ++b;
        ++a;
      }
    }

在线程2中，先读取a的值，然后执行一些其他操作，再读取b的值。如果语句一定是按顺序执行的，那么读取到的b的值应当比读取到的a的值更新，从而b必然大于或等于a（除非b发生了溢出）。编写程序，当b < a时输出它们的值。

  static int c = 0;

  static void Thread2()
  {
    while (true)
    {
      c += b;
      var localA = a;
      c += b;
      var localB = b;
      if (localA > localB)
      {
        Console.WriteLine($"a={localA} b={localB}");
      }
    }
  }

再编写主程序，启动上述的两个线程。

    static void Main(string[] args)
    {
      Task.Run(Thread1);
      Task.Run(Thread2);

      Console.ReadKey();
    }

使用Debug配置，编译并运行该程序，命令行是没有输出的，符合我们的预期。但是使用Release配置的话，就会出现大量输出，其中a的值比b大1到5不等。

查看反汇编可以看到，在第1个c += b语句处，程序将b的值放到了寄存器中，而后面的语句均使用了该寄存器内存放的值。所以，编译器实际上将对b的读取操作合并并且前置了。以下为反汇编结果片段。

00007FFB628A394D mov     rcx,7FFB6292FBD0h
00007FFB628A3957 mov     edx,1
00007FFB628A395C call    00007FFBC2387B10
00007FFB628A3961 mov     esi,dword ptr [7FFB6292FC08h]
00007FFB628A3967 mov     ecx,esi
00007FFB628A3969 add     ecx,dword ptr [7FFB6292FC0Ch]
00007FFB628A396F mov     dword ptr [7FFB6292FC0Ch],ecx
        var localA = a;
00007FFB628A3975 mov     edi,dword ptr [7FFB6292FC04h]
        c += b;
00007FFB628A397B add     ecx,esi
        c += b;
00007FFB628A397D mov     dword ptr [7FFB6292FC0Ch],ecx
        if (localA > localB)
00007FFB628A3983 cmp     edi,esi
00007FFB628A3985 jle     00007FFB628A394D

理论分析

在C#语言标准的Basic concepts一章Execution order一节（参见：Basic concepts – C# language specification）中，提到了C#的执行顺序规范。C#程序的副作用在以下关键点处的顺序是被保留的：

  • 对volatile字段的读写
  • lock语句
  • 线程的创建和终结

C#程序的执行顺序在满足以下条件的情况下，可以由执行环境任意调整的：

  • 在同一线程内，数据的的依赖关系是被保留的。即，结果与语句按照顺序执行的情况一致。
  • 初始化顺序的规则是被保留的。
  • 相对于volatile字段的读写，副作用的顺序是被保留的。

而上述的副作用包括：

  • 读取或写入volatile字段
  • 写入非volatile变量
  • 写入外部资源
  • 抛出异常

由此可以推出，C#程序中对非volatile变量的读取顺序可能会被调整。在只有一个线程对该变量进行操作时，这个顺序的调整是保证不会影响结果的；但如果同时有其他的线程正在对变量进行修改，则读取的顺序是无法确定的。

因此，如果有多个线程同时访问的，对值的实时性有要求的变量，应当设置为volatile变量。将上述实验中的静态变量a和b改为volatile变量后，即使是Release配置下，也不会出现命令行的输出，即两个变量的读取顺序符合原始的语句顺序。

结论

在C#程序中，读取非volatile变量的顺序可能被执行环境任意调整。如果某个变量在被读取的时候会被其他线程写入，为了该读取结果的实时性，应当将该变量设置为volatile变量。

总结

到此这篇关于关于C#执行顺序带来的一些潜在问题就介绍到这了,更多相关C#执行顺序潜在问题内容请搜索我们以前的文章或继续浏览下面的相关文章希望大家以后多多支持我们！

赞 (0)

相关推荐

  • C#定时器实现自动执行的方法

    本文实例讲述了C#定时器实现自动执行的方法.分享给大家供大家参考.具体实现方法如下: 复制代码 代码如下: //下面讲一个打开窗体定时执行按钮的东西 private void Form1_Load(object sender, EventArgs e) { System.Timers.Timer pTimer = new System.Timers.Timer(5000);//每隔5秒执行一次,没用winfrom自带的 pTimer.Elapsed+=pTimer_Elapsed;//委托,要执

  • C# 动态编译、动态执行、动态调试

    C# 动态编译、动态执行、动态调试

    在此基础上我做了一些封装,为使调用更加简单,并增加了对动态代码调试的支持,相同代码只编译一次的支持,代码改动自动重新编译,代码引用文件的自动加载和手工加载等功能. 如上图,我封装的类CSharpProvider很简单,下面说明一下一些公共成员的用法. 公共属性 AssemblyFileName:这个属性指定动态编译后生成的配件名称. CompilerParameters:这个属性指定编译的参数 References:这个属性指定被编译代码中的引用.调用者只要调用References.Add("x

  • C#中执行批处理文件(*.bat)的方法代码

    复制代码 代码如下: static void Main(string[] args){    Process proc = null;    try    {                        string targetDir = string.Format(@"D:\adapters\setup");//this is where mybatch.bat lies        proc = new Process();        proc.StartInfo.Wor

  • 关于C# if语句中并列条件的执行

    关于C# if语句中并列条件的执行

    C#语言中也是如此.当多个条件进行逻辑与操作的时候,判定会从表达式左边执行到右边,遇到任何一个为假,后面就都不做了.这很聪明,然而如果后面的条件会抛出异常,就是个潜在的问题.一旦之前的条件为真,就会继续执行,执行到抛出异常的条件时,程序就爆了,哈哈. 我们可以写个简单的demo试试.下面的这段代码是坑爹的,之后我会说明原因,但大家可以先从直观的层面上理解一下,最后我会给出正确的测试方法. 复制代码 代码如下: static void Main(string[] args) { DataSet d

  • C#实现程序等待延迟执行的方法

    本文实例讲述了C#实现程序等待延迟执行的方法.分享给大家供大家参考.具体如下: [System.Runtime.InteropServices.DllImport("kernel32.dll")] static extern uint GetTickCount(); /// <summary> /// 程序等待延迟执行 /// </summary> /// <param name="ms"></param> stati

  • C#实现终止正在执行的线程

    本文实例讲述了C#实现终止正在执行的线程的实现方法,并针对一些容易出错的地方进行了深入分析,具体方法如下: 一般来说,很多人都会使用Abort方法来终止线程,其实这种做法并不可取!如果你的线程正在操作临界资源,很有可能会造成资源没有正确释放而出现死锁问题.正确的做法应该是使用标记来终止线程的执行. 基本思路是:定义一个用于描述"停止"信号的变量,在整个程序启动前,设置该变量为false.在线程中,循环判断该变量是否已经被设置为true,如果没有,则继续执行,否则就退出循环并释放资源,然

  • C#计算代码执行时间的方法

    最近遇到一个模块其执行时间非常短,但是调用频率非常高.精确计算其运算时间对于提高程序整体效率来说非常重要. 在我刚刚接触.Net时,也曾经想要测试一下自己写的程序的运行时间,当时我使用的是将两个DateTime.Now相减的笨方法,呵呵.后来知道使用Environment.TickCount,对于一般的测试来说就足够了.但是它对于高精度测试就没什么办法,经常是返回个0了事.对于高精度测试我们应当使用QueryPerformanceFrequency函数和QueryPerformanceCount

  • 关于C#执行顺序带来的一些潜在问题

    前言 编写程序的时候,人们的直观感觉通常认为,程序的执行顺序是按照语句的顺序进行的.然而,许多编程语言的规范是允许实际执行顺序与语句编写顺序不符的.实际上,编译器为了完成某种优化,常常会对一些操作进行适当的顺序调整,导致一些预料之外的现象. 实验现象 首先,通过一个例子来展示这个现象.在一个C# .NET Core 3.1命令行程序中,定义两个全局变量a和b,在线程1中,依次对b和a进行递增.这样,在任何时刻b应当等于a或a+1. static int a = 0; static int b =

  • JavaScript 全面解析各种浏览器网页中的JS 执行顺序

    我们知道javaScript是一种解释型语言,他的执行是自上而下,但是各个浏览器对于至上而下的理解是有细微差别的,而代码的上下游也就是程序流又对于程序正确至关重要,所以我觉得有必要深入理解多个js块儿的执行顺序. 首先得知道有多少方法能把javaScript加入到页面中呢?常见下述的前2种,其实还有更多. 1.页面中直接引入外部js文件:<script src="my.js"></script> 2.页面中直接写如js片段<script>alert(

  • java面试题之try中含return语句时代码的执行顺序详解

    java面试题之try中含return语句时代码的执行顺序详解

    前言 最近在刷java面试题偶然看到这类问题(try/finally中含有return时的执行顺序),觉得挺有意思于是小小的研究了一下,希望经过我添油加醋天马行空之后,能给你带来一定的帮助,下面来看看详细的介绍. 原题 try {} 里有一个return语句,那么紧跟在这个try后的finally {}里的代码会不会被执行?什么时候被执行?在return前还是后? 乍一看题目很简单嘛,java规范都说了,finally会在try代码块的return之前执行,你这文章写得没意义,不看了 你等等!(

  • DOM事件阶段以及事件捕获与事件冒泡先后执行顺序(图文详解)

    DOM事件阶段以及事件捕获与事件冒泡先后执行顺序(图文详解)

    俗话说的好,好记性不如个烂笔头,这么多技术文章如果不去吃透,技术点很快就容易忘掉,下面是小编平时浏览的技术文章,整理的笔记,分享给大家. 开发过程中我们都希望使用别人成熟的框架,因为站在巨人的肩膀上会使得我们开发的效率大幅度提升.不过,我们也应该.必须了解其基本原理.比如DOM事件,jquery框架帮我们为我们封装和抽象了各浏览器的差异行为,为事件处理带来了极大的便利.不过浏览器逐步走向统一和标准化,我们可以更加安全地使用官方规范的接口.因为只有获得众多开发者的芳心,浏览器才会走得更远.正如我们

  • Js中async/await的执行顺序详解

    前言 虽然大家知道async/await,但是很多人对这个方法中内部怎么执行的还不是很了解,本文是我看了一遍技术博客理解 JavaScript 的 async/await(如果对async/await不熟悉可以先看下这篇文章)后拓展了一下,我理了一下await之后js的执行顺序,希望可以给别人解疑答惑,先简单介绍一下async/await. async/await 是一种编写异步代码的新方法.之前异步代码的方案是回调和 promise. async/await 是建立在 promise 的基础上

  • Python多重继承的方法解析执行顺序实例分析

    Python多重继承的方法解析执行顺序实例分析

    本文实例讲述了Python多重继承的方法解析执行顺序.分享给大家供大家参考,具体如下: 任何实现多重继承的语言都要处理潜在的命名冲突, 这种冲突由不相关的祖先类实现同名方法引起 class A: def say(self): print("A Hello:", self) class B(A): def eat(self): print("B Eating:", self) class C(A): def eat(self): print("C Eatin

  • 关于react 父子组件的执行顺序

    关于react 父子组件的执行顺序

    目录 react父子组件的执行顺序 1.class组件 2.函数组件  hooks无依赖的情况 react父子组件的执行顺序 react版本:17.x,在此版本中完全可以用Hooks去进行开发了,开始先讲class组件,只是为了更好的帮助理解. 在开发项目的过程中,由于项目比较大,拆分组件的结构比较复杂,会涉及到一个组件中下面嵌套了好几级的子级组件,这里就涉及到父子组件中生命周期的执行顺序的问题: 本文主要讲两种情况,class组件和函数组件,讲一下执行常用到的生命周期的执行顺序: 1.clas

  • For循环中分号隔开的3部分的执行顺序探讨

    引发这个问题思考的是一段js程序的运行结果: 复制代码 代码如下: var i = 0; function a(){ for(i=0;i<20;i++){ } } function b(){ for(i=0;i<3;i++){ a(); } return i; } var Result = b(); 这段程序的运行结果是Result = 21: 从这段程序中我们可以看出,i在a函数返回的时候值是20这是没有问题的. 而在b函数返回的时候,i的值是20还是21就值得讨论了. 问题的本质即:先进行

  • JQ中$(window).load和$(document).ready区别与执行顺序

    JQ中的$(document).ready()大家应该用的非常多,基本每个JS脚本中都有这个函数的出现有时甚至会出现多个,那么另一个加载函数$(window).load相对出现的次数就很少了,下面为大家介绍一下两者的区别与他们的执行顺序 一般情况下一个页面响应加载的基本顺序是:域名解析 -> 加载html -> 加载js和css -> 加载图片等其他信息. 那么我们在编写JS脚本时什么情况下使用$(document).ready()又在什么情况下使用$(window).load呢,我们先

  • JavaScript执行顺序详细介绍

    JavaScript执行顺序详细介绍

    之前从JavaScript引擎的解析机制来探索JavaScript的工作原理,下面我们以更形象的示例来说明JavaScript代码在页面中的执行顺序.如果说,JavaScript引擎的工作机制比较深奥是因为它属于底层行为,那么JavaScript代码执行顺序就比较形象了,因为我们可以直观感觉到这种执行顺序,当然JavaScript代码的执行顺序是比较复杂的,所以在深入JavaScript语言之前也有必要对其进行剖析.1.1  按HTML文档流顺序执行JavaScript代码首先,读者应该清楚,H

随机推荐