Exploiting reference idempotency to reduce speculative storage overflow

Seon Wook Kim, Chong Liang Ooi, Rudolf Eigenmann, Babak Falsafi, T. N. Vijaykumar

Research output: Contribution to journalArticlepeer-review

12 Citations (Scopus)

Abstract

Recent proposals for multithreaded architectures employ speculative execution to allow threads with unknown dependences to execute speculatively in parallel. The architectures use hardware speculative storage to buffer speculative data, track data dependences and correct incorrect executions through roll-backs. Because all memory references access the speculative storage, current proposals implement speculative storage using small memory structures to achieve fast access. The limited capacity of the speculative storage causes considerable performance loss due to speculative storage overflow whenever a thread's speculative state exceeds the speculative storage capacity. Larger threads exacerbate the overflow problem but are preferable to smaller threads, as larger threads uncover more parallelism. In this article, we discover a new program property called memory reference idempotency, Idempotent references are guaranteed to be eventually corrected, though the references may be temporarily incorrect in the process of speculation. Therefore, idempotent references, even from nonparallelizable program sections, need not be tracked in the speculative storage, and instead can directly access nonspeculative storage (i.e., conventional memory hierarchy). Thus, we reduce the demand for speculative storage space in large threads. We define a formal framework for reference idempotency and present a novel compiler-assisted speculative execution model. We prove the necessary and sufficient conditions for reference idempotency using our model. We present a compiler algorithm to label idempotent memory references for the hardware. Experimental results show that for our benchmarks, over 60% of the references in nonparallelizable program sections are idempotent.

Original languageEnglish
Pages (from-to)942-965
Number of pages24
JournalACM Transactions on Programming Languages and Systems
Volume28
Issue number5
DOIs
Publication statusPublished - 2006

Keywords

  • Compiler-assisted speculative execution
  • Idempotent references
  • Speculation

ASJC Scopus subject areas

  • Software

Fingerprint Dive into the research topics of 'Exploiting reference idempotency to reduce speculative storage overflow'. Together they form a unique fingerprint.

Cite this