summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorSebastian Huber <sebastian.huber@embedded-brains.de>2021-05-12 13:15:17 +0200
committerSebastian Huber <sebastian.huber@embedded-brains.de>2021-05-12 21:04:47 +0200
commit42598d48d63b022f3408462efa1d7bee57a42907 (patch)
treedf5209c9369dc42f1f7a46a8c447cf5aca861bfb
parentvalidation: Support glossary term plurals (diff)
downloadrtems-central-42598d48d63b022f3408462efa1d7bee57a42907.tar.bz2
glossary: Add priority terms
-rw-r--r--spec-glossary/glossary/priority-current.yml17
-rw-r--r--spec-glossary/glossary/priority-eligible.yml15
-rw-r--r--spec-glossary/glossary/priority-helping.yml14
-rw-r--r--spec-glossary/glossary/priority-real.yml17
-rw-r--r--spec-glossary/glossary/priority-task.yml17
-rw-r--r--spec-glossary/glossary/priority.yml6
6 files changed, 83 insertions, 3 deletions
diff --git a/spec-glossary/glossary/priority-current.yml b/spec-glossary/glossary/priority-current.yml
new file mode 100644
index 00000000..af5a0700
--- /dev/null
+++ b/spec-glossary/glossary/priority-current.yml
@@ -0,0 +1,17 @@
+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: current priority
+text: |
+ The current priority of a ${task:/term} is the ${priority-task:/term} with
+ respect to the ${scheduler-home:/term} of the task. It is an aggregation of
+ the ${priority-real:/term} and temporary priority adjustments due to locking
+ protocols, the rate-monotonic period objects on some schedulers such as EDF,
+ and the ${posix:/term} sporadic server. The current priority is an
+ ${priority-eligible:/term}.
+type: glossary
diff --git a/spec-glossary/glossary/priority-eligible.yml b/spec-glossary/glossary/priority-eligible.yml
new file mode 100644
index 00000000..5c659261
--- /dev/null
+++ b/spec-glossary/glossary/priority-eligible.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: eligible priority
+text: |
+ An eligible priority of a ${task:/term} is the ${priority-task:/term} with
+ respect to the corresponding ${scheduler-eligible:/term} of the task. An
+ eligible priority is either the ${priority-current:/term} or a
+ ${priority-helping:/term} of a task.
+type: glossary
diff --git a/spec-glossary/glossary/priority-helping.yml b/spec-glossary/glossary/priority-helping.yml
new file mode 100644
index 00000000..545b5410
--- /dev/null
+++ b/spec-glossary/glossary/priority-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 priority
+text: |
+ A helping priority of a ${task:/term} is the ${priority-task:/term} with
+ respect to the corresponding ${scheduler-helping:/term} of the task. A
+ helping priority is an ${priority-eligible:/term}.
+type: glossary
diff --git a/spec-glossary/glossary/priority-real.yml b/spec-glossary/glossary/priority-real.yml
new file mode 100644
index 00000000..1f6c7a0e
--- /dev/null
+++ b/spec-glossary/glossary/priority-real.yml
@@ -0,0 +1,17 @@
+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: real priority
+text: |
+ Each ${task:/term} has exactly one real priority. The real priority is
+ always with respect to the ${scheduler-home:/term} of a task. It is defined
+ during task initialization. It may be changed by directives such as
+ ${/rtems/task/if/set-priority:/name} and
+ ${/rtems/task/if/set-scheduler:/name}. The real priority is the foundation
+ of the ${priority-current:/term}.
+type: glossary
diff --git a/spec-glossary/glossary/priority-task.yml b/spec-glossary/glossary/priority-task.yml
new file mode 100644
index 00000000..b2bfccf6
--- /dev/null
+++ b/spec-glossary/glossary/priority-task.yml
@@ -0,0 +1,17 @@
+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: task priority
+text: |
+ A task priority of a ${task:/term} determines its importance relative to
+ other tasks. The scheduler use task priorities to determine which
+ ${readytask:/term} gets a processor allocated, see ${scheduledtask:/term}. The
+ ${priority-eligible:/plural} of a task define the position of the task in a
+ ${waitqueue:/term} which uses the priority discipline. Each task has at
+ least the ${priority-real:/term}.
+type: glossary
diff --git a/spec-glossary/glossary/priority.yml b/spec-glossary/glossary/priority.yml
index 67602ef5..b5efb9da 100644
--- a/spec-glossary/glossary/priority.yml
+++ b/spec-glossary/glossary/priority.yml
@@ -8,7 +8,7 @@ links:
uid: ../glossary-general
term: priority
text: |
- A mechanism used to represent the relative importance of an element in a
- set of items. RTEMS uses priority to determine which task should
- execute.
+ The priority is a mechanism used to represent the relative importance of an
+ element in a set of items. RTEMS uses ${priority-task:/plural} to determine
+ which ${task:/term} should execute.
type: glossary