(注意:仅作个人学习使用,部分内容非官方解释)
1.进程同步和进程互斥
进程同步 :协调工作次序而产生的制约关系。亦称直接制约关系
进程互斥:对临界资源访问需要互斥访问
实现互斥访问需要遵循的原则:
-
空闲让进
-
忙则等待
-
有限等待
-
让权等待
2.进程互斥的软件实现方法
1)单标志法
思想:两个进程在访问完临界区后会把使用临界区的权限转交给另一个进程
2)双标志先检查法
思想:设置一个布尔型数组,标记各个元素想进入临界区的意愿。
先检查后上锁,违背忙则等待
3)双标志后检查法
思想: 先上锁后检查
违背空闲让进和有限等待
4)Peterson算法
思想:在双标志后检查法中,如果双方都想进入临界区,则让进程主动让对方先使用临界区。
未遵循让权等待原则
3.进程互斥的硬件实现方法
1)中断屏蔽方法
在某进程开始访问临界区到结束访问为止都不允许被中断。