两个线程,两个互斥锁,怎么形成一个死循环?

问题描述:
两个互斥锁,怎么形成一个死循环?
粉丝提问粉丝的提问,必须安排。

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

程序流程图如下:
程序流程图

如上图所示:

  1. t0时刻,主线程创建子线程,并初始化互斥锁mutex1、mutex2;
  2. t1时刻,主线程申请到了mutex1、子线程申请到了mutex2;
  3. t2时刻,主线程和子线程都sleep 1秒钟,防止优先获得时间片的线程直接申请到了另外1个互斥锁,导致程序直接退出;
  4. t3时刻,主线程和子线程都想获得对方手里的互斥锁,但是对方都来不及释放自己手里的锁;
  5. 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\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。
查看线程
更多嵌入式linux 知识请关注公众号:一口Linux

posted @   一口Linux  阅读(382)  评论(0编辑  收藏  举报
编辑推荐:
· 从 HTTP 原因短语缺失研究 HTTP/2 和 HTTP/3 的设计差异
· AI与.NET技术实操系列:向量存储与相似性搜索在 .NET 中的实现
· 基于Microsoft.Extensions.AI核心库实现RAG应用
· Linux系列:如何用heaptrack跟踪.NET程序的非托管内存泄露
· 开发者必知的日志记录最佳实践
阅读排行:
· winform 绘制太阳,地球,月球 运作规律
· AI与.NET技术实操系列(五):向量存储与相似性搜索在 .NET 中的实现
· 超详细:普通电脑也行Windows部署deepseek R1训练数据并当服务器共享给他人
· 上周热点回顾(3.3-3.9)
· AI 智能体引爆开源社区「GitHub 热点速览」
点击右上角即可分享
微信分享提示