generate_membench.py: Add benchmarks

10 files changed, 142 insertions, 0 deletions

diff --git a/spec/rtems/task/req/mem-del.yml b/spec/rtems/task/req/mem-delete.yml
index f09c2bc6..f09c2bc6 100644
--- a/spec/rtems/task/req/mem-del.yml
+++ b/spec/rtems/task/req/mem-delete.yml
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