Loading...
report
FlowPools: A Lock-Free Deterministic Concurrent Dataflow Abstraction – Proofs
2012
Implementing correct and deterministic parallel programs is challenging. Even though concurrency constructs exist in popular pro- gramming languages to facilitate the task of deterministic parallel pro- gramming, they are often too low level, or do not compose well due to underlying blocking mechanisms. In this report, we present the detailed proofs of the linearizability, lock- freedom, and determinism properties of FlowPools, a deterministic concurrent dataflow abstraction presented in [1].
Loading...
Name
proofs.pdf
Access type
openaccess
Size
417.36 KB
Format
Adobe PDF
Checksum (MD5)
1b37a364479b1649879676ddb39cfc02