Ah ok...das habe ich gar nicht bedacht. Es wird nur in einem Register von einem CPU gesetzt, d. h. der andere CPU weis nichts davon."Das Setzen der Priorität geschieht durch Setzen eines Bits im Kontrollregister der jeweiligen CPU"
Das müsste bei einem Mehrkernprozessor zeitgleich in allen Kernen passieren.
Damit die Semaphore-Operation nicht unterbrochen wird.