一段代码。。。

#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，输出与预期完全一致。