/*************************************************************************** * Copyright (c) 2026 Eclipse ThreadX contributors * * This program and the accompanying materials are made available under the * terms of the MIT License which is available at * https://opensource.org/licenses/MIT. * * AI Disclosure: This file was largely AI-generated by Claude Code (Opus 5). * The AI-generated portions may be considered public domain (CC0-1.0) * and not subject to the project's licence. The human contributor has * reviewed and verified that the code is correct. * * SPDX-License-Identifier: MIT and CC0-1.0 **************************************************************************/ /* This test drives every memory block pool service with event tracing enabled. Each service carries one in-line trace insert, and that insert behaves differently according to the system state it runs in, whether its event is filtered, whether it is the entry that wraps the trace buffer, and whether a buffer-full notification is registered. The test walks the services once per combination, so every service's insert is driven through all of them. The allocate is the one service here that comes back to the entry it wrote: it saves the entry pointer and its time stamp, and later updates the entry with the address it handed out. That write goes to the entry the insert already took rather than to a new one, so the buffer is positioned one entry short of its end rather than two. The pass asserts a wrap per service so that a service whose boundary entry was taken by something else fails here instead of quietly losing coverage. The update region itself is covered by threadx_block_pool_trace_update_test. The SMP insert reads the system state and the current thread of the core it is running on rather than a single global, so the passes below that force a system state write the entry of the core this test is running on, under the SMP protection primitive. Every thread in this suite is created mapped to core 0 alone, but the core is read rather than assumed. Without event tracing compiled in the inserts expand to nothing, so the test only checks that the trace services report the feature as disabled. */ #include #include "tx_api.h" #define TX_SOURCE_CODE /* The system state is per core on SMP, and tx_thread.h remaps the name to a function call returning the running core's entry unless this macro says the file wants the array itself. The forced-state passes below have to write it, so they need the array. */ #define TX_THREAD_SMP_SOURCE_CODE #include "tx_trace.h" #include "tx_thread.h" #include "tx_initialize.h" /* Define the ISR dispatch. */ extern VOID (*test_isr_dispatch)(void); /* Define the services, in the order the test drives them. The scratch pool is created by the first and deleted by the last, and the block the allocate takes from the resident pool is given back by the release that follows it, so a pass over the whole list leaves the system as it found it. */ #define BLOCK_SERVICE_CREATE 0 #define BLOCK_SERVICE_ALLOCATE 1 #define BLOCK_SERVICE_RELEASE 2 #define BLOCK_SERVICE_PRIORITIZE 3 #define BLOCK_SERVICE_INFO_GET 4 #define BLOCK_SERVICE_DELETE 5 #define BLOCK_SERVICES 6 /* The services an ISR is allowed to call. The error checking shell rejects a create from an interrupt and a delete from any caller that is not a thread. The allocate is permitted from an interrupt as long as it does not ask to suspend, which is what the pass below requests, and the release is permitted outright -- which is where this subsystem's shell differs from the byte pool's. */ #define BLOCK_ISR_FIRST_SERVICE BLOCK_SERVICE_ALLOCATE #define BLOCK_ISR_LAST_SERVICE BLOCK_SERVICE_INFO_GET /* The resident pool holds four blocks, so a pass that takes one and gives it back never exhausts it. */ #define BLOCK_SIZE 64 #define BLOCK_POOL_SIZE (4 * (BLOCK_SIZE + sizeof(VOID *))) static unsigned long thread_0_counter = 0; static TX_THREAD thread_0; static TX_BLOCK_POOL pool_0; static TX_BLOCK_POOL pool_1; static UCHAR pool_0_memory[BLOCK_POOL_SIZE]; static UCHAR pool_1_memory[BLOCK_POOL_SIZE]; static VOID *block_ptr = TX_NULL; static ULONG buffer_full_count = 0; static ULONG isr_pass_done = 0; static UINT isr_status = TX_SUCCESS; /* The trace buffer is deliberately small. Several passes over the services fit in it many times over, so the wrap path is reached by ordinary use as well as by the positioned wrap below. */ static UCHAR trace_buffer[512]; #define TRACE_REGISTRY_ENTRIES 4 /* Define thread prototypes. */ static void thread_0_entry(ULONG thread_input); /* Prototype for test control return. */ void test_control_return(UINT status); /* Drive one block pool service through its published entry point. */ static UINT block_service(UINT service) { UINT status; switch (service) { case BLOCK_SERVICE_CREATE: status = tx_block_pool_create(&pool_1, "pool 1", BLOCK_SIZE, pool_1_memory, sizeof(pool_1_memory)); break; case BLOCK_SERVICE_ALLOCATE: status = tx_block_allocate(&pool_0, &block_ptr, TX_NO_WAIT); break; case BLOCK_SERVICE_RELEASE: status = tx_block_release(block_ptr); break; case BLOCK_SERVICE_PRIORITIZE: status = tx_block_pool_prioritize(&pool_0); break; case BLOCK_SERVICE_INFO_GET: status = tx_block_pool_info_get(&pool_0, TX_NULL, TX_NULL, TX_NULL, TX_NULL, TX_NULL, TX_NULL); break; default: status = tx_block_pool_delete(&pool_1); break; } return(status); } /* No expected-status function is needed here. The subsystem has no *_notify service, so nothing in it is compiled out by TX_DISABLE_NOTIFY_CALLBACKS and every service returns TX_SUCCESS in all eight configurations. */ #ifdef TX_ENABLE_EVENT_TRACE /* Drive one block pool service through its internal entry point. The error checking shell rejects a create from an interrupt and a delete from any caller that is not a thread, so the inserts inside those two services cannot be reached through the published entry points at a forced system state. The shell itself is covered by its own tests; what is under test here is the insert behind it. */ static UINT block_service_internal(UINT service) { UINT status; switch (service) { case BLOCK_SERVICE_CREATE: status = _tx_block_pool_create(&pool_1, "pool 1", BLOCK_SIZE, pool_1_memory, sizeof(pool_1_memory)); break; case BLOCK_SERVICE_ALLOCATE: status = _tx_block_allocate(&pool_0, &block_ptr, TX_NO_WAIT); break; case BLOCK_SERVICE_RELEASE: status = _tx_block_release(block_ptr); break; case BLOCK_SERVICE_PRIORITIZE: status = _tx_block_pool_prioritize(&pool_0); break; case BLOCK_SERVICE_INFO_GET: status = _tx_block_pool_info_get(&pool_0, TX_NULL, TX_NULL, TX_NULL, TX_NULL, TX_NULL, TX_NULL); break; default: status = _tx_block_pool_delete(&pool_1); break; } return(status); } /* Run a pass over the services with the system state forced to the value the insert has to see. The SMP protection is held across the pass, so no other core and no interrupt can observe the forced value, and the interrupt nesting count the same array element carries is restored before anything else reads it. The element is the running core's, read rather than assumed. */ static UINT pass_with_system_state(ULONG system_state) { TX_INTERRUPT_SAVE_AREA UINT service; UINT core; UINT status = TX_SUCCESS; ULONG saved_system_state; TX_DISABLE core = tx_thread_smp_core_get(); saved_system_state = _tx_thread_system_state[core]; _tx_thread_system_state[core] = system_state; for (service = 0; service < BLOCK_SERVICES; service++) { if (block_service_internal(service) != TX_SUCCESS) { status = TX_NOT_DONE; } } _tx_thread_system_state[core] = saved_system_state; TX_RESTORE return(status); } /* Position the trace buffer one entry short of its end, so that the next event inserted is the one that wraps it. A wrap reached by filling the buffer lands on whichever service happens to write the last entry; positioning puts each service's own insert on the boundary in turn. */ static void position_at_buffer_end(void) { _tx_trace_buffer_current_ptr = _tx_trace_buffer_end_ptr - 1; _tx_trace_header_ptr -> tx_trace_header_buffer_current_pointer = (ULONG) _tx_trace_buffer_current_ptr; } /* Run a pass over the services, wrapping the trace buffer on every one of them. The positioning and the call are held under one SMP protection, so the boundary entry is the service's own by construction: every trace insert in the kernel is written inside that same protection, so nothing else can take the slot in between. Once a notification is registered, every service in the pass has to report a wrap of its own. Checking that per service rather than in total is what makes the positioning prove itself: a service whose boundary entry was taken by something else fails here instead of quietly losing coverage. */ static UINT pass_with_buffer_wrap(UINT check_wraps) { TX_INTERRUPT_SAVE_AREA UINT service; UINT status = TX_SUCCESS; ULONG before; for (service = 0; service < BLOCK_SERVICES; service++) { before = buffer_full_count; TX_DISABLE position_at_buffer_end(); if (block_service(service) != TX_SUCCESS) { status = TX_NOT_DONE; } TX_RESTORE if ((check_wraps == TX_TRUE) && (buffer_full_count == before)) { status = TX_NOT_DONE; } } return(status); } /* Count the trace buffer wraps the kernel reports. */ static VOID trace_buffer_full(void *buffer) { buffer_full_count++; } /* Drive the services an ISR may call, once, from interrupt context. */ static void test_isr(void) { UINT service; if (isr_pass_done == 0) { for (service = BLOCK_ISR_FIRST_SERVICE; service <= BLOCK_ISR_LAST_SERVICE; service++) { if (block_service(service) != TX_SUCCESS) { isr_status = TX_NOT_DONE; } } isr_pass_done = 1; } } #endif /* Define what the initial system looks like. */ #ifdef CTEST void test_application_define(void *first_unused_memory) #else void threadx_block_pool_trace_application_define(void *first_unused_memory) #endif { UINT status; CHAR *pointer; /* Put first available memory address into a character pointer. */ pointer = (CHAR *) first_unused_memory; /* Put system definition stuff in here, e.g. thread creates and other assorted create information. */ status = tx_thread_create(&thread_0, "thread 0", thread_0_entry, 1, pointer, TEST_STACK_SIZE_PRINTF, 16, 16, TX_NO_TIME_SLICE, TX_AUTO_START); pointer = pointer + TEST_STACK_SIZE_PRINTF; /* Check for status. */ if (status != TX_SUCCESS) { printf("Running Block Pool Trace Test...................................... ERROR #1\n"); test_control_return(1); } /* Create the pool the services are driven against. */ status = tx_block_pool_create(&pool_0, "pool 0", BLOCK_SIZE, pool_0_memory, sizeof(pool_0_memory)); /* Check for status. */ if (status != TX_SUCCESS) { printf("Running Block Pool Trace Test...................................... ERROR #2\n"); test_control_return(1); } } /* Define the test thread. */ static void thread_0_entry(ULONG thread_input) { UINT status; UINT service; #ifdef TX_ENABLE_EVENT_TRACE ULONG wait; #endif /* Increment thread 0 counter. */ thread_0_counter++; /* Inform user of success getting to this test. */ printf("Running Block Pool Trace Test...................................... "); /* Enable event tracing. */ status = tx_trace_enable(trace_buffer, sizeof(trace_buffer), TRACE_REGISTRY_ENTRIES); #ifndef TX_ENABLE_EVENT_TRACE /* Without tracing compiled in the inserts expand to nothing, so there is nothing here to drive. Check that the service says so and finish. */ if (status != TX_FEATURE_NOT_ENABLED) { printf("ERROR #3\n"); test_control_return(1); } /* One pass over the services, so the test still exercises them. */ for (service = 0; service < BLOCK_SERVICES; service++) { if (block_service(service) != TX_SUCCESS) { printf("ERROR #4\n"); test_control_return(1); } } printf("SUCCESS!\n"); test_control_return(0); #else if (status != TX_SUCCESS) { printf("ERROR #5\n"); test_control_return(1); } /* Thread context, every event enabled: the insert runs and takes the current thread's priority. */ for (service = 0; service < BLOCK_SERVICES; service++) { if (block_service(service) != TX_SUCCESS) { printf("ERROR #6\n"); test_control_return(1); } } /* Block pool events filtered out: the insert is reached and declines to record anything. */ status = tx_trace_event_filter(TX_TRACE_BLOCK_POOL_EVENTS); if (status != TX_SUCCESS) { printf("ERROR #7\n"); test_control_return(1); } for (service = 0; service < BLOCK_SERVICES; service++) { if (block_service(service) != TX_SUCCESS) { printf("ERROR #8\n"); test_control_return(1); } } status = tx_trace_event_unfilter(TX_TRACE_BLOCK_POOL_EVENTS); if (status != TX_SUCCESS) { printf("ERROR #9\n"); test_control_return(1); } /* Interrupt context: the insert records the interrupted thread instead of a priority. Bounded, so a tick that never arrives fails the test rather than hanging it. */ test_isr_dispatch = test_isr; wait = 0; while ((isr_pass_done == 0) && (wait < 100)) { tx_thread_sleep(1); wait++; } test_isr_dispatch = TX_NULL; if (isr_pass_done == 0) { printf("ERROR #10\n"); test_control_return(1); } if (isr_status != TX_SUCCESS) { printf("ERROR #11\n"); test_control_return(1); } /* Initialization context: the insert has no thread to record at all. */ if (pass_with_system_state(TX_INITIALIZE_IN_PROGRESS) != TX_SUCCESS) { printf("ERROR #12\n"); test_control_return(1); } /* The same state an interrupt presents, for the services an ISR may not call. */ if (pass_with_system_state((ULONG) 1) != TX_SUCCESS) { printf("ERROR #13\n"); test_control_return(1); } /* Wrap the trace buffer on every service with no notification registered, then again with one. */ if (pass_with_buffer_wrap(TX_FALSE) != TX_SUCCESS) { printf("ERROR #14\n"); test_control_return(1); } status = tx_trace_buffer_full_notify(trace_buffer_full); if (status != TX_SUCCESS) { printf("ERROR #15\n"); test_control_return(1); } if (pass_with_buffer_wrap(TX_TRUE) != TX_SUCCESS) { printf("ERROR #16\n"); test_control_return(1); } /* Every service in the last pass wrapped the buffer, so the notification has to have been called once for each of them. */ if (buffer_full_count < BLOCK_SERVICES) { printf("ERROR #17\n"); test_control_return(1); } status = tx_trace_disable(); if (status != TX_SUCCESS) { printf("ERROR #18\n"); test_control_return(1); } printf("SUCCESS!\n"); test_control_return(0); #endif }