From 9f011b97d96fbc4b2795cc0e063593640234add6 Mon Sep 17 00:00:00 2001 From: Gedare Bloom Date: Tue, 19 Dec 2017 16:02:55 -0500 Subject: sptests/spsem05: another test of prio stepdown on sem release --- testsuites/sptests/Makefile.am | 2 +- testsuites/sptests/configure.ac | 1 + testsuites/sptests/spsem05/Makefile.am | 19 ++++ testsuites/sptests/spsem05/init.c | 165 +++++++++++++++++++++++++++++++++ testsuites/sptests/spsem05/spsem05.doc | 13 +++ testsuites/sptests/spsem05/spsem05.scn | 2 + 6 files changed, 201 insertions(+), 1 deletion(-) create mode 100644 testsuites/sptests/spsem05/Makefile.am create mode 100644 testsuites/sptests/spsem05/init.c create mode 100644 testsuites/sptests/spsem05/spsem05.doc create mode 100644 testsuites/sptests/spsem05/spsem05.scn diff --git a/testsuites/sptests/Makefile.am b/testsuites/sptests/Makefile.am index a3011ae91c..50473f27d4 100644 --- a/testsuites/sptests/Makefile.am +++ b/testsuites/sptests/Makefile.am @@ -24,7 +24,7 @@ _SUBDIRS = \ spintrcritical13 spintrcritical14 spintrcritical15 spintrcritical16 \ spintrcritical17 -_SUBDIRS += spsem01 spsem02 spsem03 spsem04 +_SUBDIRS += spsem01 spsem02 spsem03 spsem04 spsem05 DIST_SUBDIRS = $(_SUBDIRS) spfatal_support spintrcritical_support EXTRA_DIST = spfatal_support/init.c spfatal_support/system.h diff --git a/testsuites/sptests/configure.ac b/testsuites/sptests/configure.ac index e410fa8021..ccc143e5d2 100644 --- a/testsuites/sptests/configure.ac +++ b/testsuites/sptests/configure.ac @@ -135,6 +135,7 @@ spsem01/Makefile spsem02/Makefile spsem03/Makefile spsem04/Makefile +spsem05/Makefile spsize/Makefile spstkalloc/Makefile spthreadq01/Makefile diff --git a/testsuites/sptests/spsem05/Makefile.am b/testsuites/sptests/spsem05/Makefile.am new file mode 100644 index 0000000000..3a8e70c892 --- /dev/null +++ b/testsuites/sptests/spsem05/Makefile.am @@ -0,0 +1,19 @@ +rtems_tests_PROGRAMS = spsem05 +spsem05_SOURCES = init.c + +dist_rtems_tests_DATA = spsem05.scn spsem05.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 = $(spsem05_OBJECTS) +LINK_LIBS = $(spsem05_LDLIBS) + +spsem05$(EXEEXT): $(spsem05_OBJECTS) $(spsem05_DEPENDENCIES) + @rm -f spsem05$(EXEEXT) + $(make-exe) + +include $(top_srcdir)/../automake/local.am diff --git a/testsuites/sptests/spsem05/init.c b/testsuites/sptests/spsem05/init.c new file mode 100644 index 0000000000..33ce6e5689 --- /dev/null +++ b/testsuites/sptests/spsem05/init.c @@ -0,0 +1,165 @@ +/* + * Copyright (c) 2017 Gedare Bloom. + * Copyright (c) 2014, 2016 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 5"; + +typedef struct { + rtems_id low; + rtems_id midb; + rtems_id mida; + rtems_id high; + 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 release_sema(rtems_id id) +{ + rtems_status_code sc; + + sc = rtems_semaphore_release(id); + rtems_test_assert(sc == RTEMS_SUCCESSFUL); +} + +static void midb_task(rtems_task_argument arg) +{ + test_context *ctx = &test_instance; + + obtain_sema(ctx->sem_a); + + rtems_test_assert(0); +} + +static void mida_task(rtems_task_argument arg) +{ + test_context *ctx = &test_instance; + + obtain_sema(ctx->sem_b); + + rtems_test_assert(0); +} + +static void high_task(rtems_task_argument arg) +{ + test_context *ctx = &test_instance; + + obtain_sema(ctx->sem_a); + + printf("*** END OF TEST SPSEM 5 ***\n"); + rtems_test_exit(0); +} + +static void Init(rtems_task_argument arg) +{ + test_context *ctx = &test_instance; + + printf("*** BEGIN OF TEST SPSEM 5 ***\n"); + + ctx->low = rtems_task_self(); + create_task(&ctx->midb, 3); + create_task(&ctx->mida, 2); + create_task(&ctx->high, 1); + create_sema(&ctx->sem_a); + create_sema(&ctx->sem_b); + + obtain_sema(ctx->sem_a); + start_task(ctx->midb, midb_task); + obtain_sema(ctx->sem_b); + start_task(ctx->mida, mida_task); + start_task(ctx->high, high_task); + + release_sema(ctx->sem_b); + + release_sema(ctx->sem_a); + + rtems_test_assert(0); +} + +#define CONFIGURE_APPLICATION_NEEDS_CLOCK_DRIVER +#define CONFIGURE_APPLICATION_NEEDS_CONSOLE_DRIVER + +#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_RTEMS_INIT_TASKS_TABLE + +#define CONFIGURE_INIT + +#include diff --git a/testsuites/sptests/spsem05/spsem05.doc b/testsuites/sptests/spsem05/spsem05.doc new file mode 100644 index 0000000000..dfc0b13924 --- /dev/null +++ b/testsuites/sptests/spsem05/spsem05.doc @@ -0,0 +1,13 @@ +This file describes the directives and concepts tested by this test set. + +test set name: spsem05 + +directives: + + - rtems_semaphore_obtain() + - rtems_semaphore_release() + +concepts: + + - Demonstrate that the priority inheritance protocol works with or without + stepping down of priority on semaphore release. diff --git a/testsuites/sptests/spsem05/spsem05.scn b/testsuites/sptests/spsem05/spsem05.scn new file mode 100644 index 0000000000..4026efbcb5 --- /dev/null +++ b/testsuites/sptests/spsem05/spsem05.scn @@ -0,0 +1,2 @@ +*** BEGIN OF TEST SPSEM 5 *** +*** END OF TEST SPSEM 5 *** -- cgit v1.2.3