pthreads：Linux上gcc和icc之间的不一致

Question

以下代码使用 gcc (4.1.2 20080704) 生成错误且不一致的输出，但使用 icc (Version 11.1) 生成正确且预期的输出。但是，当我将 thread_data_array[] 定义从 main() 移动到全局时（紧接在 struct thread_data 定义之后），它在两个编译器中都可以正常工作。我不明白为什么这种变化会产生任何影响。我想递归地生成线程，所以我需要从函数中调用它，但不定义为全局的。有人可以解释一下代码有什么问题吗？

#include <pthread.h>
#include <stdio.h>
#include <stdlib.h>

#define NUM_THREADS 4

struct thread_data {
    int  thread_id;
    int  sum;
};

/* struct thread_data thread_data_array[NUM_THREADS]; */

void *p_task(void *threadarg)
{
    struct thread_data *my_data;
    int taskid;
    int sum;

    my_data = (struct thread_data *) threadarg;
    taskid = my_data->thread_id;
    sum = my_data->sum;

    printf("Thread #%d with sum %d\n", taskid, sum);

    for ( sum = 0; sum < 000000000; sum++ ) {
        for ( taskid = 0; taskid < 000000000; taskid++ ) {
            sum+=taskid;
        }
    }

    return my_data;
}

int main ()
{
    struct thread_data thread_data_array[NUM_THREADS]; /*this does not work*/

    pthread_t threads[NUM_THREADS];
    int rc;
    long t;

    for ( t = 0; t < NUM_THREADS; t++ ) {
        thread_data_array[t].thread_id = t;
        thread_data_array[t].sum = (int) t*2;
        rc = pthread_create( &threads[t], NULL, p_task, (void *) &thread_data_array[t] );
    }

    pthread_exit(NULL);

    return 0;

}

Answer 1

嗯，我的第一个想法是主线程实际上正在退出，并在其他线程完成之前将其堆栈帧带走。根据我对 pthreads 的记忆（这是十多年前，在 DCE 中使用它们），除了堆栈大小之外，主线程绝对没有什么特别之处。

如果数组被声明为全局数组，从main 的退出不会对其产生任何影响，但如果它在main 的堆栈帧中，我会在它退出后非常小心地使用它。

我部分地基于猜测，因为您实际上并没有解释您所看到的行为是什么。

我建议在main 中的pthread_exit 之前插入以下代码：

for (t = 0; t < NUM_THREADS; t++ )
    pthread_join (threads[t], NULL);

Answer 2

在使用堆栈上的数据加入线程之前销毁堆栈帧。

在调用 pthread_exit() 之前，您需要为您创建的每个线程调用 pthread_join()。

Answer 3

我怀疑当调用 pthread_exit() 并且线程退出时，线程的堆栈不再有效。

你有两个选择。

1. 使用 pthread_join() 等待线程完成。
2. 动态分配thread_data数组。