博客
关于我
强烈建议你试试无所不能的chatGPT,快点击我
两个线程,两个互斥锁,怎么形成一个死循环?
阅读量:2044 次
发布时间:2019-04-28

本文共 1920 字,大约阅读时间需要 6 分钟。

关注+星标公众,不错过精彩内容

转自 | 一口Linux

两个线程,两个互斥锁如何形成死锁?

程序流程图如下:

程序流程图

如上图所示:

  1. t0时刻,主线程创建子线程,并初始化互斥锁mutex1、mutex2;

  2. t1时刻,主线程申请到了mutex1、子线程申请到了mutex2;

  3. t2时刻,主线程和子线程都sleep 1秒钟,防止优先获得时间片的线程直接申请到了另外1个互斥锁,导致程序直接退出;

  4. t3时刻,主线程和子线程都想获得对方手里的互斥锁,但是对方都来不及释放自己手里的锁;

  5. t4时刻,主线程和子线双双进入休眠。

【注意】为了保证主线程和子线程都能够分别获得锁mutex1、mutex2,各自获得锁后一定要先sleep 1秒钟,否则创建完子线程后,主线程还有一定的时间片,主线程会申请到锁mutex2,无法形成死锁。

死锁

源码如下

#include 
#include 
#include 
#include 
   unsigned int value1, value2, count;pthread_mutex_t  mutex1,mutex2;void *function(void *arg);void  *function(void *arg){ pthread_mutex_lock(&mutex2); printf("new thread get mutex2\n");  sleep(1); pthread_mutex_lock(&mutex1);  printf("new thread get mutex1\n");    pthread_mutex_unlock(&mutex1); printf("new thread release mutex1\n"); pthread_mutex_unlock(&mutex2);  printf("new thread release mutex2\n");    return  NULL; }  int main(int argc,  char *argv[]){ pthread_t  a_thread;          if (pthread_mutex_init(&mutex1, NULL) < 0) {  perror("fail to mutex_init");  exit(-1); }  if (pthread_mutex_init(&mutex2, NULL) < 0) {  perror("fail to mutex_init");  exit(-1); }               if (pthread_create(&a_thread, NULL, function, NULL) < 0) {     perror("fail to pthread_create");       exit(-1); }    while ( 1 )    {        pthread_mutex_lock(&mutex1);  printf("main thread get mutex1\n");  sleep(1);        pthread_mutex_lock(&mutex2);    printf("main thread get mutex2\n");        pthread_mutex_unlock(&mutex2);  printf("main thread release mutex2\n");        pthread_mutex_unlock(&mutex1);  printf("main thread release mutex1\n");    }    return 0; }             

编译运行

从执行结果可以判断,主线程和子线程分别获得了互斥锁mutex1、mutex2,sleep 1秒后,他们都想再分别申请mutex2、mutex1,而双方都不想释放自己手中的锁,锁已形成了死锁,程序就一直处于休眠状态。

查看下该进程的线程

查看进程ID,为4204查看该进程创建的线程id:4204、4205。

------------ END ------------

推荐阅读:

关注微信公众号『嵌入式专栏』,底部菜单查看更多内容,回复“加群”按规则加入技术交流群。

点击“阅读原文”查看更多分享,欢迎点分享、收藏、点赞、在看。

转载地址:http://luxof.baihongyu.com/

你可能感兴趣的文章
Leetcode C++ 《第200场周赛》
查看>>
Leetcode C++ 《第201场周赛》
查看>>
云原生 第十章 应用存储和持久化数据卷:存储快照和拓扑调度
查看>>
云原生 第十一章 应用健康
查看>>
Leetcode C++ 《第202场周赛》
查看>>
云原生 第十二章 可观测性:监控与日志
查看>>
Leetcode C++ 《第203场周赛》
查看>>
云原生 第十三章 Kubernetes网络概念及策略控制
查看>>
《redis设计与实现》 第一部分:数据结构与对象 || 读书笔记
查看>>
《redis设计与实现》 第二部分(第9-11章):单机数据库的实现
查看>>
Leetcode C++《热题 Hot 100-70》23.合并K个升序链表
查看>>
《redis设计与实现》第二部分 (第12章:事件)
查看>>
《redis设计与实现》第二部分 (第13章 客户端)
查看>>
《redis设计与实现》第二部分 (第14章 服务器)
查看>>
《redis设计与实现》第四部分 (第18章 发布与订阅)
查看>>
《redis设计与实现》第四部分 (第19章 事务)
查看>>
《redis设计与实现》第四部分 (第20章 Lua脚本)
查看>>
《redis设计与实现》第四部分 (第21章 排序)
查看>>
《redis设计与实现》第四部分 (第22章 二进制位数组)
查看>>
《redis设计与实现》第四部分 (第23章 慢查询日志)
查看>>