SNIP_CLASSIC_OS_FIGURE_Figure_7_20
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 |