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-2005, 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
69 function Check_Exit
(Self_ID
: ST
.Task_Id
) return Boolean is
78 function Check_No_Locks
(Self_ID
: ST
.Task_Id
) return Boolean is
87 function Current_State
(S
: Suspension_Object
) return Boolean is
92 ----------------------
93 -- Environment_Task --
94 ----------------------
96 function Environment_Task
return Task_Id
is
105 procedure Create_Task
107 Wrapper
: System
.Address
;
108 Stack_Size
: System
.Parameters
.Size_Type
;
109 Priority
: System
.Any_Priority
;
110 Succeeded
: out Boolean)
120 procedure Enter_Task
(Self_ID
: Task_Id
) is
129 procedure Exit_Task
is
138 procedure Finalize
(S
: in out Suspension_Object
) is
147 procedure Finalize_Lock
(L
: access Lock
) is
152 procedure Finalize_Lock
(L
: access RTS_Lock
) is
161 procedure Finalize_TCB
(T
: Task_Id
) is
170 function Get_Priority
(T
: Task_Id
) return System
.Any_Priority
is
179 function Get_Thread_Id
(T
: ST
.Task_Id
) return OSI
.Thread_Id
is
181 return OSI
.Thread_Id
(T
.Common
.LL
.Thread
);
188 procedure Initialize
(Environment_Task
: Task_Id
) is
189 No_Tasking
: Boolean;
192 System
.Error_Reporting
.Shutdown
193 ("Tasking not implemented on this configuration");
196 procedure Initialize
(S
: in out Suspension_Object
) is
201 ---------------------
202 -- Initialize_Lock --
203 ---------------------
205 procedure Initialize_Lock
206 (Prio
: System
.Any_Priority
;
213 procedure Initialize_Lock
(L
: access RTS_Lock
; Level
: Lock_Level
) is
222 procedure Initialize_TCB
(Self_ID
: Task_Id
; Succeeded
: out Boolean) is
231 function Is_Valid_Task
return Boolean is
240 procedure Lock_RTS
is
245 ---------------------
246 -- Monotonic_Clock --
247 ---------------------
249 function Monotonic_Clock
return Duration is
258 function New_ATCB
(Entry_Num
: Task_Entry_Index
) return Task_Id
is
260 return new Ada_Task_Control_Block
(Entry_Num
);
267 procedure Read_Lock
(L
: access Lock
; Ceiling_Violation
: out Boolean) is
269 Ceiling_Violation
:= False;
272 -----------------------------
273 -- Register_Foreign_Thread --
274 -----------------------------
276 function Register_Foreign_Thread
return Task_Id
is
279 end Register_Foreign_Thread
;
287 Thread_Self
: OSI
.Thread_Id
) return Boolean
297 function RT_Resolution
return Duration is
306 function Self
return Task_Id
is
315 procedure Set_False
(S
: in out Suspension_Object
) is
324 procedure Set_Priority
326 Prio
: System
.Any_Priority
;
327 Loss_Of_Inheritance
: Boolean := False)
337 procedure Set_True
(S
: in out Suspension_Object
) is
346 procedure Sleep
(Self_ID
: Task_Id
; Reason
: System
.Tasking
.Task_States
) is
355 procedure Stack_Guard
(T
: ST
.Task_Id
; On
: Boolean) is
364 function Suspend_Task
366 Thread_Self
: OSI
.Thread_Id
) return Boolean
372 ------------------------
373 -- Suspend_Until_True --
374 ------------------------
376 procedure Suspend_Until_True
(S
: in out Suspension_Object
) is
379 end Suspend_Until_True
;
385 procedure Timed_Delay
388 Mode
: ST
.Delay_Modes
)
398 procedure Timed_Sleep
401 Mode
: ST
.Delay_Modes
;
402 Reason
: System
.Tasking
.Task_States
;
403 Timedout
: out Boolean;
404 Yielded
: out Boolean)
415 procedure Unlock
(L
: access Lock
) is
420 procedure Unlock
(L
: access RTS_Lock
; Global_Lock
: Boolean := False) is
425 procedure Unlock
(T
: Task_Id
) is
434 procedure Unlock_RTS
is
442 procedure Wakeup
(T
: Task_Id
; Reason
: System
.Tasking
.Task_States
) is
451 procedure Write_Lock
(L
: access Lock
; Ceiling_Violation
: out Boolean) is
453 Ceiling_Violation
:= False;
457 (L
: access RTS_Lock
;
458 Global_Lock
: Boolean := False)
464 procedure Write_Lock
(T
: Task_Id
) is
473 procedure Yield
(Do_Yield
: Boolean := True) is
478 end System
.Task_Primitives
.Operations
;