#include <iostream>
#include <vector>
#include <ace/Thread_Manager.h>
using namespace std;
static const int DEFAULT_NUMBER = 10;
static const int DEFAULT_VALUE = 0;
vector<int> obj(10,0);
ACE_THR_FUNC_RETURN func(void* param)
{
int index = *(int*)param;
for(int i = 0 ; i < 100000 ; i++)
{
obj[index] ++;
}
return 0;
}
int ACE_TMAIN(int argc, ACE_TCHAR* argv[])
{
for(int i = 0 ; i < DEFAULT_NUMBER ; i++)
{
ACE_Thread_Manager::instance()->spawn(func,&i);
}
ACE_Thread_Manager::instance()->wait();
for(int i = 0 ; i < 10 ; i++)
{
cout << obj[i] << endl;
}
getchar();
return 0;
}
这段代码跑起来就会挂,而挂掉的直接原因是下标越界。查看调用栈发现在线程函数里,index的值确实是10,可是这不符合常理啊,怎么会出现10的?
然后修改代码,将线程函数修改为如下形式
int index = *(int*)param;
if(index > 9)
{
ACE_DEBUG((LM_ERROR,"index > 9/n"));
return 0;
}
for(int i = 0 ; i < 100000 ; i++)
{
obj[index] ++;
}
很惊奇的发现,居然会输出index > 9,而且虽然程序没有挂掉,但最终输出并不是10个10W,而是大部分的都是0,少部分的是随机数。这就奇怪了,首先是index为什么会大于9?然后为什么输出和预期不一致?
仔细想了很久,最后总算发现问题了,由于i的值是在主线程里进行修改的,传入线程里只是i的地址,整个程序实际运行的流程并不是像我们看到的代码一样,i先递增,然后开启一个线程,然后i再递增,再开线程。。。
实际运行的流程有可能是,i连续递增几次,然后起来了三四个线程,此时i已经不等于0了,这样就出现obj的前几个元素都是0,而第N个是一个大于10W的随机数,接着i又连续递增几次,然后又起来一部分线程。。。到出错前的最后一步,执行流程应该是下面这个样子:
1,i==9时,将i的地址传到线程中。
2,主线程执行i++,此时i==10。
3,线程执行int index = *(int*)param,得到的index==10。
4,obj[index] ++,当index=10时,下标越界。
最后再做一个测试,测试代码基本和之前的一样,只是将for循环修改成如下形式。
int index[10] = {0,1,2,3,4,5,6,7,8,9};
ACE_Thread_Manager::instance()->spawn(func,&index[0]);
ACE_Thread_Manager::instance()->spawn(func,&index[1]);
ACE_Thread_Manager::instance()->spawn(func,&index[2]);
ACE_Thread_Manager::instance()->spawn(func,&index[3]);
ACE_Thread_Manager::instance()->spawn(func,&index[4]);
ACE_Thread_Manager::instance()->spawn(func,&index[5]);
ACE_Thread_Manager::instance()->spawn(func,&index[6]);
ACE_Thread_Manager::instance()->spawn(func,&index[7]);
ACE_Thread_Manager::instance()->spawn(func,&index[8]);
ACE_Thread_Manager::instance()->spawn(func,&index[9]);
OK,输出与预期完全一致。