blob: 53df5314b3e2976fb867b79ca4dbf216f8fe74f3 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
|
This file describes the directives and concepts tested by this test set.
test set name: smpmrsp01
directives:
- _MRSP_Initialize()
- _MRSP_Obtain()
- _MRSP_Timeout()
- _MRSP_Release()
- _MRSP_Get_ceiling_priority()
- _MRSP_Set_ceiling_priority()
concepts:
- Ensure that rtems_semaphore_flush() returns an error status for MrsP
semaphores.
- Ensure that rtems_semaphore_create() for an initially locked semaphore
returns an error status for MrsP semaphores.
- Ensure that a nested obtain rtems_semaphore_obtain() returns an error
status for MrsP semaphores.
- Ensure that a rtems_semaphore_obtain() leading to a deadlock returns an
error status for MrsP semaphores.
- Ensure that it is possible to obtain multiple MrsP semaphores.
- Ensure that a timeout on MrsP semaphores works.
- Ensure that helping protocol for MrsP semaphores works.
- Ensure that heavy usage of multiple MrsP semaphores works.
|
