diff options
author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-04-26 15:08:07 +0200 |
---|---|---|
committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-04-28 07:19:36 +0200 |
commit | e406433f43a28c1b2dceaa7b9ded0c63b7bbdd86 (patch) | |
tree | d735080be2d8fb73603b45fd5fbc3fa8870f77b6 | |
parent | spec: Allow multiple interface references (diff) | |
download | rtems-central-e406433f43a28c1b2dceaa7b9ded0c63b7bbdd86.tar.bz2 |
spec: Generalize may preempt constraints
-rw-r--r-- | spec/constraint/priority-may-preempt.yml | 4 | ||||
-rw-r--r-- | spec/constraint/unblock-may-preempt.yml | 3 |
2 files changed, 4 insertions, 3 deletions
diff --git a/spec/constraint/priority-may-preempt.yml b/spec/constraint/priority-may-preempt.yml index 317181f6..271ee053 100644 --- a/spec/constraint/priority-may-preempt.yml +++ b/spec/constraint/priority-may-preempt.yml @@ -6,6 +6,6 @@ links: [] rationale: null scope: user text: | - The directive may change the priority of another task which may preempt the - calling task. + The directive may change the priority of a task. This may cause the calling + task to be preempted. type: constraint diff --git a/spec/constraint/unblock-may-preempt.yml b/spec/constraint/unblock-may-preempt.yml index f6e0b4c0..cb0c7b54 100644 --- a/spec/constraint/unblock-may-preempt.yml +++ b/spec/constraint/unblock-may-preempt.yml @@ -6,5 +6,6 @@ links: [] rationale: null scope: user text: | - The directive may unblock another task which may preempt the calling task. + The directive may unblock a task. This may cause the calling task to be + preempted. type: constraint |