Precise Analysis of Value-Dependent Synchronization in Priority Scheduled Programs
No abstract available.
Related papers
- Static analysis of interrupt-driven programs synchronized via the priority ceiling protocol POPL 2011
- Data structures for task-based priority scheduling PPoPP 2014
- Locks as a Resource: Fairly Scheduling Lock Occupation with CFL PPoPP 2024
- Fluid: a framework for approximate concurrency via controlled dependency relaxation PLDI 2021
- Priority Scheduling of Distributed Systems Based on Model Checking CAV 2009
- Multi-queues can be state-of-the-art priority schedulers PPoPP 2022
- Synchronization via scheduling: techniques for efficiently managing shared state PLDI 2011
- Competitive parallelism: getting your priorities right ICFP 2018