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

Z时代
2024-01-10
分类：综合

前言

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

实验现象

首先，通过一个例子来展示这个现象。在一个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