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-2011, 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_Constants; use System.OS_Constants;
38 with System.OS_Interface; use System.OS_Interface;
40 with Interfaces.C; use Interfaces.C;
42 package body Ada.Execution_Time is
44 pragma Linker_Options ("-lrt");
45 -- POSIX.1b Realtime Extensions library. Needed to have access to function
54 Right : Ada.Real_Time.Time_Span) return CPU_Time
56 use type Ada.Real_Time.Time;
58 return CPU_Time (Ada.Real_Time.Time (Left) + Right);
62 (Left : Ada.Real_Time.Time_Span;
63 Right : CPU_Time) return CPU_Time
65 use type Ada.Real_Time.Time;
67 return CPU_Time (Left + Ada.Real_Time.Time (Right));
76 Right : Ada.Real_Time.Time_Span) return CPU_Time
78 use type Ada.Real_Time.Time;
80 return CPU_Time (Ada.Real_Time.Time (Left) - Right);
85 Right : CPU_Time) return Ada.Real_Time.Time_Span
87 use type Ada.Real_Time.Time;
89 return (Ada.Real_Time.Time (Left) - Ada.Real_Time.Time (Right));
97 (T : Ada.Task_Identification.Task_Id :=
98 Ada.Task_Identification.Current_Task)
101 TS : aliased timespec;
102 Result : Interfaces.C.int;
104 function To_CPU_Time is
105 new Ada.Unchecked_Conversion (Duration, CPU_Time);
106 -- Time is equal to Duration (although it is a private type) and
107 -- CPU_Time is equal to Time.
109 function clock_gettime
110 (clock_id : Interfaces.C.int;
111 tp : access timespec)
113 pragma Import (C, clock_gettime, "clock_gettime");
114 -- Function from the POSIX.1b Realtime Extensions library
117 if T = Ada.Task_Identification.Null_Task_Id then
121 Result := clock_gettime
122 (clock_id => CLOCK_THREAD_CPUTIME_ID, tp => TS'Unchecked_Access);
123 pragma Assert (Result = 0);
125 return To_CPU_Time (To_Duration (TS));
128 --------------------------
129 -- Clock_For_Interrupts --
130 --------------------------
132 function Clock_For_Interrupts return CPU_Time is
134 -- According to AI 0170-1, D.14(18.1/3), if Interrupt_Clocks_Supported
135 -- is set to False the function raises Program_Error.
138 return CPU_Time_First;
139 end Clock_For_Interrupts;
147 SC : out Ada.Real_Time.Seconds_Count;
148 TS : out Ada.Real_Time.Time_Span)
150 use type Ada.Real_Time.Time;
152 Ada.Real_Time.Split (Ada.Real_Time.Time (T), SC, TS);
160 (SC : Ada.Real_Time.Seconds_Count;
161 TS : Ada.Real_Time.Time_Span := Ada.Real_Time.Time_Span_Zero)
165 return CPU_Time (Ada.Real_Time.Time_Of (SC, TS));
168 end Ada.Execution_Time;