操作系统原理学习（第六周）_进程同步

6-1进程同步背景

1.生产者消费者问题

采用共享内存解决生产中消费者问题时，N个缓冲区最多只能用N-1个，如何解决？

 

2.共享数据的一致性

①对共享数据的并发访问可能导致数据的不一致性

②要保持数据的一致性，需要一种保证并发进程的正确执行顺序的机制。

③竞争条件 race condition

若干并发的进程（线程）都可以访问和操纵同一共享数据，从而执行结果取决于并发进程对这个数据的访问次序。为保证数据的一致性，需有同步机制来保证多个进程对共享数据的互斥访问。

 

3.进程间的制约

①进程类型：协作进程，彼此影响；独立进程，互斥。

②进程间资源的访问冲突：共享变量的修改冲突；操作顺序冲突。

③进程间的制约关系：

间接制约：资源互斥，进程竞争，进程的互斥

直接制约：进行协作，进程的同步

 

4.进程间的交互关系

互斥：多个进程不能同时使用同一个资源

同步：进程之间协作

死锁：多个进程互不相让，都得不到足够资源

 

6-2 临界区

1.临界区的访问过程

①对于临界资源，多个进程必须互斥对它的进行访问。

②临界区（critical section）：进程中访问临界资源的一段代码。

③实现进程对临界资源的互斥访问——各进程互斥地进入自己的临界区。

④假定一个系统中有n个进程（P0，P1，……，Pn）每个进程。

⑤当一个进程在临界区中执行时，其他进程都不能进入临界区。

 

2.进入区和退出区

①临界区的执行在时间上互斥，进程必须请求允许进入临界区。

②进入区（entry section）：在进入临界区之前，检查可否进入临界区的一段代码。如果可进入，通常设置相应“正在访问临界区”标志。

③退出区（exit section）：用于将“正在访问临界区”标志清除的一段代码。

④剩余区（remainder section）：代码中的其余部分。