参考笔记=王道操作系统
王道计算机考研操作系统_B站
南京大学2022操作系统-蒋炎岩
具体详细的内存请看附带的课件PPT以及王道的教材，这里只是列出了个人认为的重点知识内容。
教材《操作系统原理、实现与实践》李治军等著
教材《操作系统导论》雷姆兹等著

1 进程通信和进程调度

FCFS 先来先服务
SJF 短作业优先
HRRN 高响应比优先算法
RR 时间片轮转
优先级算法
多级反馈队列算法

2 进程同步、进程互斥的概念

3 进程互斥的软件算法

单标志法
双标志先检查法
双标志后检查法
Peterson算法

4 进程互斥的硬件实现方式

中断关闭方式
TestAndSet指令-原子操作函数，是由操作系统决定的，硬件实现的原语。
Swap指令，原子操作函数，是由操作系统决定的，硬件实现的原语。

5 信号量机制

5.1 整数型信号量pv操作

以上其实有点问题，但不影响理解，wait和signal是原子操作。
pv操作又称wait,signal原语。主要是操作进程中对进程控制的信息量的加减控制。
wait用法： wait(num),num是目标参数，wait的作用是使其（信息量）减一。如果信息量>=0，则该进程继续执行；否则该进程置为等待状态，排入等待队列。而不是像上面图片里面的while循环，已经是原子了，没有新建的循环；即该原子操作内部会有while，不用另写。该图只是为了方便理解。
signal用法： signal(num),num是目标参数，signal的作用是使其（信息量）加一。如果信息量>0，则该进程继续执行；否则释放队列中第一个等待信号量的进程。
例题：桌子上有一只盘子，盘子中只能放一只水果。爸爸专向盘子中放苹果，妈妈专向盘子中放橘子，一个儿子专等吃盘子中的橘子，一个女儿专等吃盘子中的苹果。用PV操作实现他们之间的同步机制。
分析设计四个信号量mutex,empty、apple、orange；

mutex表示：爸爸、妈妈、儿子和女儿进程对盘子的互斥使用；

empty表示：盘子是否为空；

apple表示：是否可以取苹果；

orange表示：是否可以取桔子。

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42


semaphore empty=1,mutex=1,apple=0,orange=0;  //为四个信号量赋初值
void father(){
     do{
           wait(empty);    //等待盘子为空
           wait(mutex);    //等待获取对盘子的操作
            爸爸向盘中放一个苹果;
           signal(mutex);   //释放对盘子的操作
           signal(apple);   //通知女儿可以来盘子中取苹果
    }while(TRUE);
}
void mather(){               //与父亲进程雷同
     do{
           wait(empty);
           wait(mutex);
            妈妈向盘中放一个桔子;
           signal(mutex);
           signal(orange);
    }while(TRUE);
}
void son(){                        
     do{
           wait(orange);       //判断盘子中是否有桔子
           wait(mutex);        //等待获取对盘子的操作
            儿子取出盘中的桔子;
           signal(mutex);      //释放对盘子的操作
           signal(empty);      //盘子空了，可以继续放水果了
    }while(TRUE);
}
void daugther(){               //与儿子进程雷同
     do{
           wait(apple);
           wait(mutex);
            女儿取出盘中的苹果;
           signal(mutex);
           signal(empty);
    }while(TRUE);
}
void main() {               //四个并发进程的同步执行
	cobegin
	   father();mather();son();daugther();
	coend
}