Although LVar programs with freezing are not guaranteed to be deterministic, they do satisfy a related property that we call quasi-determinism: all executions.
We extend LVars in two ways. First, we add the ability to "freeze" and then read the contents of an LVar directly. Second, we add the ability to attach event ...
Rather than modeling the full ensemble of event handlers, handler pools, quiescence, and freezing as separate primitives, we instead formalize the “freeze-after ...
We extend LVars in two ways. First, we add the ability to "freeze" and then read the contents of an LVar directly. Second, we add the ability to attach event ...
How to freeze after writing - decomposition ∘ al - Lindsey Kuper
decomposition.al › blog › 2014/01/31
Jan 31, 2014 · We call this property quasi-determinism, and we've proved that the LVars model with the addition of handlers, quiescence, and freezing is quasi- ...
Parallel Programming with LVars. Lindsey Kuper. Aaron Turon ... Attempts to write to a frozen LVar raise a write-after-freeze exception.
First, we add the ability to "freeze" and then read the contents of an LVar directly. Second, we add the ability to attach event handlers to an LVar, triggering ...
Oct 3, 2013 · Our paper “Freeze After Writing: Quasi-Deterministic Parallel Programming with LVars” has been accepted for publication at POPL 2014!
We present LVars, a new model for deterministic-by-construction parallel programming that generalizes existing single-assignment models.
Oct 7, 2013 · We present LVars, a new model for deterministic- by-construction parallel programming that generalizes existing single-assignment models to ...