Up a level |
(2016) A Blocking Bound for Nested FIFO Spin Locks.
(2015) Global Real-Time Semaphore Protocols: A Survey, Unified Analysis, and Comparison.
(2014) On the Complexity of Worst-Case Blocking Analysis of Nested Critical Sections.
(2013) Efficient partitioning of sporadic real-time tasks with shared resources and spin locks.
(2013) On Spin Locks in AUTOSAR: Blocking Analysis of FIFO, Unordered, and Priority-Ordered Spin Locks.