操作系统实验二:用PV操作实现司机售票员进程同步

本文主要是介绍操作系统实验二:用PV操作实现司机售票员进程同步,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

实验二:进程间的同步


一、 实验目的:

  1. 理解进程同步和互斥模型及其应用;

二、 实验内容:

  1. 利用通信API实现进程之间的同步;

  2. 建立司机和售票员进程,并实现他们的同步;

三、实验要求

  1. 显示司机和售票员进程的同步运行轨迹;

四、实验设计与实现:

  • 设计思路:问题的关键在于 进程的同步 。在如何实现进程同步上,我选择了信号量的方法来实现。因为司机和售票员是两个进程,且有很多相似的部分,所以直接采用了 父子进程 来模拟这两个司机和售票员进程。用信号量的 PV操作 来实现对输出信息的加锁,最终实现同步运行,而同步运行的标准就是按照“售票——启动车辆——正常行车——到站停车——开车门——乘客上下车——关车门——售票”的顺序循环输出。为了使程序更加简洁易读,将部分函数代码封装在了semaphore.c中,通过semaphore.h文件引入到sync.c文件中。

  • 实验环境:Linux系统,Ubuntu 64位 20.04.2.0;

  • 实验代码:

    • semaphore.h.c

      #include<stdio.h>
      #include<stdlib.h>
      #include<unistd.h>
      #include<sys/types.h>
      #include<sys/stat.h>
      #include<fcntl.h>
      #include<sys/ipc.h>
      #include<sys/sem.h>/* 该变量用于存放生成Key值的文件路径 */
      #define SEM_FILE "./semfile"/** 这是一个联合体;* val:用于存放初始化信号量的值;* buf:存放struct semid_ds结构体变量的地址;*/
      union semun{int val;struct semid_ds *buf;unsigned short *array;struct seminfo *__buf;
      };/* *该函数用来输出错误信息;*/
      void print_err(char *estr){perror(estr);exit(-1);
      }/** 该函数用于创建或者获取信号量集合;* 参数:信号量个数;* 返回值:信号量集合的标识符;*/
      int creat_or_get_sem(int nsems){int semid;int fd = -1;key_t key = -1;/* 创建一个文件,并打开以确保文件路径可用; */fd = open(SEM_FILE, O_RDWR|O_CREAT, 0664);if(fd == -1) print_err("open ./semfile fail");/* ftok()函数用文件的路径名和一个ASCLL码生成一个唯一的key值; */key = ftok(SEM_FILE, 'a');if(key == -1) print_err("ftok fail");/* 生成信号量集合(包含nsems个信号量)并接收信号量集合标识符; */semid = semget(key, nsems, 0664|IPC_CREAT);if(semid == -1) print_err("semget fail");return semid;
      }/** 该函数用于设置信号量集合中信号量的值;*/
      void init_sem(int semid, int semnum, int val){int ret = -1;union semun sem_un; // 联合体变量sem_un;sem_un.val = val; // 信号量的初始值;/* * semid:信号量集合标识符;* semnum:信号量编号;* SETVAL:设置信号量初始值cmd,确定第四个参数应该为int型;* sem_un:信号量的初始值;*/ret = semctl(semid, semnum, SETVAL, sem_un);if(ret == -1) print_err("semctl fail");
      }/** 该函数用来删除信号量集合和删除用于生成Key值的路径文件;*/
      void del_sem(int semid, int nsems){int ret = -1;ret = semctl(semid, 0, IPC_RMID); if(ret == -1) print_err("semctl del sem fail");remove(SEM_FILE);
      }/* * 该函数实现P操作;*/
      void p_sem(int semid, int semnum_buf[], int nsops){int i = 0;int ret = -1;/** 该结构体在semop头文件中已经被定义;* struct sembuf{*    unsigned short sem_num;   信号量编号;*    short sem_op;   设置为-1表示P操作,设置为1表示V操作;*    short sem_flg;    设置为SEM_UND0可以防止死锁;* }*/struct sembuf sops[nsops];for(i = 0; i < nsops; i++){sops[i].sem_num = semnum_buf[i]; // 信号量编号;sops[i].sem_op = -1; // P操作;sops[i].sem_flg = SEM_UNDO; // 防止死锁;}ret = semop(semid, sops, nsops);if(ret == -1) print_err("semop p fail");
      }/* * 该函数实现V操作;*/
      void v_sem(int semid, int semnum_buf[], int nsops){int i = 0;int ret = -1;struct sembuf sops[nsops];for(i = 0; i < nsops; i++){sops[i].sem_num = semnum_buf[i]; // 信号量编号;sops[i].sem_op = 1; // V操作;sops[i].sem_flg = SEM_UNDO; // 防止死锁;}ret = semop(semid, sops, nsops);if(ret == -1) print_err("semop p fail");
      }
      
    • semaphore.h.h:

      #ifndef H_SEM_H
      #define H_SEM_Hextern void print_err(char *estr);
      extern int creat_or_get_sem(int nsems);
      extern void init_sem(int semid, int semnum, int val);
      extern void del_sem(int semid, int nsems);
      extern void p_sem(int semid, int semnum_buf[], int nsops);
      extern void v_sem(int semid, int semnum_buf[], int nsops);#endif
      
    • sync.c:

      /** 该程序通过信号量实现司机进程和售票员进程的同步;* 输出:司机和售票员进程的同步运行轨迹,其中红色为司机进程输出,蓝色为售票员进程输出;*/
      #include<stdlib.h>
      #include<unistd.h>
      #include<sys/types.h>
      #include<sys/stat.h>
      #include<fcntl.h>
      #include<signal.h>
      #include<sys/ipc.h>
      #include<sys/sem.h>
      #include<stdio.h>
      #include "semaphore.h"/* 信号量个数; */
      #define NSEMS 2/* 信号量集合的标识符; */
      int semid;/** 该函数会调用del_sem函数删除信号量集合和创建Key的路径文件;*/
      void signal_fun(int signo){del_sem(semid, NSEMS);exit(-1);
      }int main(void){int ret = -1;int fd = -1;int i = 0;/*  */int semnum_buf[1] = {0};/* 创建信号量集合,接收信号量集合标识符; */semid = creat_or_get_sem(NSEMS);/* 初始化信号量集合中的每个信号量(每个都设置为0);*/for(i = 0; i < NSEMS; i++){init_sem(semid, i, 0);}ret = fork();if(ret > 0){ /* * 该段代码是父进程(司机进程)执行的;*/while(1){semnum_buf[0] = 0;p_sem(semid, semnum_buf, 1);printf("\033[32;1m 启动车辆;\n");sleep(1);printf("\033[32;1m 正常行车;\n");sleep(1);printf("\033[32;1m 到站停车;\n");sleep(1);semnum_buf[0] = 1;v_sem(semid, semnum_buf, 1);}}else if(ret == 0){ /* * 该段代码是子进程(售票员进程)执行的;*/signal(SIGINT, signal_fun);while(1){printf("\033[35;1m 关车门;\n");sleep(1);semnum_buf[0] = 0;v_sem(semid, semnum_buf, 1);printf("\033[35;1m 售票;\n");sleep(1);semnum_buf[0] = 1;p_sem(semid, semnum_buf, 1);printf("\033[35;1m 开车门;\n");sleep(1);printf("\033[35;1m 乘客上下车;\n");sleep(1);}}return 0;
      }
      

五、实验结果分析:

  • 在Linux终端中输入:

    gcc semaphore.h.c sync.c
    ./a.out
    
  • 终端输出结果:
    在这里插入图片描述

  • 可以观察到,绿色输出为司机进程输出,紫色输出为售票员进程输出,实现了司机和售票员进程的同步输出

参考视频:
https://www.bilibili.com/video/BV1fE411v7Bb?p=24
https://edu.51cto.com/course/13462.html

这篇关于操作系统实验二:用PV操作实现司机售票员进程同步的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



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

相关文章

SpringBoot3实现Gzip压缩优化的技术指南

《SpringBoot3实现Gzip压缩优化的技术指南》随着Web应用的用户量和数据量增加,网络带宽和页面加载速度逐渐成为瓶颈,为了减少数据传输量,提高用户体验,我们可以使用Gzip压缩HTTP响应,... 目录1、简述2、配置2.1 添加依赖2.2 配置 Gzip 压缩3、服务端应用4、前端应用4.1 N

SpringBoot实现数据库读写分离的3种方法小结

《SpringBoot实现数据库读写分离的3种方法小结》为了提高系统的读写性能和可用性,读写分离是一种经典的数据库架构模式,在SpringBoot应用中,有多种方式可以实现数据库读写分离,本文将介绍三... 目录一、数据库读写分离概述二、方案一:基于AbstractRoutingDataSource实现动态

Python FastAPI+Celery+RabbitMQ实现分布式图片水印处理系统

《PythonFastAPI+Celery+RabbitMQ实现分布式图片水印处理系统》这篇文章主要为大家详细介绍了PythonFastAPI如何结合Celery以及RabbitMQ实现简单的分布式... 实现思路FastAPI 服务器Celery 任务队列RabbitMQ 作为消息代理定时任务处理完整

Java枚举类实现Key-Value映射的多种实现方式

《Java枚举类实现Key-Value映射的多种实现方式》在Java开发中,枚举(Enum)是一种特殊的类,本文将详细介绍Java枚举类实现key-value映射的多种方式,有需要的小伙伴可以根据需要... 目录前言一、基础实现方式1.1 为枚举添加属性和构造方法二、http://www.cppcns.co

使用Python实现快速搭建本地HTTP服务器

《使用Python实现快速搭建本地HTTP服务器》:本文主要介绍如何使用Python快速搭建本地HTTP服务器,轻松实现一键HTTP文件共享,同时结合二维码技术,让访问更简单,感兴趣的小伙伴可以了... 目录1. 概述2. 快速搭建 HTTP 文件共享服务2.1 核心思路2.2 代码实现2.3 代码解读3.

MySQL双主搭建+keepalived高可用的实现

《MySQL双主搭建+keepalived高可用的实现》本文主要介绍了MySQL双主搭建+keepalived高可用的实现,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,... 目录一、测试环境准备二、主从搭建1.创建复制用户2.创建复制关系3.开启复制,确认复制是否成功4.同

Java实现文件图片的预览和下载功能

《Java实现文件图片的预览和下载功能》这篇文章主要为大家详细介绍了如何使用Java实现文件图片的预览和下载功能,文中的示例代码讲解详细,感兴趣的小伙伴可以跟随小编一起学习一下... Java实现文件(图片)的预览和下载 @ApiOperation("访问文件") @GetMapping("

使用Sentinel自定义返回和实现区分来源方式

《使用Sentinel自定义返回和实现区分来源方式》:本文主要介绍使用Sentinel自定义返回和实现区分来源方式,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录Sentinel自定义返回和实现区分来源1. 自定义错误返回2. 实现区分来源总结Sentinel自定

Mysql表的简单操作(基本技能)

《Mysql表的简单操作(基本技能)》在数据库中,表的操作主要包括表的创建、查看、修改、删除等,了解如何操作这些表是数据库管理和开发的基本技能,本文给大家介绍Mysql表的简单操作,感兴趣的朋友一起看... 目录3.1 创建表 3.2 查看表结构3.3 修改表3.4 实践案例:修改表在数据库中,表的操作主要

C# WinForms存储过程操作数据库的实例讲解

《C#WinForms存储过程操作数据库的实例讲解》:本文主要介绍C#WinForms存储过程操作数据库的实例,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录一、存储过程基础二、C# 调用流程1. 数据库连接配置2. 执行存储过程(增删改)3. 查询数据三、事务处