Université de Neuchâtel

Semantics, performance and language support for transactional memory

Harmanci, Derin Mehmet ; Felber, Pascal (Dir.)

Thèse de doctorat : Université de Neuchâtel, 2012 ; 2261.

The emergence of multi-core architectures suggests that programmers should write concurrent programs for exploiting the continuously increasing computing capacity of the hardware. Currently, the predominant approach to write concurrent programs is to use locks, but using locks for writing correct concurrent programs is difficult. A recent approach to simplify concurrent programming is to...