Hardware-Supported Transactional Memory

EDIC Candidacy Exam:
Exam president: Prof. James Larus
Thesis director: Prof. Babak Falsafi
Thesis co-director: Prof. Edouard Bugnion
Co-examiner: Prof. Paolo Ienne

Research Proposal

Transactional memory: architectural support for lock-free data structures by Maurice Herlihy and J. Eliot B. Moss.
Speculative lock elision: enabling highly concurrent multithreaded execution by Ravi Rajwar and James R. Goodman
LogTM: Log-based Transactional Memory by Kevin E. Moore, et al.

Practical information