第六章 进程间互斥、同步和通信.pptVIP

第六章 进程间互斥、同步与通信 授课教师：付勇智 fuyongzhi@swfc.edu.cn 西南林学院 基础部数理教研室 问题纲要 间接制约和直接制约是什么？ 什么是临界区？ 什么是信号量？ 什么是同步、互斥？ 如何应用信号量实现同步和互斥？ 信号量在Windows编程中是如何实现的？ 进程并发运行所带来的问题 由于系统资源的共享性，并发进程的执行结果失去了封闭性和可再现性。 满足Bernstein条件的并发进程能够保持封闭性，但是Bernstein条件限制太过严格，不符合大多数实际环境的需要。 因而，OS需要寻求一种机制，满足进程间共享资源的需要。 进程间通信IPC 在两个或多个进程间传递信息或共享数据的机制，称之为进程间通信（Inter-Process Communication） UNIX操作系统中的管道技术（Pipe）就是一种IPC 在IPC的过程中，主要要解决两类问题：互斥和同步 互斥的需要 临界区（Critical Section) 临界资源：一次仅允许一个进程使用的资源称为临界资源。 临界区：进程中对于临界资源访问的程序段称为临界区。 间接制约：由于共享某一公有资源而引起的在临界区内不允许并发进程交叉执行的现象，称为由共享公有资源造成的并发进程执行速度的间接制约，简称间接制约。 互斥（Mutual Exclusion） 互斥：一组并发进程中的一个或多个程序段，因