我必须演示编译器如何在优化程序时生成无限循环。
我必须在Visual Studio2010的C++中展示它,我认为展示它的最好方法是使用和不使用易失性。
我在这里使用了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");
}
但没有无限循环。有没有人有主意?
发布于 2012-06-11 17:12:12
编译器不确定Sleep(int)
和iostream.operator <<()
可以对全局变量做什么。这是可能的(从它的观点来看),他们可以改变Sentinel
变量,所以编译器不能从循环中删除Sentinel
的读取。
发布于 2012-06-11 15:57:17
这里有什么问题?编译器可能会产生一个没有易失性的无限循环,但它不是必须的。当使用最高优化级别进行编译并关闭调试信息时,更有可能出现无限循环。
发布于 2012-06-11 16:00:47
int gIMightBeUseful = 1;
void foo()
{
int bar;
while(!bar){gIMightBeUseful++;}
}
根据优化级别的不同,有可能出现无限循环。或者它必须是特定于线程互锁的?
https://stackoverflow.com/questions/10983557
复制相似问题