Question

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

我必须在Visual Studio 2010中用C ++展示它，我认为展示它的最好方法是使用和不使用volatile。

我使用了这里的代码http://msdn.microsoft.com/en-us/library/12a04hfd%28v=vs.80%29.aspx 并尝试使用和不使用volatile（并使用：/ 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");
}

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

Answer 1

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

Answer 2

这里有什么问题？编译器可能产生一个没有volatile的无限循环，但它没有。在使用最高优化级别进行编译并关闭调试信息时，更有可能看到无限循环。

Answer 3

int gIMightBeUseful = 1;

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

根据优化级别有可能无限循环。或者它必须是特定于线程互锁的吗？

在Visual Studio2010中使用C ++进行优化（由编译器完成）的infinityloop示例

3 个答案: