信号量实现同步之司机售票员问题

2023-12-11 16:30

本文主要是介绍信号量实现同步之司机售票员问题,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

1、信号量是什么

信号量是一种进程同步工具,可以同步并发进程,相较于互斥锁,可以解决更多类型的同步问题(同步即是指进程之间有序执行,而异步是指随机执行)。

2、信号量如何实现

信号量是一个整数值,除了初始化其他时间内只能通过PV操作改变其值。信号量通过两个操作来实现,分别命名为P操作和V操作。其中P操作是指等待(wait operation),V操作是指信号数量增加(signal operation)。这两种操作均为原子操作。

p(s){while(s<=0)do nothing;s--;
}v(s){s++;
}

3、信号量不同取值的应用场景

(1)信号量取值为0或1用于实现互斥锁的作用

semaphore mutex = 1;process pi{p(mutex);critical sectionv(mutex);
}

(2)信号量取值为大于1,一般信号量可以取任意值,可以控制并发进程对共享资源的访问,用于表示可控资源的数量。

semaphore road = 2;process Carsi{p(road);pass the fork in the roadv(road);
}

(3)初始值设置为0则用于进程同步。

4、信号量实现同步实例:司机售票员

司机:启动车辆->正常行车->到站停车

售票员:关车门->售票->开车门

规则:司机要等车门关闭才能开车 售票员要等车停下才能开门

//
//  driver_conductor.c
//  
//
//  Created by YIN on 2021/5/16.
//#include "driver_conductor.h"
#include <stdio.h>
#include <pthread.h>
#include <semaphore.h>
#include <unistd.h>
#include <dispatch/dispatch.h>dispatch_semaphore_t d;
dispatch_semaphore_t c;/*司机:启动车辆;正常行车;到站停车。售票:关车门;售票;开车门。*/void* driver(void* args)
{dispatch_semaphore_wait(d, DISPATCH_TIME_FOREVER);printf("Start the vehicle\n");printf("Normal driving\n");printf("Stop at the station\n");dispatch_semaphore_signal(c);
}void* conductor(void* args)
{printf("Close the car door\n");dispatch_semaphore_signal(d);printf("Ticket sales\n");dispatch_semaphore_wait(c, DISPATCH_TIME_FOREVER);printf("Open the car door\n");
}int main(int argc, char const *argv[])
{pthread_t pid_driver;pthread_t pid_conductor;dispatch_semaphore_t *sem_d = &d;*sem_d = dispatch_semaphore_create(0);dispatch_semaphore_t *sem_c = &c;*sem_c = dispatch_semaphore_create(0);pthread_create(&pid_driver, NULL, driver, NULL);pthread_create(&pid_conductor, NULL, conductor, NULL);pthread_join(pid_driver, NULL);pthread_join(pid_conductor, NULL);return 0;
}

 

 

这篇关于信号量实现同步之司机售票员问题的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



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

相关文章

Oracle查询优化之高效实现仅查询前10条记录的方法与实践

《Oracle查询优化之高效实现仅查询前10条记录的方法与实践》:本文主要介绍Oracle查询优化之高效实现仅查询前10条记录的相关资料,包括使用ROWNUM、ROW_NUMBER()函数、FET... 目录1. 使用 ROWNUM 查询2. 使用 ROW_NUMBER() 函数3. 使用 FETCH FI

Python脚本实现自动删除C盘临时文件夹

《Python脚本实现自动删除C盘临时文件夹》在日常使用电脑的过程中,临时文件夹往往会积累大量的无用数据,占用宝贵的磁盘空间,下面我们就来看看Python如何通过脚本实现自动删除C盘临时文件夹吧... 目录一、准备工作二、python脚本编写三、脚本解析四、运行脚本五、案例演示六、注意事项七、总结在日常使用

Java实现Excel与HTML互转

《Java实现Excel与HTML互转》Excel是一种电子表格格式,而HTM则是一种用于创建网页的标记语言,虽然两者在用途上存在差异,但有时我们需要将数据从一种格式转换为另一种格式,下面我们就来看看... Excel是一种电子表格格式,广泛用于数据处理和分析,而HTM则是一种用于创建网页的标记语言。虽然两

Java中Springboot集成Kafka实现消息发送和接收功能

《Java中Springboot集成Kafka实现消息发送和接收功能》Kafka是一个高吞吐量的分布式发布-订阅消息系统,主要用于处理大规模数据流,它由生产者、消费者、主题、分区和代理等组件构成,Ka... 目录一、Kafka 简介二、Kafka 功能三、POM依赖四、配置文件五、生产者六、消费者一、Kaf

关于@MapperScan和@ComponentScan的使用问题

《关于@MapperScan和@ComponentScan的使用问题》文章介绍了在使用`@MapperScan`和`@ComponentScan`时可能会遇到的包扫描冲突问题,并提供了解决方法,同时,... 目录@MapperScan和@ComponentScan的使用问题报错如下原因解决办法课外拓展总结@

使用Python实现在Word中添加或删除超链接

《使用Python实现在Word中添加或删除超链接》在Word文档中,超链接是一种将文本或图像连接到其他文档、网页或同一文档中不同部分的功能,本文将为大家介绍一下Python如何实现在Word中添加或... 在Word文档中,超链接是一种将文本或图像连接到其他文档、网页或同一文档中不同部分的功能。通过添加超

MybatisGenerator文件生成不出对应文件的问题

《MybatisGenerator文件生成不出对应文件的问题》本文介绍了使用MybatisGenerator生成文件时遇到的问题及解决方法,主要步骤包括检查目标表是否存在、是否能连接到数据库、配置生成... 目录MyBATisGenerator 文件生成不出对应文件先在项目结构里引入“targetProje

C#使用HttpClient进行Post请求出现超时问题的解决及优化

《C#使用HttpClient进行Post请求出现超时问题的解决及优化》最近我的控制台程序发现有时候总是出现请求超时等问题,通常好几分钟最多只有3-4个请求,在使用apipost发现并发10个5分钟也... 目录优化结论单例HttpClient连接池耗尽和并发并发异步最终优化后优化结论我直接上优化结论吧,

windos server2022里的DFS配置的实现

《windosserver2022里的DFS配置的实现》DFS是WindowsServer操作系统提供的一种功能,用于在多台服务器上集中管理共享文件夹和文件的分布式存储解决方案,本文就来介绍一下wi... 目录什么是DFS?优势:应用场景:DFS配置步骤什么是DFS?DFS指的是分布式文件系统(Distr

NFS实现多服务器文件的共享的方法步骤

《NFS实现多服务器文件的共享的方法步骤》NFS允许网络中的计算机之间共享资源,客户端可以透明地读写远端NFS服务器上的文件,本文就来介绍一下NFS实现多服务器文件的共享的方法步骤,感兴趣的可以了解一... 目录一、简介二、部署1、准备1、服务端和客户端:安装nfs-utils2、服务端:创建共享目录3、服