两个线程,两个互斥锁,怎么形成一个死循环?
2023-04-18 12:54:30 时间
粉丝的提问,必须安排。
两个线程,两个互斥锁如何形成死锁?
程序流程图如下:
程序流程图
如上图所示:
- t0时刻,主线程创建子线程,并初始化互斥锁mutex1、mutex2;
- t1时刻,主线程申请到了mutex1、子线程申请到了mutex2;
- t2时刻,主线程和子线程都sleep 1秒钟,防止优先获得时间片的线程直接申请到了另外1个互斥锁,导致程序直接退出;
- t3时刻,主线程和子线程都想获得对方手里的互斥锁,但是对方都来不及释放自己手里的锁;
- t4时刻,主线程和子线双双进入休眠。
【注意】为了保证主线程和子线程都能够分别获得锁mutex1、mutex2,各自获得锁后一定要先sleep 1秒钟,否则创建完子线程后,主线程还有一定的时间片,主线程会申请到锁mutex2,无法形成死锁。
死锁
源码如下
- #include <stdio.h>
- #include <stdlib.h>
- #include <string.h>
- #include <pthread.h>
- 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 ");
- sleep(1);
- pthread_mutex_lock(&mutex1);
- printf("new thread get mutex1 ");
- pthread_mutex_unlock(&mutex1);
- printf("new thread release mutex1 ");
- pthread_mutex_unlock(&mutex2);
- printf("new thread release mutex2 ");
- 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 ");
- sleep(1);
- pthread_mutex_lock(&mutex2);
- printf("main thread get mutex2 ");
- pthread_mutex_unlock(&mutex2);
- printf("main thread release mutex2 ");
- pthread_mutex_unlock(&mutex1);
- printf("main thread release mutex1 ");
- }
- return 0;
- }
- 编译运行
编译运行
从执行结果可以判断,主线程和子线程分别获得了互斥锁mutex1、mutex2,sleep 1秒后,他们都想再分别申请mutex2、mutex1,而双方都不想释放自己手中的锁,锁已形成了死锁,程序就一直处于休眠状态。
查看下该进程的线程
查看进程ID,为4204
查看该进程创建的线程id:4204、4205。
本文转载自微信公众号「一口Linux」,可以通过以下二维码关注。转载本文请联系一口Linux公众号。
相关文章
- JDK8下载安装及环境配置
- 3 垃圾收集算法
- day01-需求分析和系统设计
- Disruptor测试结果运算1亿次,耗时5503ms,吞吐量18171000/s,于是我扒开了Disruptor高性能的外衣
- 设计模式---六大设计原则
- 我的开源代码被大公司盗用后:有人承认,有人让我滚!!
- AOP实现系统告警
- Spring(三):IoC的本质
- day40-网络编程02
- MyBatis(二五):缓存——二级缓存
- MyBatis(二四):缓存——一级缓存
- Netty内存池的整体架构
- CI/CD和 DevOps还在傻傻分不清吗?今日一文让你通透
- 关于Non-static method xx cannot be referenced from a static context的分析与解决方案
- SSM保姆级从创建项目到使用,包括事务和设置回滚
- MyBatis(十三):使用注解开发
- 全链路压测的整体架构设计,以及5种实现方案流量染色方案、数据隔离方案、接口隔离方案、零侵入方案、服务监控方案【代码级别】
- Nacos (Spring Cloud) 注册中心与配置中心
- 统一网关Gateway的使用:
- 阿里云云效流水线自动部署配置