操作系统课程设计——pintos源码的分析与修改



Task one

今天来谈第一个project 的第二个问题--优先级调度问题。

一、内容介绍

现代操作系统，并发是基本特征。当有多个线程在系统中运行时，一般是通过排队的方式采用RR（时间片轮转法）策略轮流占用CPU的，其中最简单，看似最公平的调度策略是FCFS，但是这种方法不能够区分线程执行的轻重缓急，看似公平实则不公平，容易造成系统性能低下。因此，操作系统设计者通常会赋予线程优先级，并采用高优先级者先调用的策略，兼顾公平与效率。在原始的Pintos系统中关于优先级调度没有考虑优先级问题，本实现的内容是为pintos建立优先级调度机制，并确保在任何时刻在CPU上运行的都是最高优先级线程。

二、分析与设计

首先回顾一下线程的状态转换，线程的常见状态分为以下三种running,ready,block.在之前的操作系统课程中，我们已经学过基本的状态转换，如下。

CPU的调度是指从ready中选择线程占有CPU,状态转换是ready->run,原则是高优先级的线程先于低优先级的线程调度，所以当出现最高优先级的线程可以抢占CPU。这个修改核心思想分为两个方面，一是.当新优先级的线程线程出现时，要与原有的最高优先级线程进行比较，判断是否进行CPU抢占，二是进行结果的处理，对于高优先级线程，占有CPU，对于低优先级线程要有序插入ready_list中。

A.在判断抢占CPU时，于是出现两种可能的情况：

 (1)有新线程生成，线程的最后状态是ready,此时系统中的最高优先级线程是正在运行的线程，因此需要新线程与runnning线程进行优先级比较。新线程的优先级的高于当前正在运行的线程，则新的线程应该迫使当前的线程让出CPU，在thread_yield()中会进行重新的线程调度，由于此时新线程优先级最高，则必定调度新线程，即出现新线程抢占CPU的现象。

(2)当前正在运行的线程优先级改变，尤其指优先级降低时，此时系统中的最高优先级线程是ready_list的队头线程，（注意ready_list此处为有序队列），若低于ready_list对列中的最高优先级，则出现新线程让出CPU的线程。

    分析如下图示：

B.在进行结果处理时，出现了两种可能情况。

 (1)对于抢占上CPU的线程，那么自然就是在CPU上运行了，其状态是running.我们不需要进行特殊改变。

 (2) 对于没有抢占上CPU的线程，自然要放在ready_list中了。上文已经提到过，我们在进行放入时要进行有序放入ready_list中，源码中采用的是list_push_back(),此函数只是简单的将线程放入队首，不能满足我们的要求。为了进行有序排放，我们可以选用list_insert_order()函数，通过比较优先级，将线程插入到ready_list中的合适位置。

实现如下图示功能：

三、详细实现

Pintos系统中函数调用关系如下：

具体实现分以下几种情况讨论：

关于所用到的各种函数调用关系

1.有新生线程生成

thre