linux - 为什么我的两个线程不交错运行？

Question

我今天写了一个pthread代码:

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

pthread_mutex_t mutex = PTHREAD_MUTEX_INITIALIZER;

void *thread1(void *arg)
{
    while (1) {
        pthread_mutex_lock(&mutex);
        sleep(1);
        printf("thread1...\n");
        pthread_mutex_unlock(&mutex);
    }
}

void *thread2(void *arg)
{
    while (1) {
        pthread_mutex_lock(&mutex);
        sleep(1);
        printf("thread2...\n");
        pthread_mutex_unlock(&mutex);
    }
}

int main()
{
    pthread_t tid1, tid2;
    pthread_create(&tid1, NULL, thread1, NULL);
    pthread_create(&tid2, NULL, thread2, NULL);

    pthread_join(tid1, NULL);
    pthread_join(tid2, NULL);

    return 0;
}

我预计它会像这样运行:

thread1...
thread2...
thread1...
thread2...

但实际上它运行:

thread1...
thread1...
thread1...
thread1...

thread2 似乎没有运行。 因此我运行这段代码超过一个小时， thread2 只打印一行。 为什么它们不交错运行？

我的环境:

• Ubuntu 10.04 x86_64
• Linux ubuntu 2.6.32-36-generic#79-Ubuntu SMP 11 月 8 日星期二 22:29:53 UTC 2011 x86_64 GNU/Linux
• CPU:Intel Core i7 930(4 核、8 线程)

谢谢。

Answer 1

将 sleep 移出互斥锁，以便操作系统进程调度算法可以释放以查看其他线程。问题是，当您 sleep 时，另一个线程可以得到调度，但锁已设置，所以它不会。当线程 1 唤醒时，它会释放锁，但随后又循环回来设置锁。线程 2 几乎没有机会进入。它正在挨饿。