SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause
copyrights:
- 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: |
  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