diff options
author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2016-11-10 12:02:28 +0100 |
---|---|---|
committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2016-11-23 12:52:06 +0100 |
commit | 84e6f15c828869eb7d293096cfcfa0563b5752b3 (patch) | |
tree | efafb1ab17f6d1a612f79b6ec8d821ad9123756c /testsuites/smptests | |
parent | a6283671f31498773d0842b43884048c8d2d61fd (diff) |
score: Robust thread dispatch
On SMP configurations, it is a fatal error to call blocking operating
system with interrupts disabled, since this prevents delivery of
inter-processor interrupts. This could lead to executing threads which
are not allowed to execute resulting in undefined behaviour.
The ARM Cortex-M port has a similar problem, since the interrupt state
is not a part of the thread context.
Update #2811.
Diffstat (limited to 'testsuites/smptests')
-rw-r--r-- | testsuites/smptests/Makefile.am | 1 | ||||
-rw-r--r-- | testsuites/smptests/configure.ac | 1 | ||||
-rw-r--r-- | testsuites/smptests/smpfatal06/Makefile.am | 19 | ||||
-rw-r--r-- | testsuites/smptests/smpfatal06/init.c | 69 | ||||
-rw-r--r-- | testsuites/smptests/smpfatal06/smpfatal06.doc | 13 | ||||
-rw-r--r-- | testsuites/smptests/smpfatal06/smpfatal06.scn | 2 |
6 files changed, 105 insertions, 0 deletions
diff --git a/testsuites/smptests/Makefile.am b/testsuites/smptests/Makefile.am index 86b9fed1db..ba5b35f973 100644 --- a/testsuites/smptests/Makefile.am +++ b/testsuites/smptests/Makefile.am @@ -20,6 +20,7 @@ SUBDIRS += smpfatal02 SUBDIRS += smpfatal03 SUBDIRS += smpfatal04 SUBDIRS += smpfatal05 +SUBDIRS += smpfatal06 SUBDIRS += smpfatal08 SUBDIRS += smpipi01 SUBDIRS += smpload01 diff --git a/testsuites/smptests/configure.ac b/testsuites/smptests/configure.ac index 75fef51fca..bec8149f36 100644 --- a/testsuites/smptests/configure.ac +++ b/testsuites/smptests/configure.ac @@ -78,6 +78,7 @@ smpfatal02/Makefile smpfatal03/Makefile smpfatal04/Makefile smpfatal05/Makefile +smpfatal06/Makefile smpfatal08/Makefile smpipi01/Makefile smpload01/Makefile diff --git a/testsuites/smptests/smpfatal06/Makefile.am b/testsuites/smptests/smpfatal06/Makefile.am new file mode 100644 index 0000000000..c0bdf5bb23 --- /dev/null +++ b/testsuites/smptests/smpfatal06/Makefile.am @@ -0,0 +1,19 @@ +rtems_tests_PROGRAMS = smpfatal06 +smpfatal06_SOURCES = init.c + +dist_rtems_tests_DATA = smpfatal06.scn smpfatal06.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 = $(smpfatal06_OBJECTS) +LINK_LIBS = $(smpfatal06_LDLIBS) + +smpfatal06$(EXEEXT): $(smpfatal06_OBJECTS) $(smpfatal06_DEPENDENCIES) + @rm -f smpfatal06$(EXEEXT) + $(make-exe) + +include $(top_srcdir)/../automake/local.am diff --git a/testsuites/smptests/smpfatal06/init.c b/testsuites/smptests/smpfatal06/init.c new file mode 100644 index 0000000000..f871112b1a --- /dev/null +++ b/testsuites/smptests/smpfatal06/init.c @@ -0,0 +1,69 @@ +/* + * Copyright (c) 2016 embedded brains GmbH. All rights reserved. + * + * embedded brains GmbH + * Dornierstr. 4 + * 82178 Puchheim + * Germany + * <rtems@embedded-brains.de> + * + * 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 + +#define TESTS_USE_PRINTK +#include "tmacros.h" + +#include <rtems.h> + +const char rtems_test_name[] = "SMPFATAL 6"; + +static void Init(rtems_task_argument arg) +{ + rtems_interrupt_level level; + + TEST_BEGIN(); + + rtems_interrupt_local_disable(level); + (void) level; + rtems_task_wake_after(1); +} + +static void fatal_extension( + rtems_fatal_source source, + bool is_internal, + rtems_fatal_code code +) +{ + if ( + source == INTERNAL_ERROR_CORE + && !is_internal + && code == INTERNAL_ERROR_BAD_THREAD_DISPATCH_ENVIRONMENT + ) { + TEST_END(); + } +} + +#define CONFIGURE_APPLICATION_NEEDS_CLOCK_DRIVER +#define CONFIGURE_APPLICATION_NEEDS_CONSOLE_DRIVER + +#define CONFIGURE_INITIAL_EXTENSIONS \ + { .fatal = fatal_extension }, \ + RTEMS_TEST_INITIAL_EXTENSION + +#define CONFIGURE_SMP_APPLICATION + +#define CONFIGURE_SMP_MAXIMUM_PROCESSORS 1 + +#define CONFIGURE_MAXIMUM_TASKS 1 + +#define CONFIGURE_RTEMS_INIT_TASKS_TABLE + +#define CONFIGURE_INIT + +#include <rtems/confdefs.h> diff --git a/testsuites/smptests/smpfatal06/smpfatal06.doc b/testsuites/smptests/smpfatal06/smpfatal06.doc new file mode 100644 index 0000000000..57a6508625 --- /dev/null +++ b/testsuites/smptests/smpfatal06/smpfatal06.doc @@ -0,0 +1,13 @@ +This file describes the directives and concepts tested by this test set. + +test set name: smpfatal06 + +directives: + + - _Thread_Do_dispatch() + +concepts: + + - Ensure that the fatal error INTERNAL_ERROR_BAD_THREAD_DISPATCH_ENVIRONMENT + occurs in case a blocking operating system service is called with + interrupts disabled. diff --git a/testsuites/smptests/smpfatal06/smpfatal06.scn b/testsuites/smptests/smpfatal06/smpfatal06.scn new file mode 100644 index 0000000000..25bc9f7929 --- /dev/null +++ b/testsuites/smptests/smpfatal06/smpfatal06.scn @@ -0,0 +1,2 @@ +*** BEGIN OF TEST SMPFATAL 6 *** +*** END OF TEST SMPFATAL 6 *** |