diff options
author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2022-03-29 10:53:51 +0200 |
---|---|---|
committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2022-03-30 09:05:53 +0200 |
commit | ab602be03a7e2e1e0ffbc723f96716ccce60d2c5 (patch) | |
tree | cfd305b12af06174f105d1b4897a54529d3c66c2 /spec/rtems/task/req | |
parent | spec: Use individual names for ident tests (diff) | |
download | rtems-central-ab602be03a7e2e1e0ffbc723f96716ccce60d2c5.tar.bz2 |
spec: Clarify scheduler of created task
Diffstat (limited to 'spec/rtems/task/req')
-rw-r--r-- | spec/rtems/task/req/construct-home-scheduler.yml | 17 | ||||
-rw-r--r-- | spec/rtems/task/req/create-home-scheduler.yml | 16 |
2 files changed, 33 insertions, 0 deletions
diff --git a/spec/rtems/task/req/construct-home-scheduler.yml b/spec/rtems/task/req/construct-home-scheduler.yml new file mode 100644 index 00000000..505972f8 --- /dev/null +++ b/spec/rtems/task/req/construct-home-scheduler.yml @@ -0,0 +1,17 @@ +SPDX-License-Identifier: CC-BY-SA-4.0 +copyrights: +- Copyright (C) 2022 embedded brains GmbH (http://www.embedded-brains.de) +enabled-by: true +links: +- role: interface-function + uid: ../if/construct +functional-type: function +rationale: null +references: [] +requirement-type: functional +text: | + When a task is constructed, the ${/glossary/scheduler-home:/term} of the + constructed task shall be set to the home scheduler of the task calling the + ${../if/construct:/name} directive at some time point during the directive + call. +type: requirement diff --git a/spec/rtems/task/req/create-home-scheduler.yml b/spec/rtems/task/req/create-home-scheduler.yml new file mode 100644 index 00000000..b457b3f6 --- /dev/null +++ b/spec/rtems/task/req/create-home-scheduler.yml @@ -0,0 +1,16 @@ +SPDX-License-Identifier: CC-BY-SA-4.0 +copyrights: +- Copyright (C) 2022 embedded brains GmbH (http://www.embedded-brains.de) +enabled-by: true +links: +- role: interface-function + uid: ../if/create +functional-type: function +rationale: null +references: [] +requirement-type: functional +text: | + When a task is created, the ${/glossary/scheduler-home:/term} of the created + task shall be set to the home scheduler of the task calling the + ${../if/create:/name} directive at some time point during the directive call. +type: requirement |