Home
last modified time | relevance | path

Searched refs:deterministic (Results 1 – 25 of 80) sorted by relevance

1234

/openbmc/qemu/util/
H A Dguest-random.c21 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 Dreplay.rst12 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 Dreplay.rst13 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 Ddetermism.patch13 Specify a C locale setting to be deterministic.
35 +# We use globbing in commands, need to be deterministic
/openbmc/qemu/qapi/
H A Dreplay.json18 # @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 Ddeterministic_automata.rst4 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 Dmonitor_wwnr.rst5 - Type: per-task deterministic automaton
H A Dmonitor_wip.rst5 - Type: per-cpu deterministic automaton
H A Dda_monitor_synthesis.rst85 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 Dmakefile-libs.patch7 We want to avoid this dynamic detection so we have a deterministic
/openbmc/openbmc/poky/meta/recipes-core/ncurses/files/
H A D0002-configure-reproducible.patch6 "configure" enforces -U for ar flags, breaking deterministic builds.
/openbmc/openbmc/poky/meta/recipes-multimedia/libsamplerate/
H A Dlibsamplerate0_0.2.2.bb25 # them adds some extra certainty that builds are deterministic.
/openbmc/openbmc/poky/meta/recipes-devtools/rpm/files/
H A D0001-build-pack.c-do-not-insert-payloadflags-into-.rpm-me.patch7 (deterministic), and 56 is the amount of threads (varies from one
/openbmc/openbmc/poky/meta/recipes-devtools/syslinux/syslinux/
H A D0014-Fix-reproducibility-issues.patch6 In order to build deterministic binaries, we need to sort the wildcard expansion
/openbmc/linux/Documentation/locking/
H A Dpi-futex.rst54 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 D0004-lib-mkmf.rb-sort-list-of-object-files-in-generated-M.patch7 because readdir() is also not deterministic.
/openbmc/openbmc/poky/meta/recipes-graphics/vulkan/
H A Dvulkan-samples_git.bb32 # deterministic
/openbmc/openbmc/poky/meta/recipes-devtools/perl/files/
H A D0001-cpan-Sys-Syslog-Makefile.PL-Fix-_PATH_LOG-for-determ.patch4 Subject: [PATCH] cpan/Sys-Syslog/Makefile.PL: Fix _PATH_LOG for deterministic
/openbmc/openbmc/poky/meta/recipes-devtools/python/python3-numpy/
H A Dfix_reproducibility.patch16 Reduce the regex to something deterministic for our builds, assuming
/openbmc/openbmc/meta-openembedded/meta-oe/recipes-support/minini/
H A Dminini_1.2.b.bb3 embedded systems. minIni takes little resources, has a deterministic memory \
/openbmc/openbmc/meta-arm/meta-arm/recipes-bsp/scp-firmware/files/
H A D0001-OPTEE-Private-Includes.patch9 For some reason this behaviour isn't deterministic, a ticket has been filed with upstream.
/openbmc/openbmc/poky/documentation/migration-guides/
H A Drelease-notes-5.0.4.rst57 - libedit: Make docs generation deterministic
84 - ruby: Make docs generation deterministic
H A Drelease-notes-3.4.3.rst33 - cups: Add --with-dbusdir to :term:`EXTRA_OECONF` for deterministic build
78 - quilt: Disable external sendmail for deterministic build
H A Drelease-notes-4.0.22.rst54 - libedit: Make docs generation deterministic
65 - ruby: Make docs generation deterministic
/openbmc/openbmc/poky/meta/conf/distro/include/
H A Dptest-packagelists.inc143 # bash \ # Test outcomes are non-deterministic by design

1234