Reproducible execution of POSIX programs with DiOS

In this paper, we describe DiOS , a lightweight model operating system, which can be used to execute programs that make use of POSIX APIs. Such executions are fully reproducible: running the same program with the same inputs twice will result in two exactly identical instruction traces, even if the...

Full description

Saved in:

Bibliographic Details
Published in:	Software and systems modeling Vol. 20; no. 2; pp. 363 - 382
Main Authors:	Ročkai, Petr, Baranová, Zuzana, Mrázek, Jan, Kejstová, Katarína, Barnat, Jiříí
Format:	Journal Article
Language:	English
Published:	Berlin/Heidelberg Springer Berlin Heidelberg 01-04-2021 Springer Nature B.V
Subjects:	Compilers Computer Science Information Systems Applications (incl.Internet) Interpreters IT in Business Kernels Modularity Program verification (computers) Programming Languages Programming Techniques Reproducibility Software Engineering Software Engineering/Programming and Operating Systems Special Section Paper Virtual environments C/C++ Operating systems Software verification Reproducibility POSIX
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!