进程同步方法，是P（信号量）真的原子？

Question

请向我说明一下：P（sem）是特定信号量的等待操作。

说，进程A调用此过程：

P(sem){
  value[sem]--;
  if (value[sem] < 0){
    add Process A to sem list;
    block();
  }
}

现在，它是原子的吗？因为它阻止进程A并在过程调用中进行上下文切换，并且知道控件仍在进程A中。