OS一道题目

【2016统考真题】使用TSL（Test and Set Lock）指令实现进程互斥的伪代码如下所示：

 do{
 ……
  while(TSL(&lock)) ;
  critical section;
  lock=FALSE;
 ……
 } while(TRUE);

下列与该实现机制相关的叙述中，正确的是 B

A.退出临界区的进程负责唤醒阻塞态进程

B.等待进入临界区的进程不会主动放弃CPU

C.上述伪代码满足“让权等待”的同步准则

D.while(TSL(&lock))语句应在关中断状态下执行

对A选项，应是唤醒就绪态进程，而不是阻塞态进程。

解析：

TSL是互斥的硬件实现机制，同时是一种互斥锁（自旋锁），它在无法访问临界资源时会忙等（进入区中的while循环就是在忙等），既然忙等，它放弃处理机只能是被动放弃的，比如时间片用完被调度走，这时它进入了就绪态。故被唤醒时它处于就绪态。

如果使用信号量机制（记录型信号量），那么可以实现让权等待。进入区中，进程无法访问临界资源就会调用block()自我阻塞，并将自己加入到对应信号量的等待队列中。当另一个进程完成对临界区资源的访问后，会在退出区调用wakeup()来唤醒处于等待队列中的进程，此时它唤醒的是阻塞态的进程。