Write a Blog >>
APLAS 2019
Sun 1 - Wed 4 December 2019 Bali, Indonesia
Tue 3 Dec 2019 14:00 - 14:30 at Bali Room - Concurrency Chair(s): Philipp Ruemmer

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 Dec

Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

13:30 - 15:00
ConcurrencyResearch Papers at Bali Room
Chair(s): Philipp Ruemmer Uppsala University
13:30
30m
Talk
Android Multitasking Mechanism: Formal Semantics and Static Analysis of Apps
Research Papers
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
14:00
30m
Talk
Conflict Abstractions and Shadow Speculation for Optimistic Transactional Objects
Research Papers
Thomas Dickerson Brown University, Paul Gazzillo University of Central Florida, Maurice Herlihy Brown University, USA, Eric Koskinen Stevens Institute of Technology
14:30
30m
Talk
Transactional Forest: A DSL for Managing Concurrent Filestores
Research Papers
Jonathan DiLorenzo Cornell University, Kathryn Mancini Cornell University, Kathleen Fisher Tufts University, USA, Nate Foster Cornell University