CPL - Chalmers Publication Library
| Utbildning | Forskning | Styrkeområden | Om Chalmers | In English In English Ej inloggad.

Pi-TM: Pessimistic Invalidation for Scalable Lazy Hardware Transactional Memory

Anurag Negi (Institutionen för data- och informationsteknik, Datorteknik (Chalmers)) ; Ruben Titos Gil ; Manuel Acacio ; Jose Garcia ; Per Stenström (Institutionen för data- och informationsteknik, Datorteknik (Chalmers))
18th IEEE International Symposium on High Performance Computer Architecture (;New Orleans, LA; February 25-29 2012 (1530-0897). p. 141-151. (2012)
[Konferensbidrag, refereegranskat]

Lazy hardware transactional memory has been shown to be more efficient at extracting available concurrency than its eager counterpart. However, it poses scalability challenges at commit time as existence of conflicts among concurrent transactions is not known prior to commit. Non-conflicting transactions may have to wait before committing, severely affecting performance in certain workloads. Early conflict detection can be employed to allow such transactions to commit simultaneously. In this paper we show that the potential of this technique has not yet been fully utilized, with design choices in prior work severely burdening common-case transactional execution to avoid some relatively uncommon correctness concerns. The paper quantifies the severity of the problem and develops. pi-TM, an early conflict detection - lazy conflict resolution design. This design highlights how, with modest extensions to existing directory-based coherence protocols, information regarding possible conflicts can be effectively used to achieve true parallelism at commit without burdening the common-case. We leverage the observation that contention is typically seen on only a small fraction of shared data accessed by coarse-grained transactions. Pessimistic invalidation of such lines when committing or aborting, therefore, enables fast common-case execution. Our results show that. pi-TM performs consistently well and, in particular, far better than previous work on early conflict detection in lazy HTM. We also identify a pathological scenario that lazy designs with early conflict detection suffer from and propose a simple hardware workaround to sidestep it.

Nyckelord: Coarse-grained, Coherence protocol, Concurrent transactions, Conflict detection, Conflict Resolution, Shared data, Transactional memory



Den här publikationen ingår i följande styrkeområden:

Läs mer om Chalmers styrkeområden  

Denna post skapades 2011-12-25. Senast ändrad 2016-06-28.
CPL Pubid: 150935

 

Läs direkt!


Länk till annan sajt (kan kräva inloggning)