From 8e1421f6e347b6346cdc327f362a7c4aae661f2d Mon Sep 17 00:00:00 2001 From: Gedare Bloom Date: Tue, 19 Dec 2017 13:50:27 -0500 Subject: sptests/spsem04: test prio stepdown on sem release Closes #3263. --- testsuites/sptests/Makefile.am | 2 +- testsuites/sptests/configure.ac | 1 + testsuites/sptests/spsem04/Makefile.am | 19 +++++ testsuites/sptests/spsem04/init.c | 149 +++++++++++++++++++++++++++++++++ testsuites/sptests/spsem04/spsem04.doc | 13 +++ testsuites/sptests/spsem04/spsem04.scn | 2 + 6 files changed, 185 insertions(+), 1 deletion(-) create mode 100644 testsuites/sptests/spsem04/Makefile.am create mode 100644 testsuites/sptests/spsem04/init.c create mode 100644 testsuites/sptests/spsem04/spsem04.doc create mode 100644 testsuites/sptests/spsem04/spsem04.scn diff --git a/testsuites/sptests/Makefile.am b/testsuites/sptests/Makefile.am index 2424716047..a3011ae91c 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 +_SUBDIRS += spsem01 spsem02 spsem03 spsem04 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 8ef651d6e3..e410fa8021 100644 --- a/testsuites/sptests/configure.ac +++ b/testsuites/sptests/configure.ac @@ -134,6 +134,7 @@ spprintk/Makefile spsem01/Makefile spsem02/Makefile spsem03/Makefile +spsem04/Makefile spsize/Makefile spstkalloc/Makefile spthreadq01/Makefile diff --git a/testsuites/sptests/spsem04/Makefile.am b/testsuites/sptests/spsem04/Makefile.am new file mode 100644 index 0000000000..d728786ab7 --- /dev/null +++ b/testsuites/sptests/spsem04/Makefile.am @@ -0,0 +1,19 @@ +rtems_tests_PROGRAMS = spsem04 +spsem04_SOURCES = init.c + +dist_rtems_tests_DATA = spsem04.scn spsem04.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 = $(spsem04_OBJECTS) +LINK_LIBS = $(spsem04_LDLIBS) + +spsem04$(EXEEXT): $(spsem04_OBJECTS) $(spsem04_DEPENDENCIES) + @rm -f spsem04$(EXEEXT) + $(make-exe) + +include $(top_srcdir)/../automake/local.am diff --git a/testsuites/sptests/spsem04/init.c b/testsuites/sptests/spsem04/init.c new file mode 100644 index 0000000000..772406ac8e --- /dev/null +++ b/testsuites/sptests/spsem04/init.c @@ -0,0 +1,149 @@ +/* + * 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 4"; + +typedef struct { + rtems_id low; + rtems_id mid; + 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 mid_task(rtems_task_argument arg) +{ + test_context *ctx = &test_instance; + + rtems_test_assert(0); +} + +static void high_task(rtems_task_argument arg) +{ + test_context *ctx = &test_instance; + + start_task(ctx->mid, mid_task); + obtain_sema(ctx->sem_b); + + printf("*** END OF TEST SPSEM 4 ***\n"); + rtems_test_exit(0); +} + +static void Init(rtems_task_argument arg) +{ + test_context *ctx = &test_instance; + + printf("*** BEGIN OF TEST SPSEM 4 ***\n"); + + ctx->low = rtems_task_self(); + create_task(&ctx->mid, 3); + create_task(&ctx->high, 1); + create_sema(&ctx->sem_a); + create_sema(&ctx->sem_b); + + obtain_sema(ctx->sem_a); + obtain_sema(ctx->sem_b); + start_task(ctx->high, high_task); + + release_sema(ctx->sem_b); + + 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/spsem04/spsem04.doc b/testsuites/sptests/spsem04/spsem04.doc new file mode 100644 index 0000000000..053a4d7058 --- /dev/null +++ b/testsuites/sptests/spsem04/spsem04.doc @@ -0,0 +1,13 @@ +This file describes the directives and concepts tested by this test set. + +test set name: spsem04 + +directives: + + - rtems_semaphore_obtain() + - rtems_semaphore_release() + +concepts: + + - Demonstrate that the priority inheritance protocol works with stepping + down of priority on semaphore release. diff --git a/testsuites/sptests/spsem04/spsem04.scn b/testsuites/sptests/spsem04/spsem04.scn new file mode 100644 index 0000000000..fa685197cf --- /dev/null +++ b/testsuites/sptests/spsem04/spsem04.scn @@ -0,0 +1,2 @@ +*** BEGIN OF TEST SPSEM 4 *** +*** END OF TEST SPSEM 4 *** -- cgit v1.2.3