Modelling concurrent objects running on the TSO and ARMv8 memory models

Winter, K., Smith, G. and Derrick, J. (2019) Modelling concurrent objects running on the TSO and ARMv8 memory models. Science of Computer Programming, 184. 102308. ISSN 0167-6423

Abstract

Metadata

Authors/Creators:
  • Winter, K.
  • Smith, G.
  • Derrick, J.
Copyright, Publisher and Additional Information: © 2019 Elsevier. This is an author produced version of a paper subsequently published in Science of Computer Programming. Uploaded in accordance with the publisher's self-archiving policy. Article available under the terms of the CC-BY-NC-ND licence (https://creativecommons.org/licenses/by-nc-nd/4.0/).
Keywords: Linearizability; Weak memory models; TSO; ARMv8; Model checking
Dates:
  • Accepted: 24 September 2019
  • Published (online): 26 September 2019
  • Published: 1 October 2019
Institution: The University of Sheffield
Academic Units: The University of Sheffield > Faculty of Science (Sheffield)
Funding Information:
FunderGrant number
Engineering and Physical Science Research Council (EPSRC)EP/R032351/1
Depositing User: Symplectic Sheffield
Date Deposited: 02 Oct 2019 09:12
Last Modified: 16 Dec 2021 10:50
Status: Published
Publisher: Elsevier
Refereed: Yes
Identification Number: https://doi.org/10.1016/j.scico.2019.102308

Download

Filename: scp.pdf

Licence: CC-BY-NC-ND 4.0

Share / Export

Statistics