| /openbmc/qemu/util/ |
| H A D | guest-random.c | 21 static bool deterministic; variable
52 if (unlikely(deterministic)) { in qemu_guest_getrandom()
72 if (deterministic) { in qemu_guest_random_seed_thread_part1()
83 if (deterministic) { in qemu_guest_random_seed_thread_part2()
97 deterministic = true; in qemu_guest_random_seed_main()
|
| /openbmc/qemu/docs/devel/ |
| H A D | replay.rst | 12 Record/replay functions are used for the deterministic replay of qemu
13 execution. Execution recording writes a non-deterministic events log, which
16 non-deterministic events including external input, hardware clocks,
21 Devices' models that have non-deterministic input from external devices were
26 All non-deterministic events are coming from these devices. But to
31 Academic papers with description of deterministic replay implementation:
45 * block driver for making block layer deterministic
53 designed to allow deterministic execution in absence of external inputs
55 non-deterministic events. The number of instructions elapsed from the last event
71 in a deterministic ping-pong between the two main threads.
[all …]
|
| /openbmc/qemu/docs/system/ |
| H A D | replay.rst | 13 Record/replay functions are used for the deterministic replay of qemu execution.
14 Execution recording writes a non-deterministic events log, which can be later
17 Execution replaying reads the log and replays all non-deterministic events
29 * Performs deterministic replay of all operations with keyboard and mouse
72 Record/replay system is based on saving and replaying non-deterministic
73 events (e.g. keyboard input) and simulating deterministic ones (e.g. reading
74 from HDD or memory of the VM). Saving only non-deterministic events makes
77 The following non-deterministic data from peripheral devices is saved into
79 serial port input, and hardware clocks (they are non-deterministic
82 instructions are not saved into the log, because they are deterministic and
[all …]
|
| /openbmc/openbmc/poky/meta/recipes-devtools/rsync/files/ |
| H A D | determism.patch | 13 Specify a C locale setting to be deterministic.
35 +# We use globbing in commands, need to be deterministic
|
| /openbmc/qemu/qapi/ |
| H A D | replay.json | 18 # @record: record mode. All non-deterministic data is written into
21 # @play: replay mode. Non-deterministic data required for system
|
| /openbmc/linux/Documentation/trace/rv/ |
| H A D | deterministic_automata.rst | 4 Formally, a deterministic automaton, denoted by G, is defined as a quintuple:
16 special case of deterministic automata, the occurrence of the event in *E*
17 in a state in *X* has a deterministic next state from *X*.
|
| H A D | monitor_wwnr.rst | 5 - Type: per-task deterministic automaton
|
| H A D | monitor_wip.rst | 5 - Type: per-cpu deterministic automaton
|
| H A D | da_monitor_synthesis.rst | 85 The first declares the functions for a global deterministic automata monitor,
140 [1] For details about deterministic automata format and the translation
|
| /openbmc/openbmc/meta-openembedded/meta-networking/recipes-daemons/vsftpd/vsftpd-3.0.5/ |
| H A D | makefile-libs.patch | 7 We want to avoid this dynamic detection so we have a deterministic
|
| /openbmc/openbmc/poky/meta/recipes-core/ncurses/files/ |
| H A D | 0002-configure-reproducible.patch | 6 "configure" enforces -U for ar flags, breaking deterministic builds.
|
| /openbmc/openbmc/poky/meta/recipes-multimedia/libsamplerate/ |
| H A D | libsamplerate0_0.2.2.bb | 25 # them adds some extra certainty that builds are deterministic.
|
| /openbmc/openbmc/poky/meta/recipes-devtools/rpm/files/ |
| H A D | 0001-build-pack.c-do-not-insert-payloadflags-into-.rpm-me.patch | 7 (deterministic), and 56 is the amount of threads (varies from one
|
| /openbmc/openbmc/poky/meta/recipes-devtools/syslinux/syslinux/ |
| H A D | 0014-Fix-reproducibility-issues.patch | 6 In order to build deterministic binaries, we need to sort the wildcard expansion
|
| /openbmc/linux/Documentation/locking/ |
| H A D | pi-futex.rst | 54 to think about how to offer the option of a deterministic locking
68 even if all critical sections are coded carefully to be deterministic
71 deterministic execution of the high-prio task: any medium-priority task
|
| /openbmc/openbmc/poky/meta/recipes-devtools/ruby/ruby/ |
| H A D | 0004-lib-mkmf.rb-sort-list-of-object-files-in-generated-M.patch | 7 because readdir() is also not deterministic.
|
| /openbmc/openbmc/poky/meta/recipes-graphics/vulkan/ |
| H A D | vulkan-samples_git.bb | 32 # deterministic
|
| /openbmc/openbmc/poky/meta/recipes-devtools/perl/files/ |
| H A D | 0001-cpan-Sys-Syslog-Makefile.PL-Fix-_PATH_LOG-for-determ.patch | 4 Subject: [PATCH] cpan/Sys-Syslog/Makefile.PL: Fix _PATH_LOG for deterministic
|
| /openbmc/openbmc/poky/meta/recipes-devtools/python/python3-numpy/ |
| H A D | fix_reproducibility.patch | 16 Reduce the regex to something deterministic for our builds, assuming
|
| /openbmc/openbmc/meta-openembedded/meta-oe/recipes-support/minini/ |
| H A D | minini_1.2.b.bb | 3 embedded systems. minIni takes little resources, has a deterministic memory \
|
| /openbmc/openbmc/meta-arm/meta-arm/recipes-bsp/scp-firmware/files/ |
| H A D | 0001-OPTEE-Private-Includes.patch | 9 For some reason this behaviour isn't deterministic, a ticket has been filed with upstream.
|
| /openbmc/openbmc/poky/documentation/migration-guides/ |
| H A D | release-notes-5.0.4.rst | 57 - libedit: Make docs generation deterministic
84 - ruby: Make docs generation deterministic
|
| H A D | release-notes-3.4.3.rst | 33 - cups: Add --with-dbusdir to :term:`EXTRA_OECONF` for deterministic build
78 - quilt: Disable external sendmail for deterministic build
|
| H A D | release-notes-4.0.22.rst | 54 - libedit: Make docs generation deterministic
65 - ruby: Make docs generation deterministic
|
| /openbmc/openbmc/poky/meta/conf/distro/include/ |
| H A D | ptest-packagelists.inc | 143 # bash \ # Test outcomes are non-deterministic by design
|