[rtems-central commit] spec: Clarify fine grained locking

[Sebastian Huber]

Module:    rtems-central
Branch:    master
Commit:    4b10e6ae74583f7d16dbd73d3f4432f242e843ae
Changeset: http://git.rtems.org/rtems-central/commit/?id=4b10e6ae74583f7d16dbd73d3f4432f242e843ae

Author:    Sebastian Huber <sebastian.huber at embedded-brains.de>
Date:      Fri Sep  2 13:19:40 2022 +0200

spec: Clarify fine grained locking

---

 spec/req/fine-grained-locking.yml     |  2 +-
 spec/score/tq/req/lock.yml            |  2 +-
 spec/score/tq/req/priority-change.yml | 13 ++++++++-----
 3 files changed, 10 insertions(+), 7 deletions(-)

diff --git a/spec/req/fine-grained-locking.yml b/spec/req/fine-grained-locking.yml
index 9b25d37a..37135906 100644
--- a/spec/req/fine-grained-locking.yml
+++ b/spec/req/fine-grained-locking.yml
@@ -1,7 +1,7 @@
 SPDX-License-Identifier: CC-BY-SA-4.0
 copyrights:
 - Copyright (C) 2021 embedded brains GmbH (http://www.embedded-brains.de)
-enabled-by: true
+enabled-by: RTEMS_SMP
 links:
 - role: requirement-refinement
   uid: root
diff --git a/spec/score/tq/req/lock.yml b/spec/score/tq/req/lock.yml
index a21815cb..14a29753 100644
--- a/spec/score/tq/req/lock.yml
+++ b/spec/score/tq/req/lock.yml
@@ -1,7 +1,7 @@
 SPDX-License-Identifier: CC-BY-SA-4.0
 copyrights:
 - Copyright (C) 2021 embedded brains GmbH (http://www.embedded-brains.de)
-enabled-by: true
+enabled-by: RTEMS_SMP
 links:
 - role: requirement-refinement
   uid: /req/fine-grained-locking
diff --git a/spec/score/tq/req/priority-change.yml b/spec/score/tq/req/priority-change.yml
index a0d00d72..fd3acc71 100644
--- a/spec/score/tq/req/priority-change.yml
+++ b/spec/score/tq/req/priority-change.yml
@@ -1,8 +1,10 @@
 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
+- Copyright (C) 2022 embedded brains GmbH (http://www.embedded-brains.de
+enabled-by: RTEMS_SMP
 links:
+- role: requirement-refinement
+  uid: /req/fine-grained-locking
 - role: requirement-refinement
   uid: ../if/group
 functional-type: function
@@ -10,7 +12,8 @@ rationale: null
 references: []
 requirement-type: functional
 text: |
-  Where the thread queue uses a priority discipline, when the priority of an
-  enqueued thread changes, the position of the enqueued thread shall be changed
-  to reflect its new priority.
+  While a thread queue lock is acquired by a processor, when the priority of a
+  thread enqueued on the thread queue is changed on another processor, the
+  priority with respect to the associated scheduler shall be done without
+  having to acquire the thread queue lock.
 type: requirement