Work

The semantics of transactions and weak memory in x86, Power, ARM, and C++

Year: 2018

Type: conference-paper

Abstract: Weak memory models provide a complex, system-centric semantics for concurrent programs, while transactional memory (TM) provides a simpler, programmer-centric semantics. Both have been studied in detail, but their combined semantics is not well understood. This is problematic because such widely-used architectures and languages as x86, Power, and C++ all support TM, and all have weak memory models.

Source: ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)

DOI: 10.1145/3192366.3192373

Authors: Nathan Chong, Tyler Sorensen, John Wickerson

Institutions: ARM (United Kingdom), Imperial College London

Language: English

Topic: Distributed systems and fault tolerance

Subfield: Computer Networks and Communications

Field: Computer Science

Domain: Physical Sciences

Open Access status: hybrid

Funders: Imperial College London, Engineering and Physical Sciences Research Council

Award: PRiME: Power-efficient, Reliable, Many-core Embedded systems