000181098 001__ 181098
000181098 005__ 20190316235453.0
000181098 037__ $$aREP_WORK
000181098 245__ $$aFlowPools: A Lock-Free Deterministic Concurrent Dataflow Abstraction – Proofs
000181098 269__ $$a2012
000181098 260__ $$c2012
000181098 300__ $$a32
000181098 336__ $$aReports
000181098 520__ $$aImplementing 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].
000181098 6531_ $$adataflow, concurrent, lock-free, data-structure, deterministic, parallelism
000181098 700__ $$0244134$$g191413$$aProkopec, Aleksandar
000181098 700__ $$0242185$$g191683$$aMiller, Heather
000181098 700__ $$0240993$$g172057$$aHaller, Philipp
000181098 700__ $$aSchlatter, Tobias$$0247866$$g184229
000181098 700__ $$0241835$$g126003$$aOdersky, Martin
000181098 8564_ $$uhttps://infoscience.epfl.ch/record/181098/files/proofs.pdf$$zn/a$$s427381$$yn/a
000181098 909C0 $$xU10409$$0252187$$pLAMP
000181098 909CO $$qGLOBAL_SET$$pIC$$ooai:infoscience.tind.io:181098$$preport
000181098 917Z8 $$x191683
000181098 937__ $$aEPFL-REPORT-181098
000181098 973__ $$sPUBLISHED$$aEPFL
000181098 980__ $$aREPORT