lei.chen/myxce
1
0
Fork 1
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

docs(scheduler-sim-discrete-clock): scheduler-core spec drops speed modes, --sim-speed deprecated, REPL speed removed (task 4.2)

Browse source 
Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
This commit is contained in:
Rongsong Shen 2026-09-29 05:26:03 +00:00
parent 66435d100d
commit d5527c665b
Signed by untrusted user: rshen
GPG key ID: 80533536B0EB651C
4 changed files with 38 additions and 30 deletions
Download patch file Download diff file Expand all files Collapse all files

14
src/scheduler/testsuite/test_clock.c
View file

@ -37,10 +37,11 @@
* as xce_core_now() - session_start (Req 5 AC 12), exercised through
* the REAL xce_core_go()/xce_core_end_session() (core_session.c) with
* the core's clock frozen (discrete-simulation mode) so both the
* zero-duration case (AC 12's own "fast mode ... duration_ns is
* typically 0" note) and a nonzero case (clock advanced between go()
* and end_session(), the same anchor-update-between-events pattern a
* real driver follows) are fully deterministic.
* zero-duration case (AC 12's simulation-mode bullet: the clock moves
* only at recorded timestamps, so a session's duration_ns is 0) and
* a nonzero case (clock advanced between go() and end_session(), the
* same anchor-update-between-events pattern a real driver follows)
* are fully deterministic.
*
* White-box #include of ../src/core_clock.c (xce_core_now(),
* xce_core_tlog_format(), g_active_core_for_logging,
@ -432,8 +433,9 @@ static void test_xce_core_register_tlog_format_succeeds(void)
static void test_session_duration_zero_when_clock_frozen_across_session(void)
{
/* AC 12's own note: "in fast mode the virtual clock freezes during
* core_go() so duration_ns is typically 0". Discrete-simulation mode
/* AC 12's simulation-mode bullet: the virtual clock moves only when
* the replay sets it to a recorded timestamp, none is reached while a
* session is in progress, so duration_ns is 0. Simulation mode
* (speed=0/1) reproduces exactly that: xce_core_now() returns the same
* frozen value at both core_go() and core_end_session(). */
xce_sched_core_t core;