Modular Transactions: Bounding Mixed Races in Space and Time (PPoPP 2019 - Main Conference)

Who

Brijesh Dongol, Radha Jagadeesan, James Riely

Track

PPoPP 2019 Main Conference

Time Zone

The program is currently displayed in (GMT-05:00) Guadalajara, Mexico City, Monterrey.

Use conference time zone: (GMT-05:00) Guadalajara, Mexico City, MonterreySelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Mon 18 Feb 2019 14:00 - 14:25 at Salon 12/13 - Session 3: Transactional Memory Chair(s): Milind Chabbi

Abstract

We define local transactional race freedom (LTRF), which provides a programmer model for software transactional memory. LTRF programs satisfy the SC-LTRF property, thus allowing the programmer to focus on sequential executions in which transactions execute atomically. Unlike previous results, SC-LTRF does not require global race freedom. We also provide a lower-level implementation model to reason about quiescence fences and validate numerous compiler optimizations.

DOI

https://doi.org/10.1145/3293883.3295708

Brijesh Dongol

University of Surrey

Radha Jagadeesan

DePaul University

James Riely