diff options
Diffstat (limited to 'testsuites/ada/sptests/sp16/ada_sp16.scn')
-rw-r--r-- | testsuites/ada/sptests/sp16/ada_sp16.scn | 58 |
1 files changed, 58 insertions, 0 deletions
diff --git a/testsuites/ada/sptests/sp16/ada_sp16.scn b/testsuites/ada/sptests/sp16/ada_sp16.scn new file mode 100644 index 0000000000..928dc4a9cf --- /dev/null +++ b/testsuites/ada/sptests/sp16/ada_sp16.scn @@ -0,0 +1,58 @@ +*** TEST 16 *** +TA1 - region_ident - rnid => 16#32010001# +TA1 - region_get_segment - wait on 100 byte segment from region 2 +TA1 - got segment from region 2 - 16#70# +TA1 - region_get_segment - wait on 3K segment from region 3 +TA1 - got segment from region 3 - 16#70# +TA1 - region_get_segment - get 3080 byte segment from region 1 - NO_WAIT +TA1 - got segment from region 1 - 16#60# +TA1 - task_wake_after - yield processor +TA2 - region_get_segment - wait on 2K segment from region 1 +TA3 - region_get_segment - wait on 3950 byte segment from region 2 +<pause> +TA1 - region_return_segment - return segment to region 1 - 16#60# +TA1 - region_get_segment - wait 10 seconds for 3K segment from region 1 +TA2 - got segment from region 1 - 16#60# +TA2 - region_return_segment - return segment to region 1 - 16#60# +TA2 - task_set_priority - make self highest priority task +TA2 - region_get_segment - wait on 3950 byte segment from region 2 +TA1 - got segment from region 1 - 16#60# +TA1 - region_return_segment - return segment to region 2 - 16#70# +TA2 - got segment from region 2 - 16#70# +TA2 - region_return_segment - return segment to region 2 - 16#70# +TA2 - task_delete - delete self +TA1 - task_wake_after - yield processor +TA3 - got segment from region 2 - 16#70# +TA3 - region_get_segment - wait on 2K segment from region 3 +TA1 - task_delete - delete TA3 +<pause> +TA1 - task_wake_after - yield processor +TA4 - region_get_segment - wait on 1.5K segment from region 1 +TA5 - region_get_segment - wait on 1.5K segment from region 1 +TA1 - region_return_segment - return segment to region 1 - 16#60# +TA1 - task_wake_after - yield processor +TA4 - got and returned 16#60# +TA5 - got and returned 16#6E0# +TA1 - region_get_segment - wait 10 seconds for 3K segment from region 1 +TA1 - got segment from region 1 - 16#60# +TA1 - task_wake_after - yield processor +TA5 - region_get_segment - wait on 3K segment from region 1 +TA4 - region_get_segment - wait on 3K segment from region 1 +TA1 - task_delete - delete TA4 +TA1 - region_return_segment - return segment to region 1 - 16#60# +TA1 - task_wake_after - yield processor +TA5 - got segment from region 1 - 16#60# +TA5 - region_return_segment - return segment to region 1 - 16#60# +TA5 - task_delete - delete self +TA1 - region_delete - delete region 1 +TA1 - region_get_segment - get 3K segment from region 4 +TA1 - got segment from region 4 - 16#70# +TA1 - region_get_segment - attempt to get 3K segment from region 4 +TA1 - task_get_note - UNSATISFIED +TA1 - region_extend - extend region 4 by 4K +TA1 - region_get_segment - attempt to get 3K segment from region 4 +TA1 - got 3K segment from region 4 - 16#CF0# +TA1 - return_segment - return segment to region 4 - 16#70# +TA1 - region_return_segment - return segment to region 4 - 16#CF0# +TA1 - region_delete - delete region 4 +*** END OF TEST 16 *** |