user
2.2 KiB
K16 — Integrated real-time application and evidence report
K16 composes the wrappers introduced in K08–K15 without adding a new primitive: StaticTask, StaticQueue, one measured dynamic Queue, EventGroup, SoftwareTimer, CriticalSection, IsrContext and GpioPin.
The deterministic service graph is:
startup barrier (producer | processor | reporter = 0x7)
-> real external IRQ at tick 1 wakes producer and yields once
-> periodic timer callbacks at ticks 5 and 10
-> producer -> static input queue -> processor
-> dynamic report queue -> reporter -> GPIO/evidence report
The pressure phase sends sequences 2 and 3 into a capacity-2 input queue, then rejects sequence 4 with an explicit drop-newest policy. An end marker blocks until space is available, proving recovery. The report queue also reaches depth 2. Three transformed values sum to 120.
Measured report
static-service heap delta: 0 B
one dynamic Queue cost: 128 B
forced allocation failure: returned null, heap unchanged
timer ticks: 5, 10; then inactive
input/report queue peaks: 2 / 2
dropped sequence: 4
end-to-end latency: 6 ticks
producer/processor/reporter HWM: 169 / 183 / 189 words
trace events: 24
trace digest: c474ac09
Build
make check
This runs the host model, ABI/storage gate and Hazard3 end-to-end simulation.
Debug
riscv64-unknown-elf-gdb build/task01_integration/prog.elf
b integration_debug_checkpoint
p/x g_barrier_mask
p g_timer_ticks
p g_input_queue_peak
p g_report_queue_peak
p g_dynamic_queue_heap_cost
p g_pressure_dropped_sequence
p g_end_to_end_latency
p g_producer_hwm
p g_processor_hwm
p g_reporter_hwm
p/x g_trace_digest
p g_integration_pass
Design boundary
All long-lived services except the boot-configured report queue use caller-owned static storage. A deliberately oversized pvPortMalloc request is handled as a fallible probe; it does not use ordinary operator new and leaves the heap unchanged. The timer callback and ISR only notify. Queue processing, pressure recovery, transformation and reporting remain in tasks.