Preventing atomicity violations with contracts

Concurrent programming is a difficult and error-prone task because the programmer must reason about multiple threads of execution and their possible interleavings. A concurrent program must synchronize the concurrent accesses to shared memory regions, but this is not enough to prevent all anomalies...

Full description

Bibliographic Details
Main Author: Sousa, Diogo Miguel Gaspar de (author)
Format: masterThesis
Language:eng
Published: 2014
Subjects:
Atomicity violation
Concurrency
Thread safety
Design by contract
Program analysis
Online Access:http://hdl.handle.net/10362/11471
Country:Portugal
Oai:oai:run.unl.pt:10362/11471

Internet

http://hdl.handle.net/10362/11471

Similar Items