Repository logo

Infoscience

  • English
  • French
Log In
Logo EPFL, École polytechnique fédérale de Lausanne

Infoscience

  • English
  • French
Log In
  1. Home
  2. Academic and Research Output
  3. Conferences, Workshops, Symposiums, and Seminars
  4. Preventing versus Curing: Avoiding Conflicts in Transactional Memories
 
conference paper

Preventing versus Curing: Avoiding Conflicts in Transactional Memories

Dragojevic, Aleksandar  
•
Singh, Anmol
•
Guerraoui, Rachid  
Show more
2009
Twenty-Eighth Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing
Twenty-Eighth Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing

Transactional memories are typically speculative and rely on contention managers to cure conflicts. This paper explores a complementary approach that prevents conflicts by scheduling transactions according to predictions on their access sets. We first explore the theoretical boundaries of this approach and prove that (1) a TM scheduler with an accurate prediction can be 2- competitive with an optimal TM scheduler, but (2) even a slight inaccuracy in prediction makes the competitive ratio of the TM scheduler of the order of the number of transactions. We then show that, in practice, there is room for a pragmatic approach with good average case performance. We present Shrink, a scheduler that (a) bases its prediction on the access patterns of the past transactions from the same threads, and (b) uses a novel heuristic, which we call serialization affinity, to schedule transactions with a probability proportional to the current amount of contention. Shrink obtains roughly 70% accurate predictions on STMBench7 and STAMP. For SwissTM, Shrink improves the performance by up to 55% on STMBench7, and up to 120% on STAMP. For TinySTM, Shrink improves the performance by up to 30 times on STMBench7 and 100 times on STAMP.

  • Files
  • Details
  • Metrics
Type
conference paper
DOI
10.1145/1582716.1582725
Web of Science ID

WOS:000271790300001

Author(s)
Dragojevic, Aleksandar  
Singh, Anmol
Guerraoui, Rachid  
Singh, Vasu
Date Issued

2009

Published in
Twenty-Eighth Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing
Start page

7

End page

16

Subjects

Software Transactional Memory

•

Contention Management

•

Scheduling

URL

URL

http://www.podc.org/podc2009/
Editorial or Peer reviewed

REVIEWED

Written at

EPFL

EPFL units
DCL  
Event nameEvent placeEvent date
Twenty-Eighth Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing

Calgary, Alberta, Canada

August 10-12, 2009

Available on Infoscience
April 27, 2009
Use this identifier to reference this record
https://infoscience.epfl.ch/handle/20.500.14299/38137
Logo EPFL, École polytechnique fédérale de Lausanne
  • Contact
  • infoscience@epfl.ch

  • Follow us on Facebook
  • Follow us on Instagram
  • Follow us on LinkedIn
  • Follow us on X
  • Follow us on Youtube
AccessibilityLegal noticePrivacy policyCookie settingsEnd User AgreementGet helpFeedback

Infoscience is a service managed and provided by the Library and IT Services of EPFL. © EPFL, tous droits réservés