Conflict Abstractions and Shadow Speculation for Optimistic Transactional Objects
Concurrent data structures implemented using software transactional memory (STM) perform poorly when operations which do not conflict in the definition of the abstract data type nonetheless incur conflicts in the concrete state of an implementation. Several works addressed various aspects of this problem, yet will still lack efficient, general-purpose mechanisms that allow one to readily integrate black-box concurrent data-structures into existing STM frameworks. In this paper we take a step further toward this goal, by focusing on the challenge of how to use black-box concurrent data structures in an optimistic transactional manner, while exploiting an off-the-shelf STM for transaction-level conflict detection. To this end, we introduce two new enabling concepts. First, we define data-structure conflict in terms of commutativity but, unlike prior work, we introduce a new format called conflict abstractions, which is kept separate from the object implementation and is fit for optimistic conflict detection. Second, we describe shadow speculation for wrapping off-the-shelf concurrent objects so that updates can be speculatively and opaquely applied—and even return values observed—but then later dropped (on abort) or else atomically applied (on commit). We have realized these concepts in a new open-source transactional system called ScalaProust built on top of ScalaSTM and report encouraging experimental results.
Tue 3 DecDisplayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change
13:30 - 15:00
|Android Multitasking Mechanism: Formal Semantics and Static Analysis of Apps|
Taolue Chen Birkbeck, University of London, Jilong He Institute of Software, Chinese Academy of Sciences, Yu-Ping Wang Tsinghua University, China, Zhilin Wu State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Jun Yan Institute of Software, Chinese Academy of Sciences
|Conflict Abstractions and Shadow Speculation for Optimistic Transactional Objects|
|Transactional Forest: A DSL for Managing Concurrent Filestores|