From 9954989eb06ca6b9f98fd509bbc974f5f16da9b2 Mon Sep 17 00:00:00 2001
From: Sebastian Huber <sebastian.huber@embedded-brains.de>
Date: Mon, 12 Apr 2021 11:45:33 +0200
Subject: spec: Add scheduler glossary terms

---
 spec-glossary/glossary/scheduler-eligible.yml   | 13 +++++++++++++
 spec-glossary/glossary/scheduler-helping.yml    | 14 ++++++++++++++
 spec-glossary/glossary/scheduler-home.yml       | 15 +++++++++++++++
 spec-glossary/glossary/scheduler-ineligible.yml | 13 +++++++++++++
 spec-glossary/glossary/scheduler.yml            |  5 +++++
 5 files changed, 60 insertions(+)
 create mode 100644 spec-glossary/glossary/scheduler-eligible.yml
 create mode 100644 spec-glossary/glossary/scheduler-helping.yml
 create mode 100644 spec-glossary/glossary/scheduler-home.yml
 create mode 100644 spec-glossary/glossary/scheduler-ineligible.yml

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
-- 
cgit v1.2.3