Семафоры - Почему этот шаблон происходит?

Question

Я изучаю системы реального времени в колледже и использую RTOS ChibiOS с Arduino, чтобы применить то, что я изучал. Пример кода можно найти здесь: исходный код.

// Example of counting semaphore
#include <ChibiOS_AVR.h>

// declare and initialize a semaphore for limiting access
SEMAPHORE_DECL(twoSlots, 2);

// data structures and stack for thread 2
static THD_WORKING_AREA(waTh2, 100);

// data structures and stack for thread 3
static THD_WORKING_AREA(waTh3, 100);
//------------------------------------------------------------------------------
static THD_FUNCTION(thdFcn, name) {
 while (true) {

  // wait for slot
  chSemWait(&twoSlots);

    // only two threads can be in this region at a time
    Serial.println((char*)name);

    chThdSleep(1000);

    // exit region
    chSemSignal(&twoSlots);
  }
}
//------------------------------------------------------------------------------
void setup() {
  Serial.begin(9600);
  // wait for USB Serial
  while (!Serial) {}

  // initialize and start ChibiOS
  chBegin(chSetup);

  // should not return
  while(1);
}
//------------------------------------------------------------------------------
void chSetup() {
  // schedule thread 2
  chThdCreateStatic(waTh2, sizeof(waTh2), NORMALPRIO, thdFcn, (void*)"Th 2");

  // schedule thread 3
  chThdCreateStatic(waTh3, sizeof(waTh3), NORMALPRIO, thdFcn, (void*)"Th 3");

  // main thread is thread 1 at NORMALPRIO
  thdFcn((void*)"Th 1");
}
//------------------------------------------------------------------------------
void loop() {/* not used */}

Он использует серийный номер, чтобы отобразить, какие потоки в данный момент находятся в критическом разделе, который должен быть по два одновременно. Дело в том, что при выполнении примера я получаю следующий шаблон: 1 2, 3 2, 1 2, ...

Почему это происходит? Разве это не должно быть 1 2, 3 1, 2 3, 1 2, ...
Не должны ли потоки стоять в очереди?

Я использовал это изображение из технической вики, чтобы понять, как оно работает.