操作系统经典算法总结

1.哲学家进餐问题：

（1）问题描述：有五个哲学家，他们的生活方式是交替地进行思考和进餐。他们共用一张圆桌，分别坐在五张椅子上。在圆桌上有五个碗和五支筷子，平时一个哲学家进行思考，饥饿时便试图取用其左、右最靠近他的筷子，只有在他拿到两支筷子时才能进餐。进餐毕，放下筷子又继续思考。

（2）问题分析：

         筷子是临界资源，在一段时间内只允许一位哲学家使用。

         为每支筷子设置一个信号量，一个哲学家，通过在相应的信号量上执行wait操作，抓起一支筷子，通过执行signal操作放下一支筷子。5个信号量构成数组：

Semaphore chopstick：array[0…4]

         每个信号量表示一个筷子，描述如下：

semaphore chopstick[5] = {1, 1, 1, 1, 1};

        本质：实现进程同步

（3）解决方法总结：

思路一：利用记录型信号量解决

        可把第i位哲学家的进程描述为：

P(i){
    do{
        wait(chopstick[i]);
        wait(chopstick[(i+1)%5]);
        eat;
        signal(chopstick[i]);
        signal(chopstick[(i+1)%5]);
        think;
    }while(TRUE);
}

        这样的方法可以看成：每个人先拿左边的筷子（第i个），再拿右边的筷子（第(i+1)%5个）。

Main( ){//整个问题
    cobegin
    p(0);
    p(1);
    p(2);
    p(3);
    p(4);
    coend
}

当有四个及四个以下哲学家同时拿起了左边筷子的时候，总能保证有一个哲学家能执行拿起右边筷子的动作，另外三个哲学家等待这个哲学家执行了eat后释放信号量，再获得右筷子；而当五个人同时执行了拿起左筷子，这时五个信号量chopstick都变为零，当他们想要执行拿起右筷子的动作时将陷入无限等待。对于这种死锁问题，提供三种解决方案：

方法一：至多只允许有四位哲学家同时去拿左边的筷子，最终能保证至少有一位哲学家能够进餐：

semaphore mutex = 4;
p(i){
    do{
        wait(mutex);
        wait(chopstick[i]);
        wait(chopstick[(i+1)%5]);
        eat;
        signal(chopstick[i]);
        signal(chopstick[(i+1)%5]);
    }while(TRUE);

}

方法二：仅当哲学家的左右筷子均可用时，才拿起筷子进餐：即改为使用and信号量机制（见后文）

方法三：规定奇数号哲学家先拿起左边的筷子，然后再拿右边的筷子；偶数号哲学家先拿起右筷子，再拿起左筷子。即五位哲学家都先竞争奇数筷子，再竞争偶数筷子：

P(i){
    do{
        wait(chopstick[(i+(i+1)%2)%5]);
        wait(chopstick[(i+i%2)%5]);
        eat;
        signal(chopstick[(i+(i+1)%2)%5]);
        signal(chopstick[(i+i%2)%5]);
        think;
    }
}

思路二：利用and信号量机制解决：

do{
    think;
    Swait(chopstick[i],chopstick[(i+1)%5]);
    eat;
    Ssignal(chopstick[i],chopstick[(i+1)%5]);

}while(TRUE);

这种方法就很简洁。

2.处理机调度算法总结：

作业调度：

（1）先来先服务（FCFS）算法 ：first come first served

作业和进程调度都可以用，更利于长作业（使长作业的带权周转时间更短），一般采用非剥夺的调度方式。

（2）短作业（进程）优先调度（SJF/SPF）算法 ：short job/process first

优点：提高了平均周转时间和平均带权周转时间（从 而提高了系统吞吐量）；

缺点：作业运行时间不易确定；对长作业（进程）不利，可能等待超级久；没有考虑作业（进程）的紧急程度；没有人机交互。

（3）优先级调度算法（PSA）：priority scheduling algorithm

根据外部赋予作业相应的优先级进行调度，考虑作业紧迫程度。

（4）高相应比优先调度算法（HRRN）：highest response ratio next

引入动态优先权：优先权 = （等待时间 + 要求服务时间）/ 要求服务时间 = 响应时间 / 要求服务时间 = 相应比(Rp)

优点：第一二种算法的折中，既考虑了等待时间，也考虑了服务时间。缺点：调度前要计算相应比，增加了系统开销。

进程调度：

调度方式：

（1） 非抢占方式：应用于大多数批处理系统

（2） 抢占方式：可遵循的主要原则：

优先权原则：允许优先级高的新进程抢占到当前进程运行的处理机上；

短进程原则：允许短的新进程抢占当前长进程的处理机；

时间片原则：各进程按时间片转轮运行。

3.银行家算法：

原理简述：解决作业调度死锁问题