diff options
author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-11-19 12:52:21 +0100 |
---|---|---|
committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-11-19 12:58:07 +0100 |
commit | 47cd9993283d3510d5c1c674cc722f896d7f7df4 (patch) | |
tree | 02cda62c7250b0b0d434b35c88da798fb6c8f871 | |
parent | spec: Workaround for broken document generator (diff) | |
download | rtems-central-47cd9993283d3510d5c1c674cc722f896d7f7df4.tar.bz2 |
spec: Fix sporadic test failures
-rw-r--r-- | spec/rtems/sem/req/mrsp-obtain.yml | 7 | ||||
-rw-r--r-- | spec/score/sched/req/yield.yml | 7 |
2 files changed, 4 insertions, 10 deletions
diff --git a/spec/rtems/sem/req/mrsp-obtain.yml b/spec/rtems/sem/req/mrsp-obtain.yml index e2bb0649..f524cd92 100644 --- a/spec/rtems/sem/req/mrsp-obtain.yml +++ b/spec/rtems/sem/req/mrsp-obtain.yml @@ -667,11 +667,8 @@ test-support: | TQSetScheduler( &ctx->tq_ctx, MOVER, other_scheduler_id, PRIO_VERY_HIGH ); ctx->tq_ctx.busy_wait[ MOVER ] = true; TQSend( &ctx->tq_ctx, MOVER, TQ_EVENT_BUSY_WAIT ); - - while ( rtems_scheduler_get_processor() != cpu ) { - /* Wait */ - } - + TQWaitForEventsReceived( &ctx->tq_ctx, MOVER ); + T_eq_u32( rtems_scheduler_get_processor(), cpu ); ctx->tq_ctx.busy_wait[ MOVER ] = false; TQWaitForExecutionStop( &ctx->tq_ctx, MOVER ); } diff --git a/spec/score/sched/req/yield.yml b/spec/score/sched/req/yield.yml index c057f33f..eb1daded 100644 --- a/spec/score/sched/req/yield.yml +++ b/spec/score/sched/req/yield.yml @@ -298,11 +298,8 @@ test-support: | { ctx->tq_ctx.busy_wait[ MOVER ] = true; TQSend( &ctx->tq_ctx, MOVER, TQ_EVENT_BUSY_WAIT ); - - while ( rtems_scheduler_get_processor() != 1 ) { - /* Wait */ - } - + TQWaitForEventsReceived( &ctx->tq_ctx, MOVER ); + T_eq_u32( rtems_scheduler_get_processor(), 1 ); ctx->tq_ctx.busy_wait[ MOVER ] = false; TQWaitForExecutionStop( &ctx->tq_ctx, MOVER ); } |