From cc3fd8fcf182cfa35388fc79c14e784a968570ae Mon Sep 17 00:00:00 2001 From: Sebastian Huber Date: Fri, 17 Jul 2020 19:42:32 +0200 Subject: libtest: Add T_interrupt_test() Update #3199. --- testsuites/libtests/Makefile.am | 9 ++ testsuites/libtests/configure.ac | 1 + testsuites/libtests/ttest02/init.c | 174 ++++++++++++++++++++++++++++++++ testsuites/libtests/ttest02/ttest02.doc | 11 ++ testsuites/libtests/ttest02/ttest02.scn | 37 +++++++ 5 files changed, 232 insertions(+) create mode 100644 testsuites/libtests/ttest02/init.c create mode 100644 testsuites/libtests/ttest02/ttest02.doc create mode 100644 testsuites/libtests/ttest02/ttest02.scn (limited to 'testsuites/libtests') diff --git a/testsuites/libtests/Makefile.am b/testsuites/libtests/Makefile.am index c312f14324..2ff05f2b74 100644 --- a/testsuites/libtests/Makefile.am +++ b/testsuites/libtests/Makefile.am @@ -1493,6 +1493,15 @@ ttest01_CPPFLAGS = $(AM_CPPFLAGS) $(TEST_FLAGS_ttest01) \ $(support_includes) endif +if TEST_ttest02 +lib_tests += ttest02 +lib_screens += ttest02/ttest02.scn +lib_docs += ttest02/ttest02.doc +ttest02_SOURCES = ttest02/init.c +ttest02_CPPFLAGS = $(AM_CPPFLAGS) $(TEST_FLAGS_ttest02) \ + $(support_includes) +endif + if TEST_tztest lib_tests += tztest lib_screens += tztest/tztest.scn diff --git a/testsuites/libtests/configure.ac b/testsuites/libtests/configure.ac index 3b5462600d..2fbcb61622 100644 --- a/testsuites/libtests/configure.ac +++ b/testsuites/libtests/configure.ac @@ -225,6 +225,7 @@ RTEMS_TEST_CHECK([termios10]) RTEMS_TEST_CHECK([termios11]) RTEMS_TEST_CHECK([top]) RTEMS_TEST_CHECK([ttest01]) +RTEMS_TEST_CHECK([ttest02]) RTEMS_TEST_CHECK([tztest]) RTEMS_TEST_CHECK([uid01]) RTEMS_TEST_CHECK([unlink]) diff --git a/testsuites/libtests/ttest02/init.c b/testsuites/libtests/ttest02/init.c new file mode 100644 index 0000000000..0f907e15ec --- /dev/null +++ b/testsuites/libtests/ttest02/init.c @@ -0,0 +1,174 @@ +/* SPDX-License-Identifier: BSD-2-Clause */ + +/* + * Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de) + * + * Redistribution and use in source and binary forms, with or without + * modification, are permitted provided that the following conditions + * are met: + * 1. Redistributions of source code must retain the above copyright + * notice, this list of conditions and the following disclaimer. + * 2. Redistributions in binary form must reproduce the above copyright + * notice, this list of conditions and the following disclaimer in the + * documentation and/or other materials provided with the distribution. + * + * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" + * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE + * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE + * ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE + * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR + * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF + * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS + * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN + * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) + * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE + * POSSIBILITY OF SUCH DAMAGE. + */ + +#ifdef HAVE_CONFIG_H +#include "config.h" +#endif + +#include +#include + +#include + +static void +prepare(void *arg) +{ + Atomic_Uint *state; + + state = arg; + _Atomic_Store_uint(state, 0, ATOMIC_ORDER_RELAXED); +} + +static void +action(void *arg) +{ + Atomic_Uint *state; + unsigned int expected; + bool success_0; + bool success_1; + + state = arg; + + /* + * This code models a critical section in the operating system. The + * interrupt should happen between the two atomic operations. + */ + expected = 0; + success_0 = _Atomic_Compare_exchange_uint(state, &expected, 1, + ATOMIC_ORDER_RELAXED, ATOMIC_ORDER_RELAXED); + expected = 1; + success_1 = _Atomic_Compare_exchange_uint(state, &expected, 2, + ATOMIC_ORDER_RELAXED, ATOMIC_ORDER_RELAXED); + T_quiet_true(success_0); + T_quiet_true(success_1); + + T_interrupt_test_busy_wait_for_interrupt(); +} + +static T_interrupt_test_state +interrupt(void *arg) +{ + Atomic_Uint *state; + unsigned int expected; + + if (T_interrupt_test_get_state() != T_INTERRUPT_TEST_ACTION) { + return T_INTERRUPT_TEST_CONTINUE; + } + + state = arg; + expected = 1; + + if (_Atomic_Compare_exchange_uint(state, &expected, expected, + ATOMIC_ORDER_RELAXED, ATOMIC_ORDER_RELAXED)) { + return T_INTERRUPT_TEST_DONE; + } else if (expected == 0) { + return T_INTERRUPT_TEST_EARLY; + } else { + T_quiet_eq_uint(expected, 2); + return T_INTERRUPT_TEST_LATE; + } +} + +static const T_interrupt_test_config done_config = { + .prepare = prepare, + .action = action, + .interrupt = interrupt, + .max_iteration_count = 10000 +}; + +T_TEST_CASE(TestInterruptDone) +{ + int i; + + for (i = 0; i < 10; ++i) { + Atomic_Uint action_state; + T_interrupt_test_state state; + + state = T_interrupt_test(&done_config, &action_state); + T_eq_int(state, T_INTERRUPT_TEST_DONE); + } +} + +static const T_interrupt_test_config timeout_config = { + .interrupt = interrupt, + .action = action +}; + +T_TEST_CASE(TestInterruptTimeout) +{ + Atomic_Uint action_state; + T_interrupt_test_state state; + + T_plan(1); + state = T_interrupt_test(&timeout_config, &action_state); + T_step_eq_int(0, state, T_INTERRUPT_TEST_TIMEOUT); +} + +static void +fatal(void *arg) +{ + (void)arg; + T_step(0); + T_stop(); +} + +static const T_interrupt_test_config fatal_config = { + .prepare = fatal, + .action = action, + .interrupt = interrupt, + .max_iteration_count = 10000 +}; + +T_TEST_CASE(TestInterruptFatal) +{ + Atomic_Uint action_state; + + T_plan(1); + T_interrupt_test(&fatal_config, &action_state); + T_unreachable(); +} + +const char rtems_test_name[] = "TTEST 2"; + +static void +Init(rtems_task_argument argument) +{ + rtems_test_run(argument, TEST_STATE); +} + +#define CONFIGURE_APPLICATION_NEEDS_CLOCK_DRIVER +#define CONFIGURE_APPLICATION_NEEDS_SIMPLE_CONSOLE_DRIVER + +#define CONFIGURE_MICROSECONDS_PER_TICK 1000 + +#define CONFIGURE_MAXIMUM_TASKS 1 + +#define CONFIGURE_RTEMS_INIT_TASKS_TABLE + +#define CONFIGURE_INIT + +#include diff --git a/testsuites/libtests/ttest02/ttest02.doc b/testsuites/libtests/ttest02/ttest02.doc new file mode 100644 index 0000000000..193f288d71 --- /dev/null +++ b/testsuites/libtests/ttest02/ttest02.doc @@ -0,0 +1,11 @@ +This file describes the directives and concepts tested by this test set. + +test set name: ttest02 + +directives: + + - T_interrupt_test() + +concepts: + + - Ensure that the interrupt test works. diff --git a/testsuites/libtests/ttest02/ttest02.scn b/testsuites/libtests/ttest02/ttest02.scn new file mode 100644 index 0000000000..7ff2fac704 --- /dev/null +++ b/testsuites/libtests/ttest02/ttest02.scn @@ -0,0 +1,37 @@ +*** BEGIN OF TEST TTEST 2 *** +*** TEST VERSION: 6.0.0.133fcd71c16b87b5c3924c04039a125be9affcfa +*** TEST STATE: EXPECTED_PASS +*** TEST BUILD: RTEMS_SMP +*** TEST TOOLS: 10.0.1 20200406 (RTEMS 6, RSB b69f54d51740810dc54a50662f5da4d4ba0ddd18, Newlib ece49e4) +A:TTEST 2 +S:Platform:RTEMS +S:Compiler:10.0.1 20200406 (RTEMS 6, RSB b69f54d51740810dc54a50662f5da4d4ba0ddd18, Newlib ece49e4) +S:Version:6.0.0.133fcd71c16b87b5c3924c04039a125be9affcfa +S:BSP:leon3 +S:RTEMS_DEBUG:0 +S:RTEMS_MULTIPROCESSING:0 +S:RTEMS_POSIX_API:0 +S:RTEMS_PROFILING:0 +S:RTEMS_SMP:1 +B:TestInterruptTimeout +P:0:0:UI1:init.c:130 +E:TestInterruptTimeout:N:1:F:0:D:0.042180 +B:TestInterruptFatal +P:0:0:UI1:init.c:137 +E:TestInterruptFatal:N:1:F:0:D:0.000360 +B:TestInterruptDone +P:0:0:UI1:init.c:114 +P:1:0:UI1:init.c:114 +P:2:0:UI1:init.c:114 +P:3:0:UI1:init.c:114 +P:4:0:UI1:init.c:114 +P:5:0:UI1:init.c:114 +P:6:0:UI1:init.c:114 +P:7:0:UI1:init.c:114 +P:8:0:UI1:init.c:114 +P:9:0:UI1:init.c:114 +E:TestInterruptDone:N:10:F:0:D:1.233900 +Z:TTEST 2:C:3:N:12:F:0:D:1.277400 +Y:ReportHash:SHA256:308c997b3220d239738a11dac4133d9f987a34b3f5f9baf1158d1a54f85cc647 + +*** END OF TEST TTEST 2 *** -- cgit v1.2.3