Scheduling support for transactional memory contention management

Walther Maldonado, Patrick Marlier, Pascal Felber, Adi Suissa, Danny Hendler, Alexandra Fedorova, Julia L. Lawall, Gilles Muller

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

17 Scopus citations

Abstract

Transactional Memory (TM) is considered as one of the most promising paradigms for developing concurrent applications. TM has been shown to scale well on >multiple cores when the data access pattern behaves "well," i.e., when few conflicts are induced. In contrast, data patterns with frequent write sharing, with long transactions, or when many threads contend for a smaller number of cores, result in numerous conflicts. Until recently, TM implementations had little control of transactional threads, which remained under the supervision of the kernel's transaction-ignorant scheduler. Conflicts are thus traditionally resolved by consulting an STM-level contention manager. Consequently, the contention managers of these "conventional" TM implementations suffer from a lack of precision and often fail to ensure reasonable performance in high-contention workloads. Recently, scheduling-based TM contention-management has been proposed for increasing TM efficiency under high-contention [2, 5, 19]. However, only user-level schedulers have been considered. In this work, we propose, implement and evaluate several novel kernel-level scheduling support mechanisms for TM contention management. We also investigate different strategies for efficient communication between the kernel and the user-level TM library. To the best of our knowledge, our work is the first to investigate kernel-level support for TM contention management. We have introduced kernel-level TM scheduling support into both the Linux and Solaris kernels. Our experimental evaluation demonstrates that lightweight kernel-level scheduling support significantly reduces the number of aborts while improving transaction throughput on various workloads.

Original languageEnglish
Title of host publicationPPoPP'10 - Proceedings of the 2010 ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming
Pages79-89
Number of pages11
DOIs
StatePublished - 15 Mar 2010
Event2010 ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP'10 - Bangalore, India
Duration: 9 Jan 201014 Jan 2010

Conference

Conference2010 ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP'10
Country/TerritoryIndia
CityBangalore
Period9/01/1014/01/10

Keywords

  • Contention management
  • Scheduling
  • Transactional memory

Fingerprint

Dive into the research topics of 'Scheduling support for transactional memory contention management'. Together they form a unique fingerprint.

Cite this