GCC v8.2
[gcc.git] / gcc / ada / libgnarl / a-exetim__darwin.adb
1 ------------------------------------------------------------------------------
2 --                                                                          --
3 --                         GNAT RUN-TIME COMPONENTS                         --
4 --                                                                          --
5 --                   A D A . E X E C U T I O N _ T I M E                    --
6 --                                                                          --
7 --                                 B o d y                                  --
8 --                                                                          --
9 --         Copyright (C) 2007-2018, Free Software Foundation, Inc.          --
10 --                                                                          --
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.                                     --
17 --                                                                          --
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.               --
21 --                                                                          --
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/>.                                          --
26 --                                                                          --
27 -- GNAT was originally developed  by the GNAT team at  New York University. --
28 -- Extensive contributions were provided by Ada Core Technologies Inc.      --
29 --                                                                          --
30 ------------------------------------------------------------------------------
31
32 --  This is the Darwin version of this package
33
34 with Ada.Task_Identification;  use Ada.Task_Identification;
35 with Ada.Unchecked_Conversion;
36
37 with System.Tasking;
38 with System.OS_Interface; use System.OS_Interface;
39 with System.Task_Primitives.Operations; use System.Task_Primitives.Operations;
40
41 with Interfaces.C; use Interfaces.C;
42
43 package body Ada.Execution_Time is
44
45    ---------
46    -- "+" --
47    ---------
48
49    function "+"
50      (Left  : CPU_Time;
51       Right : Ada.Real_Time.Time_Span) return CPU_Time
52    is
53       use type Ada.Real_Time.Time;
54    begin
55       return CPU_Time (Ada.Real_Time.Time (Left) + Right);
56    end "+";
57
58    function "+"
59      (Left  : Ada.Real_Time.Time_Span;
60       Right : CPU_Time) return CPU_Time
61    is
62       use type Ada.Real_Time.Time;
63    begin
64       return CPU_Time (Left + Ada.Real_Time.Time (Right));
65    end "+";
66
67    ---------
68    -- "-" --
69    ---------
70
71    function "-"
72      (Left  : CPU_Time;
73       Right : Ada.Real_Time.Time_Span) return CPU_Time
74    is
75       use type Ada.Real_Time.Time;
76    begin
77       return CPU_Time (Ada.Real_Time.Time (Left) - Right);
78    end "-";
79
80    function "-"
81      (Left  : CPU_Time;
82       Right : CPU_Time) return Ada.Real_Time.Time_Span
83    is
84       use type Ada.Real_Time.Time;
85    begin
86       return (Ada.Real_Time.Time (Left) - Ada.Real_Time.Time (Right));
87    end "-";
88
89    -----------
90    -- Clock --
91    -----------
92
93    function Clock
94      (T : Ada.Task_Identification.Task_Id :=
95         Ada.Task_Identification.Current_Task) return CPU_Time
96    is
97       function Convert_Ids is new
98         Ada.Unchecked_Conversion (Task_Id, System.Tasking.Task_Id);
99
100       function To_CPU_Time is
101         new Ada.Unchecked_Conversion (Duration, CPU_Time);
102       --  Time is equal to Duration (although it is a private type) and
103       --  CPU_Time is equal to Time.
104
105       subtype integer_t is Interfaces.C.int;
106       subtype mach_port_t is integer_t;
107       --  Type definition for Mach.
108
109       type time_value_t is record
110          seconds : integer_t;
111          microseconds : integer_t;
112       end record;
113       pragma Convention (C, time_value_t);
114       --  Mach time_value_t
115
116       type thread_basic_info_t is record
117          user_time     : time_value_t;
118          system_time   : time_value_t;
119          cpu_usage     : integer_t;
120          policy        : integer_t;
121          run_state     : integer_t;
122          flags         : integer_t;
123          suspend_count : integer_t;
124          sleep_time    : integer_t;
125       end record;
126       pragma Convention (C, thread_basic_info_t);
127       --  Mach structure from thread_info.h
128
129       THREAD_BASIC_INFO       : constant := 3;
130       THREAD_BASIC_INFO_COUNT : constant := 10;
131       --  Flavors for basic info
132
133       function thread_info (Target : mach_port_t;
134                             Flavor : integer_t;
135                             Thread_Info : System.Address;
136                             Count : System.Address) return integer_t;
137       pragma Import (C, thread_info);
138       --  Mach call to get info on a thread
139
140       function pthread_mach_thread_np (Thread : pthread_t) return mach_port_t;
141       pragma Import (C, pthread_mach_thread_np);
142       --  Get Mach thread from posix thread
143
144       Result    : Interfaces.C.int;
145       Thread    : pthread_t;
146       Port      : mach_port_t;
147       Ti        : thread_basic_info_t;
148       Count     : integer_t;
149    begin
150       if T = Ada.Task_Identification.Null_Task_Id then
151          raise Program_Error;
152       end if;
153
154       Thread := Get_Thread_Id (Convert_Ids (T));
155       Port := pthread_mach_thread_np (Thread);
156       pragma Assert (Port > 0);
157
158       Count := THREAD_BASIC_INFO_COUNT;
159       Result := thread_info (Port, THREAD_BASIC_INFO,
160                              Ti'Address, Count'Address);
161       pragma Assert (Result = 0);
162       pragma Assert (Count = THREAD_BASIC_INFO_COUNT);
163
164       return To_CPU_Time
165         (Duration (Ti.user_time.seconds + Ti.system_time.seconds)
166            + Duration (Ti.user_time.microseconds
167                          + Ti.system_time.microseconds) / 1E6);
168    end Clock;
169
170    --------------------------
171    -- Clock_For_Interrupts --
172    --------------------------
173
174    function Clock_For_Interrupts return CPU_Time is
175    begin
176       --  According to AI 0170-1, D.14(18.1/3), if Interrupt_Clocks_Supported
177       --  is set to False the function raises Program_Error.
178
179       raise Program_Error;
180       return CPU_Time_First;
181    end Clock_For_Interrupts;
182
183    -----------
184    -- Split --
185    -----------
186
187    procedure Split
188      (T  : CPU_Time;
189       SC : out Ada.Real_Time.Seconds_Count;
190       TS : out Ada.Real_Time.Time_Span)
191    is
192    begin
193       Ada.Real_Time.Split (Ada.Real_Time.Time (T), SC, TS);
194    end Split;
195
196    -------------
197    -- Time_Of --
198    -------------
199
200    function Time_Of
201      (SC : Ada.Real_Time.Seconds_Count;
202       TS : Ada.Real_Time.Time_Span := Ada.Real_Time.Time_Span_Zero)
203       return CPU_Time
204    is
205    begin
206       return CPU_Time (Ada.Real_Time.Time_Of (SC, TS));
207    end Time_Of;
208
209 end Ada.Execution_Time;