Этот кусок кода взят из источника Pintos:https://www.cs.usfca.edu/~benson/cs326/pintos/pintos/src/threads/synch.c

void
sema_down (struct semaphore *sema) 
{
  enum intr_level old_level;

  ASSERT (sema != NULL);
  ASSERT (!intr_context ());

  old_level = intr_disable ();
  while (sema->value == 0) 
    {
      list_push_back (&sema->waiters, &thread_current ()->elem);
      thread_block ();
    }
  sema->value--;
  intr_set_level (old_level);
}

Факт взятия семафораsema->value--;, Если это работает, это должна быть атомарная операция. Как мы можем знать, что это атомная операция на самом деле? Я знаю, что современный процессор гарантирует, что выровненная операция памяти (для слова / двойного слова / четверного слова - это зависит от) является атомарной. Но здесь я не уверен, почему это атомно.