[6d4e604b] | 1 | -- |
---|
| 2 | -- SPTEST / SPECIFICATION |
---|
| 3 | -- |
---|
| 4 | -- DESCRIPTION: |
---|
| 5 | -- |
---|
| 6 | -- This package is the specification for Test 6 of the RTEMS |
---|
| 7 | -- Single Processor Test Suite. |
---|
| 8 | -- |
---|
| 9 | -- DEPENDENCIES: |
---|
| 10 | -- |
---|
| 11 | -- |
---|
| 12 | -- |
---|
[bf9ae83] | 13 | -- COPYRIGHT (c) 1989-1997. |
---|
[6d4e604b] | 14 | -- On-Line Applications Research Corporation (OAR). |
---|
[bf9ae83] | 15 | -- Copyright assigned to U.S. Government, 1994. |
---|
[6d4e604b] | 16 | -- |
---|
[bf9ae83] | 17 | -- The license and distribution terms for this file may in |
---|
| 18 | -- the file LICENSE in this distribution or at |
---|
| 19 | -- http://www.OARcorp.com/rtems/license.html. |
---|
[6d4e604b] | 20 | -- |
---|
[bf9ae83] | 21 | -- $Id$ |
---|
[6d4e604b] | 22 | -- |
---|
| 23 | |
---|
| 24 | with CLOCK_DRIVER; |
---|
| 25 | with RTEMS; |
---|
| 26 | |
---|
| 27 | package SPTEST is |
---|
| 28 | |
---|
| 29 | -- |
---|
| 30 | -- These arrays contain the IDs and NAMEs of all RTEMS tasks created |
---|
| 31 | -- by this test. |
---|
| 32 | -- |
---|
| 33 | |
---|
| 34 | TASK_ID : array ( RTEMS.UNSIGNED32 range 1 .. 3 ) of RTEMS.ID; |
---|
| 35 | TASK_NAME : array ( RTEMS.UNSIGNED32 range 1 .. 3 ) of RTEMS.NAME; |
---|
| 36 | |
---|
| 37 | -- |
---|
| 38 | -- The following are used as arguments to the various RTEMS tasks |
---|
| 39 | -- in this test to indicate when a restart should be performed. |
---|
| 40 | |
---|
| 41 | ARGUMENT : RTEMS.UNSIGNED32; |
---|
| 42 | RESTART_ARGUMENT : RTEMS.UNSIGNED32; |
---|
| 43 | |
---|
| 44 | -- |
---|
| 45 | -- INIT |
---|
| 46 | -- |
---|
| 47 | -- DESCRIPTION: |
---|
| 48 | -- |
---|
| 49 | -- This RTEMS task initializes the application. |
---|
| 50 | -- |
---|
| 51 | |
---|
| 52 | procedure INIT ( |
---|
| 53 | ARGUMENT : in RTEMS.TASK_ARGUMENT |
---|
| 54 | ); |
---|
| 55 | |
---|
| 56 | -- |
---|
| 57 | -- TASK_1 |
---|
| 58 | -- |
---|
| 59 | -- DESCRIPTION: |
---|
| 60 | -- |
---|
| 61 | -- This RTEMS task tests some of the capabilities of the Task Manager. |
---|
| 62 | -- |
---|
| 63 | |
---|
| 64 | procedure TASK_1 ( |
---|
| 65 | ARGUMENT : in RTEMS.TASK_ARGUMENT |
---|
| 66 | ); |
---|
| 67 | |
---|
| 68 | -- |
---|
| 69 | -- TASK_2 |
---|
| 70 | -- |
---|
| 71 | -- DESCRIPTION: |
---|
| 72 | -- |
---|
| 73 | -- This RTEMS task tests some of the capabilities of the Task Manager. |
---|
| 74 | -- |
---|
| 75 | |
---|
| 76 | procedure TASK_2 ( |
---|
| 77 | ARGUMENT : in RTEMS.TASK_ARGUMENT |
---|
| 78 | ); |
---|
| 79 | |
---|
| 80 | -- |
---|
| 81 | -- TASK_3 |
---|
| 82 | -- |
---|
| 83 | -- DESCRIPTION: |
---|
| 84 | -- |
---|
| 85 | -- This RTEMS task tests some of the capabilities of the Task Manager. |
---|
| 86 | -- |
---|
| 87 | |
---|
| 88 | procedure TASK_3 ( |
---|
| 89 | ARGUMENT : in RTEMS.TASK_ARGUMENT |
---|
| 90 | ); |
---|
| 91 | |
---|
| 92 | -- |
---|
| 93 | -- This is the Driver Address Table for this test. |
---|
| 94 | -- |
---|
| 95 | |
---|
| 96 | DEVICE_DRIVERS : aliased RTEMS.DRIVER_ADDRESS_TABLE( 1 .. 1 ) := |
---|
| 97 | (1=> |
---|
| 98 | ( |
---|
| 99 | CLOCK_DRIVER.INITIALIZE'ACCESS, -- Initialization |
---|
| 100 | RTEMS.NO_DRIVER_ENTRY, -- Open |
---|
| 101 | RTEMS.NO_DRIVER_ENTRY, -- Close |
---|
| 102 | RTEMS.NO_DRIVER_ENTRY, -- Read |
---|
| 103 | RTEMS.NO_DRIVER_ENTRY, -- Write |
---|
| 104 | RTEMS.NO_DRIVER_ENTRY -- Control |
---|
| 105 | ) |
---|
| 106 | ); |
---|
| 107 | |
---|
| 108 | -- |
---|
| 109 | -- This is the Initialization Tasks Table for this test. |
---|
| 110 | -- |
---|
| 111 | |
---|
| 112 | INITIALIZATION_TASKS : aliased RTEMS.INITIALIZATION_TASKS_TABLE( 1 .. 1 ) := |
---|
| 113 | (1=> |
---|
| 114 | ( |
---|
| 115 | RTEMS.BUILD_NAME( 'U', 'I', '1', ' ' ), -- task name |
---|
| 116 | 2048, -- stack size |
---|
| 117 | 1, -- priority |
---|
| 118 | RTEMS.DEFAULT_ATTRIBUTES, -- attributes |
---|
| 119 | SPTEST.INIT'ACCESS, -- entry point |
---|
| 120 | RTEMS.NO_PREEMPT, -- initial mode |
---|
| 121 | 0 -- argument list |
---|
| 122 | ) |
---|
| 123 | ); |
---|
| 124 | |
---|
| 125 | -- |
---|
| 126 | -- This is the Configuration Table for this test. |
---|
| 127 | -- |
---|
| 128 | |
---|
| 129 | CONFIGURATION : aliased RTEMS.CONFIGURATION_TABLE := ( |
---|
| 130 | RTEMS.NULL_ADDRESS, -- will be replaced by BSP |
---|
| 131 | 64 * 1024, -- executive RAM size |
---|
| 132 | 10, -- maximum # tasks |
---|
| 133 | 0, -- maximum # timers |
---|
| 134 | 0, -- maximum # semaphores |
---|
| 135 | 0, -- maximum # message queues |
---|
| 136 | 0, -- maximum # messages |
---|
| 137 | 0, -- maximum # partitions |
---|
| 138 | 0, -- maximum # regions |
---|
| 139 | 0, -- maximum # dp memory areas |
---|
| 140 | 0, -- maximum # periods |
---|
| 141 | 0, -- maximum # user extensions |
---|
| 142 | RTEMS.MILLISECONDS_TO_MICROSECONDS(10), -- # us in a tick |
---|
| 143 | 100 -- # ticks in a timeslice |
---|
| 144 | ); |
---|
| 145 | |
---|
| 146 | end SPTEST; |
---|