司机和售票员问题-进程同步模拟设计

2023-12-11 16:30

本文主要是介绍司机和售票员问题-进程同步模拟设计,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

8.设在公共汽车上司机和售票员的活动如下。(1)司机的活动:启动车辆,正常行驶,到站停车。(2)售票员的活动:关车门,售票,开车门。在汽车不断地到站,停车,行驶的过程中,这两个活动之间有什么同步关系?用信号量和PV操作实现其同步。

⑴ 需求分析;

本程序的功能是模拟公车的司机和售票员的开门以及行车的过程,其实也就是一个典型的进程同步互斥问题,其中主要的两点是

1:司机开车的时候,售票员不能开门,(这里体现的是进程的互斥问题)车停之后,由司机通知售票员开门(这里体现的是进程的同步问题);

2:车门开着的时候,司机不能开车,等售票员把车门关上之后,由售票员通知司机开车。

⑵ 功能设计(数据结构及模块说明);

本程序的设计原理比较简单,就是两大部分,一是司机的行车操作过程,另一个是售票员的开车门和关车门(以及售票,本程序不讨论售票过程)的过程。

现在来说明如何具体实现司机开车和售票员售票的相关过程。首先,设置2个私有信号量,分别是司机和售票员的。其中,司机的私有信号量设置为sj,其初始值为0;售票员的私有信号量为spy,其初始值为1;以上的初值表示的是司机和售票员的行车和开关车门的一个具体初始状态,具体的说也就是当车子停着,车门开着的时候的状态,此时,司机不能开车,只有当售票员售完票之后,通知司机才可以。

用操作系统书上的方法写出的流程图如下:

beginsj,spy;semaphore   //设置司机和售票员的私有信号量;sj=0;spy=1;       //设置初始值;cobeginprocess 司机       //司机的操作过程;beginL1:P(sj);启动车辆;正常行驶;到站停车;V(spy);goto L1;end;process 售票员       //售票员的操作过程;beginL2:P(spy);开车门;关车门;V(sj);售票;goto L2;end;coend;
end;

源程序的代码如下:

#include<iostream>
using namespace std;
int spy=1, sj=0;  //信号量的定义,spy是售票员的私有信号量,sj是司机的私有信号量。
#define SIZE 5    //定义车上最多能坐的人数。
int n = SIZE;
char ck;          //乘客上下车的操作变量。
int p1();         //司机的操作流程。
int p2();         //售票员的操作流程。
int main()
{cout << "键入a表示乘客上车,键入d表示乘客下车." << endl;cout << "键入s表示注销进程." << endl;cout << "键入f表示乘客上下车过程结束." << endl << endl << endl;p1();        return 0;
}
int p1()         //司机的执行过程
{sj--;//相当于p操作。if (sj == 0){cout << "汽车启动准备离站......" << endl;cout << "汽车运行中......" << endl;cout << "汽车到站!" << endl;cout << "汽车停!" << endl;spy++;//相当于v操作。}else sj++;p2();return 0;
}int p2()    //售票员的执行过程
{spy--;//相当于p操作。if (spy==0){cout << "售票员打开车门......" << endl;cout << "请进行乘客上下车操作!" << endl;while (1){cin >> ck;if ((ck == 'a') && (n > 0)) {n--;cout << "上一个乘客." << endl;continue;};if ((ck == 'd') && (n < SIZE)) {n++;cout << "下一个乘客." << endl;continue;};if (ck == 'f') {break;};if (ck == 's') {return 0;};if (n <= 0) {cout << "车上座位已满,不能再上乘客了!" << endl;continue;};if (n >= SIZE) {cout << "车上乘客已经都下完了!" << endl;continue;};}cout << "现在关闭车门!" << endl;}sj++;  //相当于v操作p1();return 0;
}
由于要表现出司机和售票员的操作过程,所以,程序是通过乘客的上下车来实现的,而具体的实现过程对于用户来说是透明的。

