C: thread_mutex 同步

Question

我遇到了多线程同步问题，我将仅发布一个示例来“尝试”同步，因为原始代码较大。基本上我有一个带有 3 个线程的繁重进程，为了锁定/解锁线程，我使用修改每个线程中互斥状态的函数。像这样的事情:

## thread.c ##
    #include "thread.h"

extern int socks;

pthread_mutex_t sem = PTHREAD_MUTEX_INITIALIZER;

void lock()
{
    pthread_mutex_lock(&sem);
}

void unlock()
{
    pthread_mutex_unlock(&sem);
}

void* thread(void* arg)
{
    printf("Socks: %d\n",socks);
    lock();
    lock();

    printf("Unlocked\n");
    return;
}


## main.c ##
#include "defines.h"
#include "thread.h"

int socks;

int main()
{
    pthread_t tid;
    socks= 9;

    pthread_create(&tid, NULL, thread, NULL);

    //sleep(2);
    unlock();
    pthread_join(tid,NULL);
}

执行代码后得到的是:

./test

Socks: 9

显然我有一些概念错误，但我找不到问题所在。线程不应该用unlock()解锁吗？为什么当我在解锁调用之前使用 sleep(2) 时程序可以运行？我应该使用哪种方式来避免出现问题？每个代码都位于单独的文件中。

提前致谢!PS:抱歉我蹩脚的英语!

Answer 1

由于线程异步运行，因此可能会发生主线程在线程命中锁之前加入的情况。在这种情况下，我怀疑解锁()发生得太早，并且您得到的行为没有明确定义。如果您在解锁之前让主线程休眠一段时间，则另一个线程似乎有时间撞到锁并可以解锁，从而导致您似乎期望的行为。