000212687 001__ 212687
000212687 005__ 20190812205851.0
000212687 037__ $$aCONF
000212687 245__ $$aEfficient System-Enforced Deterministic Parallelism
000212687 269__ $$a2010
000212687 260__ $$c2010
000212687 336__ $$aConference Papers
000212687 520__ $$aDeterministic execution offers many benefits for debugging, fault tolerance, and security. Current methods of executing parallel programs deterministically, however, often incur high costs, allow misbehaved software to defeat repeatability, and transform time-dependent races into input- or path-dependent races without eliminating them. We introduce a new parallel programming model addressing these issues, and use Determinator, a proof-of-concept OS, to demonstrate the model's practicality. Determinator's microkernel API provides only “shared-nothing” address spaces and deterministic interprocess communication primitives to make execution of all unprivileged code—well-behaved or not—precisely repeatable. Atop this microkernel, Determinator's user-level runtime adapts optimistic replication techniques to offer a private workspace model for both thread-level and process-level parallel programing. This model avoids the introduction of read/write data races, and converts write/write races into reliably-detected conflicts. Coarse-grained parallel benchmarks perform and scale comparably to nondeterministic systems, on both multicore PCs and across nodes in a distributed cluster.
000212687 700__ $$aAviram, Amittai
000212687 700__ $$aWeng, Shu-Chun
000212687 700__ $$aHu, Sen
000212687 700__ $$aFord, Bryan
000212687 7112_ $$dOctober 4-6, 2010$$cVancouver, BC, Canada$$a9th USENIX Symposium on Operating Systems Design and Implementation (OSDI 10)
000212687 8564_ $$zURL$$uhttp://dedis.cs.yale.edu/2010/det/papers/osdi10-abs
000212687 8564_ $$zPublisher's version$$yPublisher's version$$uhttps://infoscience.epfl.ch/record/212687/files/osdi10-final.pdf$$s606205
000212687 909C0 $$xU13061$$pDEDIS$$0252572
000212687 909CO $$ooai:infoscience.tind.io:212687$$qGLOBAL_SET$$pconf$$pIC
000212687 917Z8 $$x257875
000212687 917Z8 $$x148230
000212687 917Z8 $$x257875
000212687 937__ $$aEPFL-CONF-212687
000212687 973__ $$rREVIEWED$$sPUBLISHED$$aOTHER
000212687 980__ $$aCONF