Monadic composition for deterministic, parallel batch processing

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...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Proceedings of ACM on programming languages Jg. 1; H. OOPSLA; S. 1 - 26
Hauptverfasser:	Scott, Ryan G., Navarro Leija, Omar S., Devietti, Joseph, Newton, Ryan R.
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	01.10.2017
ISSN:	2475-1421, 2475-1421
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!