Computer Science – Operating Systems
Scientific paper
2010-05-19
Computer Science
Operating Systems
14 pages, 12 figures, 3 tables
Scientific paper
Deterministic execution offers many benefits for debugging, fault tolerance, and security. Running parallel programs deterministically is usually difficult and costly, however - especially if we desire system-enforced determinism, ensuring precise repeatability of arbitrarily buggy or malicious software. Determinator is a novel operating system that enforces determinism on both multithreaded and multi-process computations. Determinator's kernel provides only single-threaded, "shared-nothing" address spaces interacting via deterministic synchronization. An untrusted user-level runtime uses distributed computing techniques to emulate familiar abstractions such as Unix processes, file systems, and shared memory multithreading. The system runs parallel applications deterministically both on multicore PCs and across nodes in a cluster. Coarse-grained parallel benchmarks perform and scale comparably to - sometimes better than - conventional systems, though determinism is costly for fine-grained parallel applications.
Aviram Amittai
Ford Bryan
Hu Sen
Weng Shu-Chun
No associations
LandOfFree
Efficient System-Enforced Deterministic Parallelism does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Efficient System-Enforced Deterministic Parallelism, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Efficient System-Enforced Deterministic Parallelism will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-479875