------------------------------------------------------------------------------ -- -- -- GNU ADA RUNTIME LIBRARY (GNARL) COMPONENTS -- -- -- -- S Y S T E M . O S _ I N T E R F A C E -- -- -- -- S p e c -- -- (Version for new GNARL) -- -- -- -- $Revision: 1.1 $ -- -- -- -- Copyright (C) 1991,92,93,94,95,1996 Free Software Foundation, Inc. -- -- -- -- GNARL is free software; you can redistribute it and/or modify it under -- -- terms of the GNU General Public License as published by the Free Soft- -- -- ware Foundation; either version 2, or (at your option) any later ver- -- -- sion. GNARL is distributed in the hope that it will be useful, but WITH- -- -- OUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY -- -- or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License -- -- for more details. You should have received a copy of the GNU General -- -- Public License distributed with GNARL; see file COPYING. If not, write -- -- to the Free Software Foundation, 59 Temple Place - Suite 330, Boston, -- -- MA 02111-1307, USA. -- -- -- -- As a special exception, if other files instantiate generics from this -- -- unit, or you link this unit with other files to produce an executable, -- -- this unit does not by itself cause the resulting executable to be -- -- covered by the GNU General Public License. This exception does not -- -- however invalidate any other reasons why the executable file might be -- -- covered by the GNU Public License. -- -- -- -- GNARL was developed by the GNARL team at Florida State University. It is -- -- now maintained by Ada Core Technologies Inc. in cooperation with Florida -- -- State University (http://www.gnat.com). -- -- -- ------------------------------------------------------------------------------ -- This is the FreeBSD PTHREADS version of this package -- This is only a first approximation. -- It should be autogenerated by the m4 macro processor. -- Contributed by Daniel Eischen (deischen@iworks.InterWorks.org) -- DO NOT EDIT this file. -- It was automatically generated from another file by the m4 macro processor. -- The name of the file you should edit is the same as this one, but with -- ".ads" replaced by ".sm4", or -- ".adb" replaced by ".bm4", or -- ".c" replaced by ".cm4", or -- ".dat" replaced by ".tm4" -- Local options selected: -- __TARGET = i386-unknown-freebsd -- __ARCH = I386 -- __OS = FREEBSD -- __HAS_SIGCONTEXT = 1 -- __HAS_UCONTEXT = 0 -- __THREADS = POSIX_THREADS -- __THREAD_VARIANT = ?? -- __HAS_TIMESPEC = 1 -- __HAS_NANOSLEEP = 1 -- __HAS_CLOCK_GETTIME = 0 -- __HAS_GETTIMEOFDAY = 1 -- __POSIX_THREAD_PRIO_PROTECT = 0 -- __POSIX_THREAD_PRIO_INHERIT = 0 -- __POSIX_THREAD_ATTR_STACKADDR = 1 -- __POSIX_THREAD_ATTR_STACKSIZE = 1 -- __POSIX_THREAD_PRIORITY_SCHEDULING = 0 -- This package encapsulates all direct interfaces to OS services -- that are needed by children of System. -- PLEASE DO NOT add any with-clauses to this package -- or remove the pragma Elaborate_Body. -- It is designed to be a bottom-level (leaf) package. -- This version is for POSIX-like operating systems -- The original file "s-osinte.sm4" contains conditional -- macro calls that allow selection of various options. -- The options selected for this expansion were: -- When adding new signals to s-osinte.sm4, don't forget to update -- cconst.dat (m4 macro definition data-file) and the files -- s-intnam.ads (package Ada.Interrupt_Names) for the various ports. with Interfaces.C; package System.OS_Interface is pragma Preelaborate; pragma Linker_Options ("-lc_r"); subtype int is Interfaces.C.int; subtype short is Interfaces.C.short; subtype long is Interfaces.C.long; subtype unsigned is Interfaces.C.unsigned; subtype unsigned_short is Interfaces.C.unsigned_short; subtype unsigned_long is Interfaces.C.unsigned_long; subtype unsigned_char is Interfaces.C.unsigned_char; subtype plain_char is Interfaces.C.plain_char; subtype size_t is Interfaces.C.size_t; ----------- -- Errno -- ----------- function Errno return int; pragma Inline (Errno); -- NAMEs not used are commented-out -- NAMEs not supported on this system have __NAME for value -- E2BIG : constant := 7; -- EACCES : constant := 13; EAGAIN : constant := 35; -- EBADF : constant := 9; -- EBUSY : constant := 16; -- ECHILD : constant := 10; -- EDEADLK : constant := 11; -- EDOM : constant := 33; -- EEXIST : constant := 17; -- EFAULT : constant := 14; -- EFBIG : constant := 27; EINTR : constant := 4; EINVAL : constant := 22; -- EIO : constant := 5; -- EISDIR : constant := 21; -- EMFILE : constant := 24; -- EMLINK : constant := 31; -- ENAMETOOLONG : constant := 63; -- ENFILE : constant := 23; -- ENODEV : constant := 19; -- ENOENT : constant := 2; -- ENOEXEC : constant := 8; -- ENOLCK : constant := 37; ENOMEM : constant := 12; -- ENOSPC : constant := 28; -- ENOSYS : constant := 78; -- ENOTDIR : constant := 20; -- ENOTEMPTY : constant := 66; -- ENOTTY : constant := 25; -- ENXIO : constant := 6; -- EPERM : constant := 1; -- EPIPE : constant := 32; -- ERANGE : constant := 34; -- EROFS : constant := 30; -- ESPIPE : constant := 29; -- ESRCH : constant := 3; ETIMEDOUT : constant := 60; -- EXDEV : constant := 18; ------------- -- Signals -- ------------- NSIG : constant := 32; type Signal is new int range 0 .. Interfaces.C."-" (NSIG, 1); -- NAMEs not used are commented-out -- NAMEs not supported on this system have __NAME for value SIGHUP : constant := 1; -- hangup SIGINT : constant := 2; -- interrupt (rubout) SIGQUIT : constant := 3; -- quit (ASCD FS) SIGILL : constant := 4; -- illegal instruction (not reset) SIGTRAP : constant := 5; -- trace trap (not reset) SIGIOT : constant := 6; -- IOT instruction SIGABRT : constant := 6; -- used by abort, replace SIGIOT in the future SIGEMT : constant := 7; -- EMT instruction SIGFPE : constant := 8; -- floating point exception SIGKILL : constant := 9; -- kill (cannot be caught or ignored) SIGBUS : constant := 10; -- bus error SIGSEGV : constant := 11; -- segmentation violation SIGSYS : constant := 12; -- bad argument to system call SIGPIPE : constant := 13; -- write on a pipe with no one to read it SIGALRM : constant := 14; -- alarm clock SIGTERM : constant := 15; -- software termination signal from kill SIGURG : constant := 16; -- urgent condition on IO channel SIGSTOP : constant := 17; -- stop (cannot be caught or ignored) SIGTSTP : constant := 18; -- user stop requested from tty SIGCONT : constant := 19; -- stopped process has been continued SIGCLD : constant := 20; -- alias for SIGCHLD SIGCHLD : constant := 20; -- child status change SIGTTIN : constant := 21; -- background tty read attempted SIGTTOU : constant := 22; -- background tty write attempted SIGIO : constant := 23; -- I/O possible (Solaris SIGPOLL alias) SIGXCPU : constant := 24; -- CPU time limit exceeded SIGXFSZ : constant := 25; -- filesize limit exceeded SIGVTALRM : constant := 26; -- virtual timer expired SIGPROF : constant := 27; -- profiling timer expired SIGWINCH : constant := 28; -- window size change SIGINFO : constant := 29; -- information request (NetBSD/FreeBSD) SIGUSR1 : constant := 30; -- user defined signal 1 SIGUSR2 : constant := 31; -- user defined signal 2 type sigset_t is private; function sigaddset (set : access sigset_t; sig : Signal) return int; pragma Import (C, sigaddset, "sigaddset"); function sigdelset (set : access sigset_t; sig : Signal) return int; pragma Import (C, sigdelset, "sigdelset"); function sigfillset (set : access sigset_t) return int; pragma Import (C, sigfillset, "sigfillset"); function sigismember (set : access sigset_t; sig : Signal) return int; pragma Import (C, sigismember, "sigismember"); function sigemptyset (set : access sigset_t) return int; pragma Import (C, sigemptyset, "sigemptyset"); -- sigcontext is architecture dependent, so define it private type struct_sigcontext is private; type struct_sigaction is record sa_handler : System.Address; sa_mask : sigset_t; sa_flags : int; end record; pragma Convention (C, struct_sigaction); type struct_sigaction_ptr is access all struct_sigaction; SIG_BLOCK : constant := 1; SIG_UNBLOCK : constant := 2; SIG_SETMASK : constant := 3; -- SA_NOCLDSTOP : constant := 8; -- not used -- SA_SIGINFO : constant := __SA_SIGINFO; -- not used SIG_DFL : constant := 0; SIG_IGN : constant := 1; -- SIG_ERR : constatn := -1; -- not used function sigaction (sig : Signal; act : access struct_sigaction; oact : struct_sigaction_ptr) return int; pragma Import (C, sigaction, "sigaction"); ---------- -- Time -- ---------- type timespec is private; function nanosleep (rqtp, rmtp : access timespec) return int; pragma Import (C, nanosleep, "nanosleep"); type clockid_t is private; CLOCK_REALTIME : constant clockid_t; function clock_gettime (clock_id : clockid_t; tp : access timespec) return int; pragma Import (C, clock_gettime, "clock_gettime"); function To_Duration (TS : timespec) return Duration; pragma Inline (To_Duration); function To_Timespec (D : Duration) return timespec; pragma Inline (To_Timespec); type struct_timezone is record tz_minuteswest : int; tz_dsttime : int; end record; pragma Convention (C, struct_timezone); type struct_timeval is private; -- This is needed on systems that do not have clock_gettime() -- but do have gettimeofday(). function To_Duration (TV : struct_timeval) return Duration; pragma Inline (To_Duration); function To_Timeval (D : Duration) return struct_timeval; pragma Inline (To_Timeval); function gettimeofday (tv : access struct_timeval; tz : access struct_timezone) return int; pragma Import (C, gettimeofday, "gettimeofday"); procedure usleep (useconds : unsigned_long); pragma Import (C, usleep, "usleep"); -- add a hook to locate the Epoch, for use with Calendar???? ------------------------- -- Priority Scheduling -- ------------------------- MIN_PRIO : constant := 0; MAX_PRIO : constant := 126; SCHED_RR : constant := 0; SCHED_IO : constant := 1; SCHED_FIFO : constant := 2; SCHED_OTHER : constant := 3; ------------- -- Process -- ------------- type pid_t is private; function kill (pid : pid_t; sig : Signal) return int; pragma Import (C, kill, "kill"); function getpid return pid_t; pragma Import (C, getpid, "getpid"); ------------- -- Threads -- ------------- type Thread_Body is access function (arg : System.Address) return System.Address; type pthread_t is private; type pthread_mutex_t is limited private; type pthread_cond_t is limited private; type pthread_attr_t is limited private; type pthread_mutexattr_t is limited private; type pthread_condattr_t is limited private; type pthread_key_t is private; PTHREAD_CREATE_DETACHED : constant := 1; PTHREAD_CREATE_JOINABLE : constant := 0; --------------------------- -- POSIX.1c Section 3 -- --------------------------- function sigwait (set : access sigset_t; sig : access Signal) return int; pragma Import (C, sigwait, "sigwait"); function pthread_kill (thread : pthread_t; sig : Signal) return int; pragma Import (C, pthread_kill, "pthread_kill"); function pthread_sigmask (how : int; set : access sigset_t; oset : access sigset_t) return int; pragma Import (C, pthread_sigmask, "pthread_sigmask"); -- We declare two wrappers for pthread_sigmask, since null may need -- to be passed for either set or oset and this is not allowed -- in Ada for access mode parameters (the error was not catched by -- GNAT until recently, and a flag, -gnatdj, was added to allow it -- to compile). function pthread_sigmask_set (how : int; set : access sigset_t) return int; -- Identical to pthread_sigmask (how, set, null). function pthread_sigmask_oset (how : int; oset : access sigset_t) return int; -- Identical to pthread_sigmask (how, null, oset). ---------------------------- -- POSIX.1c Section 11 -- ---------------------------- function pthread_mutexattr_init (attr : access pthread_mutexattr_t) return int; pragma Import (C, pthread_mutexattr_init, "pthread_mutexattr_init"); function pthread_mutexattr_destroy (attr : access pthread_mutexattr_t) return int; pragma Import (C, pthread_mutexattr_destroy, "pthread_mutexattr_destroy"); function pthread_mutex_init (mutex : access pthread_mutex_t; attr : access pthread_mutexattr_t) return int; pragma Import (C, pthread_mutex_init, "pthread_mutex_init"); function pthread_mutex_destroy (mutex : access pthread_mutex_t) return int; pragma Import (C, pthread_mutex_destroy, "pthread_mutex_destroy"); function pthread_mutex_lock (mutex : access pthread_mutex_t) return int; pragma Import (C, pthread_mutex_lock, "pthread_mutex_lock"); function pthread_mutex_unlock (mutex : access pthread_mutex_t) return int; pragma Import (C, pthread_mutex_unlock, "pthread_mutex_unlock"); function pthread_condattr_init (attr : access pthread_condattr_t) return int; pragma Import (C, pthread_condattr_init, "pthread_condattr_init"); function pthread_condattr_destroy (attr : access pthread_condattr_t) return int; pragma Import (C, pthread_condattr_destroy, "pthread_condattr_destroy"); function pthread_cond_init (cond : access pthread_cond_t; attr : access pthread_condattr_t) return int; pragma Import (C, pthread_cond_init, "pthread_cond_init"); function pthread_cond_destroy (cond : access pthread_cond_t) return int; pragma Import (C, pthread_cond_destroy, "pthread_cond_destroy"); function pthread_cond_signal (cond : access pthread_cond_t) return int; pragma Import (C, pthread_cond_signal, "pthread_cond_signal"); function pthread_cond_wait (cond : access pthread_cond_t; mutex : access pthread_mutex_t) return int; pragma Import (C, pthread_cond_wait, "pthread_cond_wait"); function pthread_cond_timedwait (cond : access pthread_cond_t; mutex : access pthread_mutex_t; abstime : access timespec) return int; pragma Import (C, pthread_cond_timedwait, "pthread_cond_timedwait"); ---------------------------- -- POSIX.1c Section 13 -- ---------------------------- -- FreeBSD pthreads does not support these yet. -- PTHREAD_PRIO_NONE : constant := 0; -- PTHREAD_PRIO_PROTECT : constant := 2; -- PTHREAD_PRIO_INHERIT : constant := 1; -- FreeBSD doesn't have pthread_getschedparam or pthread_setschedparam -- yet. It has pthread_getprio and pthread_setprio, so we use these -- instead. -- type struct_sched_param is record -- prio : int; -- no_data : System.Address; -- end record; -- pragma Convention (C, struct_sched_param); -- -- function pthread_getschedparam -- (thread : pthread_t; -- policy : access int; -- param : access struct_sched_param) -- return int; -- pragma Import (C, pthread_getschedparam, "pthread_getschedparam"); -- -- function pthread_setschedparam -- (thread : pthread_t; -- policy : int; -- param : access struct_sched_param) -- return int; -- pragma Import (C, pthread_setschedparam, "pthread_setschedparam"); function pthread_getschedparam (thread : pthread_t) return int; pragma Import (C, pthread_getschedparam, "pthread_getprio"); function pthread_setschedparam (thread : pthread_t; priority : int) return int; pragma Import (C, pthread_setschedparam, "pthread_setprio"); function pthread_attr_setscope (attr : access pthread_attr_t; contentionscope : int) return int; pragma Import (C, pthread_attr_setscope, "pthread_attr_setscope"); function pthread_attr_getscope (attr : access pthread_attr_t; contentionscope : access int) return int; pragma Import (C, pthread_attr_getscope, "pthread_attr_getscope"); function pthread_attr_setinheritsched (attr : access pthread_attr_t; inheritsched : int) return int; pragma Import (C, pthread_attr_setinheritsched, "pthread_attr_setinheritsched"); function pthread_attr_getinheritsched (attr : access pthread_attr_t; inheritsched : access int) return int; pragma Import (C, pthread_attr_getinheritsched, "pthread_attr_getinheritsched"); function pthread_attr_setschedpolicy (attr : access pthread_attr_t; policy : int) return int; pragma Import (C, pthread_attr_setschedpolicy, "pthread_attr_setschedpolicy"); function pthread_attr_getschedpolicy (attr : access pthread_attr_t; policy : access int) return int; pragma Import (C, pthread_attr_getschedpolicy, "pthread_attr_getschedpolicy"); -- FreeBSD doesn't have pthread_attr_setschedparm and -- pthread_attr_getschedparm yet. It has pthread_attr_setprio and -- pthread_attr_getprio instead. It seems we don't need either one -- of these, though. -- function pthread_attr_setschedparam -- (attr : access pthread_attr_t; -- sched_param : access struct_sched_param) -- return int; -- pragma Import (C, pthread_attr_setschedparam, -- "pthread_attr_setschedparam"); -- -- function pthread_attr_getschedparam -- (attr : access pthread_attr_t; -- sched_param : access struct_sched_param) -- return int; -- pragma Import (C, pthread_attr_getschedparam, -- "pthread_attr_getschedparam"); function pthread_attr_setschedparam (attr : access pthread_attr_t; priority : int) return int; pragma Import (C, pthread_attr_setschedparam, "pthread_attr_setprio"); function pthread_attr_getschedparam (attr : access pthread_attr_t) return int; pragma Import (C, pthread_attr_getschedparam, "pthread_attr_getprio"); function sched_yield return int; pragma Import (C, sched_yield, "pthread_yield"); ----------------------------- -- P1003.1c - Section 16 -- ----------------------------- function pthread_attr_init (attributes : access pthread_attr_t) return int; pragma Import (C, pthread_attr_init, "pthread_attr_init"); function pthread_attr_destroy (attributes : access pthread_attr_t) return int; pragma Import (C, pthread_attr_destroy, "pthread_attr_destroy"); function pthread_attr_setdetachstate (attr : access pthread_attr_t; detachstate : int) return int; pragma Import (C, pthread_attr_setdetachstate, "pthread_attr_setdetachstate"); function pthread_attr_getdetachstate (attr : access pthread_attr_t; detachstate : access int) return int; pragma Import (C, pthread_attr_getdetachstate, "pthread_attr_getdetachstate"); function pthread_attr_getstacksize (attr : access pthread_attr_t; stacksize : access size_t) return int; pragma Import (C, pthread_attr_getstacksize, "pthread_attr_getstacksize"); function pthread_attr_setstacksize (attr : access pthread_attr_t; stacksize : size_t) return int; pragma Import (C, pthread_attr_setstacksize, "pthread_attr_setstacksize"); function pthread_create (thread : access pthread_t; attributes : access pthread_attr_t; start_routine : Thread_Body; arg : System.Address) return int; pragma Import (C, pthread_create, "pthread_create"); function pthread_detach (thread : pthread_t) return int; pragma Import (C, pthread_detach, "pthread_detach"); procedure pthread_exit (status : System.Address); pragma Import (C, pthread_exit, "pthread_exit"); function pthread_self return pthread_t; pragma Import (C, pthread_self, "pthread_self"); function pthread_equal (t1 : pthread_t; t2 : pthread_t) return int; -- be careful not to use "=" on thread_t! pragma Import (C, pthread_equal, "pthread_equal"); ---------------------------- -- POSIX.1c Section 17 -- ---------------------------- function pthread_setspecific (key : pthread_key_t; value : System.Address) return int; pragma Import (C, pthread_setspecific, "pthread_setspecific"); function pthread_getspecific (key : pthread_key_t) return System.Address; pragma Import (C, pthread_getspecific, "pthread_getspecific"); type destructor_pointer is access procedure (arg : System.Address); function pthread_key_create (key : access pthread_key_t; destructor : destructor_pointer) return int; pragma Import (C, pthread_key_create, "pthread_key_create"); private type sigset_t is new unsigned_long; -- Should we add a signal_context type here ? -- How could it be done independent of the CPU architecture ? -- sigcontext type is opaque, so it is architecturally neutral. -- It is always passed as an access type, so define it as an empty record -- since the contents are not used anywhere. type struct_sigcontext is null record; pragma Convention (C, struct_sigcontext); -- In Solaris 2.4 the component sa_handler turns out to -- be one a union type, and the selector is a macro: -- #define sa_handler __funcptr._handler -- #define sa_sigaction __funcptr._sigaction type pid_t is new int; type time_t is new long; type timespec is record ts_sec : time_t; ts_nsec : long; end record; pragma Convention (C, timespec); type clockid_t is new int; CLOCK_REALTIME : constant clockid_t := 0; type struct_timeval is record tv_sec : long; tv_usec : long; end record; pragma Convention (C, struct_timeval); type enumeral_type_3 is new int; type pthread_attr_t is record schedparam_policy : enumeral_type_3; prio : int; suspend : int; flags : int; arg_attr : System.Address; cleanup_attr : System.Address; stackaddr_attr : System.Address; stacksize_attr : size_t; end record; pragma Convention (C, pthread_attr_t); type enumeral_type_2 is new int; type pthread_condattr_t is record c_type : enumeral_type_2; c_flags : long; end record; pragma Convention (C, pthread_condattr_t); type enumeral_type_1 is new int; type pthread_mutexattr_t is record m_type : enumeral_type_1; m_flags : long; end record; pragma Convention (C, pthread_mutexattr_t); type record_type_3 is null record; pragma Convention (C, record_type_3); type pthread_t is access record_type_3; type enumeral_type_4 is new int; type pthread_queue_t is record q_next : System.Address; q_last : System.Address; q_data : System.Address; end record; pragma Convention (C, pthread_queue_t); type union_type_1 is new int; type pthread_mutex_t is record m_type : enumeral_type_4; m_queue : pthread_queue_t; m_owner : System.Address; -- m_lock : long; m_data : union_type_1; m_flags : long; end record; pragma Convention (C, pthread_mutex_t); type enumeral_type_5 is new int; type pthread_cond_t is record c_type : enumeral_type_5; c_queue : pthread_queue_t; -- c_lock : long; c_data : System.Address; c_flags : long; end record; pragma Convention (C, pthread_cond_t); type pthread_key_t is new int; end System.OS_Interface;