2. 考研
  3. 假设有一个进程拥有两个线程(编号为0和1)需要去访问同一个共享资源，为了避免竞争状态的问题，必须实现一种互斥机制，使得在任何时候只能有一个线程在访问这个资源。假设有如下的一段代码： int flag[2]；／*flag数组，初始化为FALSE*／

假设有一个进程拥有两个线程(编号为0和1)需要去访问同一个共享资源，为了避免竞争状态的问题，必须实现一种互斥机制，使得在任何时候只能有一个线程在访问这个资源。假设有如下的一段代码： int flag[2]；／*flag数组，初始化为FALSE*／

admin2014-04-17  141
问题 假设有一个进程拥有两个线程(编号为0和1)需要去访问同一个共享资源，为了避免竞争状态的问题，必须实现一种互斥机制，使得在任何时候只能有一个线程在访问这个资源。假设有如下的一段代码：
    int 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_Seetion(int my_thread_id)，int other_thread_id)
    {
    flag[my_thread_id]=FALSE；
    }
    当一个线程想要访问临界资源时，就调用上述的这两个函数。例如，线程0的代码可能是这样的：
    Enter_Critical_Section(0，1)；
    ……使用这个资源……
    Exit_Critical_Section(0，1)，
    ……做其他的事情……
    试问：
如果把Enter Critical Section()函数中的两条语句互换一下位置，结果会如何?
选项
答案可能会出现死锁。 考虑如下的情形： 1)初始化的时候，flag数组的两个元素值均为FALSE。 2)线程0先执行，flag[0]=TRUE，假设这个时候来了一个时钟中断，则打断它的运行。 3)线程1去执行，flag[1]=TRUE，在执行while循环语句的时候，由于flag[0]=TRUE，所以在这个地方被卡住了，直到时间片用完。 4)线程0再执行的时候，由于flag[1]=TRUE，它也在while循环语句的地方被卡住了，这样这两个线程都无法执行下去，从而发生死锁。 本题出现死锁的原因是两个线程都可以直接进入Enter Criticall Section()函数，并立即对flag[]进行修改，使flag[0]和flag[1]的值都为TRUE；又因为无法保证Enter CriticaL Section()函数执行的原子性，导致了两个进程在停止while()语句的条件判断上发生死锁。
解析
转载请注明原文地址:https://www.kaotiyun.com/show/fixi777K
本试题收录于： 计算机408题库学硕统考专业分类
0

计算机408

学硕统考专业

相关试题推荐
随机试题
最新回复(0)