PPoPP 2016
Sat 12 - Wed 16 March 2016 Barcelona, Spain
Tue 15 Mar 2016 12:25 - 12:50 at Mallorca+Menorca - Optimistic concurrency Chair(s): Milind Chabbi

It is notoriously challenging to develop parallel software systems that are both scalable and correct. Runtime support for parallelism—such as multithreaded record & replay, data race detectors, transactional memory, and enforcement of stronger memory models—helps achieve these goals, but existing commodity solutions slow programs substantially in order to track (i.e., detect or control) an execution’s cross-thread dependences accurately. Prior work tracks cross-thread dependences either “pessimistically,” slowing every program access, or “optimistically,” allowing for lightweight instrumentation of most accesses but dramatically slowing accesses involved in cross-thread dependences.

This paper seeks to hybridize pessimistic and optimistic tracking, which is challenging because there exists a fundamental mismatch between pessimistic and optimistic tracking. We address this challenge based on insights about how dependence tracking and program synchronization interact, and introduce a novel approach called hybrid tracking. Hybrid tracking is suitable for building efficient runtime support, which we demonstrate by building hybrid-tracking-based versions of a dependence recorder and a region serializability enforcer. An adaptive, profile-based policy makes runtime decisions about switching between pessimistic and optimistic tracking. Our evaluation shows that hybrid tracking enables runtime support to overcome the performance limitations of both pessimistic and optimistic tracking alone.

Tue 15 Mar
Times are displayed in time zone: (GMT+01:00) Greenwich Mean Time : Belfast change

11:35 - 12:50: Main conference - Optimistic concurrency at Mallorca+Menorca
Chair(s): Milind ChabbiRice University
PPoPP-2016-papers11:35 - 12:00
Link to publication DOI
PPoPP-2016-papers12:00 - 12:25
Dave DiceOracle Labs, Alex KoganOracle Labs, Yossi LevOracle Labs
Link to publication DOI
PPoPP-2016-papers12:25 - 12:50
Man CaoOhio State University, USA, Minjia ZhangOhio State University, USA, Aritra SenguptaOhio State University, Michael D. BondOhio State University
Link to publication DOI