Ein sehr wichtiger Aspekt der Kernumgebung ist das Threading Modell, d.h. welche Semantik haben Synchronisation und Scheduling im Betriebssystem. Dabei ist zu klären, ob bzw. wann ein Thread blockieren kann und was mit seinem Zustand geschieht falls er blockiert.