Timing properties and correctness for structured parallel programs on x86-64 multicores
Abstract
This paper determines correctness and timing properties for structured parallel programs on x86-64 multicores. Multicore architectures are increasingly common, but real architectures have unpredictable timing properties, and even correctness is not obvious above the relaxed-memory concurrency models that are enforced by commonly-used hardware. This paper takes a rigorous approach to correctness and timing properties, examining common locking protocols from first principles, and extending this through queues to structured parallel constructs. We prove functional correctness and derive simple timing models, and both extend for the first time from low-level primitives to high-level parallel patterns. Our derived high-level timing models for structured parallel programs allow us to accurately predict upper bounds on program execution times on x86-64 multicores.
Citation
Hammond , K , Brown , C M & Sarkar , S 2016 , Timing properties and correctness for structured parallel programs on x86-64 multicores . in M van Eekelen & U Dal Lago (eds) , Foundational and Practical Aspects of Resource Analysis : 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers . Lecture Notes in Computer Science , vol. 9964 , Springer , pp. 101-125 , 4th International Workshop, Foundational and Practical Aspects of Resource Analysis (FOPARA 2015) , London , United Kingdom , 11/04/15 . https://doi.org/10.1007/978-3-319-46559-3_6 workshop
Publication
Foundational and Practical Aspects of Resource Analysis
ISSN
0302-9743Type
Conference item
Collections
Items in the St Andrews Research Repository are protected by copyright, with all rights reserved, unless otherwise indicated.