From f6fc635943d85143529d7da6f5cdabf27a955d19 Mon Sep 17 00:00:00 2001 From: Sebastian Huber Date: Tue, 3 Jun 2014 12:00:53 +0200 Subject: sptests/spsem03: New test --- testsuites/sptests/Makefile.am | 1 + testsuites/sptests/configure.ac | 1 + testsuites/sptests/spsem03/Makefile.am | 19 ++++ testsuites/sptests/spsem03/init.c | 159 +++++++++++++++++++++++++++++++++ testsuites/sptests/spsem03/spsem03.doc | 12 +++ testsuites/sptests/spsem03/spsem03.scn | 2 + 6 files changed, 194 insertions(+) create mode 100644 testsuites/sptests/spsem03/Makefile.am create mode 100644 testsuites/sptests/spsem03/init.c create mode 100644 testsuites/sptests/spsem03/spsem03.doc create mode 100644 testsuites/sptests/spsem03/spsem03.scn diff --git a/testsuites/sptests/Makefile.am b/testsuites/sptests/Makefile.am index e55061e757..a0acbc3093 100644 --- a/testsuites/sptests/Makefile.am +++ b/testsuites/sptests/Makefile.am @@ -37,6 +37,7 @@ if HAS_SMP else _SUBDIRS += sp29 endif +_SUBDIRS += spsem03 _SUBDIRS += spresource01 _SUBDIRS += spmrsp01 _SUBDIRS += spscheduler01 diff --git a/testsuites/sptests/configure.ac b/testsuites/sptests/configure.ac index 42fb87f7c2..d376a4f429 100644 --- a/testsuites/sptests/configure.ac +++ b/testsuites/sptests/configure.ac @@ -40,6 +40,7 @@ AM_CONDITIONAL(HAS_SMP,test "$rtems_cv_RTEMS_SMP" = "yes") # Explicitly list all Makefiles here AC_CONFIG_FILES([Makefile +spsem03/Makefile spresource01/Makefile spmrsp01/Makefile spscheduler01/Makefile diff --git a/testsuites/sptests/spsem03/Makefile.am b/testsuites/sptests/spsem03/Makefile.am new file mode 100644 index 0000000000..5c227403f1 --- /dev/null +++ b/testsuites/sptests/spsem03/Makefile.am @@ -0,0 +1,19 @@ +rtems_tests_PROGRAMS = spsem03 +spsem03_SOURCES = init.c + +dist_rtems_tests_DATA = spsem03.scn spsem03.doc + +include $(RTEMS_ROOT)/make/custom/@RTEMS_BSP@.cfg +include $(top_srcdir)/../automake/compile.am +include $(top_srcdir)/../automake/leaf.am + +AM_CPPFLAGS += -I$(top_srcdir)/../support/include + +LINK_OBJS = $(spsem03_OBJECTS) +LINK_LIBS = $(spsem03_LDLIBS) + +spsem03$(EXEEXT): $(spsem03_OBJECTS) $(spsem03_DEPENDENCIES) + @rm -f spsem03$(EXEEXT) + $(make-exe) + +include $(top_srcdir)/../automake/local.am diff --git a/testsuites/sptests/spsem03/init.c b/testsuites/sptests/spsem03/init.c new file mode 100644 index 0000000000..cf1e48b7ee --- /dev/null +++ b/testsuites/sptests/spsem03/init.c @@ -0,0 +1,159 @@ +/* + * Copyright (c) 2014 embedded brains GmbH. All rights reserved. + * + * embedded brains GmbH + * Dornierstr. 4 + * 82178 Puchheim + * Germany + * + * + * The license and distribution terms for this file may be + * found in the file LICENSE in this distribution or at + * http://www.rtems.org/license/LICENSE. + */ + +#ifdef HAVE_CONFIG_H + #include "config.h" +#endif + +#include "tmacros.h" + +const char rtems_test_name[] = "SPSEM 3"; + +typedef struct { + rtems_id low; + rtems_id mid; + rtems_id high; + rtems_id inversion; + rtems_id sem_a; + rtems_id sem_b; +} test_context; + +static test_context test_instance; + +static void assert_prio(rtems_id task_id, rtems_task_priority expected_prio) +{ + rtems_status_code sc; + rtems_task_priority prio; + + sc = rtems_task_set_priority(task_id, RTEMS_CURRENT_PRIORITY, &prio); + rtems_test_assert(sc == RTEMS_SUCCESSFUL); + rtems_test_assert(prio == expected_prio); +} + +static void create_task(rtems_id *id, rtems_task_priority prio) +{ + rtems_status_code sc; + + sc = rtems_task_create( + rtems_build_name('T', 'A', 'S', 'K'), + prio, + RTEMS_MINIMUM_STACK_SIZE, + RTEMS_DEFAULT_MODES, + RTEMS_DEFAULT_ATTRIBUTES, + id + ); + rtems_test_assert(sc == RTEMS_SUCCESSFUL); +} + +static void start_task(rtems_id id, rtems_task_entry entry) +{ + rtems_status_code sc; + + sc = rtems_task_start(id, entry, 0); + rtems_test_assert(sc == RTEMS_SUCCESSFUL); +} + +static void create_sema(rtems_id *id) +{ + rtems_status_code sc; + + sc = rtems_semaphore_create( + rtems_build_name('S', 'E', 'M', 'A'), + 1, + RTEMS_BINARY_SEMAPHORE | RTEMS_INHERIT_PRIORITY | RTEMS_PRIORITY, + 0, + id + ); + rtems_test_assert(sc == RTEMS_SUCCESSFUL); +} + +static void obtain_sema(rtems_id id) +{ + rtems_status_code sc; + + sc = rtems_semaphore_obtain(id, RTEMS_WAIT, RTEMS_NO_TIMEOUT); + rtems_test_assert(sc == RTEMS_SUCCESSFUL); +} + +static void inversion_task(rtems_task_argument arg) +{ + test_context *ctx = &test_instance; + + /* + * Here we see that the priority of the high priority task blocked on + * semaphore B doesn't propagate to the low priority task owning semaphore A + * on which the owner of semaphore B depends. + */ + assert_prio(ctx->low, 3); + assert_prio(ctx->mid, 1); + assert_prio(ctx->high, 1); + assert_prio(ctx->inversion, 2); + + TEST_END(); + rtems_test_exit(0); +} + +static void mid_task(rtems_task_argument arg) +{ + test_context *ctx = &test_instance; + + obtain_sema(ctx->sem_b); + obtain_sema(ctx->sem_a); +} + +static void high_task(rtems_task_argument arg) +{ + test_context *ctx = &test_instance; + + start_task(ctx->inversion, inversion_task); + obtain_sema(ctx->sem_b); +} + +static void Init(rtems_task_argument arg) +{ + test_context *ctx = &test_instance; + + TEST_BEGIN(); + + ctx->low = rtems_task_self(); + + create_task(&ctx->mid, 3); + create_task(&ctx->high, 1); + create_task(&ctx->inversion, 2); + create_sema(&ctx->sem_a); + create_sema(&ctx->sem_b); + + obtain_sema(ctx->sem_a); + start_task(ctx->mid, mid_task); + start_task(ctx->high, high_task); +} + +#define CONFIGURE_APPLICATION_NEEDS_CLOCK_DRIVER +#define CONFIGURE_APPLICATION_NEEDS_CONSOLE_DRIVER + +#define CONFIGURE_USE_IMFS_AS_BASE_FILESYSTEM + +#define CONFIGURE_MAXIMUM_TASKS 4 +#define CONFIGURE_MAXIMUM_SEMAPHORES 2 + +#define CONFIGURE_INIT_TASK_PRIORITY 4 +#define CONFIGURE_INIT_TASK_INITIAL_MODES RTEMS_DEFAULT_MODES + +#define CONFIGURE_INITIAL_EXTENSIONS RTEMS_TEST_INITIAL_EXTENSION + +#define CONFIGURE_RTEMS_INIT_TASKS_TABLE + +#define CONFIGURE_INIT + +#include diff --git a/testsuites/sptests/spsem03/spsem03.doc b/testsuites/sptests/spsem03/spsem03.doc new file mode 100644 index 0000000000..0310965798 --- /dev/null +++ b/testsuites/sptests/spsem03/spsem03.doc @@ -0,0 +1,12 @@ +This file describes the directives and concepts tested by this test set. + +test set name: spsem03 + +directives: + + - rtems_semaphore_obtain() + +concepts: + + - Demonstrate that the priority inheritance protocol doesn't propagate to + indirectly referenced semaphore owners. diff --git a/testsuites/sptests/spsem03/spsem03.scn b/testsuites/sptests/spsem03/spsem03.scn new file mode 100644 index 0000000000..8ea4e86368 --- /dev/null +++ b/testsuites/sptests/spsem03/spsem03.scn @@ -0,0 +1,2 @@ +*** BEGIN OF TEST SPSEM 3 *** +*** END OF TEST SPSEM 3 *** -- cgit v1.2.3