blob: 29cafb51c5fbb44184c7e1fde55a0a0a5ea276f6 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause
copyrights:
- Copyright (C) 2022 embedded brains GmbH & Co. KG
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: |
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
|