DEENESPTFRRUARHIKOZHNL
CLASSIC Modul: system Rolle: constitutive Konfidenz: 98%

SNIP_CLASSIC_OS_FIGURE_Figure_7_20

Quelle: SWS_OS.pdf (Seite 101) • Ziel-Anforderung: –

Wortlaut

Figure 7.20: A deadlock situation caused by interference, the high priority Task spins indefinitely because the low priority Task has occupied the spinlock. In such cases the second GetSpinlock call will return with an error. A user can protect a Task against such a situation by , for example, rapping the spinlock with SuspendAllInterrupts, so that it cannot be interfered by other Tasks. The OS can do this automatically for the caller - see OsSpinlockLockMethod. A second deadlock situation can be created by nested spinlocks calls, as illustrated in

Begründung & Zuweisungs-Evidenz

Figure 'Figure 7.20' from SWS_OS.

Dokumenten-Herkunft & Rückverfolgbarkeit

Spezifikations-Dokument SWS_OS.pdf
Dokumentseite Seite 101
Ziel-Modul system (classic)
Ziel-Anforderung –
Semantische Rolle constitutive
Automatisierungs-Konfidenz 0.98