pub struct CoreShared { /* private fields */ }Expand description
Core-global state with NO per-scheduling-group partition
(Slice B-2 Step 1, D220-EXEC). Hoisted out of CoreState
so that when Step 2 shards nodes/children per ShardKey, THESE
remain singular: monotonic id counters, the topology-sink registry,
the cross-shard-visible currently_firing reentrancy stack (P13 /
/qa F2 — the load-bearing cross-thread-visibility property), the two
Core-global caps, and the Core-shutdown scratch-release queue.
Step 1 (this stage): behaviour-identical. A plain sub-struct of
CoreState under the SAME single cell/lock — s.shared.<f> is
exactly the old s.<f>. Step 2 reshapes [crate::state_cell] to
hold one CoreShared + a per-ShardKey shard map; pure-shared ops
then take only the shared guard (with_shared), shard ops the shard
guard (with_shard), and when both are needed the deadlock-free
rule is shard guard OUTER, shared guard INNER (D220-EXEC).