diff options
Diffstat (limited to 'results/scraper/launchpad-without-comments/1652373')
| -rw-r--r-- | results/scraper/launchpad-without-comments/1652373 | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/results/scraper/launchpad-without-comments/1652373 b/results/scraper/launchpad-without-comments/1652373 new file mode 100644 index 000000000..d39808bd5 --- /dev/null +++ b/results/scraper/launchpad-without-comments/1652373 @@ -0,0 +1,7 @@ +User-mode QEMU is not deterministic + +QEMU in user-mode (linux-user or bsd-user) has no way to get the equivalent of the "-icount" argument found in softmmu mode. + +It is true that some system calls in user-mode can prevent deterministic execution, but it would be very simple to patch time-related syscalls to return a number based on icount when in deterministic mode. + +Putting both changes together (icount + time-related syscalls) would cover the needs for deterministic execution of most benchmarks (i.e., those not interacting with the network or other programs in the system). \ No newline at end of file |