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

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

相关文章

从基础到高级详解Go语言中错误处理的实践指南

《从基础到高级详解Go语言中错误处理的实践指南》Go语言采用了一种独特而明确的错误处理哲学,与其他主流编程语言形成鲜明对比,本文将为大家详细介绍Go语言中错误处理详细方法,希望对大家有所帮助... 目录1 Go 错误处理哲学与核心机制1.1 错误接口设计1.2 错误与异常的区别2 错误创建与检查2.1 基础

Spring的基础事务注解@Transactional作用解读

《Spring的基础事务注解@Transactional作用解读》文章介绍了Spring框架中的事务管理,核心注解@Transactional用于声明事务,支持传播机制、隔离级别等配置,结合@Tran... 目录一、事务管理基础1.1 Spring事务的核心注解1.2 注解属性详解1.3 实现原理二、事务事

Java中最全最基础的IO流概述和简介案例分析

《Java中最全最基础的IO流概述和简介案例分析》JavaIO流用于程序与外部设备的数据交互,分为字节流(InputStream/OutputStream)和字符流(Reader/Writer),处理... 目录IO流简介IO是什么应用场景IO流的分类流的超类类型字节文件流应用简介核心API文件输出流应用文

JavaScript中比较两个数组是否有相同元素(交集)的三种常用方法

《JavaScript中比较两个数组是否有相同元素(交集)的三种常用方法》:本文主要介绍JavaScript中比较两个数组是否有相同元素(交集)的三种常用方法,每种方法结合实例代码给大家介绍的非常... 目录引言:为什么"相等"判断如此重要?方法1:使用some()+includes()(适合小数组)方法2

从基础到高级详解Python数值格式化输出的完全指南

《从基础到高级详解Python数值格式化输出的完全指南》在数据分析、金融计算和科学报告领域,数值格式化是提升可读性和专业性的关键技术,本文将深入解析Python中数值格式化输出的相关方法,感兴趣的小伙... 目录引言:数值格式化的核心价值一、基础格式化方法1.1 三种核心格式化方式对比1.2 基础格式化示例

redis-sentinel基础概念及部署流程

《redis-sentinel基础概念及部署流程》RedisSentinel是Redis的高可用解决方案,通过监控主从节点、自动故障转移、通知机制及配置提供,实现集群故障恢复与服务持续可用,核心组件包... 目录一. 引言二. 核心功能三. 核心组件四. 故障转移流程五. 服务部署六. sentinel部署

从基础到进阶详解Python条件判断的实用指南

《从基础到进阶详解Python条件判断的实用指南》本文将通过15个实战案例,带你大家掌握条件判断的核心技巧,并从基础语法到高级应用一网打尽,文中的示例代码讲解详细,感兴趣的小伙伴可以跟随小编一起学习一... 目录​引言:条件判断为何如此重要一、基础语法:三行代码构建决策系统二、多条件分支:elif的魔法三、

Python WebSockets 库从基础到实战使用举例

《PythonWebSockets库从基础到实战使用举例》WebSocket是一种全双工、持久化的网络通信协议,适用于需要低延迟的应用,如实时聊天、股票行情推送、在线协作、多人游戏等,本文给大家介... 目录1. 引言2. 为什么使用 WebSocket?3. 安装 WebSockets 库4. 使用 We

python中update()函数的用法和一些例子

《python中update()函数的用法和一些例子》update()方法是字典对象的方法,用于将一个字典中的键值对更新到另一个字典中,:本文主要介绍python中update()函数的用法和一些... 目录前言用法注意事项示例示例 1: 使用另一个字典来更新示例 2: 使用可迭代对象来更新示例 3: 使用

python连接sqlite3简单用法完整例子

《python连接sqlite3简单用法完整例子》SQLite3是一个内置的Python模块,可以通过Python的标准库轻松地使用,无需进行额外安装和配置,:本文主要介绍python连接sqli... 目录1. 连接到数据库2. 创建游标对象3. 创建表4. 插入数据5. 查询数据6. 更新数据7. 删除