1. 进程的互斥、同步
进程具有异步性的特征,异步是指,各并发执行的进程以各自独立的、不可预知的速度向前进。
-
什么是进程同步
同步亦称直接制约关系,多个进程因为需要在某些位置上协调它们的工作次序而产生的制约关系。
-
什么是进程互斥
一个时间段内只允许一个进程使用的资源称为临界资源。对临界资源的访问,必须互斥的进行。互斥亦称间接制约关系。进程互斥指一个进程访问某临界资源时,另一个想要访问该临界资源的进程必须等待。
2. 进程互斥的软件实现方法
-
单标志法
- 算法思想:两个进程在访问完临界区后会把权限转交给另一个进程。也就是说每个进程进入临界区的权限只能被另一个进程赋予。
- 只能轮流访问,带来的问题是如果前一个进程一直不访问,那么下一个进程不会访问。违背”空闲让进“原则。
- 算法思想:两个进程在访问完临界区后会把权限转交给另一个进程。也就是说每个进程进入临界区的权限只能被另一个进程赋予。
-
双标志先检查法
- 算法思想:设置一个布尔型数组flag[],数组中各个元素用来标记各进程想进入临界区的意愿,比如”flag[0]=true"意味着0号进程P0现在想要进入临界区。每个进程在进入临界区之前先检查当前有没有别的进程想进入临界区,如果没有,则把自身对应的标志flag[i]设为true,之后开始访问临界区。
- 有可能存在同时访问临界区的情况,违背“忙则等待”原则。
- 算法思想:设置一个布尔型数组flag[],数组中各个元素用来标记各进程想进入临界区的意愿,比如”flag[0]=true"意味着0号进程P0现在想要进入临界区。每个进程在进入临界区之前先检查当前有没有别的进程想进入临界区,如果没有,则把自身对应的标志flag[i]设为true,之后开始访问临界区。
-
双标志后检查法
- 算法思想:基于上面,先上锁后检查。
- 又违背了”空闲让进“和”有限等待“原则。
-
Peterson算法
- 算法思想:结合双标志法、单标志法的思想。如果双发都争着想进入临界区,那可以礼让。
- 还是违背了“让权等待”的原则。
- 算法思想:结合双标志法、单标志法的思想。如果双发都争着想进入临界区,那可以礼让。