diff options
author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-09-28 16:09:40 +0200 |
---|---|---|
committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-09-29 08:01:06 +0200 |
commit | 512a4a2ce9ae663f7c2d843351ba3184e8697535 (patch) | |
tree | 2339b87053c01d7f345a23c5dd29c54edf9bf191 /spec/rtems/sem/req/release.yml | |
parent | spec: Specify scheduler helping detail (diff) | |
download | rtems-central-512a4a2ce9ae663f7c2d843351ba3184e8697535.tar.bz2 |
spec: Improve semaphore surrender
Diffstat (limited to 'spec/rtems/sem/req/release.yml')
-rw-r--r-- | spec/rtems/sem/req/release.yml | 14 |
1 files changed, 8 insertions, 6 deletions
diff --git a/spec/rtems/sem/req/release.yml b/spec/rtems/sem/req/release.yml index 2f30836c..9e432256 100644 --- a/spec/rtems/sem/req/release.yml +++ b/spec/rtems/sem/req/release.yml @@ -53,8 +53,8 @@ post-conditions: ${/score/mtx/req/surrender:/test-run}( &ctx->tq_mtx_ctx ); text: | The calling task shall surrender the mutex as specified by - ${/score/mtx/req/surrender} where an enqueue blocks and a recursive seize - is allowed. + ${/score/mtx/req/surrender} where an enqueue blocks, a recursive seize is + allowed, the owner is checked, and no locking protocol is used. - name: InheritMtxSurrender test-code: | ctx->tq_ctx.enqueue_variant = TQ_ENQUEUE_BLOCKS; @@ -66,8 +66,9 @@ post-conditions: ${/score/mtx/req/surrender:/test-run}( &ctx->tq_mtx_ctx ); text: | The calling task shall surrender the mutex as specified by - ${/score/mtx/req/surrender} where an enqueue blocks and a recursive seize - is allowed. + ${/score/mtx/req/surrender} where an enqueue blocks, a recursive seize is + allowed, the owner is checked, and a priority inheritance protocol is + used. - name: CeilingMtxSurrender test-code: | ctx->tq_ctx.enqueue_variant = TQ_ENQUEUE_BLOCKS; @@ -80,7 +81,7 @@ post-conditions: text: | The calling task shall surrender the mutex as specified by ${/score/mtx/req/surrender} where an enqueue blocks, a recursive seize is - allowed, and a priority ceiling is used. + allowed, the owner is checked, and a priority ceiling is used. - name: MrsPMtxSurrender test-code: | ctx->tq_ctx.enqueue_variant = TQ_ENQUEUE_STICKY; @@ -93,7 +94,8 @@ post-conditions: text: | The calling task shall surrender the mutex as specified by ${/score/mtx/req/surrender} where an enqueue is sticky, a recursive seize - returns an error status, and a priority ceiling is used. + returns an error status, the owner is checked, and a priority ceiling is + used. test-epilogue: null test-prologue: | rtems_status_code sc; |