Nested, but separate: isolating unrelated critical sections in real-time nested locking (Q6534991)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Nested, but separate: isolating unrelated critical sections in real-time nested locking |
scientific article; zbMATH DE number 7760432
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Nested, but separate: isolating unrelated critical sections in real-time nested locking |
scientific article; zbMATH DE number 7760432 |
Statements
Nested, but separate: isolating unrelated critical sections in real-time nested locking (English)
0 references
2 November 2023
0 references
multiprocessor real-time locking
0 references
nested locking
0 references
independence preservation
0 references
suspension-oblivious analysis
0 references
priority inversion
0 references
asymptotically optimal blocking
0 references
RNLP
0 references
OMIP
0 references
0.8886018
0 references
0.84107924
0 references
0.8225093
0 references
0.8215603
0 references
0.81837976
0 references
