summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorSebastian Huber <sebastian.huber@embedded-brains.de>2021-11-12 08:13:40 +0100
committerSebastian Huber <sebastian.huber@embedded-brains.de>2021-11-12 08:48:56 +0100
commit808cbfd0d7de77956e10e9b2f18257b228279638 (patch)
treed2d29b7457a43edf5877f3e184109e9c5d9e0edb
parentspec: Fix comment (diff)
downloadrtems-central-808cbfd0d7de77956e10e9b2f18257b228279638.tar.bz2
spec: Add comment and use less memory
-rw-r--r--spec/rtems/scheduler/req/remove-processor.yml11
1 files changed, 9 insertions, 2 deletions
diff --git a/spec/rtems/scheduler/req/remove-processor.yml b/spec/rtems/scheduler/req/remove-processor.yml
index c7be0d2a..2c77567e 100644
--- a/spec/rtems/scheduler/req/remove-processor.yml
+++ b/spec/rtems/scheduler/req/remove-processor.yml
@@ -40,6 +40,13 @@ post-conditions:
- name: 'Yes'
test-code: |
if ( ctx->home && ctx->helping ) {
+ /*
+ * For these test scenarios we use scheduler A in which the runner
+ * remains scheduled. So, an ask for help request is issued, when the
+ * processor allocated to a task which uses the scheduler as a helping
+ * scheduler is removed.
+ */
+ T_eq_u32( ctx->id, SCHEDULER_A_ID );
T_eq_sz( ctx->scheduler_log.header.recorded, 3 );
T_eq_int(
ctx->scheduler_log.events[ 0 ].operation,
@@ -448,7 +455,7 @@ test-context:
This member provides the scheduler operation records.
description: null
member: |
- T_scheduler_log_10 scheduler_log;
+ T_scheduler_log_4 scheduler_log;
- brief: |
This member contains the return value of the
${../if/remove-processor:/name} call.
@@ -552,7 +559,7 @@ test-support: |
{
T_scheduler_log *log;
- log = T_scheduler_record_10( &ctx->scheduler_log );
+ log = T_scheduler_record_4( &ctx->scheduler_log );
T_null( log );
ctx->status = rtems_scheduler_remove_processor( ctx->id, ctx->cpu_index );