C++-C++中临界区问题

Question

最近在使用临界区中碰到一个问题，通过4个线程使a自增到100，但是测试中发现a的数据被读脏了，输出不正确。请高手帮忙解答，十分感谢！

// 临界区结构对象
CRITICAL_SECTION g_cs;
// 共享资源
int a = 0;
void th()
{
   TRACE("n%d",a);
   while( a < 100 )
   {
　　// 进入临界区
　　EnterCriticalSection(&g_cs);
　　a++;
　　// 离开临界区
　　LeaveCriticalSection(&g_cs);
   TRACE("%d",a);
   }
}

void th2(void *)
{
  th();
}
void CXX::FUN()
{
  InitializeCriticalSection(&g_cs);
  for(int i = 0 ;i < 4;++i)
   _beginthread(th2,0,null);  
}

Answer 1

a在临界区外面 "while( a < 100 )" 被读取了，自然会出问题。

Answer 2

跟要不要用volatile关键字修饰 int a无关，因为临界区（关键段）保证同一时段只有一个线程访问变量a，问题在于这条语句： "while( a < 100 )" 写在了临界区以外。

祥见《windows核心编程》第208-209页。

修改后的代码如下：

 EnterCriticalSection(&g_cs);// 进入临界区
while( a < 100 )
{
if( a < 100 ) //**没有可能**在while(a<100)之后，a的值又被修改了。
{
a++;
}
TRACE("%d",a);
}
LeaveCriticalSection(&g_cs);// 离开临界区

Answer 3

要用volatile int a;

否则编译器会把代码优化成读进一个寄存器，不停地加，最后写回内存。

还有个问题：

while( a < 100 )
{
　　// 进入临界区
　　EnterCriticalSection(&g_cs);
if( a < 100 ) //有可能在while(a<100)之后，a的值又被修改了，重新读一次确认
{
a++;
}
　　// 离开临界区
　　LeaveCriticalSection(&g_cs);
TRACE("%d",a);
}