diff options
author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-03-06 13:52:29 +0100 |
---|---|---|
committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-03-10 09:51:00 +0100 |
commit | e9d9a6ac52f5afd20ae4ff024fea0e6b1de45467 (patch) | |
tree | d2ee9358759bbccc0be663300d08937c88e9b03e /spec/rtems/signal | |
parent | generate_membench.py: New script (diff) | |
download | rtems-central-e9d9a6ac52f5afd20ae4ff024fea0e6b1de45467.tar.bz2 |
spec: Add memory benchmarks
Diffstat (limited to 'spec/rtems/signal')
-rw-r--r-- | spec/rtems/signal/req/mem-catch-snd.yml | 16 | ||||
-rw-r--r-- | spec/rtems/signal/val/mem-catch-snd.yml | 53 |
2 files changed, 69 insertions, 0 deletions
diff --git a/spec/rtems/signal/req/mem-catch-snd.yml b/spec/rtems/signal/req/mem-catch-snd.yml new file mode 100644 index 00000000..fea454a6 --- /dev/null +++ b/spec/rtems/signal/req/mem-catch-snd.yml @@ -0,0 +1,16 @@ +SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause +copyrights: +- Copyright (C) 2021 embedded brains GmbH (http://www.embedded-brains.de +enabled-by: true +links: +- role: requirement-refinement + uid: ../../req/mem-basic +non-functional-type: quality +rationale: null +references: [] +requirement-type: non-functional +text: | + The system shall provide a benchmark program to show the static memory usage + of a basic application configuration with calls to ${../if/catch:/name} and + ${../if/send:/name}. +type: requirement diff --git a/spec/rtems/signal/val/mem-catch-snd.yml b/spec/rtems/signal/val/mem-catch-snd.yml new file mode 100644 index 00000000..de3beaab --- /dev/null +++ b/spec/rtems/signal/val/mem-catch-snd.yml @@ -0,0 +1,53 @@ +SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause +copyrights: +- Copyright (C) 2021 embedded brains GmbH (http://www.embedded-brains.de) +enabled-by: true +links: +- role: validation + uid: ../req/mem-catch-snd +test-brief: | + This static memory usage benchmark program facilitates a basic application + configuration with calls to ${../if/catch:/name} and ${../if/send:/name}. +test-code: | + static void Init( rtems_task_argument arg ) + { + (void) arg; + + (void) rtems_signal_catch( NULL, 0 ); + (void) rtems_signal_send( 0, 0 ); + } + + #define TASK_ATTRIBUTES RTEMS_DEFAULT_ATTRIBUTES + + #define TASK_STORAGE_SIZE \ + RTEMS_TASK_STORAGE_SIZE( \ + RTEMS_MINIMUM_STACK_SIZE, \ + TASK_ATTRIBUTES ) + + #define CONFIGURE_APPLICATION_DOES_NOT_NEED_CLOCK_DRIVER + + #define CONFIGURE_MAXIMUM_FILE_DESCRIPTORS 0 + + #define CONFIGURE_DISABLE_NEWLIB_REENTRANCY + + #define CONFIGURE_APPLICATION_DISABLE_FILESYSTEM + + #define CONFIGURE_MAXIMUM_TASKS 1 + + #define CONFIGURE_RTEMS_INIT_TASKS_TABLE + + #define CONFIGURE_INIT_TASK_ATTRIBUTES TASK_ATTRIBUTES + + #define CONFIGURE_INIT_TASK_INITIAL_MODES RTEMS_DEFAULT_MODES + + #define CONFIGURE_INIT_TASK_CONSTRUCT_STORAGE_SIZE TASK_STORAGE_SIZE + + #define CONFIGURE_INIT + + #include <rtems/confdefs.h> +test-description: null +test-includes: +- rtems.h +test-local-includes: [] +test-target: testsuites/membench/mem-signal-catch-snd.c +type: test-suite |