1 ------------------------------------------------------------------------------
3 -- GNAT RUN-TIME LIBRARY (GNARL) COMPONENTS --
5 -- S Y S T E M . O S _ I N T E R F A C E --
9 -- Copyright (C) 1995-2012, AdaCore --
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 -- GNARL was developed by the GNARL team at Florida State University. --
28 -- Extensive contributions were provided by Ada Core Technologies, Inc. --
30 ------------------------------------------------------------------------------
32 -- This is an Android version of this package.
35 -- Turn off polling, we do not want ATC polling to take place during
36 -- tasking operations. It causes infinite loops and other problems.
38 -- This package encapsulates all direct interfaces to OS services
39 -- that are needed by children of System.
41 with Interfaces
.C
; use Interfaces
.C
;
42 package body System
.OS_Interface
is
48 function To_Duration
(TS
: timespec
) return Duration is
50 return Duration (TS
.tv_sec
) + Duration (TS
.tv_nsec
) / 10#
1#E9
;
57 function To_Timespec
(D
: Duration) return timespec
is
62 S
:= time_t
(Long_Long_Integer (D
));
63 F
:= D
- Duration (S
);
65 -- If F has negative value due to a round-up, adjust for positive F
73 return timespec
'(tv_sec => S,
74 tv_nsec => long (Long_Long_Integer (F * 10#1#E9)));
81 function clock_gettime
82 (clock_id : clockid_t;
83 tp : access timespec) return int
85 pragma Unreferenced (clock_id);
87 -- Android/Linux don't have clock_gettime, so use gettimeofday
91 type timeval is array (1 .. 2) of C.long;
93 procedure timeval_to_duration
94 (T : not null access timeval;
95 sec : not null access C.long;
96 usec : not null access C.long);
97 pragma Import (C, timeval_to_duration, "__gnat_timeval_to_duration");
99 Micro : constant := 10**6;
100 sec : aliased C.long;
101 usec : aliased C.long;
102 TV : aliased timeval;
105 function gettimeofday
106 (Tv : access timeval;
107 Tz : System.Address := System.Null_Address) return int;
108 pragma Import (C, gettimeofday, "gettimeofday");
111 Result := gettimeofday (TV'Access, System.Null_Address);
112 pragma Assert (Result = 0);
113 timeval_to_duration (TV'Access, sec'Access, usec'Access);
114 tp.all := To_Timespec (Duration (sec) + Duration (usec) / Micro);
118 end System.OS_Interface;