pthread互斥锁不起作用，每次都得到一个随机值

Question

我正在学习 POSIX pthreads，在使用互斥锁时，我开始得到一个奇怪的输出。 每次我运行代码时，它都会输出一个随机数，而我希望它输出0。我检查了代码，但我无法弄清楚它发生的原因，所以如果有人能向我解释到底出了什么问题，我将不胜感激。

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

int num = 0;
pthread_mutex_t mutex;

void* add(void* args)
{
    int sign = *(int*) args;
    for(int i = 0; i < 100; i++)
    {
        pthread_mutex_lock(&mutex);
        num += sign;
        pthread_mutex_unlock(&mutex);
    }
    pthread_exit(NULL);
    return NULL;
}


int main()
{
    pthread_t pool[1000];
    int plus = +1;
    int minus = -1;
    pthread_mutex_init(&mutex, NULL);


    for(int i = 0; i < 500; i++)
        pthread_create(&pool[i], NULL, add, &plus);

    for(int i = 500; i < 1000; i++)
        pthread_create(&pool[i], NULL, add, &minus);

    for(int i = 0; i < 1000; i++)
        pthread_join(pool[i], NULL);

    printf("%d", num);
    return 0;
}

Answer 1

以下建议的代码：

1. 干净编译
2. 正确检查错误
3. 正确初始化互斥体
4. 执行所需的功能
5. 导致输出为 0

注意：函数：pthread_mutex_init()是一个有效的函数，但NULL的初始值是无效的

现在，建议的代码：

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

int num = 0;
pthread_mutex_t mutex = PTHREAD_MUTEX_INITIALIZER;

void* add(void* args)
{
    int sign = *(int*) args;

    for(int i = 0; i < 100; i++)
    {
        pthread_mutex_lock(&mutex);
        num += sign;
        pthread_mutex_unlock(&mutex);
    }

    pthread_exit(NULL);
}


int main( void )
{
    pthread_t pool[1000];
    int plus = +1;
    int minus = -1;


    for(int i = 0; i < 500; i++)
        if( pthread_create(&pool[i], NULL, add, &plus) != 0 )
        {
            perror( "pthread_create failed" );
            pool[i] = 0;
        }


    for(int i = 500; i < 1000; i++)
    {
        if( pthread_create(&pool[i], NULL, add, &minus) != 0 )
        {
            perror( "pthread-create failed" );
            pool[i] = 0;
        }
    }

    for(int i = 0; i < 1000; i++)
    {
        if( pool[i] )
        {
            pthread_join(pool[i], NULL);
        }
    }

    printf("%d", num);
    return 0;
}

在 linux 上运行建议的代码，结果：

0