1 ------------------------------------------------------------------------------
3 -- GNAT RUN-TIME LIBRARY (GNARL) COMPONENTS --
5 -- S Y S T E M . T A S K _ P R I M I T I V E S . O P E R A T I O N S --
9 -- Copyright (C) 1992-2007, Free Software Foundation, Inc. --
11 -- GNARL is free software; you can redistribute it and/or modify it under --
12 -- terms of the GNU General Public License as published by the Free Soft- --
13 -- ware Foundation; either version 2, or (at your option) any later ver- --
14 -- sion. GNARL is distributed in the hope that it will be useful, but WITH- --
15 -- OUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY --
16 -- or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License --
17 -- for more details. You should have received a copy of the GNU General --
18 -- Public License distributed with GNARL; see file COPYING. If not, write --
19 -- to the Free Software Foundation, 51 Franklin Street, Fifth Floor, --
20 -- Boston, MA 02110-1301, USA. --
22 -- As a special exception, if other files instantiate generics from this --
23 -- unit, or you link this unit with other files to produce an executable, --
24 -- this unit does not by itself cause the resulting executable to be --
25 -- covered by the GNU General Public License. This exception does not --
26 -- however invalidate any other reasons why the executable file might be --
27 -- covered by the GNU Public License. --
29 -- GNARL was developed by the GNARL team at Florida State University. --
30 -- Extensive contributions were provided by Ada Core Technologies, Inc. --
32 ------------------------------------------------------------------------------
34 -- This is a no tasking version of this package
36 -- This package contains all the GNULL primitives that interface directly
37 -- with the underlying OS.
40 -- Turn off polling, we do not want ATC polling to take place during
41 -- tasking operations. It causes infinite loops and other problems.
43 with System
.Error_Reporting
;
46 package body System
.Task_Primitives
.Operations
is
49 use System
.Parameters
;
51 pragma Warnings
(Off
);
52 -- Turn off warnings since so many unreferenced parameters
58 procedure Abort_Task
(T
: Task_Id
) is
67 function Check_Exit
(Self_ID
: ST
.Task_Id
) return Boolean is
76 function Check_No_Locks
(Self_ID
: ST
.Task_Id
) return Boolean is
85 function Continue_Task
(T
: ST
.Task_Id
) return Boolean is
94 function Current_State
(S
: Suspension_Object
) return Boolean is
99 ----------------------
100 -- Environment_Task --
101 ----------------------
103 function Environment_Task
return Task_Id
is
106 end Environment_Task
;
112 procedure Create_Task
114 Wrapper
: System
.Address
;
115 Stack_Size
: System
.Parameters
.Size_Type
;
116 Priority
: System
.Any_Priority
;
117 Succeeded
: out Boolean)
127 procedure Enter_Task
(Self_ID
: Task_Id
) is
136 procedure Exit_Task
is
145 procedure Finalize
(S
: in out Suspension_Object
) is
154 procedure Finalize_Lock
(L
: not null access Lock
) is
159 procedure Finalize_Lock
(L
: not null access RTS_Lock
) is
168 procedure Finalize_TCB
(T
: Task_Id
) is
177 function Get_Priority
(T
: Task_Id
) return System
.Any_Priority
is
186 function Get_Thread_Id
(T
: ST
.Task_Id
) return OSI
.Thread_Id
is
188 return OSI
.Thread_Id
(T
.Common
.LL
.Thread
);
195 procedure Initialize
(Environment_Task
: Task_Id
) is
196 No_Tasking
: Boolean;
199 System
.Error_Reporting
.Shutdown
200 ("Tasking not implemented on this configuration");
203 procedure Initialize
(S
: in out Suspension_Object
) is
208 ---------------------
209 -- Initialize_Lock --
210 ---------------------
212 procedure Initialize_Lock
213 (Prio
: System
.Any_Priority
;
214 L
: not null access Lock
)
220 procedure Initialize_Lock
221 (L
: not null access RTS_Lock
; Level
: Lock_Level
) is
230 procedure Initialize_TCB
(Self_ID
: Task_Id
; Succeeded
: out Boolean) is
239 function Is_Valid_Task
return Boolean is
248 procedure Lock_RTS
is
253 ---------------------
254 -- Monotonic_Clock --
255 ---------------------
257 function Monotonic_Clock
return Duration is
266 function New_ATCB
(Entry_Num
: Task_Entry_Index
) return Task_Id
is
268 return new Ada_Task_Control_Block
(Entry_Num
);
276 (L
: not null access Lock
;
277 Ceiling_Violation
: out Boolean)
280 Ceiling_Violation
:= False;
283 -----------------------------
284 -- Register_Foreign_Thread --
285 -----------------------------
287 function Register_Foreign_Thread
return Task_Id
is
290 end Register_Foreign_Thread
;
298 Thread_Self
: OSI
.Thread_Id
) return Boolean
308 function RT_Resolution
return Duration is
317 function Self
return Task_Id
is
326 procedure Set_Ceiling
327 (L
: not null access Lock
;
328 Prio
: System
.Any_Priority
)
338 procedure Set_False
(S
: in out Suspension_Object
) is
347 procedure Set_Priority
349 Prio
: System
.Any_Priority
;
350 Loss_Of_Inheritance
: Boolean := False)
360 procedure Set_True
(S
: in out Suspension_Object
) is
369 procedure Sleep
(Self_ID
: Task_Id
; Reason
: System
.Tasking
.Task_States
) is
378 procedure Stack_Guard
(T
: ST
.Task_Id
; On
: Boolean) is
387 function Suspend_Task
389 Thread_Self
: OSI
.Thread_Id
) return Boolean
399 procedure Stop_All_Tasks
is
408 function Stop_Task
(T
: ST
.Task_Id
) return Boolean is
409 pragma Unreferenced
(T
);
414 ------------------------
415 -- Suspend_Until_True --
416 ------------------------
418 procedure Suspend_Until_True
(S
: in out Suspension_Object
) is
421 end Suspend_Until_True
;
427 procedure Timed_Delay
430 Mode
: ST
.Delay_Modes
)
440 procedure Timed_Sleep
443 Mode
: ST
.Delay_Modes
;
444 Reason
: System
.Tasking
.Task_States
;
445 Timedout
: out Boolean;
446 Yielded
: out Boolean)
457 procedure Unlock
(L
: not null access Lock
) is
463 (L
: not null access RTS_Lock
;
464 Global_Lock
: Boolean := False)
470 procedure Unlock
(T
: Task_Id
) is
479 procedure Unlock_RTS
is
487 procedure Wakeup
(T
: Task_Id
; Reason
: System
.Tasking
.Task_States
) is
497 (L
: not null access Lock
;
498 Ceiling_Violation
: out Boolean)
501 Ceiling_Violation
:= False;
505 (L
: not null access RTS_Lock
;
506 Global_Lock
: Boolean := False)
512 procedure Write_Lock
(T
: Task_Id
) is
521 procedure Yield
(Do_Yield
: Boolean := True) is
526 end System
.Task_Primitives
.Operations
;