source: rtems/c/src/ada-tests/sptests/sp04/sptest.adb @ c499856

4.115
Last change on this file since c499856 was c499856, checked in by Chris Johns <chrisj@…>, on 03/20/14 at 21:10:47

Change all references of rtems.com to rtems.org.

  • Property mode set to 100644
File size: 8.8 KB
Line 
1--
2--  SPTEST / BODY
3--
4--  DESCRIPTION:
5--
6--  This package is the implementation of Test 4 of the RTEMS
7--  Single Processor Test Suite.
8--
9--  DEPENDENCIES:
10--
11-- 
12--
13--  COPYRIGHT (c) 1989-2011.
14--  On-Line Applications Research Corporation (OAR).
15--
16--  The license and distribution terms for this file may in
17--  the file LICENSE in this distribution or at
18--  http://www.rtems.org/license/LICENSE.
19--
20
21with INTERFACES; use INTERFACES;
22with TEST_SUPPORT;
23with TEXT_IO;
24with RTEMS.CLOCK;
25with RTEMS.EXTENSION;
26with RTEMS.FATAL;
27
28package body SPTEST is
29
30   TestsFinished : Boolean := False;
31   pragma Volatile (TestsFinished);
32
33   type Task_Event is record
34      Task_Index    : RTEMS.Unsigned32;
35      When_Switched : RTEMS.Time_Of_Day;
36   end record;
37
38   Task_Events : array (1 .. 15) of Task_Event;
39   Task_Events_Index : Natural := Task_Events'First;
40
41   procedure Log_Task_Event (
42      Task_Index    : RTEMS.Unsigned32;
43      When_Switched : RTEMS.Time_Of_Day
44   ) is
45   begin
46      if Task_Events_Index = Task_Events'Last then
47         RTEMS.Fatal.Error_Occurred ( 1 );  -- no other choice
48      else
49         Task_Events (Task_Events_Index).Task_Index := Task_Index;
50         Task_Events (Task_Events_Index).When_Switched := When_Switched;
51         Task_Events_Index := Task_Events_Index + 1;
52      end if;
53   end Log_Task_Event;
54
55   procedure Flush_Task_Event_Log is
56   begin
57      for I in Task_Events'First .. Task_Events_Index - 1 loop
58
59         TEST_SUPPORT.PUT_NAME(
60            SPTEST.TASK_NAME( Task_Events (I).Task_Index ), FALSE
61         );
62         TEST_SUPPORT.PRINT_TIME( "- ", Task_Events (I).When_Switched, "" );
63         TEXT_IO.NEW_LINE;
64
65      end loop;
66
67   end Flush_Task_Event_Log;
68
69--
70--  INIT
71--
72
73   procedure INIT (
74      ARGUMENT : in     RTEMS.TASKS.ARGUMENT
75   ) is
76      pragma Unreferenced(ARGUMENT);
77      TIME   : RTEMS.TIME_OF_DAY;
78      STATUS : RTEMS.STATUS_CODES;
79   begin
80
81      TEXT_IO.NEW_LINE( 2 );
82      TEXT_IO.PUT_LINE( "*** TEST 4 ***" );
83
84      TIME := ( 1988, 12, 31, 9, 15, 0, 0 );
85
86      RTEMS.CLOCK.SET( TIME, STATUS );
87      TEST_SUPPORT.DIRECTIVE_FAILED( STATUS, "CLOCK_SET" );
88
89      SPTEST.EXTENSION_NAME( 1 ) := RTEMS.BUILD_NAME(  'E', 'X', 'T', ' ' );
90
91      RTEMS.EXTENSION.CREATE(
92         SPTEST.EXTENSION_NAME( 1 ),
93         SPTEST.EXTENSIONS'ACCESS,
94         EXTENSION_ID( 1 ),
95         STATUS
96      );
97      TEST_SUPPORT.DIRECTIVE_FAILED( STATUS, "EXTENSION_CREATE" );
98
99      SPTEST.TASK_NAME( 1 ) := RTEMS.BUILD_NAME(  'T', 'A', '1', ' ' );
100      SPTEST.TASK_NAME( 2 ) := RTEMS.BUILD_NAME(  'T', 'A', '2', ' ' );
101      SPTEST.TASK_NAME( 3 ) := RTEMS.BUILD_NAME(  'T', 'A', '3', ' ' );
102
103      SPTEST.RUN_COUNT( 1 ) := 0;
104      SPTEST.RUN_COUNT( 2 ) := 0;
105      SPTEST.RUN_COUNT( 3 ) := 0;
106
107      RTEMS.TASKS.CREATE(
108         SPTEST.TASK_NAME( 1 ),
109         1,
110         2048,
111         RTEMS.TIMESLICE,
112         RTEMS.DEFAULT_ATTRIBUTES,
113         SPTEST.TASK_ID( 1 ),
114         STATUS
115      );
116      TEST_SUPPORT.DIRECTIVE_FAILED( STATUS, "TASK_CREATE OF TA1" );
117
118      RTEMS.TASKS.CREATE(
119         SPTEST.TASK_NAME( 2 ),
120         1,
121         2048,
122         RTEMS.TIMESLICE,
123         RTEMS.DEFAULT_ATTRIBUTES,
124         SPTEST.TASK_ID( 2 ),
125         STATUS
126      );
127      TEST_SUPPORT.DIRECTIVE_FAILED( STATUS, "TASK_CREATE OF TA2" );
128
129      RTEMS.TASKS.CREATE(
130         SPTEST.TASK_NAME( 3 ),
131         1,
132         2048,
133         RTEMS.TIMESLICE,
134         RTEMS.DEFAULT_ATTRIBUTES,
135         SPTEST.TASK_ID( 3 ),
136         STATUS
137      );
138      TEST_SUPPORT.DIRECTIVE_FAILED( STATUS, "TASK_CREATE OF TA3" );
139
140      RTEMS.TASKS.START(
141         SPTEST.TASK_ID( 1 ),
142         SPTEST.TASK_1'ACCESS,
143         0,
144         STATUS
145      );
146      TEST_SUPPORT.DIRECTIVE_FAILED( STATUS, "TASK_START OF TA1" );
147
148      RTEMS.TASKS.START(
149         SPTEST.TASK_ID( 2 ),
150         SPTEST.TASK_2'ACCESS,
151         0,
152         STATUS
153      );
154      TEST_SUPPORT.DIRECTIVE_FAILED( STATUS, "TASK_START OF TA2" );
155
156      RTEMS.TASKS.START(
157         SPTEST.TASK_ID( 3 ),
158         SPTEST.TASK_3'ACCESS,
159         0,
160         STATUS
161      );
162      TEST_SUPPORT.DIRECTIVE_FAILED( STATUS, "TASK_START OF TA3" );
163
164      RTEMS.TASKS.DELETE( RTEMS.SELF, STATUS );
165      TEST_SUPPORT.DIRECTIVE_FAILED( STATUS, "TASK_DELETE OF SELF" );
166
167   end INIT;
168
169--
170--  TASK_1
171--
172
173   procedure TASK_1 (
174      ARGUMENT : in     RTEMS.TASKS.ARGUMENT
175   ) is
176      pragma Unreferenced(ARGUMENT);
177      SECONDS       : RTEMS.UNSIGNED32;
178      OLD_SECONDS   : RTEMS.UNSIGNED32;
179      PREVIOUS_MODE : RTEMS.MODE;
180      TIME          : RTEMS.TIME_OF_DAY;
181      START_TIME    : RTEMS.INTERVAL;
182      END_TIME      : RTEMS.INTERVAL;
183      STATUS        : RTEMS.STATUS_CODES;
184   begin
185
186      TEXT_IO.PUT_LINE( "TA1 - task_suspend - on Task 2" );
187      RTEMS.TASKS.SUSPEND( TASK_ID( 2 ), STATUS );
188      TEST_SUPPORT.DIRECTIVE_FAILED( STATUS, "TASK_SUSPEND OF TA2" );
189 
190      TEXT_IO.PUT_LINE( "TA1 - task_suspend - on Task 3" );
191      RTEMS.TASKS.SUSPEND( TASK_ID( 3 ), STATUS );
192      TEST_SUPPORT.DIRECTIVE_FAILED( STATUS, "TASK_SUSPEND OF TA3" );
193 
194      TEXT_IO.PUT_LINE( "TA1 - killing time" );
195
196      RTEMS.CLOCK.GET(
197         RTEMS.CLOCK.GET_SECONDS_SINCE_EPOCH,
198         START_TIME'ADDRESS,
199         STATUS
200      );
201      TEST_SUPPORT.DIRECTIVE_FAILED( STATUS, "CLOCK_GET" );
202
203      loop
204         RTEMS.CLOCK.GET(
205            RTEMS.CLOCK.GET_SECONDS_SINCE_EPOCH,
206            END_TIME'ADDRESS,
207            STATUS
208         );
209         TEST_SUPPORT.DIRECTIVE_FAILED( STATUS, "CLOCK_GET" );
210
211         exit when END_TIME > (START_TIME + 2);
212      end loop;
213
214      TEXT_IO.PUT_LINE( "TA1 - task_resume - on Task 2" );
215      RTEMS.TASKS.RESUME( TASK_ID( 2 ), STATUS );
216      TEST_SUPPORT.DIRECTIVE_FAILED( STATUS, "TASK_RESUME OF TA2" );
217 
218      TEXT_IO.PUT_LINE( "TA1 - task_resume - on Task 3" );
219      RTEMS.TASKS.RESUME( TASK_ID( 3 ), STATUS );
220      TEST_SUPPORT.DIRECTIVE_FAILED( STATUS, "TASK_RESUME OF TA3" );
221 
222      loop
223
224         if SPTEST.RUN_COUNT( 1 ) = 3 then
225
226            TEXT_IO.PUT_LINE(
227               "TA1 - task_mode - change mode to NO PREEMPT"
228            );
229            RTEMS.TASKS.MODE(
230               RTEMS.NO_PREEMPT,
231               RTEMS.PREEMPT_MASK,
232               PREVIOUS_MODE,
233               STATUS
234            );
235            TEST_SUPPORT.DIRECTIVE_FAILED( STATUS, "TASK_MODE" );
236
237            RTEMS.CLOCK.GET( RTEMS.CLOCK.GET_TOD, TIME'ADDRESS, STATUS );
238            TEST_SUPPORT.DIRECTIVE_FAILED( STATUS, "CLOCK_GET" );
239
240            OLD_SECONDS := TIME.SECOND;
241
242            SECONDS := 0;
243            loop
244
245               exit when SECONDS >= 6;
246
247               RTEMS.CLOCK.GET( RTEMS.CLOCK.GET_TOD, TIME'ADDRESS, STATUS );
248               TEST_SUPPORT.DIRECTIVE_FAILED( STATUS, "CLOCK_GET" );
249
250               if TIME.SECOND /= OLD_SECONDS then
251                  OLD_SECONDS := TIME.SECOND;
252                  SECONDS := SECONDS + 1;
253                  TEST_SUPPORT.PRINT_TIME( "TA1 - ", TIME, "" );
254                  TEXT_IO.NEW_LINE;
255               end if;
256
257            end loop;
258
259            TEXT_IO.PUT_LINE(
260               "TA1 - task_mode - change mode to PREEMPT"
261            );
262
263            RTEMS.TASKS.MODE(
264               RTEMS.PREEMPT,
265               RTEMS.PREEMPT_MASK,
266               PREVIOUS_MODE,
267               STATUS
268            );
269            TEST_SUPPORT.DIRECTIVE_FAILED( STATUS, "TASK_MODE" );
270
271            while not TestsFinished loop
272               NULL;
273            END LOOP;
274            Flush_Task_Event_Log;
275            TEXT_IO.PUT_LINE( "*** END OF TEST 4 ***" );
276            RTEMS.SHUTDOWN_EXECUTIVE( 0 );
277
278         end if;
279
280      end loop;
281
282   end TASK_1;
283
284--
285--  TASK_2
286--
287
288   procedure TASK_2 (
289      ARGUMENT : in     RTEMS.TASKS.ARGUMENT
290   ) is
291      pragma Unreferenced(ARGUMENT);
292   begin
293
294      LOOP
295         NULL;
296      END LOOP;
297
298   end TASK_2;
299
300--
301--  TASK_3
302--
303
304   procedure TASK_3 (
305      ARGUMENT : in     RTEMS.TASKS.ARGUMENT
306   ) is
307      pragma Unreferenced(ARGUMENT);
308   begin
309
310      LOOP
311         NULL;
312      END LOOP;
313
314   end TASK_3;
315
316--
317--  TASK_SWITCH
318--
319
320   procedure TASK_SWITCH (
321      UNUSED : in     RTEMS.TCB_POINTER;
322      HEIR   : in     RTEMS.TCB_POINTER
323   ) is
324      pragma Unreferenced(UNUSED);
325      INDEX  : RTEMS.UNSIGNED32;
326      TIME   : RTEMS.TIME_OF_DAY;
327      STATUS : RTEMS.STATUS_CODES;
328      function TCB_To_ID (
329         TCB : RTEMS.TCB_POINTER
330      ) return RTEMS.ID;
331      pragma Import (C, TCB_To_ID, "tcb_to_id" );
332         
333   begin
334
335      INDEX := TEST_SUPPORT.TASK_NUMBER( TCB_To_ID( HEIR ) );
336
337      case INDEX is
338         when 1  | 2 | 3 =>
339            SPTEST.RUN_COUNT( INDEX ) := SPTEST.RUN_COUNT( INDEX ) + 1;
340
341            RTEMS.CLOCK.GET( RTEMS.CLOCK.GET_TOD, TIME'ADDRESS, STATUS );
342            TEST_SUPPORT.DIRECTIVE_FAILED( STATUS, "CLOCK_GET" );
343
344            Log_Task_Event ( INDEX, TIME );
345           
346            if TIME.SECOND >= 16 then
347               TestsFinished := True;
348            end if;
349
350         when others =>
351            NULL;
352      end case;
353
354   end TASK_SWITCH;
355
356end SPTEST;
Note: See TracBrowser for help on using the repository browser.