[rtems-central commit] spec: Specify initial modes in task construction
Sebastian Huber
sebh at rtems.org
Tue Aug 17 07:36:33 UTC 2021
Module: rtems-central
Branch: master
Commit: 6e02ba45f90bfdc1df7a587588231454d2d282f6
Changeset: http://git.rtems.org/rtems-central/commit/?id=6e02ba45f90bfdc1df7a587588231454d2d282f6
Author: Sebastian Huber <sebastian.huber at embedded-brains.de>
Date: Mon Aug 16 11:51:09 2021 +0200
spec: Specify initial modes in task construction
---
spec/rtems/task/req/construct.yml | 516 +++++++++++++++++++++++++++++++++++++-
1 file changed, 515 insertions(+), 1 deletion(-)
diff --git a/spec/rtems/task/req/construct.yml b/spec/rtems/task/req/construct.yml
index 1939534..5bde19c 100644
--- a/spec/rtems/task/req/construct.yml
+++ b/spec/rtems/task/req/construct.yml
@@ -191,7 +191,96 @@ post-conditions:
the floating-point unit.
test-epilogue: null
test-prologue: null
+- name: Preempt
+ states:
+ - name: 'Yes'
+ test-code: |
+ T_eq_u32( ctx->actual_modes & RTEMS_PREEMPT, RTEMS_PREEMPT );
+ text: |
+ Task preemption in the initial modes of the task constructed by the
+ ${../if/construct:/name} call shall be enabled.
+ - name: 'No'
+ test-code: |
+ T_eq_u32( ctx->actual_modes & RTEMS_PREEMPT, 0 );
+ text: |
+ Task preemption in the initial modes of the task constructed by the
+ ${../if/construct:/name} call shall be disabled.
+ test-epilogue: null
+ test-prologue: null
+- name: Timeslice
+ states:
+ - name: 'Yes'
+ test-code: |
+ T_eq_u32( ctx->actual_modes & RTEMS_TIMESLICE, RTEMS_TIMESLICE );
+ text: |
+ Timeslicing in the initial modes of the task constructed by the
+ ${../if/construct:/name} call shall be enabled.
+ - name: 'No'
+ test-code: |
+ T_eq_u32( ctx->actual_modes & RTEMS_TIMESLICE, 0 );
+ text: |
+ Timeslicing in the initial modes of the task constructed by the
+ ${../if/construct:/name} call shall be disabled.
+ test-epilogue: null
+ test-prologue: null
+- name: ASR
+ states:
+ - name: 'Yes'
+ test-code: |
+ T_eq_u32( ctx->actual_modes & RTEMS_ASR, RTEMS_ASR );
+ text: |
+ ASR processing in the initial modes of the task constructed by the
+ ${../if/construct:/name} call shall be enabled.
+ - name: 'No'
+ test-code: |
+ T_eq_u32( ctx->actual_modes & RTEMS_ASR, 0 );
+ text: |
+ ASR processing in the initial modes of the task constructed by the
+ ${../if/construct:/name} call shall be disabled.
+ test-epilogue: null
+ test-prologue: null
+- name: IntLvl
+ states:
+ - name: Zero
+ test-code: |
+ T_eq_u32( ctx->actual_modes & RTEMS_INTERRUPT_MASK, 0 );
+ text: |
+ The interrupt level in the initial modes of the task constructed by the
+ ${../if/construct:/name} call shall be zero.
+ - name: Positive
+ test-code: |
+ T_eq_u32(
+ ctx->actual_modes & RTEMS_INTERRUPT_MASK,
+ ctx->config_obj.initial_modes & RTEMS_INTERRUPT_MASK
+ );
+ text: |
+ The interrupt level in the initial modes of the task constructed by the
+ ${../if/construct:/name} call shall be the interrupt level specified by
+ the initial modes of the task configuration mapped to an
+ ${/glossary/target-arch:/term}-specific positive value.
+ test-epilogue: null
+ test-prologue: null
pre-conditions:
+- name: CPUs
+ states:
+ - name: One
+ test-code: |
+ if ( rtems_scheduler_get_processor_maximum() != 1 ) {
+ ${.:skip}
+ }
+ text: |
+ Where the system does not need inter-processor interrupts,
+ where the scheduler does support the no-preempt mode.
+ - name: More
+ test-code: |
+ if ( rtems_scheduler_get_processor_maximum() == 1 ) {
+ ${.:skip}
+ }
+ text: |
+ Where the system needs inter-processor interrupts,
+ where the scheduler does not support the no-preempt mode.
+ test-epilogue: null
+ test-prologue: null
- name: Config
states:
- name: Valid
@@ -349,15 +438,84 @@ pre-conditions:
non-floating-point task.
test-epilogue: null
test-prologue: null
+- name: Preempt
+ states:
+ - name: 'Yes'
+ test-code: |
+ ctx->config_obj.initial_modes |= RTEMS_PREEMPT;
+ text: |
+ While the initial modes of the task configuration specify that preemption
+ is enabled.
+ - name: 'No'
+ test-code: |
+ ctx->config_obj.initial_modes |= RTEMS_NO_PREEMPT;
+ text: |
+ While the initial modes of the task configuration specify that preemption
+ is disabled.
+ test-epilogue: null
+ test-prologue: null
+- name: Timeslice
+ states:
+ - name: 'Yes'
+ test-code: |
+ ctx->config_obj.initial_modes |= RTEMS_TIMESLICE;
+ text: |
+ While the initial modes of the task configuration specify that
+ timeslicing is enabled.
+ - name: 'No'
+ test-code: |
+ ctx->config_obj.initial_modes |= RTEMS_NO_TIMESLICE;
+ text: |
+ While the initial modes of the task configuration specify that
+ timeslicing is disabled.
+ test-epilogue: null
+ test-prologue: null
+- name: ASR
+ states:
+ - name: 'Yes'
+ test-code: |
+ ctx->config_obj.initial_modes |= RTEMS_ASR;
+ text: |
+ While the initial modes of the task configuration specify that ASR
+ processing is enabled.
+ - name: 'No'
+ test-code: |
+ ctx->config_obj.initial_modes |= RTEMS_NO_ASR;
+ text: |
+ While the initial modes of the task configuration specify that ASR
+ processing is disabled.
+ test-epilogue: null
+ test-prologue: null
+- name: IntLvl
+ states:
+ - name: Zero
+ test-code: |
+ ctx->config_obj.initial_modes |= RTEMS_INTERRUPT_LEVEL( 0 );
+ text: |
+ While the initial modes of the task configuration specify an interrupt
+ level of zero.
+ - name: Positive
+ test-code: |
+ ctx->config_obj.initial_modes |= RTEMS_INTERRUPT_LEVEL( 1 );
+ text: |
+ While the initial modes of the task configuration specify an interrupt
+ level greater than zero and less than or equal to
+ ${/score/cpu/if/modes-interrupt-mask:/name}.
+ test-epilogue: null
+ test-prologue: null
rationale: null
references: []
requirement-type: functional
-skip-reasons: {}
+skip-reasons:
+ OnlyOneCPU: |
+ Where the system is build with SMP support disabled, the system has exactly
+ one processor.
test-action: |
if ( ctx->seized_objects == NULL ) {
PrepareZombie( ctx );
}
+ ctx->actual_modes = UINT32_MAX;
ctx->create_extension_calls = 0;
ctx->delete_extension_calls = 0;
ctx->delete_zombie_extension_calls = 0;
@@ -400,6 +558,11 @@ test-context:
description: null
member: |
volatile bool zombie_ready;
+- brief: |
+ This member contains the actual modes of the constructed task.
+ description: null
+ member: |
+ rtems_mode actual_modes
- brief: null
description: null
member: |
@@ -697,6 +860,7 @@ test-support: |
Context *ctx;
ctx = (Context *) arg;
+ ctx->actual_modes = GetMode();
/*
* We don't validate here that we cannot use the floating-point unit if the
@@ -814,19 +978,365 @@ transition-map:
- Valid
then: 'Yes'
- else: 'No'
+ StorageFree:
+ - if:
+ post-conditions:
+ Status: Unsat
+ then: 'Yes'
+ - else: 'No'
+ FloatingPoint:
+ - if:
+ post-conditions:
+ Status: Ok
+ then-specified-by: FloatingPoint
+ - else: N/A
+ Preempt:
+ - if:
+ post-conditions:
+ Status: Ok
+ then-specified-by: Preempt
+ - else: N/A
+ Timeslice:
+ - if:
+ post-conditions:
+ Status: Ok
+ then-specified-by: Timeslice
+ - else: N/A
+ ASR:
+ - if:
+ post-conditions:
+ Status: Ok
+ then-specified-by: ASR
+ - else: N/A
+ IntLvl:
+ - if:
+ post-conditions:
+ Status: Ok
+ then-specified-by: IntLvl
+ - else: N/A
+ pre-conditions:
+ CPUs:
+ - One
+ Config: all
+ Create: all
+ Id: all
+ Name: all
+ SystemTask: all
+ Priority: all
+ Stack: all
+ TLS: all
+ Free: all
+ FloatingPoint: all
+ Preempt: all
+ Timeslice: all
+ ASR: all
+ IntLvl: all
+- enabled-by: true
+ post-conditions: OnlyOneCPU
+ pre-conditions:
+ CPUs:
+ - More
+ Config: all
+ Create: all
+ Id: all
+ Name: all
+ SystemTask: all
+ Priority: all
+ Stack: all
+ TLS: all
+ Free: all
+ FloatingPoint: all
+ Preempt: all
+ Timeslice: all
+ ASR: all
+ IntLvl: all
+- enabled-by: CPU_ENABLE_ROBUST_THREAD_DISPATCH
+ post-conditions:
+ Status:
+ - if:
+ pre-conditions:
+ Config: 'Null'
+ then: InvAddr
+ - if:
+ pre-conditions:
+ Name: Invalid
+ then: InvName
+ - if:
+ pre-conditions:
+ Id: 'Null'
+ then: InvAddr
+ - if:
+ pre-conditions:
+ Priority: Zero
+ SystemTask: 'No'
+ then: InvPrio
+ - if:
+ pre-conditions:
+ Priority: Invalid
+ then: InvPrio
+ - if:
+ pre-conditions:
+ Free: 'No'
+ then: TooMany
+ - if:
+ pre-conditions:
+ TLS: TooSmall
+ then: InvSize
+ - if:
+ pre-conditions:
+ Stack: TooSmall
+ then: InvSize
+ - if:
+ pre-conditions:
+ IntLvl: Positive
+ then: Unsat
+ - if:
+ pre-conditions:
+ Create: Error
+ then: Unsat
+ - else: Ok
+ Name:
+ - if:
+ post-conditions:
+ Status: Ok
+ then: Valid
+ - else: Invalid
+ IdObj:
+ - if:
+ post-conditions:
+ Status: Ok
+ then: Set
+ - else: Nop
+ CreateNew:
+ - if:
+ post-conditions:
+ Status: Ok
+ then: All
+ - if:
+ and:
+ - post-conditions:
+ Status: Unsat
+ - pre-conditions:
+ IntLvl: Zero
+ then: UpToFailing
+ - else: Nop
+ DeleteNew:
+ - if:
+ post-conditions:
+ Status: Unsat
+ then: All
+ - else: Nop
+ KillZombies:
+ - if:
+ - pre-conditions:
+ Config: Valid
+ Name: Valid
+ Id: Valid
+ SystemTask: 'Yes'
+ Priority:
+ - Valid
+ - Zero
+ - pre-conditions:
+ Config: Valid
+ Name: Valid
+ Id: Valid
+ SystemTask: 'No'
+ Priority:
+ - Valid
+ then: 'Yes'
+ - else: 'No'
+ StorageFree:
+ - if:
+ post-conditions:
+ Status: Unsat
+ then: 'Yes'
+ - else: 'No'
FloatingPoint:
- if:
post-conditions:
Status: Ok
then-specified-by: FloatingPoint
- else: N/A
+ Preempt:
+ - if:
+ post-conditions:
+ Status: Ok
+ then-specified-by: Preempt
+ - else: N/A
+ Timeslice:
+ - if:
+ post-conditions:
+ Status: Ok
+ then-specified-by: Timeslice
+ - else: N/A
+ ASR:
+ - if:
+ post-conditions:
+ Status: Ok
+ then-specified-by: ASR
+ - else: N/A
+ IntLvl:
+ - if:
+ post-conditions:
+ Status: Ok
+ then-specified-by: IntLvl
+ - else: N/A
+ pre-conditions:
+ CPUs:
+ - One
+ Config: all
+ Create: all
+ Id: all
+ Name: all
+ SystemTask: all
+ Priority: all
+ Stack: all
+ TLS: all
+ Free: all
+ FloatingPoint: all
+ Preempt: all
+ Timeslice: all
+ ASR: all
+ IntLvl: all
+- enabled-by: RTEMS_SMP
+ post-conditions:
+ Status:
+ - if:
+ pre-conditions:
+ Config: 'Null'
+ then: InvAddr
+ - if:
+ pre-conditions:
+ Name: Invalid
+ then: InvName
+ - if:
+ pre-conditions:
+ Id: 'Null'
+ then: InvAddr
+ - if:
+ pre-conditions:
+ Priority: Zero
+ SystemTask: 'No'
+ then: InvPrio
+ - if:
+ pre-conditions:
+ Priority: Invalid
+ then: InvPrio
+ - if:
+ pre-conditions:
+ Free: 'No'
+ then: TooMany
+ - if:
+ pre-conditions:
+ TLS: TooSmall
+ then: InvSize
+ - if:
+ pre-conditions:
+ Stack: TooSmall
+ then: InvSize
+ - if:
+ pre-conditions:
+ Preempt: 'No'
+ then: Unsat
+ - if:
+ pre-conditions:
+ IntLvl: Positive
+ then: Unsat
+ - if:
+ pre-conditions:
+ Create: Error
+ then: Unsat
+ - else: Ok
+ Name:
+ - if:
+ post-conditions:
+ Status: Ok
+ then: Valid
+ - else: Invalid
+ IdObj:
+ - if:
+ post-conditions:
+ Status: Ok
+ then: Set
+ - else: Nop
+ CreateNew:
+ - if:
+ post-conditions:
+ Status: Ok
+ then: All
+ - if:
+ and:
+ - post-conditions:
+ Status: Unsat
+ - pre-conditions:
+ Preempt: 'Yes'
+ IntLvl: Zero
+ then: UpToFailing
+ - else: Nop
+ DeleteNew:
+ - if:
+ post-conditions:
+ Status: Unsat
+ then: All
+ - else: Nop
+ KillZombies:
+ - if:
+ - pre-conditions:
+ Config: Valid
+ Name: Valid
+ Id: Valid
+ SystemTask: 'Yes'
+ Priority:
+ - Valid
+ - Zero
+ - pre-conditions:
+ Config: Valid
+ Name: Valid
+ Id: Valid
+ SystemTask: 'No'
+ Priority:
+ - Valid
+ then: 'Yes'
+ - else: 'No'
StorageFree:
- if:
post-conditions:
Status: Unsat
then: 'Yes'
- else: 'No'
+ FloatingPoint:
+ - if:
+ post-conditions:
+ Status: Ok
+ then-specified-by: FloatingPoint
+ - else: N/A
+ Preempt:
+ - if:
+ post-conditions:
+ Status: Ok
+ then-specified-by: Preempt
+ - else: N/A
+ Timeslice:
+ - if:
+ post-conditions:
+ Status: Ok
+ then-specified-by: Timeslice
+ - else: N/A
+ ASR:
+ - if:
+ post-conditions:
+ Status: Ok
+ then-specified-by: ASR
+ - else: N/A
+ IntLvl:
+ - if:
+ post-conditions:
+ Status: Ok
+ then-specified-by: IntLvl
+ - else: N/A
pre-conditions:
+ CPUs:
+ - More
Config: all
Create: all
Id: all
@@ -837,4 +1347,8 @@ transition-map:
TLS: all
Free: all
FloatingPoint: all
+ Preempt: all
+ Timeslice: all
+ ASR: all
+ IntLvl: all
type: requirement
More information about the vc
mailing list