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

Transactional lock elision (TLE) is a well-known technique that exploits hardware transactional memory (HTM) to introduce concurrency into lock-based software. It achieves that by attempting to execute a critical section protected by a lock in an atomic hardware transaction, reverting to the lock if these attempts fail. One significant drawback of TLE is that it disables hardware speculation once there is a thread running under lock. In this paper we present two algorithms that rely on existing compiler support for transactional programs and allow threads to speculate concurrently on HTM along with a thread holding the lock. We demonstrate the benefit of our algorithms over TLE and other related approaches with an in-depth analysis of a number of benchmarks and a wide range of workloads, including an AVL tree-based micro-benchmark and ccTSA, a real sequence assembler application.

Tue 15 Mar

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