为什么这个互斥体代码不能按预期工作？

Question

pthread_mutex_t lock;

在主线程中初始化：

pthread_mutex_lock(&lock)

然后在奴隶身上，当它等待主人的时候，我会这样做：

奴隶必须在这里等待：

pthread_mutex_lock(&lock);
pthread_mutex_unlock(&lock);

pthread_mutex_unlock(&lock);
pthread_mutex_lock(&lock);

奴隶：

printf("slave thread starting lock sequence\n");fflush(stdout);
pthread_mutex_lock(&lock);
printf("slave thread intra lock sequence\n");fflush(stdout);
pthread_mutex_unlock(&lock);
printf("slave thread completed lock sequence\n");fflush(stdout);

主人：

printf("master thread starting lock sequence\n");fflush(stdout);
pthread_mutex_unlock(&lock);
printf("master thread intra lock sequence\n");fflush(stdout);
pthread_mutex_lock(&lock);
printf("master thread completed lock sequence\n");fflush(stdout);

下面是我所看到的输出：

-gt-

Answer 1

正如您的问题的注释中所指出的，pthreads互斥并不能保证公平性。

此作业的正确工具是一个共享标志变量，由互斥体保护，并使用条件变量等待：

pthread_cond_t cond = PTHREAD_COND_INITIALIZER;
pthread_mutex_t lock = PTHREAD_MUTEX_INITIALIZER;
int flag = 0;

奴隶等待旗帜：

pthread_mutex_lock(&lock);
while (!flag)
    pthread_cond_wait(&cond, &lock);
pthread_mutex_unlock(&lock);

pthread_mutex_lock(&lock);
flag = 1;
pthread_cond_signal(&cond);
pthread_mutex_unlock(&lock);