信号量基础和两个经典例子

2024-08-24 18:32

本文主要是介绍信号量基础和两个经典例子,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

信号量基础和两个经典例子

信号量(semaphore)

       用于进程中传递信号的一个整数值。

三个操作:

1、一个信号量可以初始化为非负值

2、semWait操作可以使信号量减1,若信号量的值为负,则执行semWait的进程被阻塞。否则进程继续执行。

3、semSignal操作使信号量加1。若信号量的值小于等于0,则被semWait操作阻塞的进程讲被接触阻塞。

ps: semWait对应P原语,semSignal对应V原语。

信号量以及PV原语的C语言定义如下


struct semaphore
{int count;queueType queue;
}void semWait(semaphore s)
{s.count--;if(s.count<0){//把当前的进程插入到队列当中//阻塞当前的进程}
}void semSignal(semaphore s)
{s.count++;if(s.count<=0){//把进程P从队列当中移除//把进程P插入到就绪队列中等待运行。}
}

使用信号量进行互斥的方法

假如S=1,那么运行了semWait(s)之后,s的值就为0,进程进入了临界区;如果S的值为负的,则进程被阻塞


semaphore s=1;
void  p(int i)
{while(true){semWait(s);//临界区semSignal(s);//其他部分}
}


生产者/消费者问题

以下是无限缓冲区的解决方法,有限缓冲区再设置一个信号量e=缓冲区大小即可

semaphore n=0,s=1;
void producer()
{while(true){produce();//生产产品semWait(s);//s=0使用缓冲区的时候使用S信号量禁止消费者进入append();//往缓冲区加入数据semSignal(s);//s=1允许消费者进入semSignal(n);//n=1表示缓冲区数据量为1,允许消费者进入}
}void consumer()
{while(true){semWait(n);//n>=1时,往缓冲区取数据semWait(s);//s=0使用缓冲区的时候使用S信号量禁止生产者进入take();//取走产品semSignal(s);//s=1允许生产者进入consume();//消费产品}
}

读者/写者问题

读者优先

int readcount;//readcount用于记录读进程的数目
semaphore x=1,wsem=1;//wsem为Write Semaphore,用于实施互斥
void reader()
{//信号量x用于确保readcount被正确的更新while(true){semWait(x);readcount++;if(readcount==1)semWait(wsem);//读的时候不允许写操作semSignal(x);READUNIT();//读操作semWait(x);readcount--;if(readcount==0)semSignal(wsem);semSignal(x);}
}void writer()
{while(true){semWait(wsem);WRITEUNIT();//写操作semSignal(wsem);}
}


写者优先

int readcount;//readcount用于记录读进程的数目
int writecount;//控制resm的设置
semaphore x=1,wsem=1,resm=1;//wsem为Write Semaphore,用于实施互斥
void reader()
{//信号量x用于确保readcount被正确的更新while(true){semWait(z);//只允许一个读进程在resm上排队,其他读进程在等待resm之前,在信号量z上排队.z初始化?semWait(resm);//信号量resm:当至少有一个写进程访问数据区时,禁止所有读进程semWait(x);readcount++;if(readcount==1)semWait(wsem);//读的时候不允许写操作semSignal(x);semSignal(resm);semSignal(z);READUNIT();//读操作semWait(x);readcount--;if(readcount==0)semSignal(wsem);semSignal(x);}
}void writer()
{while(true){semWait(y);//信号量y用于确保writecount被正确的更新writecount++;if(writecount==1)semWait(resm);semSignal(y);semWait(wsem);WRITEUNIT();//写操作semSignal(wsem);semWait(y);writecount--;if(writecount==0)semSignal(resm);semSignal(y);}
}



这篇关于信号量基础和两个经典例子的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/1103264

相关文章

C#基础之委托详解(Delegate)

《C#基础之委托详解(Delegate)》:本文主要介绍C#基础之委托(Delegate),具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录1. 委托定义2. 委托实例化3. 多播委托(Multicast Delegates)4. 委托的用途事件处理回调函数LINQ

C语言实现两个变量值交换的三种方式

《C语言实现两个变量值交换的三种方式》两个变量值的交换是编程中最常见的问题之一,以下将介绍三种变量的交换方式,其中第一种方式是最常用也是最实用的,后两种方式一般只在特殊限制下使用,需要的朋友可以参考下... 目录1.使用临时变量(推荐)2.相加和相减的方式(值较大时可能丢失数据)3.按位异或运算1.使用临时

java两个List的交集,并集方式

《java两个List的交集,并集方式》文章主要介绍了Java中两个List的交集和并集的处理方法,推荐使用Apache的CollectionUtils工具类,因为它简单且不会改变原有集合,同时,文章... 目录Java两个List的交集,并集方法一方法二方法三总结java两个List的交集,并集方法一

Python如何计算两个不同类型列表的相似度

《Python如何计算两个不同类型列表的相似度》在编程中,经常需要比较两个列表的相似度,尤其是当这两个列表包含不同类型的元素时,下面小编就来讲讲如何使用Python计算两个不同类型列表的相似度吧... 目录摘要引言数字类型相似度欧几里得距离曼哈顿距离字符串类型相似度Levenshtein距离Jaccard相

0基础租个硬件玩deepseek,蓝耘元生代智算云|本地部署DeepSeek R1模型的操作流程

《0基础租个硬件玩deepseek,蓝耘元生代智算云|本地部署DeepSeekR1模型的操作流程》DeepSeekR1模型凭借其强大的自然语言处理能力,在未来具有广阔的应用前景,有望在多个领域发... 目录0基础租个硬件玩deepseek,蓝耘元生代智算云|本地部署DeepSeek R1模型,3步搞定一个应

使用Navicat工具比对两个数据库所有表结构的差异案例详解

《使用Navicat工具比对两个数据库所有表结构的差异案例详解》:本文主要介绍如何使用Navicat工具对比两个数据库test_old和test_new,并生成相应的DDLSQL语句,以便将te... 目录概要案例一、如图两个数据库test_old和test_new进行比较:二、开始比较总结概要公司存在多

C#比较两个List集合内容是否相同的几种方法

《C#比较两个List集合内容是否相同的几种方法》本文详细介绍了在C#中比较两个List集合内容是否相同的方法,包括非自定义类和自定义类的元素比较,对于非自定义类,可以使用SequenceEqual、... 目录 一、非自定义类的元素比较1. 使用 SequenceEqual 方法(顺序和内容都相等)2.

MySQL中my.ini文件的基础配置和优化配置方式

《MySQL中my.ini文件的基础配置和优化配置方式》文章讨论了数据库异步同步的优化思路,包括三个主要方面:幂等性、时序和延迟,作者还分享了MySQL配置文件的优化经验,并鼓励读者提供支持... 目录mysql my.ini文件的配置和优化配置优化思路MySQL配置文件优化总结MySQL my.ini文件

锐捷和腾达哪个好? 两个品牌路由器对比分析

《锐捷和腾达哪个好?两个品牌路由器对比分析》在选择路由器时,Tenda和锐捷都是备受关注的品牌,各自有独特的产品特点和市场定位,选择哪个品牌的路由器更合适,实际上取决于你的具体需求和使用场景,我们从... 在选购路由器时,锐捷和腾达都是市场上备受关注的品牌,但它们的定位和特点却有所不同。锐捷更偏向企业级和专

零基础学习Redis(10) -- zset类型命令使用

zset是有序集合,内部除了存储元素外,还会存储一个score,存储在zset中的元素会按照score的大小升序排列,不同元素的score可以重复,score相同的元素会按照元素的字典序排列。 1. zset常用命令 1.1 zadd  zadd key [NX | XX] [GT | LT]   [CH] [INCR] score member [score member ...]