University of Surrey

Test tubes in the lab Research in the ATI Dance Research

Modular Transactions: Bounding Mixed Races in Space and Time

Dongol, Brijesh, Jagadeesan, Radha and Riely, James (2019) Modular Transactions: Bounding Mixed Races in Space and Time In: PPoPP 2019: 24th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming, 16–20 Feb 2019, Washington, DC, USA.

[img]
Preview
Text
Modular Transactions - Bounding Mixed Races in Space and Time.pdf - Accepted version Manuscript

Download (3MB) | Preview

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, SCLTRF does not require global race freedom.We also provide a lower-level implementation model to reason about quiescence fences and validate numerous compiler optimizations.

Item Type: Conference or Workshop Item (Conference Paper)
Divisions : Faculty of Engineering and Physical Sciences > Computing Science
Authors :
NameEmailORCID
Dongol, Brijeshb.dongol@surrey.ac.uk
Jagadeesan, Radha
Riely, James
Date : February 2019
Funders : Engineering and Physical Sciences Research Council (EPSRC)
DOI : 10.1145/3293883.3295708
Copyright Disclaimer : © 2019 Association for Computing Machinery. Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from permissions@acm.org.
Uncontrolled Keywords : CCS Concepts; Theory of computation → Parallel computing models; Abstraction
Related URLs :
Depositing User : Clive Harris
Date Deposited : 25 Jan 2019 08:34
Last Modified : 16 Feb 2019 02:08
URI: http://epubs.surrey.ac.uk/id/eprint/850275

Actions (login required)

View Item View Item

Downloads

Downloads per month over past year


Information about this web site

© The University of Surrey, Guildford, Surrey, GU2 7XH, United Kingdom.
+44 (0)1483 300800