为什么调试模式构建的结果与发布模式构建的不同？
#define devicecount 4
static const size_t c_maxCount = 4; // I should actually set it to devicecount
bool bstatus[devicecount];
bool cbflag[devicecount];
bool gbflag[devicecount];
#define dpacketlength 9
HANDLE hThreadMain[c_maxCount];
HANDLE hThreadGraph, hThreadComm;
INT WINAPI WinMain(HINSTANCE hInstance, HINSTANCE hPrevInstance,
LPSTR lpCmdLine, int nCmdShow)
{
// This snippet for reference only
// ...
int i;
mwnd p[c_maxCount];
for (i = 0; i < c_maxCount; i++) {
hThreadMain[i] = CreateThread(NULL, 0, MainThread, &p[i], 0, NULL);
}
mwnd g;
hThreadGraph = CreateThread(NULL, 0, UpdateGraph, &g, 0, NULL);
mwnd c;
hThreadComm = CreateThread(NULL, 0, CommThread, &c, 0, NULL);
// ...
}
// Following thread function has problem
DWORD WINAPI CommThread(LPVOID lParam) {
char data[(dpacketlength+10)] = { 0 }; // added "+ 10" later
unsigned int i;
char pbuf[2];
bool skip = 0;
while (1) {
skip = 0;
for (i = 0; i < c_maxCount; i++) {
//Sleep(20); // uncommenting it makes the code work
if (bstatus[i] == 1) { // device working
if (cbflag[i] == 0) { // data not ready
skip = 1; // skip, flag not set
}
}
}
//cout << ""; // uncommenting it makes the code work
if (skip == 1) {
continue;
}
cout << "."; // This is how I measure the program is progressing or not
// Some code to follow to send data over comm
// ...
// assign 9 bytes to data[] (always). 2*4 (always) for 4 devices and 1 extra parameter byte. if maxCount is < 4, the corresponding bytes are zero, as initialized INSHAALLAH.
for (i = 0; i < c_maxCount; i++) {
// compute pbuf[]s
data[(2 * i)] = pbuf[0];
data[((2 * i) + 1)] = pbuf[1];
}
data[8] = (char)par;
// some code that loops over data[] from data[0] to data[8] and sends bytes over comm
// ...
for (i = 0; i < c_maxCount; i++) {
cbflag[i] = 0;
}
}
}
我用Win32编写了这个软件，附带了一个用于调试的控制台。代码片段来自"comm"线程。还有其他c_maxCount"主"线程，每个线程都分配了一个cbflag[]元素。这些线程检查设备是否在线，如果在线，则获取数据并准备各自的全局缓冲区。一旦完成，它们就设置相应的cbflag[i]。直到相应的cbflag[i]被重置为0，它们才接触缓冲器。
还有另一个线程"图形"，它在屏幕上实时绘制。当设置了gbflag[]中的任何一个(对应于每个主线程(时，Graph线程将绘制，并在绘制后重置gbflag[i]。该绘图在发布版本中被冻结，我开始通过在代码中放入couts进行调试。显然，主线程在无限期地等待，因为在函数结束时，在该代码的第三个for循环中，cbflag[]s没有被重置，因为代码是skipped/continueD。这是当我发现，如果我在检查skip之前放一个cout，即使它打印空字符串，代码也会以某种方式工作。所谓"工作"，我的意思是代码的下半部分不是skipped。所以现在我无法在不影响系统的情况下进行调试。此外，我尝试将消息框放在第一个for循环中，然后再检查是否跳过，但它仍然会影响代码并开始工作。如果我将c_maxCount更改为1，它将开始工作并且不会跳过。如果我取消对Sleep(20)行的注释，它可以工作并且不会跳过。但是，如果我插入一个代码来为变量赋值，而不是cout或Sleep()，它就不起作用，所以它不会影响行为。
我在stackoverflow上读到，在发布应用程序崩溃的情况下，它主要与数组边界有关。我增加了data[]数组，但没有用。
我已经通过定期打印到标签中的屏幕来检查Graph线程中bstatus[]和cbflag[]的值，这两个数组的所有元素都是1。
由于cbflag被一个线程修改并在另一个线程中读取，因此它应该是std::atomic。编译器可能会对非原子全局变量进行假设(即，它们没有被修改(，从而影响它在调试构建中没有进行的发布构建。