2.3_2 进程互斥的软件实现方法

最新推荐文章于 2024-07-11 21:34:18 发布

AngelaEzioHe

最新推荐文章于 2024-07-11 21:34:18 发布

阅读量843

点赞数 23

分类专栏：操作系统笔记文章标签：操作系统算法

本文链接：https://blog.csdn.net/m0_66839257/article/details/135163906

版权

操作系统笔记专栏收录该内容

40 篇文章 0 订阅

订阅专栏

2.3_2 进程互斥的软件实现方法

单标志法

这块儿代码是基于我看的B站视频改进的，我认为他的代码逻辑不很好理解，所以，可能不是很正确

int turn = 0;	//turn表示当前允许进入临界区的进程号
while(true){
    //P0进程					   	   
    while(turn==0){					
        critical section;				
        turn = 1;						
        remainder section;				
    }
    
    //P1进程
    while(turn==1){
        critical section;
        turn = 0;
        remainder section;
    }
}

注意：上面P0和P1部分的代码是并发执行的

turn的初始值为0，刚开始只允许P0进程进入临界区。

P0进程的时间片结束后，turn变为1，此时只有P1进程可以访问临界区。

该算法可以实现同一时刻最多只允许一个进程访问临界区

主要问题：违背"空闲让进"原则

只能按P0→P1→P0→P1→ …… 这样轮流访问。这种必须“轮流访问”带来的问题是,如果此时允许进入临界区的进程是P0，而P0一直不访问临界区,那么虽然此时临界区空闲,但是并不允许P1访问。

双标志法先检查

算法思想：

设置一个布尔型数组 flag[]，数组中各个元素用来标记各进程是否处于临界区内，比如“flag[0]=ture”意味着0号进程P0现在正在临界区内。每个进程在进入临界区之前先检查当前有没有别的进程处于临界区内。如果没有，则把自身对应的标志flag[i]设为true，之后开始访问临界区。

bool flag[2];
flag[0]=false;
flag[1]=false;

while(true){
    //P0进程
    while(flag[1]!=1){
        flag[0]=true;
        critical section;
        flag[0]=false;
        remainder section;
    }
    
    //P1进程
    while(flag[0]!=1){
        falg[1]=true;
        critical section;
        flag[1]=false;
        remainder section;
    }
}

注意：上面P0和P1部分的代码是并发执行的

主要问题：如果按照7行、15行、8行、16行这样的顺序来执行的话，临界区会被P0和P1同时访问。违反"忙则等待"原则

问题在于，进入区的"检查"和"上锁"两个处理不是一气呵成的，"检查"后"上锁"前有可能发生进程切换。

双标志后检查

算法思想：双标志先检查法的改版。前一个算法的问题是先“检查”后“上锁”，但是这两个操作又无法一气呵成，因此导致了两个进程同时进入临界区的问题。因此，人们又想到先“上锁”后“检查”的方法，来避免上述问题。

bool flag[2];
flag[0]=false;
flag[1]=false;

while(true){
    
    //P0进程
    flag[0]=true;8
    while(flag[1]!=1){9
        critical section;
        flag[0]=false;
        remainder section;
    }
    
    //P1进程
    flag[1]=true;16
    while(flag[0]!=1){17
        critical section;
        flag[1]=false;
        remainder section;
    }
}

注意：上面P0和P1部分的代码是并发执行的

主要问题：如果按照8行、16行、9行、17行这样的顺序来执行，每个进程都发现对面上锁了，都无法访问。

因此，双标志后检查法虽然解决了“忙则等待”的问题，但是又违背了“空闲让进”和“有限等待”原则，会因各进程都长期无法访问临界资源而产生“饥饿”现象。

Peterson算法

算法思想：结合双标志法、单标志法的思想。如果双方都争着想进入临界区,那可以让进程尝试“孔融让梨”(谦让)。做一个有礼貌的进程。

bool flag[2];
int turn = 0;	//表示优先让哪个进程进入临界区

//P0进程
flag[0]=true;
turn=1;
while(flag[1] && turn==1);	//如果为真，则卡在这一步
critical section;
flag[0]=false;
remainder section;

//P1进程
flag[1]=true;
turn=0;
while(flag[0] && turn==0);	//如果为真，则卡在这一步
critical section;
flag[1]=false;
remainder section;