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) 1991-1994, Florida State University --
10 -- Copyright (C) 1995-2005, AdaCore --
12 -- GNARL is free software; you can redistribute it and/or modify it under --
13 -- terms of the GNU General Public License as published by the Free Soft- --
14 -- ware Foundation; either version 2, or (at your option) any later ver- --
15 -- sion. GNARL is distributed in the hope that it will be useful, but WITH- --
16 -- OUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY --
17 -- or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License --
18 -- for more details. You should have received a copy of the GNU General --
19 -- Public License distributed with GNARL; see file COPYING. If not, write --
20 -- to the Free Software Foundation, 51 Franklin Street, Fifth Floor, --
21 -- Boston, MA 02110-1301, USA. --
23 -- As a special exception, if other files instantiate generics from this --
24 -- unit, or you link this unit with other files to produce an executable, --
25 -- this unit does not by itself cause the resulting executable to be --
26 -- covered by the GNU General Public License. This exception does not --
27 -- however invalidate any other reasons why the executable file might be --
28 -- covered by the GNU Public License. --
30 -- GNARL was developed by the GNARL team at Florida State University. --
31 -- Extensive contributions were provided by Ada Core Technologies, Inc. --
33 ------------------------------------------------------------------------------
35 -- This is a FSU Threads version of this package
38 -- Turn off polling, we do not want ATC polling to take place during
39 -- tasking operations. It causes infinite loops and other problems.
43 package body System.OS_Interface is
51 function To_Duration (TS : timespec) return Duration is
53 return Duration (TS.tv_sec) + Duration (TS.tv_nsec) / 10#1#E9;
56 function To_Duration (TV : struct_timeval) return Duration is
58 return Duration (TV.tv_sec) + Duration (TV.tv_usec) / 10#1#E6;
65 function To_Timespec (D : Duration) return timespec is
70 S := time_t (Long_Long_Integer (D));
71 F := D - Duration (S);
73 -- If F has negative value due to a round-up, adjust for positive F
81 return timespec'(tv_sec => S,
82 tv_nsec => long (Long_Long_Integer (F * 10#1#E9)));
89 function To_Timeval (D : Duration) return struct_timeval is
94 S := long (Long_Long_Integer (D));
95 F := D - Duration (S);
97 -- If F has negative value due to a round-up, adjust for positive F
108 tv_usec => long (Long_Long_Integer (F * 10#1#E6)));
115 -- FSU_THREADS has a nonstandard sigwait
118 (set : access sigset_t;
119 sig : access Signal) return int
123 function sigwait_base (set : access sigset_t) return int;
124 pragma Import (C, sigwait_base, "sigwait");
127 Result := sigwait_base (set);
134 sig.all := Signal (Result);
138 ------------------------
139 -- pthread_mutex_lock --
140 ------------------------
142 -- FSU_THREADS has nonstandard pthread_mutex_lock and unlock.
143 -- It sets errno but the standard Posix requires it to be returned.
145 function pthread_mutex_lock (mutex : access pthread_mutex_t) return int is
146 function pthread_mutex_lock_base
147 (mutex : access pthread_mutex_t) return int;
148 pragma Import (C, pthread_mutex_lock_base, "pthread_mutex_lock");
153 Result := pthread_mutex_lock_base (mutex);
160 end pthread_mutex_lock;
162 --------------------------
163 -- pthread_mutex_unlock --
164 --------------------------
166 function pthread_mutex_unlock
167 (mutex : access pthread_mutex_t) return int
169 function pthread_mutex_unlock_base
170 (mutex : access pthread_mutex_t) return int;
171 pragma Import (C, pthread_mutex_unlock_base, "pthread_mutex_unlock");
176 Result := pthread_mutex_unlock_base (mutex);
183 end pthread_mutex_unlock;
185 -----------------------
186 -- pthread_cond_wait --
187 -----------------------
189 -- FSU_THREADS has a nonstandard pthread_cond_wait.
190 -- The FSU_THREADS version returns EINTR when interrupted.
192 function pthread_cond_wait
193 (cond : access pthread_cond_t;
194 mutex : access pthread_mutex_t) return int
196 function pthread_cond_wait_base
197 (cond : access pthread_cond_t;
198 mutex : access pthread_mutex_t) return int;
199 pragma Import (C, pthread_cond_wait_base, "pthread_cond_wait");
204 Result := pthread_cond_wait_base (cond, mutex);
206 if Result = EINTR then
211 end pthread_cond_wait;
213 ----------------------------
214 -- pthread_cond_timedwait --
215 ----------------------------
217 -- FSU_THREADS has a nonstandard pthread_cond_timedwait. The
218 -- FSU_THREADS version returns -1 and set errno to EAGAIN for timeout.
220 function pthread_cond_timedwait
221 (cond : access pthread_cond_t;
222 mutex : access pthread_mutex_t;
223 abstime : access timespec) return int
225 function pthread_cond_timedwait_base
226 (cond : access pthread_cond_t;
227 mutex : access pthread_mutex_t;
228 abstime : access timespec) return int;
229 pragma Import (C, pthread_cond_timedwait_base, "pthread_cond_timedwait");
234 Result := pthread_cond_timedwait_base (cond, mutex, abstime);
237 if errno = EAGAIN then
245 end pthread_cond_timedwait;
247 ---------------------------
248 -- pthread_setschedparam --
249 ---------------------------
251 -- FSU_THREADS does not have pthread_setschedparam
253 -- This routine returns a non-negative value upon failure
254 -- but the error code can not be set conforming the POSIX standard.
256 function pthread_setschedparam
259 param : access struct_sched_param) return int
261 function pthread_setschedattr
263 attr : pthread_attr_t) return int;
264 pragma Import (C, pthread_setschedattr, "pthread_setschedattr");
266 attr : aliased pthread_attr_t;
270 Result := pthread_attr_init (attr'Access);
276 attr.sched := policy;
278 -- Short-cut around pthread_attr_setprio
280 attr.prio := param.sched_priority;
282 Result := pthread_setschedattr (thread, attr);
288 Result := pthread_attr_destroy (attr'Access);
295 end pthread_setschedparam;
297 -------------------------
298 -- pthread_getspecific --
299 -------------------------
301 -- FSU_THREADS has a nonstandard pthread_getspecific
303 function pthread_getspecific (key : pthread_key_t) return System.Address is
304 function pthread_getspecific_base
305 (key : pthread_key_t;
306 value : access System.Address) return int;
307 pragma Import (C, pthread_getspecific_base, "pthread_getspecific");
309 Tmp : aliased System.Address;
313 Result := pthread_getspecific_base (key, Tmp'Access);
316 return System.Null_Address;
320 end pthread_getspecific;
322 ---------------------------------
323 -- pthread_attr_setdetachstate --
324 ---------------------------------
326 function pthread_attr_setdetachstate
327 (attr : access pthread_attr_t;
328 detachstate : int) return int
330 function pthread_attr_setdetachstate_base
331 (attr : access pthread_attr_t;
332 detachstate : access int) return int;
334 (C, pthread_attr_setdetachstate_base, "pthread_attr_setdetachstate");
336 Tmp : aliased int := detachstate;
339 return pthread_attr_setdetachstate_base (attr, Tmp'Access);
340 end pthread_attr_setdetachstate;
346 -- FSU_THREADS does not have sched_yield;
348 function sched_yield return int is
349 procedure sched_yield_base (arg : System.Address);
350 pragma Import (C, sched_yield_base, "pthread_yield");
353 sched_yield_base (System.Null_Address);
361 function Get_Stack_Base (thread : pthread_t) return Address is
363 return thread.stack_base;
366 end System.OS_Interface;