1 ------------------------------------------------------------------------------
3 -- GNAT RUN-TIME COMPONENTS --
5 -- A D A . E X E C U T I O N _ T I M E --
9 -- Copyright (C) 2007-2010, Free Software Foundation, Inc. --
11 -- GNAT 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 3, or (at your option) any later ver- --
14 -- sion. GNAT 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. --
18 -- As a special exception under Section 7 of GPL version 3, you are granted --
19 -- additional permissions described in the GCC Runtime Library Exception, --
20 -- version 3.1, as published by the Free Software Foundation. --
22 -- You should have received a copy of the GNU General Public License and --
23 -- a copy of the GCC Runtime Library Exception along with this program; --
24 -- see the files COPYING3 and COPYING.RUNTIME respectively. If not, see --
25 -- <http://www.gnu.org/licenses/>. --
27 -- GNAT was originally developed by the GNAT team at New York University. --
28 -- Extensive contributions were provided by Ada Core Technologies Inc. --
30 ------------------------------------------------------------------------------
32 -- This is the POSIX (Realtime Extension) version of this package
34 with Ada.Task_Identification; use Ada.Task_Identification;
35 with Ada.Unchecked_Conversion;
37 with System.OS_Interface; use System.OS_Interface;
39 with Interfaces.C; use Interfaces.C;
41 package body Ada.Execution_Time is
43 pragma Linker_Options ("-lrt");
44 -- POSIX.1b Realtime Extensions library. Needed to have access to function
53 Right : Ada.Real_Time.Time_Span) return CPU_Time
55 use type Ada.Real_Time.Time;
57 return CPU_Time (Ada.Real_Time.Time (Left) + Right);
61 (Left : Ada.Real_Time.Time_Span;
62 Right : CPU_Time) return CPU_Time
64 use type Ada.Real_Time.Time;
66 return CPU_Time (Left + Ada.Real_Time.Time (Right));
75 Right : Ada.Real_Time.Time_Span) return CPU_Time
77 use type Ada.Real_Time.Time;
79 return CPU_Time (Ada.Real_Time.Time (Left) - Right);
84 Right : CPU_Time) return Ada.Real_Time.Time_Span
86 use type Ada.Real_Time.Time;
88 return (Ada.Real_Time.Time (Left) - Ada.Real_Time.Time (Right));
96 (T : Ada.Task_Identification.Task_Id :=
97 Ada.Task_Identification.Current_Task)
100 TS : aliased timespec;
101 Result : Interfaces.C.int;
103 function To_CPU_Time is
104 new Ada.Unchecked_Conversion (Duration, CPU_Time);
105 -- Time is equal to Duration (although it is a private type) and
106 -- CPU_Time is equal to Time.
108 function clock_gettime
109 (clock_id : Interfaces.C.int;
110 tp : access timespec)
112 pragma Import (C, clock_gettime, "clock_gettime");
113 -- Function from the POSIX.1b Realtime Extensions library
115 CLOCK_THREAD_CPUTIME_ID : constant := 3;
116 -- Identifier for the clock returning per-task CPU time
119 if T = Ada.Task_Identification.Null_Task_Id then
123 Result := clock_gettime
124 (clock_id => CLOCK_THREAD_CPUTIME_ID, tp => TS'Unchecked_Access);
125 pragma Assert (Result = 0);
127 return To_CPU_Time (To_Duration (TS));
136 SC : out Ada.Real_Time.Seconds_Count;
137 TS : out Ada.Real_Time.Time_Span)
139 use type Ada.Real_Time.Time;
141 Ada.Real_Time.Split (Ada.Real_Time.Time (T), SC, TS);
149 (SC : Ada.Real_Time.Seconds_Count;
150 TS : Ada.Real_Time.Time_Span := Ada.Real_Time.Time_Span_Zero)
154 return CPU_Time (Ada.Real_Time.Time_Of (SC, TS));
157 end Ada.Execution_Time;