By bunglebooz
via research.microsoft.com
Published: Dec 05 2012 / 17:18
A key challenge for concurrent programming is that sideeffects (memory operations) in one thread can affect the behavior of another thread. In this paper, we present a type system to restrict the updates to memory to prevent these unintended side-effects. We provide a novel combination of immutable and unique (isolated) types that ensures safe parallelism (race freedom and deterministic execution). T
-
AWS Cost Saving Tip 10: Make right choice between PIOPS vs Std EBS volumes for saving costs
-
Escape Process’ Death Valley, or How to Tell a Cat From a Washing Machine
-
Under the Hood: The natural language interface of Graph Search
-
Collection of interesting unix commands
-
Are you a true mobile developer? Do you develop apps for all platforms iOS, Windows Phone, Android or the web?
-
Loadtests for the Real World
Add your comment
