diff options
| author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2022-09-02 13:19:40 +0200 |
|---|---|---|
| committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2022-09-02 13:27:38 +0200 |
| commit | 4b10e6ae74583f7d16dbd73d3f4432f242e843ae (patch) | |
| tree | 8702f0ccf8a04ecd37fe5cf0a92cae1793c0f357 | |
| parent | specview.py: Improve orphan detection (diff) | |
| download | rtems-central-4b10e6ae74583f7d16dbd73d3f4432f242e843ae.tar.bz2 | |
spec: Clarify fine grained locking
| -rw-r--r-- | spec/req/fine-grained-locking.yml | 2 | ||||
| -rw-r--r-- | spec/score/tq/req/lock.yml | 2 | ||||
| -rw-r--r-- | 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,16 +1,19 @@ 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 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 |