Monadic composition for deterministic, parallel batch processing
Published in Proceedings of the ACM on Programming Languages • Oct 12, 2017
Authors:,,
Ryan G. Scott
Omar S. Navarro Leija
Joseph Devietti
Abstract
Achieving determinism on real software systems remains difficult. Even a batch-processing job, whose task is to map input bits to output bits, risks nondeterminism from thread scheduling, system calls, CPU instructions, and leakage of environmental information such as date or CPU model. In this work...
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!