Lock correctness
<p>Locks are a frequently used synchronisation mechanism in shared memory concurrent programs. They are used to enforce atomicity of certain code portions, avoid undefined behaviour due to data races, and hide weak memory effects of the underlying hardware architectures (i.e., they provide...
Main Author: | Poetzl, D |
---|---|
Other Authors: | Kroening, D |
Format: | Thesis |
Published: |
2018
|
Similar Items
-
Formalizing and Checking Thread Refinement for Data-Race-Free Execution Models
by: Kroening, D, et al.
Published: (2016) -
Formalizing and checking thread refinement for data-race-free execution models
by: Poetzl, D, et al.
Published: (2016) -
Solving Constraints for Generational Search
by: Poetzl, D, et al.
Published: (2013) -
Correction to: Locking the Revolving Door: Racial Disparities in Cardiovascular Disease
Published: (2023-04-01) -
Management of complex wrist fractures with volar and dorsal locked (double-locked) K-lock
by: Prieur du Plessis, MD, et al.
Published: (2023-12-01)