操作系统——死锁整理

最新推荐文章于 2024-08-24 22:05:13 发布

腾腾儿娃

最新推荐文章于 2024-08-24 22:05:13 发布

阅读量469

点赞数

分类专栏：操作系统文章标签：操作系统 linux

本文链接：https://blog.csdn.net/qq_43935080/article/details/106065811

版权

操作系统专栏收录该内容

3 篇文章 0 订阅

订阅专栏

文章目录

死锁

死锁

一.死锁的概念

死锁是指多个进程在运行过程中因资源争夺而造成的一种僵持状态。在这种状态下，这些进程都无法继续向前执行。

再来看看下面这个例子：

在这里插入图片描述

假设现有一台打印机和一台扫描仪，现在有两个进程分别进行左右的一系列操作，当它们分别执行了1和2两个操作获取了打印机和扫描仪两个临界资源后，两个进程分别要执行3和4操作申请扫描仪和打印机资源,但都申请不到而都被阻塞，这样两个进程一直处于这种僵持状态，下面的操作都无法继续执行，这就是死锁现象。

二.死锁产生的原因

产生死锁的原因可以总结为如下两点：

1.竞争资源满足不了各个进程的需要。比如如果上面的例子中将打印机和扫描仪都增加到两台，就不会出现死锁现象。

2.进程运行时请求和释放资源的顺序不当。如果将上面例子中P2的2和4两个操作颠倒过来，也不会出现死锁。

三.经典问题

生产者消费者，读写者，哲学家就餐等多线程问题均有可能引起死锁，下面就一个Linux下C语言编写的哲学家就餐问题进行分析。

对于不熟悉linux多线程编程的同学，下面有几个点在注释中进行了说明：

#include <stdio.h>
#include <stdlib.h>
#include <unistd.h>
#include <pthread.h>
#include <semaphore.h>

sem_t chopstick[6] ;	//为了从编号1开始，这里申请了6个信号量，也就是临界资源
//每个线程（哲学家）都会调用下面这个函数，每个哲学家会尝试拿起自己左右两边的筷子（申请chopstick[left]和chopstick[right]两个临界资源），如果同时拿到就进行就餐，就餐完毕释放两个资源。
void *eat_think(void *arg)
{
	char phi = *(char *)arg;
	int left,right;
	switch (phi){
		case 'A':
			left = 5;
			right = 1;
			break;
		case 'B':
			left = 1;
			right = 2;
			break;
		case 'C':
			left = 2;
			right = 3;
			break;
		case 'D':
			left = 3;
			right = 4;
			break;
		case 'E':
			left = 4;
			right = 5;
			break;
	}

	int i;
	for(;;){
		sleep(1);
        //通过sem_wait函数申请临界资源，相当于P操作
		sem_wait(&chopstick[left]);     //拿起左边的筷子
		printf("Philosopher %c fetches chopstick %d\n", phi, left);
		sem_wait(&chopstick[right]);	//拿起右边的筷子
		printf("Philosopher %c fetches chopstick %d\n", phi, right);

		printf("Philosopher %c is eating.\n",phi);	//就餐
		sleep(1);

        //sem_post函数释放临界资源
		sem_post(&chopstick[left]);
		printf("Philosopher %c release chopstick %d\n", phi, left);
		sem_post(&chopstick[right]);
		printf("Philosopher %c release chopstick %d\n", phi, right);
	}
}
int main(){
	pthread_t A,B,C,D,E;

	int i;
	for (i = 1; i <= 5; i++)
		sem_init(&chopstick[i],0,1);
	pthread_create(&A,NULL, eat_think, "A");
	pthread_create(&B,NULL, eat_think, "B");
	pthread_create(&C,NULL, eat_think, "C");
	pthread_create(&D,NULL, eat_think, "D");
	pthread_create(&E,NULL, eat_think, "E");

	pthread_join(A,NULL);
	pthread_join(B,NULL);
	pthread_join(C,NULL);
	pthread_join(D,NULL);
	pthread_join(E,NULL);
	return 0;
}