【答案解析】假定信号量S=1，且进程P1和P2并发地执行P(S)，那么，下面的执行序列就违反了互斥性：
· TO：P1判定S之值等于1；
· T1：P2判写S之值等于1；
· T2：P1将S减1并进入临界段；
· T3：P2将S减1并进入临界段