[6d4e604b] | 1 | -- |
---|
| 2 | -- MPTEST / SPECIFICATION |
---|
| 3 | -- |
---|
| 4 | -- DESCRIPTION: |
---|
| 5 | -- |
---|
| 6 | -- This package is the specification for Test 5 of the RTEMS |
---|
| 7 | -- Multiprocessor Test Suite. |
---|
| 8 | -- |
---|
| 9 | -- DEPENDENCIES: |
---|
| 10 | -- |
---|
| 11 | -- |
---|
| 12 | -- |
---|
[3c4d8cd1] | 13 | -- COPYRIGHT (c) 1989-2011. |
---|
[6d4e604b] | 14 | -- On-Line Applications Research Corporation (OAR). |
---|
| 15 | -- |
---|
[bf9ae83] | 16 | -- The license and distribution terms for this file may in |
---|
| 17 | -- the file LICENSE in this distribution or at |
---|
[c499856] | 18 | -- http://www.rtems.org/license/LICENSE. |
---|
[6d4e604b] | 19 | -- |
---|
| 20 | |
---|
| 21 | with RTEMS; |
---|
[3c4d8cd1] | 22 | with RTEMS.SIGNAL; |
---|
| 23 | with RTEMS.TASKS; |
---|
[6d4e604b] | 24 | |
---|
| 25 | package MPTEST is |
---|
| 26 | |
---|
| 27 | -- |
---|
| 28 | -- These arrays contain the IDs and NAMEs of all RTEMS tasks created |
---|
| 29 | -- by this test. |
---|
| 30 | -- |
---|
| 31 | |
---|
| 32 | TASK_ID : array ( RTEMS.UNSIGNED32 range 1 .. 3 ) of RTEMS.ID; |
---|
| 33 | TASK_NAME : array ( RTEMS.UNSIGNED32 range 1 .. 3 ) of RTEMS.NAME; |
---|
| 34 | |
---|
| 35 | -- |
---|
| 36 | -- These arrays contain the IDs and NAMEs of all RTEMS timers created |
---|
| 37 | -- by this test. |
---|
| 38 | -- |
---|
| 39 | |
---|
| 40 | TIMER_ID : array ( RTEMS.UNSIGNED32 range 1 .. 2 ) of RTEMS.ID; |
---|
| 41 | TIMER_NAME : array ( RTEMS.UNSIGNED32 range 1 .. 2 ) of RTEMS.NAME; |
---|
| 42 | |
---|
| 43 | -- |
---|
| 44 | -- This variable is set when the test should stop executing. |
---|
| 45 | -- |
---|
[23848bbd] | 46 | STOP_TEST : BOOLEAN; |
---|
[6d4e604b] | 47 | |
---|
| 48 | -- |
---|
| 49 | -- This variable contains the ID of the remote task with which this |
---|
| 50 | -- test interacts. |
---|
| 51 | -- |
---|
| 52 | |
---|
| 53 | REMOTE_TID : RTEMS.ID; |
---|
| 54 | |
---|
| 55 | -- |
---|
| 56 | -- This variable contains the node on which the remote task with which |
---|
| 57 | -- this test interacts resides. |
---|
| 58 | -- |
---|
| 59 | |
---|
| 60 | REMOTE_NODE : RTEMS.UNSIGNED32; |
---|
| 61 | |
---|
| 62 | -- |
---|
| 63 | -- This is the signal set which is sent to the task on the other node. |
---|
| 64 | -- |
---|
| 65 | |
---|
| 66 | REMOTE_SIGNAL : RTEMS.SIGNAL_SET; |
---|
| 67 | |
---|
| 68 | -- |
---|
| 69 | -- This is the signal set the task on this node expects to receive |
---|
| 70 | -- from the other node. |
---|
| 71 | -- |
---|
| 72 | |
---|
| 73 | EXPECTED_SIGNAL : RTEMS.SIGNAL_SET; |
---|
| 74 | |
---|
| 75 | -- |
---|
| 76 | -- These keep track of if a signal set has been caught and how many |
---|
| 77 | -- signal sets have been caught cumulative. |
---|
| 78 | -- |
---|
| 79 | |
---|
[23848bbd] | 80 | SIGNAL_CAUGHT : BOOLEAN; |
---|
[6d4e604b] | 81 | SIGNAL_COUNT : RTEMS.UNSIGNED32; |
---|
| 82 | |
---|
| 83 | -- |
---|
| 84 | -- The number of signals to process per dot printed out. |
---|
| 85 | -- |
---|
| 86 | |
---|
| 87 | SIGNALS_PER_DOT : constant RTEMS.UNSIGNED32 := 15; |
---|
| 88 | |
---|
| 89 | -- |
---|
| 90 | -- INIT |
---|
| 91 | -- |
---|
| 92 | -- DESCRIPTION: |
---|
| 93 | -- |
---|
| 94 | -- This RTEMS task initializes the application. |
---|
| 95 | -- |
---|
| 96 | |
---|
| 97 | procedure INIT ( |
---|
[3c4d8cd1] | 98 | ARGUMENT : in RTEMS.TASKS.ARGUMENT |
---|
[6d4e604b] | 99 | ); |
---|
[d43dd82] | 100 | pragma Convention (C, INIT); |
---|
[6d4e604b] | 101 | |
---|
| 102 | -- |
---|
| 103 | -- PROCESS_ASR |
---|
| 104 | -- |
---|
| 105 | -- DESCRIPTION: |
---|
| 106 | -- |
---|
| 107 | -- This subprogram is an ASR for TEST_TASK. |
---|
| 108 | -- |
---|
| 109 | |
---|
| 110 | procedure PROCESS_ASR ( |
---|
| 111 | SIGNAL : in RTEMS.SIGNAL_SET |
---|
| 112 | ); |
---|
[d43dd82] | 113 | pragma Convention (C, PROCESS_ASR); |
---|
[6d4e604b] | 114 | |
---|
| 115 | -- |
---|
| 116 | -- STOP_TEST_TSR |
---|
| 117 | -- |
---|
| 118 | -- DESCRIPTION: |
---|
| 119 | -- |
---|
| 120 | -- This subprogram is a TSR which sets the "stop test" flag. |
---|
| 121 | -- |
---|
| 122 | |
---|
| 123 | procedure STOP_TEST_TSR ( |
---|
| 124 | IGNORED_ID : in RTEMS.ID; |
---|
| 125 | IGNORED_ADDRESS : in RTEMS.ADDRESS |
---|
| 126 | ); |
---|
[d43dd82] | 127 | pragma Convention (C, STOP_TEST_TSR); |
---|
[6d4e604b] | 128 | |
---|
| 129 | -- |
---|
| 130 | -- TEST_TASK |
---|
| 131 | -- |
---|
| 132 | -- DESCRIPTION: |
---|
| 133 | -- |
---|
| 134 | -- This is the body of the RTEMS tasks which constitute this test. |
---|
| 135 | -- |
---|
| 136 | |
---|
| 137 | procedure TEST_TASK ( |
---|
[3c4d8cd1] | 138 | ARGUMENT : in RTEMS.TASKS.ARGUMENT |
---|
[6d4e604b] | 139 | ); |
---|
[d43dd82] | 140 | pragma Convention (C, TEST_TASK); |
---|
[6d4e604b] | 141 | |
---|
| 142 | end MPTEST; |
---|