0

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

我必须在 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");
}

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

4

3 回答 3

1

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

于 2012-06-11T17:12:11.930 回答
0

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

于 2012-06-11T15:57:16.973 回答
0 
int gIMightBeUseful = 1;

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

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

于 2012-06-11T16:00:46.683 回答