思维导图
1.概念
进程同步实际上是进程并发执行,即共享系统的资源。
操作系统对共享过程进行控制和管理。
同步机制(信号量机制):保证在多任务共享系统资源的情况下,程序执行能得到正确的结果。
2.多道程序环境下进程之间的关系
3.临界区
必须以互斥方式访问的共享资源称为临界资源;进程中访问临界资源的那段代码称为临界区
4.同步机制应遵守的规则
5.信号量机制
1)整型信号量机制
整型信号量是表示共享资源状态且只能只能由特殊的原子操作改变的整型量。原子操作:wait和signal。
原理:定义一个整型变量,用该变量的值来标记资源的使用情况,初始值为1。
整型信号量 >=0 有资源可用;整型信号量 <=0 资源忙,需等待。
用整型信号量实现进程互斥,例题:
用整型信号量实现进程协调,例题:
2)记录型信号量机制
原理:定义一个记录型变量,用该变量的值来标记资源的使用情况
记录型信号量的数据类型
代码块:
实现进程互斥例题:
实现进程协调例题:
3)AND型信号量机制
原理:将进程在整个运行过程中所需要的所有资源一次性地全部分配给进程,使用完毕一起释放。
原理例图: