pintos抢占式优先级教程.docxVIP

中山大学移动信息工程学院本科生实验报告 （2016学年秋季学期） 课程名称：Operating System 任课教师：饶洋辉 批改人(此处为TA填写)： 年级+班级xxxxx专业（方向）移动信息工程学院学号xxxxx姓名tiger BeA电话xxxxxEmailxxxxxxxxx HYPERLINK mailto:gslsw@ 开始日期2016.4.24完成日期2016.4.24目录：  HYPERLINK \l 一、实验目的 实验目的  HYPERLINK \l 二、实验过程 实验过程  HYPERLINK \l Test分析 Test分析  HYPERLINK \l preempt分析 priority-preempt分析  HYPERLINK \l change分析 priority-change分析  HYPERLINK \l 函数修改 函数修改  HYPERLINK \l create修改 thread_create()修改  HYPERLINK \l set修改 thread_set_priority()修改  HYPERLINK \l 三、运行结果 实验结果  HYPERLINK \l 四、问答题 问答题  HYPERLINK \l 五、实验感想 实验感想 实验目的 原始Pintos系统对线程的调度采用最简单的FCFS策略，在本实验中，需要为Pintos建立抢占式优先级调度机制，确保任何时刻CPU上运行的都是最高优先级线程。通过对本实验的完成，掌握优先级机制的原理，加深对各等待队列的了解 实验过程 Test分析 先通过阅读test代码，把握线程的整体结构，然后再做函数修改实现实验目的 priority-preempt分析 这个test是为了测试，最高优先级的线程是否真的抢占 首先看看test_priority_preempt()函数 第一个ASSERT出现thread_mlfqs，在thread.h中找到定义 thread_mlfqs表示调度制度，true则采用多级反馈调度程序，false则采用循环调度程序，那么可以得到这个ASSRT是确保采用的是多级反馈队列调度。那么多级反馈队列调度是什么呢？ 在我们所学的调度算法中，多级反馈队列调度算法允许进程在队列直接移动。是根据不同的CPU区间的特点来区分进程。第一，如果进程使用过多的CPU时间，那么它就会被转移到更低优先级队列；第二，在较低优先级队列中等待时间过程的进程会被转移到更高优先级队列中去。总之，多级反馈队列调度阻止了饥饿的发生，也提高了CPU的利用率。 再来看第二个ASSERT，保证当前线程优先级不是默认优先级PRI_DEFAULT，即最高优先级 接着用thread_create()函数创建一个新线程，其优先级为PRI_DEFAULT+1，即保证新创建的线程是当前ready_list中优先级最高的线程，应当发生抢占，故而开始执行该线程的内置函数simple_thread_func()（在该test中实现） 可以看出，test的输出顺序应该是，先输出thread 0~4线程的msg信息，循环后再输出‘Thread high-priority done！’，随后该抢占的线程运行完毕，再回到test_priority_preempt()中，输出最后一条msg(‘The high-priority thread should have already completed.’) 可是输出结果中并没有发生抢占，这就说明我们在thread_create()中就应该判断新创建线程的优先级是否高于当前CPU运行线程，进而判断是否进行抢占 priority-change分析 这个test是为了验证当降低当前拥有最高优先级线程的优先级时，CPU是否会被立即抢占 首先来看看test_priority_change()函数的实现 首先和priority-preempt.c中一样，ASSRT来确保系统采用的是多级反馈队列调度。其次创建了一个新线程，其优先级设置为PRI_DEFAULT+1（即当前有最高优先级的线程），故而应该发生抢占，开始执行changing_thread()函数 而changing_thread()中又降低了该线程的优先级变为PRI_DEFAULT-1，故而该线程的优先级小于父线程的优先级(PRI_DEFAULT)，故而又被抢占，CPU开始继续执行test_priority_change()函数剩余的部分 而父线程的优先级又被降低PRI_DEFAULT-2，故而子线程又发生抢占，再继续执行changi