Thesis icon

Thesis

Lock correctness

Abstract:

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 the illusion of interleaved execution). To provide these guarantees, the correct interplay of a number of subsystems is required. We distinguish between the application level, the transformation level,...

Expand abstract

Actions


Access Document


Files:

Authors


Daniel Poetzl More by this author

Contributors

Role:
Supervisor
Role:
Supervisor
Type of award:
DPhil
Level of award:
Doctoral
Awarding institution:
University of Oxford

Terms of use


Metrics



If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP