- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
操作系统原理实验指导书(软件)
《操作系统原理》
课程实验指导书
第 1 页第 1 页第 1 页
操作系统原理实验指导书(软件)
目 录
实验一 进程同步与互 1
实验二 银行家算法实现资源分配 4
实验三 调度算法的使用 7
实验四 请求页式存储管理 10
第 2 页第 2 页第 2 页
操作系统原理实验指导书(软件)
实验一 进程同步与互
一、实验目的
1.掌握基本的同步与互斥算法,理解生产者消费者模型。
2.学习使用 Windows 2000/XP 中基本的同步对象,掌握相关 API 的使用方法。
3. 了解Windows 2000/XP 中多线程的并发执行机制,实现进程的同步与互斥。
二、实验内容
以生产者/消费者模型为依据,在 Windows2000 环境下创建一个控制台进程,在该进程
中创建n 个线程模拟生产者和消费者,实现进程 (线程)的同步与互斥。
三、实验性质
验证性
四、实验学时
2 学时
五、实验环境
《C 与 C++程序设计学习与实验系统 》
六、实验原理及步骤
假设这些生产者和消费者相互是等效的,只要缓冲区不满,生产者便可将产品放入缓
冲区;而只要缓冲区不为空,消费者便可从缓冲区取走一件产品。需要两个私用信号量,
empty 表示缓冲区可接收产品的数目,full 表示缓冲区已接收产品的数目。empty 的初值为
N,即缓冲区的容量;full 的初值为 0。我们还要增设一个公用信号量(mutex),初值为 1,
以保证这些生产者和消费者互斥地访问缓冲区。此外,生产者和消费者必须同步,生产者
不能向满缓冲区写数据,消费者不能从空缓冲区读数据。
1.测试用例文件
测试用例文件用于描述各线程的有关信息,该文件内容及格式如下:
3
1 P 3
2 P 4
3 C 4 1
4 P 2
第 1 页第 1 页第 1 页
操作系统原理实验指导书(软件)
5 C 3 1 2 4
说明:第一行给出的是程序中设置的临界区个数;其余各行是各进程信息。
每行中的数据之间用 Tab 键分隔。
第一列 (除第一行外):线程号。
第二列:P——生产者,C——消费者。
第三列:线程在生产和消费前的休眠时间,单位为秒。
第四及以后各列:消费的产品所对应的生产者线程号。
2.数据结构
(1) 用整型数组 Buffer_Critical 表示缓冲区。
(2) 用自定义结构 ThreadInfo 记录一条线程信息,多个线程对应一个 ThreadInfo 数
组。
(3) 通过如下同步对象实现互斥:
设一个互斥量 h-mutex,实现生产者在查询和保留缓冲区的下一个空位置时进行
互斥。
设置 h_Semaphore[MAX_THREAD_NUM]信号量数组表示相应产品已经生产,实现生
产者与消费者之间的同步。同时, 用表示空缓冲区树木的信号量
empty_semephore 指示是否存在空位置,实现类似的同步,以便开始下一个产品
的生产。
设置临界区对象数组 PC_Critical[MAX_BUFFER_NUM]实现每个缓冲区上消费者
之间的互斥。
3.程序结构
为了方便,程序结构用如下的文字予以描述。
(1) 主函数
(2) 初始化缓冲区、消费请求队列及部分同步对象
文档评论(0)