通过优化(由编译器完成）的无限循环示例，在 Visual Studio2010 中C++

example of a infinityloop by optimization(done by the compiler) in C++ in Visual Studio2010

本文关键字：Visual C++ Studio2010 无限循环 优化 编译器      更新时间：2023-10-16

我必须演示编译器如何在优化程序时产生无限循环。

我必须在Visual Studio 2010中以C++显示它，我认为他展示它的最佳方式是有和没有易失性。

我使用了这里的代码 http://msdn.microsoft.com/en-us/library/12a04hfd%28v=vs.80%29.aspx并在有和没有易失性的情况下尝试了它（并使用：/EHsc/O2 编译）但是没有无限循环。我也这样改变它：

// compile with: /EHsc /O2
#include <iostream>
#include <windows.h>
using namespace std;
//volatile bool Sentinel = true;
bool Sentinel = true;
int CriticalData = 0;
int round=0;
unsigned ThreadFunc1() {
   while (Sentinel){
        Sleep(10);   // volatile spin lock   
        cout << "Critical Data = " << CriticalData << endl; 
   }
   return 0;
} 
unsigned  ThreadFunc2() {
   Sleep(2000);
   CriticalData++; 
   Sentinel = false; 
   return 0;
}
int main() {
   HANDLE hThread1, hThread2; 
   hThread1 = CreateThread(NULL, 0, (LPTHREAD_START_ROUTINE)&ThreadFunc1, NULL, 0, NULL);
   hThread2 = CreateThread(NULL, 0, (LPTHREAD_START_ROUTINE)&ThreadFunc2, NULL, 0, NULL);
   CloseHandle(hThread1);
   CloseHandle(hThread2);
   system("pause");
}

但没有无限循环。有人有想法吗？

编译器不确定Sleep(int)和iostream.operator <<()可以对全局变量做什么。有可能（从它的角度来看），他们可以更改变量Sentinel因此编译器无法从循环中删除Sentinel的读取。

这里有什么问题？编译器可能会生成一个没有易失性的无限循环，但并非必须如此。在以最高优化级别进行编译并关闭调试信息时，更有可能看到无限循环。

int gIMightBeUseful = 1;
void foo()
{
  int bar;
  while(!bar){gIMightBeUseful++;}
}

根据优化级别，有可能无限循环。 还是必须特定于线程互锁？

相关文章：