From e406433f43a28c1b2dceaa7b9ded0c63b7bbdd86 Mon Sep 17 00:00:00 2001 From: Sebastian Huber Date: Mon, 26 Apr 2021 15:08:07 +0200 Subject: spec: Generalize may preempt constraints --- spec/constraint/priority-may-preempt.yml | 4 ++-- 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 -- cgit v1.2.3