DMCA
The Many Faces of Transactional Software Composition ∗
Cached
| Citations: | 2 - 1 self |
BibTeX
@MISC{Gramoli_themany,
author = {Vincent Gramoli and Rachid Guerraoui},
title = {The Many Faces of Transactional Software Composition ∗},
year = {}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
The transactional memory model is known to enable concurrent software composition, unlike alternative schemes, be they lock-based or lock-free. Yet, the classical transactional model limits concurrency and many relaxed transactional models have been recently proposed. We show in this paper that, maybe surprisingly, a closer look at these models reveals that, in general, they hamper composition. While doing so, we highlight, for the first time, an inherent trade-off between transactional concurrency and composition. More specifically, we present in this paper a framework to precisely reason about concurrent software composition and we show that, strictly speaking, relaxed transactional models do not enable composition. We introduce however an explicit, bimodal form of composition, which requires special care from the programmer, and we show that the elastic transactional memory model does enable composition in this sense. We describe a new implementation of elastic transactions that enables bimodal composition without hampering concurrency. We convey the efficiency of this implementation by comparing it to classical software transactional memories, like TL2, LSA, SwissTM, and ESTM, on various workloads. Categories and Subject Descriptors D.1.3 [Programming Techniques]: Concurrent Programming— Parallel programming; D.2.8 [Software Engineering]: Metrics—complexity
Keyphrases
transactional software composition many face concurrent software composition transactional concurrency inherent trade-off many relaxed transactional model subject descriptor model reveals concurrent programming parallel programming enable composition bimodal form alternative scheme transactional memory model classical software transactional memory new implementation metric complexity relaxed transactional model special care classical transactional model limit concurrency various workload software engineering first time elastic transactional memory model elastic transaction
