diff options
Diffstat (limited to 'gcc-4.2.1/gcc/ada/g-thread.adb')
| -rw-r--r-- | gcc-4.2.1/gcc/ada/g-thread.adb | 182 |
1 files changed, 182 insertions, 0 deletions
diff --git a/gcc-4.2.1/gcc/ada/g-thread.adb b/gcc-4.2.1/gcc/ada/g-thread.adb new file mode 100644 index 000000000..b49ed2300 --- /dev/null +++ b/gcc-4.2.1/gcc/ada/g-thread.adb @@ -0,0 +1,182 @@ +------------------------------------------------------------------------------ +-- -- +-- GNAT RUN-TIME COMPONENTS -- +-- -- +-- G N A T . T H R E A D S -- +-- -- +-- B o d y -- +-- -- +-- Copyright (C) 1998-2005 AdaCore -- +-- -- +-- GNAT is free software; you can redistribute it and/or modify it under -- +-- terms of the GNU General Public License as published by the Free Soft- -- +-- ware Foundation; either version 2, or (at your option) any later ver- -- +-- sion. GNAT is distributed in the hope that it will be useful, but WITH- -- +-- OUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY -- +-- or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License -- +-- for more details. You should have received a copy of the GNU General -- +-- Public License distributed with GNAT; see file COPYING. If not, write -- +-- to the Free Software Foundation, 51 Franklin Street, Fifth Floor, -- +-- Boston, MA 02110-1301, USA. -- +-- -- +-- As a special exception, if other files instantiate generics from this -- +-- unit, or you link this unit with other files to produce an executable, -- +-- this unit does not by itself cause the resulting executable to be -- +-- covered by the GNU General Public License. This exception does not -- +-- however invalidate any other reasons why the executable file might be -- +-- covered by the GNU Public License. -- +-- -- +-- GNAT was originally developed by the GNAT team at New York University. -- +-- Extensive contributions were provided by Ada Core Technologies Inc. -- +-- -- +------------------------------------------------------------------------------ + +with Ada.Task_Identification; use Ada.Task_Identification; +with System.Task_Primitives.Operations; +with System.Tasking; +with System.Tasking.Stages; use System.Tasking.Stages; +with System.OS_Interface; use System.OS_Interface; +with System.Soft_Links; use System.Soft_Links; +with Unchecked_Conversion; + +package body GNAT.Threads is + + use System; + + package STPO renames System.Task_Primitives.Operations; + + type Thread_Id_Ptr is access all Thread_Id; + + pragma Warnings (Off); + -- The following unchecked conversions are aliasing safe, since they + -- are never used to create pointers to improperly aliased data. + + function To_Addr is new Unchecked_Conversion (Task_Id, Address); + function To_Id is new Unchecked_Conversion (Address, Task_Id); + function To_Id is new Unchecked_Conversion (Address, Tasking.Task_Id); + function To_Tid is new Unchecked_Conversion + (Address, Ada.Task_Identification.Task_Id); + function To_Thread is new Unchecked_Conversion (Address, Thread_Id_Ptr); + + pragma Warnings (On); + + type Code_Proc is access procedure (Id : Address; Parm : Void_Ptr); + + task type Thread + (Stsz : Natural; + Prio : Any_Priority; + Parm : Void_Ptr; + Code : Code_Proc) + is + pragma Priority (Prio); + pragma Storage_Size (Stsz); + end Thread; + + task body Thread is + begin + Code.all (To_Addr (Current_Task), Parm); + end Thread; + + type Tptr is access Thread; + + ------------------- + -- Create_Thread -- + ------------------- + + function Create_Thread + (Code : Address; + Parm : Void_Ptr; + Size : Natural; + Prio : Integer) return System.Address + is + TP : Tptr; + + function To_CP is new Unchecked_Conversion (Address, Code_Proc); + + begin + TP := new Thread (Size, Prio, Parm, To_CP (Code)); + return To_Addr (TP'Identity); + end Create_Thread; + + --------------------- + -- Register_Thread -- + --------------------- + + function Register_Thread return System.Address is + begin + return Task_Primitives.Operations.Register_Foreign_Thread.all'Address; + end Register_Thread; + + ----------------------- + -- Unregister_Thread -- + ----------------------- + + procedure Unregister_Thread is + Self_Id : constant Tasking.Task_Id := Task_Primitives.Operations.Self; + begin + Self_Id.Common.State := Tasking.Terminated; + Destroy_TSD (Self_Id.Common.Compiler_Data); + Free_Task (Self_Id); + end Unregister_Thread; + + -------------------------- + -- Unregister_Thread_Id -- + -------------------------- + + procedure Unregister_Thread_Id (Thread : System.Address) is + Thr : constant Thread_Id := To_Thread (Thread).all; + T : Tasking.Task_Id; + + use type Tasking.Task_Id; + + begin + STPO.Lock_RTS; + + T := Tasking.All_Tasks_List; + loop + exit when T = null or else STPO.Get_Thread_Id (T) = Thr; + + T := T.Common.All_Tasks_Link; + end loop; + + STPO.Unlock_RTS; + + if T /= null then + T.Common.State := Tasking.Terminated; + Destroy_TSD (T.Common.Compiler_Data); + Free_Task (T); + end if; + end Unregister_Thread_Id; + + -------------------- + -- Destroy_Thread -- + -------------------- + + procedure Destroy_Thread (Id : Address) is + Tid : constant Task_Id := To_Id (Id); + begin + Abort_Task (Tid); + end Destroy_Thread; + + ---------------- + -- Get_Thread -- + ---------------- + + procedure Get_Thread (Id : Address; Thread : Address) is + Thr : constant Thread_Id_Ptr := To_Thread (Thread); + begin + Thr.all := Task_Primitives.Operations.Get_Thread_Id (To_Id (Id)); + end Get_Thread; + + ---------------- + -- To_Task_Id -- + ---------------- + + function To_Task_Id + (Id : System.Address) return Ada.Task_Identification.Task_Id + is + begin + return To_Tid (Id); + end To_Task_Id; + +end GNAT.Threads; |