GitHub · Where software is built

Back to Milestones

Remove sources of non-determinism

Open

No due date

•Last updated Jul 14, 2025

Shadow is designed to be deterministic if the same --seed and same inputs are used to run a simulation. There are some uses of the syscall api that could introduce non-deterministic behavior. We should improve support to eliminate nondeterminism.

82% complete

Select all issues: List view

Shadow tests fail when the host ID order is reversed (or when hosts are renamed)

#2753

· stevenengler opened

on Feb 16, 2023

ld-linux-x86-64.so.2 (dynamic linker/loader) calls `set_tid_address`, returning the native pid, before shadow gets control, and sometimes uses it after. (tgen, rust runtime)

#3537

· sporksmith opened

on Mar 25, 2025

Opening /proc/self/* and /proc/<pid>/* opens the wrong files (especially /proc/self/maps)

#3541

· sporksmith opened

on Mar 26, 2025

Automatically configure common applications and libraries to not use RDRAND etc

Type: Enhancement

#3629

· sporksmith opened

on Jul 14, 2025