Lines Matching refs:a

13 execution. Execution recording writes a non-deterministic events log, which
70 written but now it is held for a whole execution period. This results
71 in a deterministic ping-pong between the two main threads.
73 As the BQL is now a finer grained lock than the replay_lock it is almost
74 certainly a bug, and a source of deadlocks, to take the
78 doing a more complicated unlock_iothread/replay_unlock/lock_iothread
93 To preserve this order we use checkpoints. When a specific clock is processed
99 of time. That's why we do not process a group of timers until the checkpoint
105 1 ns per *real time* nanosecond.  This is done by setting up a timer
111 virtual machine state and must be deterministic, each of them creates a
249  - EVENT_ASYNC. This is a group of events. When such an event is generated,