time - セマフォ - このパターンが発生するのはなぜですか?

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 */}

シリアルを使用して、現在クリティカル セクションにあるスレッドを表示します。これは、一度に 2 つあるはずです。この例を実行すると、次のパターン出力が得られます: 1 2, 3 2, 1 2, ...

なぜこうなった？1 2, 3 1, 2 3, 1 2, ...
スレッドをキューに入れるべきではありませんか?

テクニカル wiki のこの画像を使用して、その仕組みを理解しています。