------------------------------------------------------------------------------
-- --
--- GNAT RUNTIME COMPONENTS --
+-- GNAT RUN-TIME COMPONENTS --
-- --
-- G N A T . T H R E A D S --
-- --
-- B o d y --
-- --
--- Copyright (C) 1998-2003 Ada Core Technologies, Inc. --
+-- Copyright (C) 1998-2010, 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- --
+-- ware Foundation; either version 3, 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, 59 Temple Place - Suite 330, Boston, --
--- MA 02111-1307, USA. --
+-- or FITNESS FOR A PARTICULAR PURPOSE. --
-- --
--- 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. --
+-- As a special exception under Section 7 of GPL version 3, you are granted --
+-- additional permissions described in the GCC Runtime Library Exception, --
+-- version 3.1, as published by the Free Software Foundation. --
+-- --
+-- You should have received a copy of the GNU General Public License and --
+-- a copy of the GCC Runtime Library Exception along with this program; --
+-- see the files COPYING3 and COPYING.RUNTIME respectively. If not, see --
+-- <http://www.gnu.org/licenses/>. --
-- --
-- GNAT was originally developed by the GNAT team at New York University. --
-- Extensive contributions were provided by Ada Core Technologies Inc. --
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;
+with Ada.Unchecked_Conversion;
package body GNAT.Threads is
type Thread_Id_Ptr is access all Thread_Id;
- 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
+ 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 Ada.Unchecked_Conversion (Task_Id, Address);
+ function To_Id is new Ada.Unchecked_Conversion (Address, Task_Id);
+ function To_Id is new Ada.Unchecked_Conversion (Address, Tasking.Task_Id);
+ function To_Tid is new Ada.Unchecked_Conversion
(Address, Ada.Task_Identification.Task_Id);
- function To_Thread is new Unchecked_Conversion (Address, Thread_Id_Ptr);
+ function To_Thread is new Ada.Unchecked_Conversion (Address, Thread_Id_Ptr);
+
+ pragma Warnings (On);
type Code_Proc is access procedure (Id : Address; Parm : Void_Ptr);
is
TP : Tptr;
- function To_CP is new Unchecked_Conversion (Address, Code_Proc);
+ function To_CP is new Ada.Unchecked_Conversion (Address, Code_Proc);
begin
TP := new Thread (Size, Prio, Parm, To_CP (Code));
-----------------------
procedure Unregister_Thread is
- Self_Id : constant Tasking.Task_ID := Task_Primitives.Operations.Self;
+ Self_Id : constant Tasking.Task_Id := Task_Primitives.Operations.Self;
begin
Self_Id.Common.State := Tasking.Terminated;
Destroy_TSD (Self_Id.Common.Compiler_Data);
procedure Unregister_Thread_Id (Thread : System.Address) is
Thr : constant Thread_Id := To_Thread (Thread).all;
- T : Tasking.Task_ID;
+ T : Tasking.Task_Id;
+
+ use type Tasking.Task_Id;
+ -- This use clause should be removed once a visibility problem
+ -- with the MaRTE run time has been fixed. ???
- use type Tasking.Task_ID;
+ pragma Warnings (Off);
+ use type System.OS_Interface.Thread_Id;
+ pragma Warnings (On);
begin
STPO.Lock_RTS;
----------------
procedure Get_Thread (Id : Address; Thread : Address) is
- use System.OS_Interface;
Thr : constant Thread_Id_Ptr := To_Thread (Thread);
begin
Thr.all := Task_Primitives.Operations.Get_Thread_Id (To_Id (Id));
----------------
function To_Task_Id
- (Id : System.Address) return Ada.Task_Identification.Task_Id
+ (Id : System.Address) return Ada.Task_Identification.Task_Id
is
begin
return To_Tid (Id);
OSDN Git Service
