Fractional Permissions for Race-Free Mutable References in a Dataflow Intermediate Language
Matteo Cimini, Jeremy G. Siek · 2016
ParalleX is an execution model tailored to exascale computing. To this aim, it employs a global shared memory and supports multi-level parallelism. In systems that mix parallelism and mutable shared memory, the definition of a memory model becomes challenging. Following the advice of Adve and Boehm (2010), we balance efficiency and simplicity by going the route of statically enforcing data-race freedom (DRF), which makes sequential consistency efficient to implement on weak memory models.