这篇关于司机和售票员问题-进程同步模拟设计的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



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

相关文章

JAVA Calendar设置上个月时,日期不存在或错误提示问题及解决

《JAVACalendar设置上个月时,日期不存在或错误提示问题及解决》在使用Java的Calendar类设置上个月的日期时,如果遇到不存在的日期(如4月31日),默认会自动调整到下个月的相应日期(... 目录Java Calendar设置上个月时,日期不存在或错误提示java进行日期计算时如果出现不存在的

Mybatis对MySQL if 函数的不支持问题解读

《Mybatis对MySQLif函数的不支持问题解读》接手项目后,为了实现多租户功能,引入了Mybatis-plus,发现之前运行正常的SQL语句报错,原因是Mybatis不支持MySQL的if函... 目录MyBATis对mysql if 函数的不支持问题描述经过查询网上搜索资料找到原因解决方案总结Myb

Nginx错误拦截转发 error_page的问题解决

《Nginx错误拦截转发error_page的问题解决》Nginx通过配置错误页面和请求处理机制,可以在请求失败时展示自定义错误页面,提升用户体验,下面就来介绍一下Nginx错误拦截转发error_... 目录1. 准备自定义错误页面2. 配置 Nginx 错误页面基础配置示例:3. 关键配置说明4. 生效

Springboot3统一返回类设计全过程(从问题到实现)

《Springboot3统一返回类设计全过程(从问题到实现)》文章介绍了如何在SpringBoot3中设计一个统一返回类,以实现前后端接口返回格式的一致性,该类包含状态码、描述信息、业务数据和时间戳,... 目录Spring Boot 3 统一返回类设计:从问题到实现一、核心需求:统一返回类要解决什么问题?

maven异常Invalid bound statement(not found)的问题解决

《maven异常Invalidboundstatement(notfound)的问题解决》本文详细介绍了Maven项目中常见的Invalidboundstatement异常及其解决方案,文中通过... 目录Maven异常:Invalid bound statement (not found) 详解问题描述可

idea粘贴空格时显示NBSP的问题及解决方案

《idea粘贴空格时显示NBSP的问题及解决方案》在IDEA中粘贴代码时出现大量空格占位符NBSP,可以通过取消勾选AdvancedSettings中的相应选项来解决... 目录1、背景介绍2、解决办法3、处理完成总结1、背景介绍python在idehttp://www.chinasem.cna粘贴代码,出

SpringBoot整合Kafka启动失败的常见错误问题总结(推荐)

《SpringBoot整合Kafka启动失败的常见错误问题总结(推荐)》本文总结了SpringBoot项目整合Kafka启动失败的常见错误,包括Kafka服务器连接问题、序列化配置错误、依赖配置问题、... 目录一、Kafka服务器连接问题1. Kafka服务器无法连接2. 开发环境与生产环境网络不通二、序

SpringSecurity中的跨域问题处理方案

《SpringSecurity中的跨域问题处理方案》本文介绍了跨域资源共享(CORS)技术在JavaEE开发中的应用,详细讲解了CORS的工作原理,包括简单请求和非简单请求的处理方式,本文结合实例代码... 目录1.什么是CORS2.简单请求3.非简单请求4.Spring跨域解决方案4.1.@CrossOr

nacos服务无法注册到nacos服务中心问题及解决

《nacos服务无法注册到nacos服务中心问题及解决》本文详细描述了在Linux服务器上使用Tomcat启动Java程序时,服务无法注册到Nacos的排查过程,通过一系列排查步骤,发现问题出在Tom... 目录简介依赖异常情况排查断点调试原因解决NacosRegisterOnWar结果总结简介1、程序在

解决java.util.RandomAccessSubList cannot be cast to java.util.ArrayList错误的问题

《解决java.util.RandomAccessSubListcannotbecasttojava.util.ArrayList错误的问题》当你尝试将RandomAccessSubList... 目录Java.util.RandomAccessSubList cannot be cast to java.