From c4a758c9894e710a2dfb02a972eea6b00c3589bd Mon Sep 17 00:00:00 2001 From: Sebastian Huber Date: Thu, 30 Sep 2021 10:57:24 +0200 Subject: generate_membench.py: Add benchmarks --- spec/rtems/task/req/mem-del.yml | 15 --------------- spec/rtems/task/req/mem-delete.yml | 15 +++++++++++++++ spec/rtems/task/req/mem-get-affinity.yml | 16 ++++++++++++++++ spec/rtems/task/req/mem-get-priority.yml | 16 ++++++++++++++++ spec/rtems/task/req/mem-get-scheduler.yml | 16 ++++++++++++++++ spec/rtems/task/req/mem-mode.yml | 15 +++++++++++++++ spec/rtems/task/req/mem-set-affinity.yml | 16 ++++++++++++++++ spec/rtems/task/req/mem-set-priority.yml | 16 ++++++++++++++++ spec/rtems/task/req/mem-set-scheduler.yml | 16 ++++++++++++++++ spec/rtems/task/req/mem-wake-after.yml | 16 ++++++++++++++++ spec/rtems/task/req/mem-wake-when.yml | 15 +++++++++++++++ 11 files changed, 157 insertions(+), 15 deletions(-) delete mode 100644 spec/rtems/task/req/mem-del.yml create mode 100644 spec/rtems/task/req/mem-delete.yml create mode 100644 spec/rtems/task/req/mem-get-affinity.yml create mode 100644 spec/rtems/task/req/mem-get-priority.yml create mode 100644 spec/rtems/task/req/mem-get-scheduler.yml create mode 100644 spec/rtems/task/req/mem-mode.yml create mode 100644 spec/rtems/task/req/mem-set-affinity.yml create mode 100644 spec/rtems/task/req/mem-set-priority.yml create mode 100644 spec/rtems/task/req/mem-set-scheduler.yml create mode 100644 spec/rtems/task/req/mem-wake-after.yml create mode 100644 spec/rtems/task/req/mem-wake-when.yml (limited to 'spec/rtems/task/req') diff --git a/spec/rtems/task/req/mem-del.yml b/spec/rtems/task/req/mem-del.yml deleted file mode 100644 index f09c2bc6..00000000 --- a/spec/rtems/task/req/mem-del.yml +++ /dev/null @@ -1,15 +0,0 @@ -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 a call to ${../if/delete:/name}. -type: requirement diff --git a/spec/rtems/task/req/mem-delete.yml b/spec/rtems/task/req/mem-delete.yml new file mode 100644 index 00000000..f09c2bc6 --- /dev/null +++ b/spec/rtems/task/req/mem-delete.yml @@ -0,0 +1,15 @@ +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 a call to ${../if/delete:/name}. +type: requirement diff --git a/spec/rtems/task/req/mem-get-affinity.yml b/spec/rtems/task/req/mem-get-affinity.yml new file mode 100644 index 00000000..0643b450 --- /dev/null +++ b/spec/rtems/task/req/mem-get-affinity.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 a call to + ${../if/get-affinity:/name}. +type: requirement diff --git a/spec/rtems/task/req/mem-get-priority.yml b/spec/rtems/task/req/mem-get-priority.yml new file mode 100644 index 00000000..78b8c538 --- /dev/null +++ b/spec/rtems/task/req/mem-get-priority.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 a call to + ${../if/get-priority:/name}. +type: requirement diff --git a/spec/rtems/task/req/mem-get-scheduler.yml b/spec/rtems/task/req/mem-get-scheduler.yml new file mode 100644 index 00000000..a3cb6db8 --- /dev/null +++ b/spec/rtems/task/req/mem-get-scheduler.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 a call to + ${../if/get-scheduler:/name}. +type: requirement diff --git a/spec/rtems/task/req/mem-mode.yml b/spec/rtems/task/req/mem-mode.yml new file mode 100644 index 00000000..e939e182 --- /dev/null +++ b/spec/rtems/task/req/mem-mode.yml @@ -0,0 +1,15 @@ +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 a call to ${../if/mode:/name}. +type: requirement diff --git a/spec/rtems/task/req/mem-set-affinity.yml b/spec/rtems/task/req/mem-set-affinity.yml new file mode 100644 index 00000000..cb68b890 --- /dev/null +++ b/spec/rtems/task/req/mem-set-affinity.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 a call to + ${../if/set-affinity:/name}. +type: requirement diff --git a/spec/rtems/task/req/mem-set-priority.yml b/spec/rtems/task/req/mem-set-priority.yml new file mode 100644 index 00000000..0cdb2485 --- /dev/null +++ b/spec/rtems/task/req/mem-set-priority.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 a call to + ${../if/set-priority:/name}. +type: requirement diff --git a/spec/rtems/task/req/mem-set-scheduler.yml b/spec/rtems/task/req/mem-set-scheduler.yml new file mode 100644 index 00000000..d174ee16 --- /dev/null +++ b/spec/rtems/task/req/mem-set-scheduler.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 a call to + ${../if/set-scheduler:/name}. +type: requirement diff --git a/spec/rtems/task/req/mem-wake-after.yml b/spec/rtems/task/req/mem-wake-after.yml new file mode 100644 index 00000000..cc5ecaf3 --- /dev/null +++ b/spec/rtems/task/req/mem-wake-after.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 a call to + ${../if/wake-after:/name}. +type: requirement diff --git a/spec/rtems/task/req/mem-wake-when.yml b/spec/rtems/task/req/mem-wake-when.yml new file mode 100644 index 00000000..5603446d --- /dev/null +++ b/spec/rtems/task/req/mem-wake-when.yml @@ -0,0 +1,15 @@ +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 a call to ${../if/wake-when:/name}. +type: requirement -- cgit v1.2.3