使用TSL(Test and Set Lock)指令实现进程互斥的伪代码如下所示。 do { …… while(TSL(&lock)); critical section; lock=FALSE; …… } while(TRUE); 下列与该实现机制相关的叙述中, 正确的是( )。