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. Mechanisms for store-wait-free multiprocessors
 
conference paper

Mechanisms for store-wait-free multiprocessors

Wenisch, Thomas F.
•
Ailamaki, Anastasia  
•
Falsafi, Babak  
Show more
2007
Proceedings of the International Symposium on Computer Architecture

Store misses cause significant delays in shared-memory multiprocessors because of limited store buffering and ordering constraints required for proper synchronization. Today, programmers must choose from a spectrum of memory consistency models that reduce store stalls at the cost of increased programming complexity. Prior research suggests that the performance gap among consistency models can be closed through speculation--enforcing order only when dynamically necessary. Unfortunately, past designs either provide insufficient buffering, replace all stores with read-modify-write operations, and/or recover from ordering violations via impractical fine-grained rollback mechanisms. We propose two mechanisms that, together, enable store-wait-free implementations of any memory consistency model. To eliminate buffer-capacity-related stalls, we propose the scalable store buffer, which places private/speculative values directly into the L1 cache, thereby eliminating the non-scalable associative search of conventional store buffers. To eliminate ordering-related stalls, we propose atomic sequence ordering, which enforces ordering constraints over coarse-grain access sequences while relaxing order among individual accesses. Using cycle-accurate full-system simulation of scientific and commercial applications, we demonstrate that these mechanisms allow the simplified programming of strict ordering while outperforming conventional implementations on average by 32% (sequential consistency), 22% (SPARC total store order) and 9% (SPARC relaxed memory order).

  • Files
  • Details
  • Metrics
Type
conference paper
DOI
10.1145/1250662.1250696
Author(s)
Wenisch, Thomas F.
Ailamaki, Anastasia  
Falsafi, Babak  
Moshovos, Andreas
Date Issued

2007

Published in
Proceedings of the International Symposium on Computer Architecture
Start page

266

End page

277

Subjects

memory consistency models

•

store buffer design

Editorial or Peer reviewed

REVIEWED

Written at

EPFL

EPFL units
PARSA  
DIAS  
Event placeEvent date
Available on Infoscience
October 16, 2007
Use this identifier to reference this record
https://infoscience.epfl.ch/handle/20.500.14299/12976
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