--- .../testsuites/validation/validation-0.yml | 1 + .../tc-thread-idle-body-no-return.c | 194 ++++++++++++++++++ 2 files changed, 195 insertions(+) create mode 100644 testsuites/validation/tc-thread-idle-body-no-return.c
diff --git a/spec/build/testsuites/validation/validation-0.yml b/spec/build/testsuites/validation/validation-0.yml index 926b03240f..dffb1d0726 100644 --- a/spec/build/testsuites/validation/validation-0.yml +++ b/spec/build/testsuites/validation/validation-0.yml @@ -16,6 +16,7 @@ source: - testsuites/validation/tc-mem-rtems-calloc.c - testsuites/validation/tc-mem-rtems-malloc.c - testsuites/validation/tc-mem-posix-memalign.c +- testsuites/validation/tc-thread-idle-body-no-return.c - testsuites/validation/tr-event-send-receive.c - testsuites/validation/ts-validation-0.c stlib: [] diff --git a/testsuites/validation/tc-thread-idle-body-no-return.c b/testsuites/validation/tc-thread-idle-body-no-return.c new file mode 100644 index 0000000000..5234a460f9 --- /dev/null +++ b/testsuites/validation/tc-thread-idle-body-no-return.c @@ -0,0 +1,194 @@ +/* SPDX-License-Identifier: BSD-2-Clause */ + +/** + * @file + * + * @ingroup RTEMSTestCaseScoreThreadValIdleBodyNoReturn + */ + +/* + * Copyright (C) 2022 embedded brains GmbH (http://www.embedded-brains.de) + * + * Redistribution and use in source and binary forms, with or without + * modification, are permitted provided that the following conditions + * are met: + * 1. Redistributions of source code must retain the above copyright + * notice, this list of conditions and the following disclaimer. + * 2. Redistributions in binary form must reproduce the above copyright + * notice, this list of conditions and the following disclaimer in the + * documentation and/or other materials provided with the distribution. + * + * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" + * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE + * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE + * ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE + * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR + * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF + * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS + * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN + * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) + * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE + * POSSIBILITY OF SUCH DAMAGE. + */ + +/* + * This file is part of the RTEMS quality process and was automatically + * generated. If you find something that needs to be fixed or + * worded better please post a report or patch to an RTEMS mailing list + * or raise a bug report: + * + * https://www.rtems.org/bugs.html + * + * For information on updating and regenerating please refer to the How-To + * section in the Software Requirements Engineering chapter of the + * RTEMS Software Engineering manual. The manual is provided as a part of + * a release. For development sources please refer to the online + * documentation at: + * + * https://docs.rtems.org + */ + +#ifdef HAVE_CONFIG_H +#include "config.h" +#endif + +#include <bsp.h> + +#include "tx-support.h" + +#include <rtems/test.h> + +/** + * @defgroup RTEMSTestCaseScoreThreadValIdleBodyNoReturn \ + * spec:/score/thread/val/idle-body-no-return + * + * @ingroup RTEMSTestSuiteTestsuitesValidation0 + * + * @brief Tests thread idle body behaviour. + * + * This test case performs the following actions: + * + * - Create threads which execute an thread idle body. Check that the thread + * idle body does not return. If it would return, then an + * INTERNAL_ERROR_THREAD_EXITTED fatal error would occur. + * + * - Check that the CPU port thread idle body does not return. + * + * - Where the BSP provides an idle thread body, check that it does not + * return. + * + * - Clean up all used resources. + * + * @{ + */ + +/** + * @brief Test context for spec:/score/thread/val/idle-body-no-return test + * case. + */ +typedef struct { + /** + * @brief This member contains a counter. + */ + uint32_t counter;; +} ScoreThreadValIdleBodyNoReturn_Context; + +static ScoreThreadValIdleBodyNoReturn_Context + ScoreThreadValIdleBodyNoReturn_Instance; + +typedef ScoreThreadValIdleBodyNoReturn_Context Context; + +static void CheckIdleBody( Context *ctx, rtems_task_entry entry ) +{ + rtems_id id; + + ctx->counter = 0; + id = CreateTask( "WORK", PRIO_LOW ); + StartTask( id, entry, ctx ); + + while ( ctx->counter == 0 ) { + rtems_status_code sc; + + sc = rtems_task_wake_after( 1 ); + T_rsc_success( sc ); + } + + T_eq_u32( ctx->counter, 1 ); + DeleteTask( id ); +} + +static void CPUThreadIdleBody( rtems_task_argument arg ) +{ + Context *ctx; + + ctx = (Context *) arg; + ++ctx->counter; + + (void) _CPU_Thread_Idle_body( 0 ); +} + +#if defined(BSP_IDLE_TASK_BODY) +static void BSPIdleTaskBody( rtems_task_argument arg ) +{ + Context *ctx; + + ctx = (Context *) arg; + ++ctx->counter; + + (void) BSP_IDLE_TASK_BODY( 0 ); +} +#endif + +static T_fixture ScoreThreadValIdleBodyNoReturn_Fixture = { + .setup = NULL, + .stop = NULL, + .teardown = NULL, + .scope = NULL, + .initial_context = &ScoreThreadValIdleBodyNoReturn_Instance +}; + +/** + * @brief Create threads which execute an thread idle body. Check that the + * thread idle body does not return. If it would return, then an + * INTERNAL_ERROR_THREAD_EXITTED fatal error would occur. + */ +static void ScoreThreadValIdleBodyNoReturn_Action_0( + ScoreThreadValIdleBodyNoReturn_Context *ctx +) +{ + SetSelfPriority( PRIO_NORMAL ); + + /* + * Check that the CPU port thread idle body does not return. + */ + CheckIdleBody( ctx, CPUThreadIdleBody ); + + /* + * Where the BSP provides an idle thread body, check that it does not return. + */ + #if defined(BSP_IDLE_TASK_BODY) + CheckIdleBody( ctx, BSPIdleTaskBody ); + #endif + + /* + * Clean up all used resources. + */ + RestoreRunnerPriority(); +} + +/** + * @fn void T_case_body_ScoreThreadValIdleBodyNoReturn( void ) + */ +T_TEST_CASE_FIXTURE( + ScoreThreadValIdleBodyNoReturn, + &ScoreThreadValIdleBodyNoReturn_Fixture +) +{ + ScoreThreadValIdleBodyNoReturn_Context *ctx; + + ctx = T_fixture_context(); + + ScoreThreadValIdleBodyNoReturn_Action_0( ctx ); +} + +/** @} */ -- 2.35.3 _______________________________________________ devel mailing list devel@rtems.org http://lists.rtems.org/mailman/listinfo/devel