summaryrefslogtreecommitdiffstats
path: root/spec/score/sched/smp/req/ask-for-help-home.yml
blob: 9a1f331253c97748b4c276466bdbee67d28e426a (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
SPDX-License-Identifier: CC-BY-SA-4.0
copyrights:
- Copyright (C) 2021 embedded brains GmbH (http://www.embedded-brains.de)
enabled-by: RTEMS_SMP
links:
- role: requirement-refinement
  uid: group
functional-type: function
rationale: null
references: []
requirement-type: functional
text: |
  While a thread is registered for help in its
  ${/glossary/scheduler-home:/term}, while the thread is scheduled by another
  scheduler, while the thread is not sticky, when the home scheduler tries to
  schedule the thread, the thread shall be blocked with respect to the home
  scheduler.
type: requirement