操作系统-进程同步-信号量机制

最新推荐文章于 2025-05-21 17:16:43 发布

猿与禅

最新推荐文章于 2025-05-21 17:16:43 发布

阅读量536

点赞数 1

分类专栏：基础文章标签：操作系统进程同步信号量

基础专栏收录该内容

25 篇文章

订阅专栏

本文深入探讨了整型信号量和记录型信号量的概念及应用，通过实例展示了如何使用信号量实现进程间的互斥和同步。包括单个资源的互斥访问，进程执行顺序控制以及多个进程的有序调度。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

整型信号量

1.两个进程互斥访问一个临界资源信号量s 初始值为 1

var s integer 
wait(s) //用于申请资源
{
	while s<=0 do no-op;
		s=s-1 
}

signal(s) //用于释放资源
{
s=s+1
}

进程p1

p1 {
wait(mutex);
	counter= counter+1;
signal(mutex);
}

进程2

p2 {
wait(mutex);
	counter= counter+1;
signal(mutex);
}

2 进程p2必须在p1结束后执行信号量s 初始值为0

begin
	 p1;//p1操作互斥资源
	signal(s)
;end;

begin 
	wait(s);
	p2;//p2操作互斥资源
end

3 进程p1 p2 p3 顺序执行

p1的信号量s1 初始值为0
p2的信号量s2 初始值为0
p3的信号量s3 初始值为1

p1 
{
	wait(s3)

	singal(s1)
}

p2
{
	wait(s1)

	singal(s2)
}

p3
{
	wait(s2)

	singal(s3)
}

记录型信号量

数据类型

Type semaphore=record 
		Value:integer //资源数量
		L:list of process //阻塞队列

procedure wait(s)
	var s:semaphore;
	begin 
		s.value=s.value-1;
		if s.value <0 then block(s.L);
	
	end;
procedure  signal(s)
	var s:semaphore;
	begin 
		s.value=s.value+1;
		if s.value <=0 then wakeup(s.L);
	end;