os_project_part4 操作系统实验.pptVIP

操作系统实验 Lab5 实验目标： 通过 priroty-condvar 和所有 mlfqs-*的测试 注意事项： 1、需要在实验代码上详细注释； 2、每次实验分数比重不一样，注意实验报告的质量； 实验背景 priroty-condvar： 条件变量(condition variable)是利用线程间共享的全局变量进行同步的一种机制，主要包括两个动作： 一个线程等待某个条件为真，而将自己挂起； 另一个线程使的条件成立，并通知等待的线程继续。为了防止竞争，条件变量的使用总是和一个互斥锁结合在一起。 在互斥锁的保护下进行。如果一个条件为假，该线程自动阻塞，并释放等待状态改变的互斥锁。如果另一个线程改变了条件，它发信号给关联的条件变量，唤醒一个或多个等待它的线程，重新获得互斥锁，重新评价条件。如果两进程共享可读写的内存，条件变量可以被用来实现这两进程间的线程同步。。 实验背景 priroty-condvar： 在条件变量上有两种基本操作： 等待（wait）：一个线程因为等待断言(assertion) P 为真而处于等待在条件变量上，此时线程不会占用互斥量(monitor); 通知（signal/notify）：另一个线程在使得断言(assertion) P 为真的时候，通知条件变量。其他线程访问一个互斥区域内的资源，如果获取资源的条件不够时，则线程需要等待，直到某个线程释放资源后，唤醒等待条件，线程才得以继续。 测试分析 分析priority-condvar： 展示部分，位于/test/threads/priority-condvar.c 一句话总结： 条件变量等待操作会阻塞，阻塞的同时会先释放用于互斥条件的锁。通知操作需要当前线程持有锁在发出通知信号，以确保不受中断影响，发出信号后系统将唤醒等待该条件信号的优先级最高的线程 实验指导 条件变量： 信号量 - 上节实验课添加的变量 条件变量 实验指导 条件变量： 测试目的：当一个条件变量为 true 时，系统总能唤醒条件变量的waiters 队列中 优先级最大的线程。与该测试相关的两个函数为cond_wait与cond_signal。 实验背景 Mlfqs-* 多级反馈队列： 普通线程的调度策略是基于时间片轮转的优先级调度，总体来说，实现简单方便，严格按优先级运行。这种调度策略有一定的优点，不过，在某些情况下，这种策略存在一定弊端。这种调度策略极易造成线程的饥饿，当有高优先级且所需运行时间片较长线程被创建，其余线程只有在它运行完之后才能重新获得 CPU， 没有考虑到系统吞吐量，无法减少线程的平均等待时间。 多级反馈队列能够线程运行情况来动态地考虑修改线程的优先级，对线程队列进行组织并调度。 务必打开该链接：/home/amislove/teaching/cs5600/fall10/pintos/pintos_7.html 实验背景 Mlfqs-* 多级反馈队列： 要求我们实现一个多级反馈调度队列，根据 nice 值和最近使用 CPU 的时间来不断更新线程的优先级。 根据优先级个数声明 64 个队列，从最高优先级队列找起，然后再根据先进先出的原则，分给时间片进行运转。（三种调度方法哟） 实验指导 Mlfqs-* 多级反馈队列： 出现的几个变量在这里解析一下 nice：该线程对于其它线程的友好程度。也就是是否愿意通过设置较高的 nice 值降低自己优先级来使其它线程运行更多的时间片。它是一个整型，与之相关的函数有 int thread_get_nice (void) void thread_set_nice (int new_nice) void renew_priority(struct thread*t) 实验指导 Mlfqs-* 多级反馈队列： 出现的几个变量在这里解析一下 recent_cpu：它是 thread 结构体的一个成员变量，用于记录近期占用 CPU 情况，近期占用 CPU 较多则应该在计算优先级时考虑降低该线程的优先级。 int thread_get_recent_cpu (void) void renew_recent_cpu(struct thread *t) 实验指导 Mlfqs-* 多级反馈队列： 出现的几个变量在这里解析一下 load_avg ：是一个静态全局变量，用于记录系统平均负载，估计过去一分钟系统平均就绪线程数。和 recent_cpu 都是一个定点型实数 int thread_get_load_avg (void) void renew_load_avg(void) void renew_recent_cpu(struct thread *t) 实验指导