西电Pintos操作系统课程设计 实验四

本文介绍了一种解决由锁导致的优先级反转问题的方法——优先级捐赠,并详细阐述了其实现步骤,包括数据结构的修改、关键函数的定义与调整。

实验四:Priority Scheduling—Donation for Locks

一、实验目的
解决由lock造成的优先级反转问题。

二、实验方案
使用优先级捐赠(Priority Donation)来解决由lock造成的优先级反转问题。
优先级捐赠是指高优先级的线程将自身优先级捐给与其竞争资源的低优先级线程,以促使其尽快释放资源,进而保证自身能尽快得到运行所需资源的策略。
优先级捐赠主要分以下几种情况:
1.简单捐赠,这是最为平常和简单的一种捐赠情况。lock、优先级流动及线程执行时间顺序如下图所示:
在这里插入图片描述
2.递归捐赠,这是一种较为复杂的情况。lock、优先级流动及线程执行时间顺序如下图所示:
在这里插入图片描述
3.多重捐赠,这种情况也较为复杂。lock、优先级流动及线程执行时间顺序如下图所示:在这里插入图片描述
三、详细实现

  1. 修改数据结构
    (1) 修改thread结构体,新增三个量,一个base_priority记录线程的初始优先级,一个locks记录线程当前拥有的锁(多个),一个lock_waiting用来记录线程等待被释放的锁。
西安电子科技大学 操作系统课程设计 (2021年度) 实 验 报 告 实验名称: Priority Scheduling 班 级: 姓 名: 学 号: 一、实验内容 为Pintos建立优先级调度机制,并确保任何时刻CPU上运行的都是最高优先级线程。 二、分析及设计 原始Pintos系统中对于线程的调度,没有考虑优先级问题,采用的是最为简单的FCFS策 略。 而默认的优先级顺序为31,那么就可以在起始时得到一个优先级,并在执行过程中通过 thread_set_priority( )函数修改优先级。在新的线程创立后,可以参加一个比较函数,假设新的线程优先级高 ,那么让出CPU,利用插入排序list_insert_ordered()函数将当前线程按优先级顺序插 入到等待的队列中,假设当前优先级被降低,那么让出CPU;假设优先级进步,那么继续 运行。假设遇到因为信号量进程被阻塞时,那么吧最高优先级的线程放入到队列中。假 设拥有线程的锁不满足当前的条件,那么要释放掉锁,当满足了条件后,优先级最高的 线程应该优先获得锁。 调用关系: 三、详细实现 thread_create( )函数中添加比较函数 2.修改init_thread〔〕函数,将ready-list采用插入排序的方式处理。 3.修改thread_yield ()函数,参加对ready队列的排序功能,实现插入排序。 4.修改thread_unblock()函数,假设唤醒的线程优先级顺序高,那么当前程序放弃CPU。 5.修改thread_set_priority( )函数,假设锁的占用为空闲,或者新的线程的优先级要大于原来的优先级,那么新的优 先级赋给当前的进程,正在运行的让出CPU。 6.假设涉及多个线程等待信号量的问题,那么当满足条件时,拥有最高优先级的线程应 被优先唤醒进入ready-list。修改sema_down()函数,参加插入排序的功能。 7.同6一样修改sema_up〔〕函数,对等待队列进展排序。 cond_signal〔〕函数中修改,改为优先级队列 cond_sema_cmp_priority〔〕 实验结果 通过实验,根本完成实验内容,结果如图: 五、心得体会 在实验中,可以通过亲自设计修改,让系统对线程进展不同的修改和占用CPU,通过设定 优先级,使系统的处理效率更高,对pintos修改实现优先级调度机制,让系统总是让最 高优先级的线程进展。 ----------------------- 西电计算机操作系统课程设计pintos-pro2全文共5页,当前为第1页。 西电计算机操作系统课程设计pintos-pro2全文共5页,当前为第2页。 西电计算机操作系统课程设计pintos-pro2全文共5页,当前为第3页。 西电计算机操作系统课程设计pintos-pro2全文共5页,当前为第4页。 西电计算机操作系统课程设计pintos-pro2全文共5页,当前为第5页。
西安电子科技大学 操作系统课程设计 (2021年度) 实 验 报 告 实验名称: Priority-Scheduling--Task 2 班 级: 姓 名: 学 号: 一、实验内容 解决优先级反转的问题,在高优先级和低优先级之间竞争锁的问题。 二、分析及设计 使用多重优先级捐赠,解决优先级反转的问题。 1、一个线程获得锁,假设获得这个锁的线程比自己低就进步它的优先级,假设这个锁也 是被锁着,那就递归捐赠优先级,在线程释放掉锁之后,恢复未捐赠的优先级。 2、在释放掉锁的时候,假设优先级改变可以发生抢占。 3、将信号量的等待队列实现为优先队列。 4、将condition的等待队列实现为优先队列。 5、一个线程被多个线程捐赠,保持当前优先级为捐赠优先级中最大值。 6、在对一个线程设置优先级时,假设处于被捐赠状态,对original_priority进展设置 ,假设设置的优先级大于当前的优先级,改变当前的优先级,否那么在捐赠完成时恢复 original_priority。 7、在释放锁对一个锁优先级有改变的时候应考虑其余被捐赠优先级和当前优先级。 三、详细实现 1、修改thread数据构造〔thread.h〕 2、在lock构造体中添加成员〔synch.h〕 3、修改lock_acquire函数〔〕 4、thread_hold_the_lock〔〕函数的实现 5、thread_donate_priority〔〕函数的实现 6、锁队列排序函数lock_cmp_priority实现 7、在lock_release函数参加以下语句 8、thread_remove_lock实现 9、thread_update_priority函数实现处理当前线程的优先级 10、在init_thread中参加初始化 11、修改thread_set_priority 12、把condition的队列改成优先级队列,修改cond_signal函数 13、比较函数的实现 14、把信号量的等待队列实现为优先级队列,修改sema_up 15、修改sema_down 实验结果 实现结果如图,priority全部完成 五、心得体会 在设计优先级捐赠这个任务的过程中,查过很多资料,发现虽然实现过程比较复杂,但 是假设理解了操作系统的处理调度的解决优先级捐赠的详细方法,那么就是关于代码的 实现的问题,所以在修改正程中也碰到很多的问题,很多细节方面确实是感觉考虑的不 是很全面,想法还是很简单,所以在查找资料比照后,才完本钱次实验。 ----------------------- 西电计算机操作系统课程设计pintos-pro3全文共6页,当前为第1页。 西电计算机操作系统课程设计pintos-pro3全文共6页,当前为第2页。 西电计算机操作系统课程设计pintos-pro3全文共6页,当前为第3页。 西电计算机操作系统课程设计pintos-pro3全文共6页,当前为第4页。 西电计算机操作系统课程设计pintos-pro3全文共6页,当前为第5页。 西电计算机操作系统课程设计pintos-pro3全文共6页,当前为第6页。
评论 7
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

Polaris_T

你的鼓励将是我创作的最大动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付:¥1
获取中
扫码支付

您的余额不足,请更换扫码支付或充值

打赏作者

实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值