Lammich, Peter: Lock sensitive analysis of parallel programs. 2011
Inhalt
- Introduction
- Preliminaries
- Models
- Lock-Sensitive Schedulability
- Acquire/Release-Hedges
- Schedules of Acquire/Release-Hedges
- Acquisition Structures
- Summary and Related Work
- Automata Constructions
- Lock-Sensitive Predecessor Sets
- Definitions
- Lock-Insensitive Predecessor Set Computation
- Reduction to Lock-Insensitive Predecessor Set Computation
- Applications
- Summary and Related Work
- Optimizations
- Non-Monitor Locking Disciplines
- Complexity
- Models and Properties
- Monitors and Well-Nested, Non-Reentrant Locks
- Stronger Synchronization Mechanisms
- Discussion and Related Work
- Conclusion
- Bibliography