Covered the byte pool services' trace inserts and the allocate's trace update

2026-09-15T21:06:17Z

The six in-line trace inserts in the memory byte pool services were reached in one system state only, so each scored one or five of the twelve branch outcomes the macro carries. A new regression test walks the six services once per condition the macro distinguishes: thread context with every event enabled, the byte pool trace event class filtered out, interrupt context through the test ISR dispatch, initialization context, the state an interrupt presents, and a positioned buffer wrap with and without a buffer-full notification registered. Only the prioritize and information services are driven from the ISR: the shell rejects a byte allocate and a byte release from an interrupt outright, where the block pool permits an allocate that does not ask to suspend. The forced-state passes drive the internal entry points, and no byte pool service reads the system state itself, so the internal entry point reaches every insert in every state. The byte pool search restores interrupts to their previous posture rather than enabling them outright, so the lockout the forced-state pass holds survives the allocate. A second test drives the allocate service's trace update in place, the same way its block pool counterpart is driven: the path that finds memory immediately, the path that suspends until a release hands it some, and then the suspending path again with the trace buffer written all the way round while the thread is suspended, so the service correctly declines to update an entry that now belongs to a different event. Every byte pool insert now scores twelve of twelve, and the subsystem is at 413/413 lines and 381/382 branches. The one outcome left is the same one the block pool leaves: the arm that needs an event written over the same slot between the insert and the check on the immediate path. Merged over the six build configurations: 4314/4339 lines and 4546/4627 branches, up 5 lines and 64 outcomes, with the gates raised to 99.30 and 98.00 to hold them. Assisted-by: Claude Code (Opus 5)

threadx.git/test/tx/regression/threadx_byte_pool_trace_test.c, branch v6.4.1_cert

Covered the byte pool services' trace inserts and the allocate's trace update