sptests/sp51/init.c

0001 /* SPDX-License-Identifier: BSD-2-Clause */
0002
0003 /*
0004  *  COPYRIGHT (c) 1989-2012.
0005  *  On-Line Applications Research Corporation (OAR).
0006  *
0007  * Redistribution and use in source and binary forms, with or without
0008  * modification, are permitted provided that the following conditions
0009  * are met:
0010  * 1. Redistributions of source code must retain the above copyright
0011  *    notice, this list of conditions and the following disclaimer.
0012  * 2. Redistributions in binary form must reproduce the above copyright
0013  *    notice, this list of conditions and the following disclaimer in the
0014  *    documentation and/or other materials provided with the distribution.
0015  *
0016  * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
0017  * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
0018  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
0019  * ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE
0020  * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
0021  * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
0022  * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
0023  * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
0024  * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
0025  * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
0026  * POSSIBILITY OF SUCH DAMAGE.
0027  */
0028
0029 #ifdef HAVE_CONFIG_H
0030 #include "config.h"
0031 #endif
0032
0033 #include <tmacros.h>
0034
0035 const char rtems_test_name[] = "SP 51";
0036
0037 /* forward declarations to avoid warnings */
0038 rtems_task Init(rtems_task_argument argument);
0039
0040 static void test_create_initially_locked_prio_inherit_sema(void)
0041 {
0042   rtems_status_code   sc;
0043   rtems_id            id;
0044   rtems_task_priority prio_a;
0045   rtems_task_priority prio_b;
0046   rtems_task_priority prio_ceiling = 0;
0047
0048   sc = rtems_task_set_priority(RTEMS_SELF, RTEMS_CURRENT_PRIORITY, &prio_a);
0049   rtems_test_assert(sc == RTEMS_SUCCESSFUL);
0050
0051   rtems_test_assert(prio_a != prio_ceiling);
0052
0053   sc = rtems_semaphore_create(
0054     rtems_build_name( 'S', 'E', 'M', 'A' ),
0055     0,
0056     RTEMS_BINARY_SEMAPHORE | RTEMS_PRIORITY | RTEMS_INHERIT_PRIORITY,
0057     prio_ceiling,
0058     &id
0059   );
0060   rtems_test_assert(sc == RTEMS_SUCCESSFUL);
0061
0062   sc = rtems_task_set_priority(RTEMS_SELF, RTEMS_CURRENT_PRIORITY, &prio_b);
0063   rtems_test_assert(sc == RTEMS_SUCCESSFUL);
0064
0065   rtems_test_assert(prio_a == prio_b);
0066
0067   sc = rtems_semaphore_release(id);
0068   rtems_test_assert(sc == RTEMS_SUCCESSFUL);
0069
0070   sc = rtems_semaphore_delete(id);
0071   rtems_test_assert(sc == RTEMS_SUCCESSFUL);
0072 }
0073
0074 rtems_task Init(
0075   rtems_task_argument argument
0076 )
0077 {
0078   rtems_status_code sc;
0079   rtems_id          mutex;
0080
0081   TEST_BEGIN();
0082
0083   puts( "Create semaphore - priority ceiling unlocked - invalid ceiling" );
0084   sc = rtems_semaphore_create(
0085     rtems_build_name( 'S', 'E', 'M', '1' ),
0086     0,
0087     RTEMS_BINARY_SEMAPHORE | RTEMS_PRIORITY_CEILING | RTEMS_PRIORITY,
0088     UINT32_MAX,
0089     &mutex
0090   );
0091   fatal_directive_status(sc, RTEMS_INVALID_PRIORITY, "rtems_semaphore_create");
0092
0093   puts( "Create semaphore - priority ceiling locked - violate ceiling" );
0094   sc = rtems_semaphore_create(
0095     rtems_build_name( 'S', 'E', 'M', '1' ),
0096     0,
0097     RTEMS_BINARY_SEMAPHORE | RTEMS_PRIORITY_CEILING | RTEMS_PRIORITY,
0098     (RTEMS_MAXIMUM_PRIORITY - 4u),
0099     &mutex
0100   );
0101   fatal_directive_status(sc, RTEMS_INVALID_PRIORITY, "rtems_semaphore_create");
0102
0103   puts( "Create semaphore - priority ceiling unlocked" );
0104   sc = rtems_semaphore_create(
0105     rtems_build_name( 'S', 'E', 'M', '1' ),
0106     1,
0107     RTEMS_BINARY_SEMAPHORE | RTEMS_PRIORITY_CEILING | RTEMS_PRIORITY,
0108     (RTEMS_MAXIMUM_PRIORITY - 4u),
0109     &mutex
0110   );
0111   directive_failed( sc, "rtems_semaphore_create" );
0112
0113   puts( "Obtain semaphore -- violate ceiling" );
0114   sc = rtems_semaphore_obtain( mutex, RTEMS_DEFAULT_OPTIONS, 0 );
0115   fatal_directive_status(
0116     sc, RTEMS_INVALID_PRIORITY, "rtems_semaphore_obtain" );
0117
0118   puts( "Release semaphore we did not obtain" );
0119   sc = rtems_semaphore_release( mutex );
0120   fatal_directive_status(
0121     sc, RTEMS_NOT_OWNER_OF_RESOURCE, "rtems_semaphore_release" );
0122
0123   sc = rtems_semaphore_delete( mutex );
0124   directive_failed( sc, "rtems_semaphore_delete" );
0125
0126   test_create_initially_locked_prio_inherit_sema();
0127
0128   TEST_END();
0129   rtems_test_exit( 0 );
0130 }
0131
0132
0133 /**************** START OF CONFIGURATION INFORMATION ****************/
0134
0135 #define CONFIGURE_INIT
0136 #define CONFIGURE_APPLICATION_NEEDS_SIMPLE_CONSOLE_DRIVER
0137 #define CONFIGURE_APPLICATION_DOES_NOT_NEED_CLOCK_DRIVER
0138
0139 #define CONFIGURE_MAXIMUM_TASKS         1
0140 #define CONFIGURE_MAXIMUM_SEMAPHORES    1
0141
0142 #define CONFIGURE_INITIAL_EXTENSIONS RTEMS_TEST_INITIAL_EXTENSION
0143
0144 #define CONFIGURE_RTEMS_INIT_TASKS_TABLE
0145
0146 #include <rtems/confdefs.h>
0147
0148 /****************  END OF CONFIGURATION INFORMATION  ****************/