首页 > 系统服务 > 详细

进程对临界资源的互斥访问

时间:2015-11-22 23:16:53      阅读:572      评论:0      收藏:0      [点我收藏+]

临界资源与临界区

临界资源(critical resource):一次只能供一个进程使用的资源。   如:硬件有打印机等,软件有变量,磁盘文件(写入的时候)。

临界区(critical section):把进程中访问临界资源的那段代码成为临界区。

为了实现临界资源的互斥访问,只要做到进程互斥地进去自己的临界区,便可以实现进程对临界资源的互斥访问。

同步机制

为实现各进程互质地访问自己的临界区,操作系统需要同步机制来协调各进程的运行。

1、同步机制的规则

  (1)空闲让进:当无进程处于临界区,表明临界资源处于空闲状态,允许请求进去临界区的进程进去临界区

  (2)忙则等待:当有进程处于临界区,表明临界资源正在访问,其他请求进入临界区的进程必须等待。

  (3)有限等待:应使在等待的进程在有限的事件内进入自己的临界区,避免"死等"状态

  (4)让权等待:当进程不能进入自己的临界区,应立即释放处理机,以避免进入"忙等"状态

2、硬件同步机制

 为临界资源设置一把锁,当临界资源无进程使用时,锁是打开的,当临界资源正在被进程使用时,则锁是关闭的。

锁可能是一个布尔变量lock,初始时,lock = FALSE,那么每次访问临界资源时,都要进程锁测试。

bool lock = false;
    if(!lock)
    {
        lock = true;
        access critical section;//访问临界区资源
    }

但是在多任务的处理机中,可能会发生错误。假设有2个进程都要访问同一临界资源,进程a通过了锁测试,但是未将lock设为true时,发生了进程调度,进程b开始执行锁测试,同样通过了锁测试,从而使得两个进程访问同一个临界资源。

  (1)关中断:在进入锁测试之前关闭中断,直到完成锁测试并且上锁之后才打开中断。

  (2)利用Test-and-set指令:这是一条硬件指令,且该指令是原子操作(atomic operataion),原子操作指的是该执行过程要么不做,那么全做,即像原子一样不可分割。下面的TS就是一个原子操作,所以不会发生上面所说的问题。

bool TS(bool *lock)//lock 为临界资源的锁
{
    bool old ;
    old = lock;
    lock = true;//如果锁为true,那么这句不影响锁,如果锁为false,那么正好上锁
    return old;
}
while(TS(&lock));//循环测试直到TS(&lock) 为false
access critical section;
lock = false;

  (3)利用Swap指令:该指令也是硬件指令,且是原子操作。可以看出下面的代码其实思想是和上面的代码思想是一样的。只不过实现方式不同而已。

void swap(bool *a, bool *b)
{
    //如果a==true,那么swap语句不影响锁,如果a==false,那么正好上锁
    bool tmp
    tmp = *a;
    *a = *b;
    *b = tmp;
}
bool key = true;
do{
    swap(&lock,&key);
}while(key!=false)

 

3、信号量机制

进程对临界资源的互斥访问

原文:http://www.cnblogs.com/beMaster/p/4986825.html

(0)
(0)
   
举报
评论 一句话评论(0
关于我们 - 联系我们 - 留言反馈 - 联系我们:wmxa8@hotmail.com
© 2014 bubuko.com 版权所有
打开技术之扣,分享程序人生!