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 | -- |
---|
13 | -- COPYRIGHT (c) 1989, 1990, 1991, 1992, 1993, 1994. |
---|
14 | -- On-Line Applications Research Corporation (OAR). |
---|
15 | -- All rights assigned to U.S. Government, 1994. |
---|
16 | -- |
---|
17 | -- This material may be reproduced by or for the U.S. Government pursuant |
---|
18 | -- to the copyright license under the clause at DFARS 252.227-7013. This |
---|
19 | -- notice must appear in all copies of this file and its derivatives. |
---|
20 | -- |
---|
21 | -- sptest.ads,v 1.3 1995/07/12 19:41:28 joel Exp |
---|
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; |
---|