testsuites/validation/tc-intr-smp-only.c

0001 /* SPDX-License-Identifier: BSD-2-Clause */
0002
0003 /**
0004  * @file
0005  *
0006  * @ingroup RtemsIntrValIntrSmpOnly
0007  */
0008
0009 /*
0010  * Copyright (C) 2021, 2024 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
0057 #include "tx-support.h"
0058
0059 #include <rtems/test.h>
0060
0061 /**
0062  * @defgroup RtemsIntrValIntrSmpOnly spec:/rtems/intr/val/intr-smp-only
0063  *
0064  * @ingroup TestsuitesValidationSmpOnly0
0065  *
0066  * @brief Tests some @ref RTEMSAPIClassicIntr directives.
0067  *
0068  * This test case performs the following actions:
0069  *
0070  * - Validate the interrupt lock directives.
0071  *
0072  *   - Assert that RTEMS_INTERRUPT_LOCK_NEEDS_OBJECT is a constant expression
0073  *     which evaluates to a non-zero value.
0074  *
0075  *   - Check that RTEMS_INTERRUPT_LOCK_REFERENCE() expanded to a lock reference
0076  *     definition.  Check that the lock is available after static
0077  *     initialization.
0078  *
0079  *   - Check that the lock is available after initialization.
0080  *
0081  *   - Check that maskable interrupts are disabled before the call to
0082  *     rtems_interrupt_lock_interrupt_disable() and disabled afterwards.
0083  *
0084  *   - Check that the maskable interrupt status is not changed by the
0085  *     rtems_interrupt_lock_acquire_isr() call.  Check that the lock is no
0086  *     longer available.
0087  *
0088  *   - Check that the maskable interrupt status is restored by the call to
0089  *     rtems_interrupt_lock_release() according to the ``_lock_context``
0090  *     parameter.  Check that the lock is available afterwards.
0091  *
0092  *   - Check that the maskable interrupt status is not changed by the
0093  *     rtems_interrupt_lock_destroy() call.
0094  *
0095  *   - Initialize the lock using rtems_interrupt_lock_initialize().  Check that
0096  *     the lock is available after initialization.
0097  *
0098  *   - Check that maskable interrupts are disabled before the call to
0099  *     rtems_interrupt_lock_acquire() and disabled afterwards.  Check that the
0100  *     lock is no longer available.
0101  *
0102  *   - Check that the maskable interrupt status is restored by the call to
0103  *     rtems_interrupt_lock_release() according to the ``_lock_context``
0104  *     parameter.  Check that the lock is available afterwards.
0105  *
0106  *   - Check that the maskable interrupt status is not changed by the
0107  *     rtems_interrupt_lock_destroy() call.
0108  *
0109  * @{
0110  */
0111
0112 RTEMS_INTERRUPT_LOCK_DECLARE( static, the_lock )
0113 RTEMS_INTERRUPT_LOCK_DEFINE( static, the_lock, "name " )
0114
0115 /**
0116  * @brief Validate the interrupt lock directives.
0117  */
0118 static void RtemsIntrValIntrSmpOnly_Action_0( void )
0119 {
0120   struct {
0121     int a;
0122     RTEMS_INTERRUPT_LOCK_MEMBER( member )
0123     int b;
0124   } lock = {
0125     .member = RTEMS_INTERRUPT_LOCK_INITIALIZER( "name" )
0126   };
0127
0128   RTEMS_INTERRUPT_LOCK_REFERENCE( ref, &the_lock )
0129   rtems_interrupt_lock_context lock_context;
0130
0131   /*
0132    * Assert that RTEMS_INTERRUPT_LOCK_NEEDS_OBJECT is a constant expression
0133    * which evaluates to a non-zero value.
0134    */
0135   RTEMS_STATIC_ASSERT( RTEMS_INTERRUPT_LOCK_NEEDS_OBJECT, LOCK_NEEDS_OBJECT );
0136
0137   /*
0138    * Check that RTEMS_INTERRUPT_LOCK_REFERENCE() expanded to a lock reference
0139    * definition.  Check that the lock is available after static initialization.
0140    */
0141   T_true( ISRLockIsAvailable( ref ) );
0142
0143   /*
0144    * Check that the lock is available after initialization.
0145    */
0146   T_true( ISRLockIsAvailable( &lock.member ) );
0147
0148   /*
0149    * Check that maskable interrupts are disabled before the call to
0150    * rtems_interrupt_lock_interrupt_disable() and disabled afterwards.
0151    */
0152   T_true( AreInterruptsEnabled() );
0153   T_true( ISRLockIsAvailable( &lock.member ) );
0154   rtems_interrupt_lock_interrupt_disable( &lock_context );
0155   T_false( AreInterruptsEnabled() );
0156   T_true( ISRLockIsAvailable( &lock.member ) );
0157
0158   /*
0159    * Check that the maskable interrupt status is not changed by the
0160    * rtems_interrupt_lock_acquire_isr() call.  Check that the lock is no longer
0161    * available.
0162    */
0163   T_false( AreInterruptsEnabled() );
0164   T_true( ISRLockIsAvailable( &lock.member ) );
0165   rtems_interrupt_lock_acquire_isr( &lock.member, &lock_context );
0166   T_false( AreInterruptsEnabled() );
0167   T_false( ISRLockIsAvailable( &lock.member ) );
0168
0169   /*
0170    * Check that the maskable interrupt status is restored by the call to
0171    * rtems_interrupt_lock_release() according to the ``_lock_context``
0172    * parameter.  Check that the lock is available afterwards.
0173    */
0174   T_false( AreInterruptsEnabled() );
0175   T_false( ISRLockIsAvailable( &lock.member ) );
0176   rtems_interrupt_lock_release( &lock.member, &lock_context );
0177   T_true( AreInterruptsEnabled() );
0178   T_true( ISRLockIsAvailable( &lock.member ) );
0179
0180   /*
0181    * Check that the maskable interrupt status is not changed by the
0182    * rtems_interrupt_lock_destroy() call.
0183    */
0184   T_true( AreInterruptsEnabled() );
0185   rtems_interrupt_lock_destroy( &lock.member );
0186   T_true( AreInterruptsEnabled() );
0187
0188   /*
0189    * Initialize the lock using rtems_interrupt_lock_initialize().  Check that
0190    * the lock is available after initialization.
0191    */
0192   rtems_interrupt_lock_initialize( &lock.member, "name" );
0193   T_true( ISRLockIsAvailable( &lock.member ) );
0194
0195   /*
0196    * Check that maskable interrupts are disabled before the call to
0197    * rtems_interrupt_lock_acquire() and disabled afterwards.  Check that the
0198    * lock is no longer available.
0199    */
0200   T_true( AreInterruptsEnabled() );
0201   T_true( ISRLockIsAvailable( &lock.member ) );
0202   rtems_interrupt_lock_acquire( &lock.member, &lock_context );
0203   T_false( AreInterruptsEnabled() );
0204   T_false( ISRLockIsAvailable( &lock.member ) );
0205
0206   /*
0207    * Check that the maskable interrupt status is restored by the call to
0208    * rtems_interrupt_lock_release() according to the ``_lock_context``
0209    * parameter.  Check that the lock is available afterwards.
0210    */
0211   T_false( AreInterruptsEnabled() );
0212   T_false( ISRLockIsAvailable( &lock.member ) );
0213   rtems_interrupt_lock_release( &lock.member, &lock_context );
0214   T_true( AreInterruptsEnabled() );
0215   T_true( ISRLockIsAvailable( &lock.member ) );
0216
0217   /*
0218    * Check that the maskable interrupt status is not changed by the
0219    * rtems_interrupt_lock_destroy() call.
0220    */
0221   T_true( AreInterruptsEnabled() );
0222   rtems_interrupt_lock_destroy( &lock.member );
0223   T_true( AreInterruptsEnabled() );
0224 }
0225
0226 /**
0227  * @fn void T_case_body_RtemsIntrValIntrSmpOnly( void )
0228  */
0229 T_TEST_CASE( RtemsIntrValIntrSmpOnly )
0230 {
0231   RtemsIntrValIntrSmpOnly_Action_0();
0232 }
0233
0234 /** @} */