Mountain View
biomedical and healthCAre Data Discovery Index Ecosystem
help Advanced Search
Title: Timing Properties and Correctness for Structured Parallel Programs on x86-64 Multicores - Dataset      
dateReleased:
07-19-2016
privacy:
information not avaiable
aggregation:
instance of dataset
dateCreated:
07-19-2016
refinement:
raw
ID:
doi:10.5281/ZENODO.58198
creators:
Hammond, Kevin
Brown, Christopher
,
availability:
available
types:
other
description:
Multicore architec- tures are increasingly common, but real architectures have unpredictable timing properties, and even correctness is not obvious when systems are built on 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, extending these for the first time from low-level machine operations 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.    This package contains all the datasets from the paper.
accessURL: https://doi.org/10.5281/ZENODO.58198
storedIn:
Zenodo
qualifier:
not compressed
format:
HTML
accessType:
landing page
authentication:
none
authorization:
none
abbreviation:
ZENODO
homePage: https://zenodo.org/
ID:
SCR:004129
name:
ZENODO

Feedback?

If you are having problems using our tools, or if you would just like to send us some feedback, please post your questions on GitHub.