diff options
| author | Pavel Dovgalyuk <pavel.dovgaluk@gmail.com> | 2019-12-19 15:50:48 +0300 |
|---|---|---|
| committer | Paolo Bonzini <pbonzini@redhat.com> | 2020-01-07 12:08:39 +0100 |
| commit | 878ec29b9c1915ea0da951064b8aac3050f2f5b9 (patch) | |
| tree | 157253fa0974bd1e85f066c9c98b102e5de5cc67 /docs | |
| parent | fc6b2dbac1d57fc24420fb8ee25911eb6f1d1fb5 (diff) | |
| download | qemu-878ec29b9c1915ea0da951064b8aac3050f2f5b9.zip qemu-878ec29b9c1915ea0da951064b8aac3050f2f5b9.tar.gz qemu-878ec29b9c1915ea0da951064b8aac3050f2f5b9.tar.bz2 | |
replay: record and replay random number sources
Record/replay feature of icount allows deterministic running of execution
scenarios. Some CPUs and peripheral devices read random numbers from
external sources making deterministic execution impossible.
This patch adds recording and replaying of random read operations
into guest-random module, which is used by the virtual hardware.
Signed-off-by: Pavel Dovgalyuk <Pavel.Dovgaluk@ispras.ru>
Message-Id: <157675984852.14505.15709141760677102489.stgit@pasha-Precision-3630-Tower>
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/replay.txt | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/docs/replay.txt b/docs/replay.txt index ce97c3f..f4619a6 100644 --- a/docs/replay.txt +++ b/docs/replay.txt @@ -67,6 +67,7 @@ Modifications of qemu include: * network filter for recording and replaying the packets * block driver for making block layer deterministic * serial port input record and replay + * recording of random numbers obtained from the external sources Locking and thread synchronisation ---------------------------------- |