双标志先检查法

山顶夕景

于 2020-08-01 18:15:48 发布

阅读量2.2k

点赞数 2

分类专栏：操作系统

本文链接：https://blog.csdn.net/qq_35812205/article/details/107733699

版权

操作系统专栏收录该内容

18 篇文章 111 订阅 ¥9.90 ¥99.00

订阅专栏

超级会员免费看

本文讨论了双标志先检查法作为临界区互斥的一种软件实现方式，分析了为何该方法无法确保资源互斥访问，并通过一个例子解释了原因在于Enter_Critical_Section()函数执行的非原子性。此外，还探讨了将函数中两条语句互换位置后可能导致的死锁问题。

摘要由CSDN通过智能技术生成

【知识回顾】

临界区互斥（软件方法）

基本思想：进程通过while循环判断对方的FLAG是否为true（是true则死循环）；若用完临界区后则修改自己的FLAG。

【典例】假设有2个线程（编号为0和1）需要去访问同一个共享资源，为避免竞争状态的问题，必须实现一种互斥机制，使得在任何时候只能有一个线程访问这个资源，假设有如下一段代码：

Bool flag[2];//flag数组，初始化为FALSE

Enter_Critical_Section(int my_thread_id,int other_thread_id){
    While(flag[other_thread_id]==TRUE);//空循环语句
    Flag[my_thread_id]=TRUE;
}

Exit_Critical_Section(int my_thread_id,int other_thread_id){
    flag[my_thread_id]=FALSE;
}

当