1 ------------------------------------------------------------------------------
3 -- GNU ADA 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-2004, Free Software Foundation, Inc. --
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, 59 Temple Place - Suite 330, Boston, --
21 -- MA 02111-1307, 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 HPUX 11.0 (Native THREADS) version of this package
37 -- This package encapsulates all direct interfaces to OS services
38 -- that are needed by children of System.
40 -- This package encapsulates all direct interfaces to OS services
41 -- that are needed by children of System.
43 -- PLEASE DO NOT add any with-clauses to this package or remove the pragma
44 -- Preelaborate. This package is designed to be a bottom-level (leaf) package.
47 with Unchecked_Conversion
;
49 package System
.OS_Interface
is
52 pragma Linker_Options
("-lpthread");
54 subtype int
is Interfaces
.C
.int
;
55 subtype short
is Interfaces
.C
.short
;
56 subtype long
is Interfaces
.C
.long
;
57 subtype unsigned
is Interfaces
.C
.unsigned
;
58 subtype unsigned_short
is Interfaces
.C
.unsigned_short
;
59 subtype unsigned_long
is Interfaces
.C
.unsigned_long
;
60 subtype unsigned_char
is Interfaces
.C
.unsigned_char
;
61 subtype plain_char
is Interfaces
.C
.plain_char
;
62 subtype size_t
is Interfaces
.C
.size_t
;
68 function errno
return int
;
69 pragma Import
(C
, errno
, "__get_errno");
71 EAGAIN
: constant := 11;
72 EINTR
: constant := 4;
73 EINVAL
: constant := 22;
74 ENOMEM
: constant := 12;
75 ETIMEDOUT
: constant := 238;
81 Max_Interrupt
: constant := 44;
82 type Signal
is new int
range 0 .. Max_Interrupt
;
83 for Signal
'Size use int
'Size;
85 SIGHUP
: constant := 1; -- hangup
86 SIGINT
: constant := 2; -- interrupt (rubout)
87 SIGQUIT
: constant := 3; -- quit (ASCD FS)
88 SIGILL
: constant := 4; -- illegal instruction (not reset)
89 SIGTRAP
: constant := 5; -- trace trap (not reset)
90 SIGIOT
: constant := 6; -- IOT instruction
91 SIGABRT
: constant := 6; -- used by abort, replace SIGIOT in the future
92 SIGEMT
: constant := 7; -- EMT instruction
93 SIGFPE
: constant := 8; -- floating point exception
94 SIGKILL
: constant := 9; -- kill (cannot be caught or ignored)
95 SIGBUS
: constant := 10; -- bus error
96 SIGSEGV
: constant := 11; -- segmentation violation
97 SIGSYS
: constant := 12; -- bad argument to system call
98 SIGPIPE
: constant := 13; -- write on a pipe with no one to read it
99 SIGALRM
: constant := 14; -- alarm clock
100 SIGTERM
: constant := 15; -- software termination signal from kill
101 SIGUSR1
: constant := 16; -- user defined signal 1
102 SIGUSR2
: constant := 17; -- user defined signal 2
103 SIGCLD
: constant := 18; -- alias for SIGCHLD
104 SIGCHLD
: constant := 18; -- child status change
105 SIGPWR
: constant := 19; -- power-fail restart
106 SIGVTALRM
: constant := 20; -- virtual timer alarm
107 SIGPROF
: constant := 21; -- profiling timer alarm
108 SIGIO
: constant := 22; -- asynchronous I/O
109 SIGPOLL
: constant := 22; -- pollable event occurred
110 SIGWINCH
: constant := 23; -- window size change
111 SIGSTOP
: constant := 24; -- stop (cannot be caught or ignored)
112 SIGTSTP
: constant := 25; -- user stop requested from tty
113 SIGCONT
: constant := 26; -- stopped process has been continued
114 SIGTTIN
: constant := 27; -- background tty read attempted
115 SIGTTOU
: constant := 28; -- background tty write attempted
116 SIGURG
: constant := 29; -- urgent condition on IO channel
117 SIGLOST
: constant := 30; -- remote lock lost (NFS)
118 SIGDIL
: constant := 32; -- DIL signal
119 SIGXCPU
: constant := 33; -- CPU time limit exceeded (setrlimit)
120 SIGXFSZ
: constant := 34; -- file size limit exceeded (setrlimit)
121 SIGCANCEL
: constant := 35; -- used for pthread cancellation.
122 SIGGFAULT
: constant := 36; -- Graphics framebuffer fault
124 SIGADAABORT
: constant := SIGABRT
;
125 -- Note: on other targets, we usually use SIGABRT, but on HPUX, it
126 -- appears that SIGABRT can't be used in sigwait(), so we use SIGTERM.
128 type Signal_Set
is array (Natural range <>) of Signal
;
130 Unmasked
: constant Signal_Set
:=
131 (SIGABRT
, SIGPIPE
, SIGBUS
, SIGTRAP
, SIGTTIN
, SIGTTOU
, SIGTSTP
, SIGPROF
,
132 SIGALRM
, SIGVTALRM
, SIGIO
, SIGCHLD
);
134 Reserved
: constant Signal_Set
:= (SIGKILL
, SIGSTOP
);
136 type sigset_t
is private;
138 function sigaddset
(set
: access sigset_t
; sig
: Signal
) return int
;
139 pragma Import
(C
, sigaddset
, "sigaddset");
141 function sigdelset
(set
: access sigset_t
; sig
: Signal
) return int
;
142 pragma Import
(C
, sigdelset
, "sigdelset");
144 function sigfillset
(set
: access sigset_t
) return int
;
145 pragma Import
(C
, sigfillset
, "sigfillset");
147 function sigismember
(set
: access sigset_t
; sig
: Signal
) return int
;
148 pragma Import
(C
, sigismember
, "sigismember");
150 function sigemptyset
(set
: access sigset_t
) return int
;
151 pragma Import
(C
, sigemptyset
, "sigemptyset");
153 type struct_sigaction
is record
154 sa_handler
: System
.Address
;
158 pragma Convention
(C
, struct_sigaction
);
159 type struct_sigaction_ptr
is access all struct_sigaction
;
161 SA_SIGINFO
: constant := 16#
10#
;
163 SIG_BLOCK
: constant := 0;
164 SIG_UNBLOCK
: constant := 1;
165 SIG_SETMASK
: constant := 2;
167 SIG_DFL
: constant := 0;
168 SIG_IGN
: constant := 1;
172 act
: struct_sigaction_ptr
;
173 oact
: struct_sigaction_ptr
) return int
;
174 pragma Import
(C
, sigaction
, "sigaction");
180 Time_Slice_Supported
: constant Boolean := True;
181 -- Indicates wether time slicing is supported
183 type timespec
is private;
185 type clockid_t
is private;
187 CLOCK_REALTIME
: constant clockid_t
;
189 function clock_gettime
190 (clock_id
: clockid_t
;
191 tp
: access timespec
) return int
;
192 pragma Import
(C
, clock_gettime
, "clock_gettime");
194 function clock_getres
195 (clock_id
: clockid_t
;
196 res
: access timespec
) return int
;
197 pragma Import
(C
, clock_getres
, "clock_getres");
199 function To_Duration
(TS
: timespec
) return Duration;
200 pragma Inline
(To_Duration
);
202 function To_Timespec
(D
: Duration) return timespec
;
203 pragma Inline
(To_Timespec
);
205 type struct_timezone
is record
206 tz_minuteswest
: int
;
209 pragma Convention
(C
, struct_timezone
);
210 type struct_timezone_ptr
is access all struct_timezone
;
212 type struct_timeval
is private;
213 -- This is needed on systems that do not have clock_gettime()
214 -- but do have gettimeofday().
216 function To_Duration
(TV
: struct_timeval
) return Duration;
217 pragma Inline
(To_Duration
);
219 function To_Timeval
(D
: Duration) return struct_timeval
;
220 pragma Inline
(To_Timeval
);
222 -------------------------
223 -- Priority Scheduling --
224 -------------------------
226 SCHED_FIFO
: constant := 0;
227 SCHED_RR
: constant := 1;
228 SCHED_OTHER
: constant := 2;
234 type pid_t
is private;
236 function kill
(pid
: pid_t
; sig
: Signal
) return int
;
237 pragma Import
(C
, kill
, "kill");
239 function getpid
return pid_t
;
240 pragma Import
(C
, getpid
, "getpid");
246 function lwp_self
return System
.Address
;
247 pragma Import
(C
, lwp_self
, "_lwp_self");
253 type Thread_Body
is access
254 function (arg
: System
.Address
) return System
.Address
;
256 function Thread_Body_Access
is new
257 Unchecked_Conversion
(System
.Address
, Thread_Body
);
259 type pthread_t
is private;
260 subtype Thread_Id
is pthread_t
;
262 type pthread_mutex_t
is limited private;
263 type pthread_cond_t
is limited private;
264 type pthread_attr_t
is limited private;
265 type pthread_mutexattr_t
is limited private;
266 type pthread_condattr_t
is limited private;
267 type pthread_key_t
is private;
269 PTHREAD_CREATE_DETACHED
: constant := 16#de#
;
275 Stack_Base_Available
: constant Boolean := False;
276 -- Indicates wether the stack base is available on this target.
278 function Get_Stack_Base
(thread
: pthread_t
) return Address
;
279 pragma Inline
(Get_Stack_Base
);
280 -- returns the stack base of the specified thread.
281 -- Only call this function when Stack_Base_Available is True.
283 function Get_Page_Size
return size_t
;
284 function Get_Page_Size
return Address
;
285 pragma Import
(C
, Get_Page_Size
, "getpagesize");
286 -- returns the size of a page, or 0 if this is not relevant on this
289 PROT_NONE
: constant := 0;
290 PROT_READ
: constant := 1;
291 PROT_WRITE
: constant := 2;
292 PROT_EXEC
: constant := 4;
293 PROT_ALL
: constant := PROT_READ
+ PROT_WRITE
+ PROT_EXEC
;
295 PROT_ON
: constant := PROT_READ
;
296 PROT_OFF
: constant := PROT_ALL
;
298 function mprotect
(addr
: Address
; len
: size_t
; prot
: int
) return int
;
299 pragma Import
(C
, mprotect
);
301 ---------------------------------------
302 -- Nonstandard Thread Initialization --
303 ---------------------------------------
305 procedure pthread_init
;
306 pragma Inline
(pthread_init
);
307 -- This is a dummy procedure to share some GNULLI files
309 -------------------------
310 -- POSIX.1c Section 3 --
311 -------------------------
314 (set
: access sigset_t
;
315 sig
: access Signal
) return int
;
316 pragma Import
(C
, sigwait
, "sigwait");
318 function pthread_kill
320 sig
: Signal
) return int
;
321 pragma Import
(C
, pthread_kill
, "pthread_kill");
323 type sigset_t_ptr
is access all sigset_t
;
325 function pthread_sigmask
328 oset
: sigset_t_ptr
) return int
;
329 pragma Import
(C
, pthread_sigmask
, "pthread_sigmask");
331 --------------------------
332 -- POSIX.1c Section 11 --
333 --------------------------
335 function pthread_mutexattr_init
336 (attr
: access pthread_mutexattr_t
) return int
;
337 pragma Import
(C
, pthread_mutexattr_init
, "pthread_mutexattr_init");
339 function pthread_mutexattr_destroy
340 (attr
: access pthread_mutexattr_t
) return int
;
341 pragma Import
(C
, pthread_mutexattr_destroy
, "pthread_mutexattr_destroy");
343 function pthread_mutex_init
344 (mutex
: access pthread_mutex_t
;
345 attr
: access pthread_mutexattr_t
) return int
;
346 pragma Import
(C
, pthread_mutex_init
, "pthread_mutex_init");
348 function pthread_mutex_destroy
(mutex
: access pthread_mutex_t
) return int
;
349 pragma Import
(C
, pthread_mutex_destroy
, "pthread_mutex_destroy");
351 function pthread_mutex_lock
(mutex
: access pthread_mutex_t
) return int
;
352 pragma Import
(C
, pthread_mutex_lock
, "pthread_mutex_lock");
354 function pthread_mutex_unlock
(mutex
: access pthread_mutex_t
) return int
;
355 pragma Import
(C
, pthread_mutex_unlock
, "pthread_mutex_unlock");
357 function pthread_condattr_init
358 (attr
: access pthread_condattr_t
) return int
;
359 pragma Import
(C
, pthread_condattr_init
, "pthread_condattr_init");
361 function pthread_condattr_destroy
362 (attr
: access pthread_condattr_t
) return int
;
363 pragma Import
(C
, pthread_condattr_destroy
, "pthread_condattr_destroy");
365 function pthread_cond_init
366 (cond
: access pthread_cond_t
;
367 attr
: access pthread_condattr_t
) return int
;
368 pragma Import
(C
, pthread_cond_init
, "pthread_cond_init");
370 function pthread_cond_destroy
(cond
: access pthread_cond_t
) return int
;
371 pragma Import
(C
, pthread_cond_destroy
, "pthread_cond_destroy");
373 function pthread_cond_signal
(cond
: access pthread_cond_t
) return int
;
374 pragma Import
(C
, pthread_cond_signal
, "pthread_cond_signal");
376 function pthread_cond_wait
377 (cond
: access pthread_cond_t
;
378 mutex
: access pthread_mutex_t
) return int
;
379 pragma Import
(C
, pthread_cond_wait
, "pthread_cond_wait");
381 function pthread_cond_timedwait
382 (cond
: access pthread_cond_t
;
383 mutex
: access pthread_mutex_t
;
384 abstime
: access timespec
) return int
;
385 pragma Import
(C
, pthread_cond_timedwait
, "pthread_cond_timedwait");
387 Relative_Timed_Wait
: constant Boolean := False;
388 -- pthread_cond_timedwait requires an absolute delay time
390 --------------------------
391 -- POSIX.1c Section 13 --
392 --------------------------
394 PTHREAD_PRIO_NONE
: constant := 16#
100#
;
395 PTHREAD_PRIO_PROTECT
: constant := 16#
200#
;
396 PTHREAD_PRIO_INHERIT
: constant := 16#
400#
;
398 function pthread_mutexattr_setprotocol
399 (attr
: access pthread_mutexattr_t
;
400 protocol
: int
) return int
;
401 pragma Import
(C
, pthread_mutexattr_setprotocol
);
403 function pthread_mutexattr_setprioceiling
404 (attr
: access pthread_mutexattr_t
;
405 prioceiling
: int
) return int
;
406 pragma Import
(C
, pthread_mutexattr_setprioceiling
);
408 type Array_7_Int
is array (0 .. 6) of int
;
409 type struct_sched_param
is record
410 sched_priority
: int
;
411 sched_reserved
: Array_7_Int
;
414 function pthread_setschedparam
417 param
: access struct_sched_param
)
419 pragma Import
(C
, pthread_setschedparam
, "pthread_setschedparam");
421 function pthread_attr_setscope
422 (attr
: access pthread_attr_t
;
423 contentionscope
: int
) return int
;
424 pragma Import
(C
, pthread_attr_setscope
, "pthread_attr_setscope");
426 function pthread_attr_setinheritsched
427 (attr
: access pthread_attr_t
;
428 inheritsched
: int
) return int
;
429 pragma Import
(C
, pthread_attr_setinheritsched
);
431 function pthread_attr_setschedpolicy
432 (attr
: access pthread_attr_t
;
433 policy
: int
) return int
;
434 pragma Import
(C
, pthread_attr_setschedpolicy
);
436 function sched_yield
return int
;
437 pragma Import
(C
, sched_yield
, "sched_yield");
439 --------------------------
440 -- P1003.1c Section 16 --
441 --------------------------
443 function pthread_attr_init
444 (attributes
: access pthread_attr_t
) return int
;
445 pragma Import
(C
, pthread_attr_init
, "__pthread_attr_init_system");
447 function pthread_attr_destroy
448 (attributes
: access pthread_attr_t
) return int
;
449 pragma Import
(C
, pthread_attr_destroy
, "pthread_attr_destroy");
451 function pthread_attr_setdetachstate
452 (attr
: access pthread_attr_t
;
453 detachstate
: int
) return int
;
454 pragma Import
(C
, pthread_attr_setdetachstate
);
456 function pthread_attr_setstacksize
457 (attr
: access pthread_attr_t
;
458 stacksize
: size_t
) return int
;
459 pragma Import
(C
, pthread_attr_setstacksize
, "pthread_attr_setstacksize");
461 function pthread_create
462 (thread
: access pthread_t
;
463 attributes
: access pthread_attr_t
;
464 start_routine
: Thread_Body
;
465 arg
: System
.Address
) return int
;
466 pragma Import
(C
, pthread_create
, "__pthread_create_system");
468 procedure pthread_exit
(status
: System
.Address
);
469 pragma Import
(C
, pthread_exit
, "pthread_exit");
471 function pthread_self
return pthread_t
;
472 pragma Import
(C
, pthread_self
, "pthread_self");
474 --------------------------
475 -- POSIX.1c Section 17 --
476 --------------------------
478 function pthread_setspecific
479 (key
: pthread_key_t
;
480 value
: System
.Address
) return int
;
481 pragma Import
(C
, pthread_setspecific
, "pthread_setspecific");
483 function pthread_getspecific
(key
: pthread_key_t
) return System
.Address
;
484 pragma Import
(C
, pthread_getspecific
, "pthread_getspecific");
486 type destructor_pointer
is access procedure (arg
: System
.Address
);
488 function pthread_key_create
489 (key
: access pthread_key_t
;
490 destructor
: destructor_pointer
) return int
;
491 pragma Import
(C
, pthread_key_create
, "pthread_key_create");
495 type unsigned_int_array_8
is array (0 .. 7) of unsigned
;
496 type sigset_t
is record
497 sigset
: unsigned_int_array_8
;
499 pragma Convention
(C_Pass_By_Copy
, sigset_t
);
501 type pid_t
is new int
;
503 type time_t
is new long
;
505 type timespec
is record
509 pragma Convention
(C
, timespec
);
511 type clockid_t
is new int
;
512 CLOCK_REALTIME
: constant clockid_t
:= 1;
514 type struct_timeval
is record
518 pragma Convention
(C
, struct_timeval
);
520 type pthread_attr_t
is new int
;
521 type pthread_condattr_t
is new int
;
522 type pthread_mutexattr_t
is new int
;
523 type pthread_t
is new int
;
525 type short_array
is array (Natural range <>) of short
;
526 type int_array
is array (Natural range <>) of int
;
528 type pthread_mutex_t
is record
529 m_short
: short_array
(0 .. 1);
531 m_int1
: int_array
(0 .. 3);
532 m_pad
: int
; -- needed for 32 bit ABI, but *not* for 64 bit
533 m_ptr
: System
.Address
;
534 m_int2
: int_array
(0 .. 1);
535 m_int3
: int_array
(0 .. 3);
536 m_short2
: short_array
(0 .. 1);
537 m_int4
: int_array
(0 .. 4);
538 m_int5
: int_array
(0 .. 1);
540 pragma Convention
(C
, pthread_mutex_t
);
542 type pthread_cond_t
is record
543 c_short
: short_array
(0 .. 1);
545 c_int1
: int_array
(0 .. 3);
546 m_pad
: int
; -- needed for 32 bit ABI, but *not* for 64 bit
547 m_ptr
: System
.Address
;
548 c_int2
: int_array
(0 .. 1);
549 c_int3
: int_array
(0 .. 1);
550 c_int4
: int_array
(0 .. 1);
552 pragma Convention
(C
, pthread_cond_t
);
554 type pthread_key_t
is new int
;
556 end System
.OS_Interface
;