[rtems-central commit] spec: Fix semaphore set priority validation
Sebastian Huber
sebh at rtems.org
Fri May 7 06:00:30 UTC 2021
Module: rtems-central
Branch: master
Commit: 95d87f1c816de98e0e59353af05aadaddc7177ab
Changeset: http://git.rtems.org/rtems-central/commit/?id=95d87f1c816de98e0e59353af05aadaddc7177ab
Author: Sebastian Huber <sebastian.huber at embedded-brains.de>
Date: Fri May 7 07:38:28 2021 +0200
spec: Fix semaphore set priority validation
---
spec/rtems/sem/req/set-priority.yml | 4 ++++
1 file changed, 4 insertions(+)
diff --git a/spec/rtems/sem/req/set-priority.yml b/spec/rtems/sem/req/set-priority.yml
index ae1eb9d..8f122e4 100644
--- a/spec/rtems/sem/req/set-priority.yml
+++ b/spec/rtems/sem/req/set-priority.yml
@@ -72,7 +72,9 @@ post-conditions:
CheckPriority( ctx, ctx->other_scheduler_id, PRIO_VERY_HIGH );
} else {
CheckPriority( ctx, ctx->runner_scheduler_id, PRIO_VERY_HIGH );
+ #if defined(RTEMS_SMP)
CheckPriority( ctx, ctx->other_scheduler_id, 0 );
+ #endif
}
} else if ( ( ctx->attribute_set & RTEMS_PRIORITY_CEILING ) != 0 ) {
CheckPriority( ctx, ctx->runner_scheduler_id, PRIO_VERY_HIGH );
@@ -89,7 +91,9 @@ post-conditions:
test-code: |
if ( ( ctx->attribute_set & RTEMS_MULTIPROCESSOR_RESOURCE_SHARING ) != 0 ) {
CheckPriority( ctx, ctx->runner_scheduler_id, PRIO_HIGH );
+ #if defined(RTEMS_SMP)
CheckPriority( ctx, ctx->other_scheduler_id, 0 );
+ #endif
} else if ( ( ctx->attribute_set & RTEMS_PRIORITY_CEILING ) != 0 ) {
CheckPriority( ctx, ctx->runner_scheduler_id, PRIO_HIGH );
CheckNotDefined( ctx, ctx->other_scheduler_id );
More information about the vc
mailing list