Speculative N-Way barriers

  • Authors:

  • Lukasz Ziarek;Suresh Jagannathan;Matthew Fluet;Umut A. Acar

  • Affiliations:

  • Purdue University, West Lafayette, USA;Purdue University, West Lafayette, USA;Toyota Technological Institute at Chicago, Chicago, USA;Toyota Technological Institute at Chicago, Chicago, USA

  • Venue:
  • Proceedings of the 4th workshop on Declarative aspects of multicore programming
  • Year:
  • 2009

Quantified Score

Hi-index 0.00

Visualization

Abstract

Speculative execution is an important technique that has historically been used to extract concurrency from sequential programs. While techniques to support speculation work well when computations perform relatively simple actions (e.g., reads and writes to known locations), understanding speculation for multi-threaded programs in which threads may communicate and synchronize through multiple shared references is significantly more challenging, and is the focus of this paper. We use as our reference point a simple higher-order concurrent language extended with an n-way barrier and a fork/join execution model. Our technique permits the expression guarded by the barrier to speculatively proceed before the barrier has been satisfied (i.e., before all threads that synchronize on that barrier have done so) and to have participating threads that would normally block on the barrier to speculatively proceed as well. Our solution formulates safety properties under which speculation is correct in a fork/join model, and per-synchronization basis.