summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorSebastian Huber <sebastian.huber@embedded-brains.de>2021-04-12 11:45:33 +0200
committerSebastian Huber <sebastian.huber@embedded-brains.de>2021-04-14 06:58:19 +0200
commit9954989eb06ca6b9f98fd509bbc974f5f16da9b2 (patch)
treee06a884612882762ceddac285579bcfc7957f154
parentmodules: Update rtems (diff)
downloadrtems-central-9954989eb06ca6b9f98fd509bbc974f5f16da9b2.tar.bz2
spec: Add scheduler glossary terms
-rw-r--r--spec-glossary/glossary/scheduler-eligible.yml13
-rw-r--r--spec-glossary/glossary/scheduler-helping.yml14
-rw-r--r--spec-glossary/glossary/scheduler-home.yml15
-rw-r--r--spec-glossary/glossary/scheduler-ineligible.yml13
-rw-r--r--spec-glossary/glossary/scheduler.yml5
5 files changed, 60 insertions, 0 deletions
diff --git a/spec-glossary/glossary/scheduler-eligible.yml b/spec-glossary/glossary/scheduler-eligible.yml
new file mode 100644
index 00000000..88c71ef7
--- /dev/null
+++ b/spec-glossary/glossary/scheduler-eligible.yml
@@ -0,0 +1,13 @@
+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
+glossary-type: term
+links:
+- role: glossary-member
+ uid: ../glossary-general
+term: eligible scheduler
+text: |
+ An eligible scheduler of a ${task:/term} is a ${scheduler:/term} which can be
+ used by the task to allocate a processor for the task.
+type: glossary
diff --git a/spec-glossary/glossary/scheduler-helping.yml b/spec-glossary/glossary/scheduler-helping.yml
new file mode 100644
index 00000000..8419e7df
--- /dev/null
+++ b/spec-glossary/glossary/scheduler-helping.yml
@@ -0,0 +1,14 @@
+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
+glossary-type: term
+links:
+- role: glossary-member
+ uid: ../glossary-general
+term: helping scheduler
+text: |
+ A helping scheduler of a ${task:/term} is a ${scheduler:/term} which is a
+ ${scheduler-eligible:/term} and which is not the ${scheduler-home:/term} of
+ the task.
+type: glossary
diff --git a/spec-glossary/glossary/scheduler-home.yml b/spec-glossary/glossary/scheduler-home.yml
new file mode 100644
index 00000000..71e89268
--- /dev/null
+++ b/spec-glossary/glossary/scheduler-home.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
+glossary-type: term
+links:
+- role: glossary-member
+ uid: ../glossary-general
+term: home scheduler
+text: |
+ The home scheduler of a ${task:/term} is a ${scheduler:/term} which is a
+ ${scheduler-eligible:/term} and which is assigned to the task during the
+ initialization or explicitly via a directive call such as
+ ${/rtems/task/if/set-scheduler:/name}.
+type: glossary
diff --git a/spec-glossary/glossary/scheduler-ineligible.yml b/spec-glossary/glossary/scheduler-ineligible.yml
new file mode 100644
index 00000000..29ecd3b2
--- /dev/null
+++ b/spec-glossary/glossary/scheduler-ineligible.yml
@@ -0,0 +1,13 @@
+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
+glossary-type: term
+links:
+- role: glossary-member
+ uid: ../glossary-general
+term: ineligible scheduler
+text: |
+ An ineligible scheduler of a ${task:/term} is a ${scheduler:/term} which is
+ not an ${scheduler-eligible:/term}.
+type: glossary
diff --git a/spec-glossary/glossary/scheduler.yml b/spec-glossary/glossary/scheduler.yml
index db181473..e2782c28 100644
--- a/spec-glossary/glossary/scheduler.yml
+++ b/spec-glossary/glossary/scheduler.yml
@@ -14,4 +14,9 @@ text: |
out of the set of ready tasks. One method is to assign each task a
priority number and assign the tasks with the lowest priority number to
one processor of the set of processors owned by a scheduler instance.
+
+ A scheduler is either an ${scheduler-eligible:/term} or a
+ ${scheduler-ineligible:/term} for a task. An ${scheduler-eligible:/term} is
+ either the ${scheduler-home:/term} or a ${scheduler-helping:/term} for a
+ task.
type: glossary