diff options
Diffstat (limited to 'testsuites/validation/tc-score-thread.c')
| -rw-r--r-- | testsuites/validation/tc-score-thread.c | 149 |
1 files changed, 145 insertions, 4 deletions
diff --git a/testsuites/validation/tc-score-thread.c b/testsuites/validation/tc-score-thread.c index 694fcaefab..e065905641 100644 --- a/testsuites/validation/tc-score-thread.c +++ b/testsuites/validation/tc-score-thread.c @@ -3,11 +3,11 @@ /** * @file * - * @ingroup RTEMSTestCaseScoreThreadValThread + * @ingroup ScoreThreadValThread */ /* - * Copyright (C) 2021 embedded brains GmbH (http://www.embedded-brains.de) + * Copyright (C) 2021, 2023 embedded brains GmbH & Co. KG * * Redistribution and use in source and binary forms, with or without * modification, are permitted provided that the following conditions @@ -62,9 +62,9 @@ #include <rtems/test.h> /** - * @defgroup RTEMSTestCaseScoreThreadValThread spec:/score/thread/val/thread + * @defgroup ScoreThreadValThread spec:/score/thread/val/thread * - * @ingroup RTEMSTestSuiteTestsuitesValidationNoClock0 + * @ingroup TestsuitesValidationNoClock0 * * @brief Tests general thread behaviour. * @@ -95,6 +95,22 @@ * * - Clean up all used resources. * + * - Validate the global construction. Mark that the test case executed. + * + * - Check that the global constructor was called exactly once. + * + * - Check that the global construction was done by the Classic API user + * initialization task. + * + * - Check that the global constructor was called before the task entry. + * + * - Validate that thread dispatching does not recurse. Issue a couple of + * thread context switches during a thread dispatch. Record the stack + * pointers of the heir threads. + * + * - Check that the thread dispatching did not recurse through the recorded + * stack pointers. + * * @{ */ @@ -116,6 +132,21 @@ typedef struct { * @brief This member contains a floating-point object. */ volatile double fp_obj; + + /** + * @brief This member indicates the thread switch state. + */ + int thread_switch_state; + + /** + * @brief This member contain the runner stack pointer at the context switch. + */ + uintptr_t runner_stack[ 2 ]; + + /** + * @brief This member contain the worker stack pointer at the context switch. + */ + uintptr_t worker_stack[ 2 ]; } ScoreThreadValThread_Context; static ScoreThreadValThread_Context @@ -123,6 +154,21 @@ static ScoreThreadValThread_Context typedef ScoreThreadValThread_Context Context; +static bool test_case_executed; + +static bool constructor_test_case_executed; + +static uint32_t constructor_calls; + +static rtems_id constructor_id; + +static __attribute__(( __constructor__ )) void Constructor( void ) +{ + constructor_test_case_executed = test_case_executed; + ++constructor_calls; + constructor_id = rtems_task_self(); +} + static void TaskTerminate( rtems_tcb *executing ) { Context *ctx; @@ -171,6 +217,44 @@ static void KillerTask( rtems_task_argument arg ) DeleteTask( ctx->worker_id ); } +static void TaskSwitch( rtems_tcb *executing, rtems_tcb *heir ) +{ + Context *ctx; + rtems_id worker_id; + int state; + uintptr_t heir_stack; + + ctx = T_fixture_context(); + worker_id = ctx->worker_id; + state = ctx->thread_switch_state; + ctx->thread_switch_state = state + 1; + heir_stack = _CPU_Context_Get_SP( &heir->Registers ); + + switch ( state ) { + case 0: + T_eq_u32( heir->Object.id, worker_id ); + SuspendTask( worker_id ); + ctx->worker_stack[ 0 ] = heir_stack; + break; + case 1: + T_eq_u32( executing->Object.id, worker_id ); + ResumeTask( worker_id ); + ctx->runner_stack[ 0 ] = heir_stack; + break; + case 2: + T_eq_u32( heir->Object.id, worker_id ); + SuspendTask( worker_id ); + ctx->worker_stack[ 1 ] = heir_stack; + break; + case 3: + T_eq_u32( executing->Object.id, worker_id ); + ctx->runner_stack[ 1 ] = heir_stack; + break; + default: + T_unreachable(); + } +} + static T_fixture ScoreThreadValThread_Fixture = { .setup = NULL, .stop = NULL, @@ -290,6 +374,61 @@ static void ScoreThreadValThread_Action_1( ScoreThreadValThread_Context *ctx ) } /** + * @brief Validate the global construction. Mark that the test case executed. + */ +static void ScoreThreadValThread_Action_2( ScoreThreadValThread_Context *ctx ) +{ + test_case_executed = true; + + /* + * Check that the global constructor was called exactly once. + */ + T_eq_u32( constructor_calls, 1 ); + + /* + * Check that the global construction was done by the Classic API user + * initialization task. + */ + T_eq_u32( constructor_id, rtems_task_self() ); + + /* + * Check that the global constructor was called before the task entry. + */ + T_false( constructor_test_case_executed ); +} + +/** + * @brief Validate that thread dispatching does not recurse. Issue a couple of + * thread context switches during a thread dispatch. Record the stack + * pointers of the heir threads. + */ +static void ScoreThreadValThread_Action_3( ScoreThreadValThread_Context *ctx ) +{ + SetSelfPriority( PRIO_NORMAL ); + ctx->worker_id = CreateTask( "WORK", PRIO_HIGH ); + StartTask( ctx->worker_id, WorkerTask, NULL ); + + ctx->thread_switch_state = 0; + ctx->runner_stack[ 0 ] = 0; + ctx->runner_stack[ 1 ] = 1; + ctx->worker_stack[ 0 ] = 0; + ctx->worker_stack[ 1 ] = 1; + SetTaskSwitchExtension( TaskSwitch ); + ResumeTask( ctx->worker_id ); + + SetTaskSwitchExtension( NULL ); + DeleteTask( ctx->worker_id ); + RestoreRunnerPriority(); + + /* + * Check that the thread dispatching did not recurse through the recorded + * stack pointers. + */ + T_eq_uptr( ctx->runner_stack[ 0 ], ctx->runner_stack[ 1 ] ); + T_eq_uptr( ctx->worker_stack[ 0 ], ctx->worker_stack[ 1 ] ); +} + +/** * @fn void T_case_body_ScoreThreadValThread( void ) */ T_TEST_CASE_FIXTURE( ScoreThreadValThread, &ScoreThreadValThread_Fixture ) @@ -300,6 +439,8 @@ T_TEST_CASE_FIXTURE( ScoreThreadValThread, &ScoreThreadValThread_Fixture ) ScoreThreadValThread_Action_0( ctx ); ScoreThreadValThread_Action_1( ctx ); + ScoreThreadValThread_Action_2( ctx ); + ScoreThreadValThread_Action_3( ctx ); } /** @} */ |