Lecture Notes in Computer Science, 2008, Volume 5401/2008, 527-533, DOI: 10.1007/978-3-540-92221-6_33

Toward a Theory of Input Acceptance for Transactional Memories

Vincent Gramoli, Derin Harmanci and Pascal Felber

View Related Documents

Abstract

Transactional memory (TM) systems receive as an input a stream of events also known as a workload, reschedule it with respect to several constraints, and output a consistent history. In multicore architectures, the transactional code executed by a processor is a stream of events whose interruption would waste processor cycles. In this paper, we formalize the notion of TM workload into classes of input patterns, whose acceptance helps understanding the performance of a given TM.
Corresponding author: Vincent Gramoli, EPFL-IC-LPD, Station 14, CH-1015 Lausanne, Switzerland; fax: +41 21 693 7570. This work is supported by the Velox Project and the Swiss National Foundation Grant 200021-118043.

Fulltext Preview

Image of the first page of the fulltext document