blob: 77be068b5da30ad7dca804f577c994fd53396139 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
SPDX-License-Identifier: CC-BY-SA-4.0
copyrights:
- Copyright (C) 2021 embedded brains GmbH (http://www.embedded-brains.de)
enabled-by: true
links:
- role: requirement-refinement
uid: ../if/group
functional-type: function
rationale: null
references: []
requirement-type: functional
text: |
While a terminating thread has exactly one joining thread, while the joining
thread can be cancelled, if the terminating thread cancels the joining
thread, then the terminating thread shall wait for threads to join.
type: requirement
|
