testsuites/validation/tc-acfg-scheduler-edf-smp.c

0001 /* SPDX-License-Identifier: BSD-2-Clause */
0002
0003 /**
0004  * @file
0005  *
0006  * @ingroup AcfgValSchedulerEdfSmp
0007  */
0008
0009 /*
0010  * Copyright (C) 2022 embedded brains GmbH & Co. KG
0011  *
0012  * Redistribution and use in source and binary forms, with or without
0013  * modification, are permitted provided that the following conditions
0014  * are met:
0015  * 1. Redistributions of source code must retain the above copyright
0016  *    notice, this list of conditions and the following disclaimer.
0017  * 2. Redistributions in binary form must reproduce the above copyright
0018  *    notice, this list of conditions and the following disclaimer in the
0019  *    documentation and/or other materials provided with the distribution.
0020  *
0021  * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
0022  * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
0023  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
0024  * ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE
0025  * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
0026  * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
0027  * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
0028  * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
0029  * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
0030  * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
0031  * POSSIBILITY OF SUCH DAMAGE.
0032  */
0033
0034 /*
0035  * This file is part of the RTEMS quality process and was automatically
0036  * generated.  If you find something that needs to be fixed or
0037  * worded better please post a report or patch to an RTEMS mailing list
0038  * or raise a bug report:
0039  *
0040  * https://www.rtems.org/bugs.html
0041  *
0042  * For information on updating and regenerating please refer to the How-To
0043  * section in the Software Requirements Engineering chapter of the
0044  * RTEMS Software Engineering manual.  The manual is provided as a part of
0045  * a release.  For development sources please refer to the online
0046  * documentation at:
0047  *
0048  * https://docs.rtems.org
0049  */
0050
0051 #ifdef HAVE_CONFIG_H
0052 #include "config.h"
0053 #endif
0054
0055 #include <rtems.h>
0056 #include <rtems/score/scheduleredfsmp.h>
0057
0058 #include "ts-config.h"
0059 #include "tx-support.h"
0060
0061 #include <rtems/test.h>
0062
0063 /**
0064  * @defgroup AcfgValSchedulerEdfSmp spec:/acfg/val/scheduler-edf-smp
0065  *
0066  * @ingroup TestsuitesValidationSmpOnly0
0067  *
0068  * @brief Tests the effect of application configuration options.
0069  *
0070  * This test case performs the following actions:
0071  *
0072  * - Check the effect of application configuration options.
0073  *
0074  *   - Check that the Earliest Deadline First SMP Scheduler which was
0075  *     configured by the CONFIGURE_SCHEDULER_EDF_SMP application configuration
0076  *     in the test suite.
0077  *
0078  * @{
0079  */
0080
0081 static uint32_t yield_count;
0082
0083 void __real__Scheduler_EDF_SMP_Yield(
0084   const Scheduler_Control *scheduler,
0085   Thread_Control          *thread,
0086   Scheduler_Node          *node
0087 );
0088
0089 void __wrap__Scheduler_EDF_SMP_Yield(
0090   const Scheduler_Control *scheduler,
0091   Thread_Control          *thread,
0092   Scheduler_Node          *node
0093 );
0094
0095 void __wrap__Scheduler_EDF_SMP_Yield(
0096   const Scheduler_Control *scheduler,
0097   Thread_Control          *thread,
0098   Scheduler_Node          *node
0099 )
0100 {
0101   ++yield_count;
0102   __real__Scheduler_EDF_SMP_Yield( scheduler, thread, node );
0103 }
0104
0105 /**
0106  * @brief Check the effect of application configuration options.
0107  */
0108 static void AcfgValSchedulerEdfSmp_Action_0( void )
0109 {
0110   rtems_status_code sc;
0111   uint32_t          yield_count_before;
0112
0113   /*
0114    * Check that the Earliest Deadline First SMP Scheduler which was configured
0115    * by the CONFIGURE_SCHEDULER_EDF_SMP application configuration in the test
0116    * suite.
0117    */
0118   yield_count_before = yield_count;
0119   sc = rtems_task_wake_after( RTEMS_YIELD_PROCESSOR );
0120   T_rsc_success( sc );
0121   T_eq_u32( yield_count, yield_count_before + 1 );
0122 }
0123
0124 /**
0125  * @fn void T_case_body_AcfgValSchedulerEdfSmp( void )
0126  */
0127 T_TEST_CASE( AcfgValSchedulerEdfSmp )
0128 {
0129   AcfgValSchedulerEdfSmp_Action_0();
0130 }
0131
0132 /** @} */