操作系统课件第05章进程同步.pptxVIP

操作系统课件第05章进程同步

contents目录进程同步基本概念信号量与PV操作管程与条件变量消息传递机制死锁问题及其解决方法进程同步在操作系统中应用

01进程同步基本概念

0102进程同步定义进程同步的目的是避免进程之间的冲突和死锁，确保它们按照预定的顺序和规则进行。进程同步是指多个进程中发生的事件存在某种时序关系，必须协同动作，相互配合，以共同完成任务。

进程间存在两种基本关系：竞争关系和协作关系。竞争关系：多个进程竞争同一资源，如CPU、内存等。协作关系：多个进程共同完成一项任务，需要相互合作、协调。进程间关系

一次仅允许一个进程使用的资源称为临界资源。临界资源每个进程中访问临界资源的那段代码称为临界区。临界区临界资源与临界区

02信号量与PV操作

信号量定义信号量是一个整型变量，用于表示资源的数量或状态。在多进程环境中，信号量作为进程间同步和通信的手段，可以有效地解决进程间的竞争条件和协作问题。互斥确保同一时刻只有一个进程可以访问共享资源。资源计数跟踪可用资源的数量。同步确保多个进程按照预定的顺序执行。信号量定义及作用

P操作（Proberen，尝试）当进程请求资源时执行P操作，表示资源减少。如果资源不足，则进程等待。V操作（Verhogen，增加）当进程释放资源时执行V操作，表示资源增加。如果有等待资源的进程，则唤醒其中一个。PV操作原理及实现

PV操作必须是原子操作，即在执行过程中不可被中断。原子性信号量数据结构操作系统支持通常包括一个整数值和一个队列，用于记录等待资源的进程。操作系统提供原语或系统调用来实现PV操作。030201PV操作原理及实现

一组生产者和消费者共享一个缓冲区，生产者向缓冲区添加数据，消费者从缓冲区取走数据。确保生产者和消费者不会同时操作缓冲区，且当缓冲区满时生产者等待，当缓冲区空时消费者等待。经典同步问题解析同步需求描述

五个哲学家围坐在圆桌旁思考和进餐，只有一支筷子位于两个哲学家之间。一个哲学家必须同时拿起左右两边的筷子才能进餐。描述确保不会出现死锁（所有哲学家都拿起左边的筷子等待右边的筷子）和饥饿（某个哲学家长时间得不到进餐的机会）。同步需求经典同步问题解析

描述多个进程共享一个数据文件，分为读者和写者两类。读者只读取数据，写者可以修改数据。同步需求允许多个读者同时读取数据，但只允许一个写者修改数据，且写者在修改数据时不能有读者读取数据。经典同步问题解析

03管程与条件变量

管程定义管程是一种特殊的软件模块，它为并发程序提供同步操作。管程封装了数据以及对该数据的操作，通过提供一组公共的过程（函数）供外部调用，实现进程间的同步与互斥。实现进程间的同步通过管程提供的同步机制，可以协调多个进程的执行顺序，确保它们按照预期的顺序进行。实现进程间的互斥管程通过控制对共享资源的访问，确保同一时刻只有一个进程能够访问共享资源，从而避免数据竞争和不一致性问题。管程概念及作用

条件变量是一种同步机制，用于在多个进程之间传递信号。当某个条件满足时，一个进程可以等待（阻塞）在某个条件变量上，直到另一个进程改变该条件并发出信号，唤醒等待的进程。条件变量原理在创建条件变量时，需要对其进行初始化，指定初始状态和等待队列等参数。初始化条件变量当某个进程需要等待某个条件成立时，可以调用等待函数，将自身加入到条件变量的等待队列中，并阻塞等待。等待条件变量当另一个进程改变了条件变量的状态并满足等待进程的条件时，可以调用唤醒函数，将等待队列中的进程唤醒并继续执行。唤醒等待进程条件变量原理及实现

生产者消费者问题生产者消费者问题是一种常见的并发问题，其中生产者和消费者共享一个缓冲区进行数据的生产和消费。通过使用管程和条件变量，可以实现生产者和消费者之间的同步和互斥，确保数据的正确生产和消费。读写者问题读写者问题是一种常见的并发问题，其中多个读者和写者共享一个数据文件进行读写操作。通过使用管程和条件变量，可以实现读者和写者之间的同步和互斥，确保数据的正确读写和避免数据竞争。哲学家进餐问题哲学家进餐问题是一种常见的并发问题，其中五个哲学家围坐在一张圆桌旁进行思考和进餐。通过使用管程和条件变量，可以实现哲学家之间的同步和互斥，确保每个哲学家都能够正确地思考和进餐，并避免死锁问题的发生。管程应用举例

04消息传递机制

消息传递方式分类直接通信方式发送进程直接把消息发送给接收进程，并将它挂在接收进程的消息缓冲队列上，接收进程在处理机空闲时，从消息缓冲队列中取出消息进行处理。间接通信方式发送进程把消息发送到某个中间实体中，接收进程从中间实体中取得消息。这种中间实体一般称为信箱或消息队列。

原理发送进程利用OS所提供的发送命令（原语），直接把消息（包括：消息类型、发送时间、接收进程ID、具体信息）发送到目标进程的消息队列上；接收进程再利用