<< Click to Display Table of Contents >> Navigation:  ASA-EMulatR Reference Guide > Introduction > Architecture Overview > Chapter 21 – Debugging, Tracing, and Determinism

This chapter defines how EMulatR enables systematic debugging, high-fidelity tracing, and repeatable deterministic execution across single-CPU and SMP configurations. Everything before this chapter defines behavior; this chapter defines how that behavior is proved, reproduced, and understood when failures occur.

 

Core Principle: An emulator that cannot explain why something happened is not finished. EMulatR treats debugging and determinism as first-class architectural features, not optional tooling layered on afterward.

 

Scope: This chapter covers determinism guarantees and their enforcement, nondeterminism identification and control, the EXECTRACE macro instrumentation system, DEBUG_LOG subsystem logging, instruction/pipeline/exception/interrupt/memory tracing, the LogReader diagnostic application, breakpoints and watchpoints, deterministic replay, SMP debugging considerations, and the performance-vs-observability trade-off. It does not cover the testing and validation strategy (Chapter 22) or the architectural invariant definitions themselves (Chapter 11).

 

See Also: Chapter 11 - Architectural Invariants (determinism and observability invariants); Chapter 22 – Testing, Validation, and Architectural Compliance (verification strategy).