操作系统之进程互斥与同步和线程

进程的互斥与同步

进程间需要相互合作完成某项任务叫做进程同步,进程间通信是直接制约因素.
进程间竞争同一共享资源,产生相应的制约关系.当分配到时独占分配到的,或全部共享的资源.
临界资源：一段时间内只允许一个进程访问的资源
如：打印机、磁带机等
临界区：每个进程中访问临界资源的代码段
各进程互斥地进入临界区，可实现互斥访问临界资源

同步机制的规则:
空闲让进：当无进程处于临界区时，允许一个请求进入临界区的进程立即进入自己的临界区
忙则等待：当已有进程进入自己的临界区时，所有其它试图进入临界区的进程必须等待.
有限等待：对要求访问临界资源的进程，应保证该进程能在有效时间内进入自己的临界区，以免进入“死等”状态
让权等待：当进程不能进入自己的临界区时，应释放CPU，以免进程陷入“忙等”
实现同步机制的基本方法有软件方法,硬件方法和信号量方法.
- 硬件方法:
通过管理CPU的中断实现.我们知道,进程间切换是通过CPU中断实现的,当进程访问临界区资源的时候,关闭cpu中断,即可.
-软件方法:
有两个进程Pi, Pj竞争使用临界资源
单标志法:设立一个公用整型变量 turn，用于描述允许进入临界区的进程标识
缺点：强制轮流进入临界区，没有考虑进程的实际需要。容易造成资源利用不充分：在Pi出让临界区之后，Pj使用临界区之前，Pi不可能再次使用临界区
While(turn == i)
critical section
turn = j;
remainder section
双标志法：设立一个标志数组flag[2]，用于描述进程是否在临界区，初值均为FALSE
先检查、后修改：可能导致Pi和Pj同时进入临界区
先修改、后检查：可能导致Pi和Pj都进入不了临界区
while(flag[ j ]== FALSE) flag[ i ] = TRUE;
flag[ i ] = TRUE; while(flag[ j ] == FALSE)
critical section critical section
flag[ i ]= FALSE; flag[ i ]= FALSE;
remainder section remainder section
OS提供 信号量实现:
- 信号量是用来表示某一资源的剩余数量或是某一资源申请的资源数量.
- 信号量是被保护的变量只能通过初始化和wait()singal()原语操作,作为OS核心代码执行.
-wait() 进程申请使用临界资源的操作,类似于进入临界区的操作.
- singal操作,进程归还临界资源的操作,类似于离开临界区的操作.
信号量类型
- 整型:S为初值为非负的整型变量,通常描述可用资源,通常描述资源的状态或可用资源的数量.
- 记录型 :(S,Q)Q初始状态为空的队列.
- AND型 :一次需要多个共享资源
- 信号量集合型:一次需要N个多类资源
整型:
int s
wait(s)
{
while s<= 0 do no-op
s–
}
signal(s)
记录