奇怪的线程行为

Odd thread behaviors

本文关键字：线程      更新时间：2023-10-16

下一个代码通常会打印ba，但有时它可以打印bbaa，baab，...如何与它一起获得两个A或B？但是，此代码永远不会打印三个A或B。这两个功能（农产品和消费）都运行了很多线程。非常感谢。

int permission;
void set_permission(int v) {
    permission = v;
    printf("%c", v + 'A');fflush(stdin);
}
void* produce(void*) {
    for (;;) {
        pthread_mutex_lock(&mr1);
        set_permission(1);
        while (permission == 1);
        pthread_mutex_unlock(&mr1);
    }
}
void* consume(void*) {
    for (;;) {
        pthread_mutex_lock(&mr2);
        while (permission == 0);
        set_permission(0);
        pthread_mutex_unlock(&mr2);
    }
}

您的线程没有同步，因为它们不使用相同的sutex。

另一个线程只能偶然地将permission设置为1或0，但不能设法产生输出。在这种情况下，似乎第一个线程跑了两个完整的回合。

当记忆内容在内核和两个线程之间同步时，相应线程的写入也可以完全丢失。MUTEX还可以防止这种情况发生，因为它建立了一个严格的内存访问顺序，这简单地确保了在一个Mutex保护下发生的所有事件，同一utex的下一个用户都可以完全看到。p>打印相同的字符3或更多次是不太可能的，因为最多在两者之间进行写作，因此最多有一个丢失的写入或一个失败的输出。不过，这不能保证。

如果您在没有隐式内存同步的系统上工作，那么您的代码也可以直接僵局，因为在一个mutex下完成的写入永远不会向另一个用户传播。（实际上没有发生，因为IO操作仍然存在一些同步。）

相关文章：