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-2007, 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, 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 the VxWorks 6.x version of this package
37 -- This package encapsulates all direct interfaces to OS services
38 -- that are needed by children of System.
40 -- PLEASE DO NOT add any with-clauses to this package or remove the pragma
41 -- Preelaborate. This package is designed to be a bottom-level (leaf) package.
46 package System
.OS_Interface
is
49 subtype int
is Interfaces
.C
.int
;
50 subtype short
is Short_Integer;
51 type unsigned_int
is mod 2 ** int
'Size;
52 type long
is new Long_Integer;
53 type unsigned_long
is mod 2 ** long
'Size;
54 type long_long
is new Long_Long_Integer;
55 type unsigned_long_long
is mod 2 ** long_long
'Size;
56 type size_t
is mod 2 ** Standard
'Address_Size;
62 function errno
return int
;
63 pragma Import
(C
, errno
, "errnoGet");
65 EINTR
: constant := 4;
66 EAGAIN
: constant := 35;
67 ENOMEM
: constant := 12;
68 EINVAL
: constant := 22;
69 ETIMEDOUT
: constant := 60;
71 FUNC_ERR
: constant := -1;
73 ----------------------------
74 -- Signals and Interrupts --
75 ----------------------------
77 NSIG
: constant := 64;
78 -- Number of signals on the target OS
79 type Signal
is new int
range 0 .. Interfaces
.C
."-" (NSIG
, 1);
81 Max_HW_Interrupt
: constant := System
.VxWorks
.Num_HW_Interrupts
- 1;
82 type HW_Interrupt
is new int
range 0 .. Max_HW_Interrupt
;
84 Max_Interrupt
: constant := Max_HW_Interrupt
;
86 SIGHUP
: constant := 1; -- hangup
87 SIGINT
: constant := 2; -- interrupt
88 SIGQUIT
: constant := 3; -- quit
89 SIGILL
: constant := 4; -- illegal instruction (not reset when caught)
90 SIGTRAP
: constant := 5; -- trace trap (not reset when caught)
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
95 SIGBUS
: constant := 10; -- bus error
96 SIGSEGV
: constant := 11; -- segmentation violation
97 SIGFMT
: constant := 12; -- STACK FORMAT ERROR (not posix)
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 SIGCNCL
: constant := 16; -- pthreads cancellation signal
102 SIGSTOP
: constant := 17; -- sendable stop signal not from tty
103 SIGTSTP
: constant := 18; -- stop signal from tty
104 SIGCONT
: constant := 19; -- continue a stopped process
105 SIGCHLD
: constant := 20; -- to parent on child stop or exit
106 SIGTTIN
: constant := 21; -- to readers pgrp upon background tty read
107 SIGTTOU
: constant := 22; -- like TTIN for output
109 SIGRES1
: constant := 23; -- reserved signal number (Not POSIX)
110 SIGRES2
: constant := 24; -- reserved signal number (Not POSIX)
111 SIGRES3
: constant := 25; -- reserved signal number (Not POSIX)
112 SIGRES4
: constant := 26; -- reserved signal number (Not POSIX)
113 SIGRES5
: constant := 27; -- reserved signal number (Not POSIX)
114 SIGRES6
: constant := 28; -- reserved signal number (Not POSIX)
115 SIGRES7
: constant := 29; -- reserved signal number (Not POSIX)
117 SIGUSR1
: constant := 30; -- user defined signal 1
118 SIGUSR2
: constant := 31; -- user defined signal 2
120 SIGPOLL
: constant := 32; -- pollable event
121 SIGPROF
: constant := 33; -- profiling timer expired
122 SIGSYS
: constant := 34; -- bad system call
123 SIGURG
: constant := 35; -- high bandwidth data is available at socket
124 SIGVTALRM
: constant := 36; -- virtual timer expired
125 SIGXCPU
: constant := 37; -- CPU time limit exceeded
126 SIGXFSZ
: constant := 38; -- file size time limit exceeded
128 SIGEVTS
: constant := 39; -- signal event thread send
129 SIGEVTD
: constant := 40; -- signal event thread delete
131 SIGRTMIN
: constant := 48; -- Realtime signal min
132 SIGRTMAX
: constant := 63; -- Realtime signal max
134 -----------------------------------
135 -- Signal processing definitions --
136 -----------------------------------
138 -- The how in sigprocmask().
139 SIG_BLOCK
: constant := 1;
140 SIG_UNBLOCK
: constant := 2;
141 SIG_SETMASK
: constant := 3;
143 -- The sa_flags in struct sigaction.
144 SA_SIGINFO
: constant := 16#
0002#
;
145 SA_ONSTACK
: constant := 16#
0004#
;
147 SIG_DFL
: constant := 0;
148 SIG_IGN
: constant := 1;
150 type sigset_t
is private;
152 type struct_sigaction
is record
153 sa_handler
: System
.Address
;
157 pragma Convention
(C
, struct_sigaction
);
158 type struct_sigaction_ptr
is access all struct_sigaction
;
160 function sigaddset
(set
: access sigset_t
; sig
: Signal
) return int
;
161 pragma Import
(C
, sigaddset
, "sigaddset");
163 function sigdelset
(set
: access sigset_t
; sig
: Signal
) return int
;
164 pragma Import
(C
, sigdelset
, "sigdelset");
166 function sigfillset
(set
: access sigset_t
) return int
;
167 pragma Import
(C
, sigfillset
, "sigfillset");
169 function sigismember
(set
: access sigset_t
; sig
: Signal
) return int
;
170 pragma Import
(C
, sigismember
, "sigismember");
172 function sigemptyset
(set
: access sigset_t
) return int
;
173 pragma Import
(C
, sigemptyset
, "sigemptyset");
177 act
: struct_sigaction_ptr
;
178 oact
: struct_sigaction_ptr
) return int
;
179 pragma Import
(C
, sigaction
, "sigaction");
181 type isr_address
is access procedure (sig
: int
);
182 pragma Convention
(C
, isr_address
);
184 function c_signal
(sig
: Signal
; handler
: isr_address
) return isr_address
;
185 pragma Import
(C
, c_signal
, "signal");
187 function sigwait
(set
: access sigset_t
; sig
: access Signal
) return int
;
188 pragma Inline
(sigwait
);
190 function pthread_sigmask
192 set
: access sigset_t
;
193 oset
: access sigset_t
) return int
;
194 pragma Import
(C
, pthread_sigmask
, "sigprocmask");
196 type t_id
is new long
;
197 subtype Thread_Id
is t_id
;
199 function kill
(pid
: t_id
; sig
: Signal
) return int
;
200 pragma Inline
(kill
);
202 function getpid
return t_id
;
203 pragma Inline
(getpid
);
205 function Task_Stop
(tid
: t_id
) return int
;
206 pragma Inline
(Task_Stop
);
207 -- If we are in the kernel space, continue the task whose t_id is
208 -- given in parameter if it has been stopped previously to be examined
209 -- by the debugger (e.g. by taskStop). It typically maps to taskResume
210 -- on VxWorks 5 and to taskCont on VxWorks 6.
212 function Task_Cont
(tid
: t_id
) return int
;
213 pragma Inline
(Task_Cont
);
214 -- If we are in the kernel space, lock interrupts. It typically maps to
217 function Int_Lock
return int
;
218 pragma Inline
(Int_Lock
);
219 -- If we are in the kernel space, lock interrupts. It typically maps to
222 function Int_Unlock
return int
;
223 pragma Inline
(Int_Unlock
);
224 -- If we are in the kernel space, unlock interrupts. It typically maps to
231 type time_t
is new unsigned_long
;
233 type timespec
is record
237 pragma Convention
(C
, timespec
);
239 type clockid_t
is private;
241 CLOCK_REALTIME
: constant clockid_t
; -- System wide realtime clock
243 function To_Duration
(TS
: timespec
) return Duration;
244 pragma Inline
(To_Duration
);
246 function To_Timespec
(D
: Duration) return timespec
;
247 pragma Inline
(To_Timespec
);
249 function To_Clock_Ticks
(D
: Duration) return int
;
250 -- Convert a duration value (in seconds) into clock ticks
252 function clock_gettime
253 (clock_id
: clockid_t
; tp
: access timespec
) return int
;
254 pragma Import
(C
, clock_gettime
, "clock_gettime");
256 type ULONG
is new unsigned_long
;
258 procedure tickSet
(ticks
: ULONG
);
259 pragma Import
(C
, tickSet
, "tickSet");
261 function tickGet
return ULONG
;
262 pragma Import
(C
, tickGet
, "tickGet");
264 ----------------------
265 -- Utility Routines --
266 ----------------------
268 function To_VxWorks_Priority
(Priority
: int
) return int
;
269 pragma Inline
(To_VxWorks_Priority
);
270 -- Convenience routine to convert between VxWorks priority and Ada priority
272 --------------------------
273 -- VxWorks specific API --
274 --------------------------
276 subtype STATUS
is int
;
277 -- Equivalent of the C type STATUS
279 OK
: constant STATUS
:= 0;
280 ERROR
: constant STATUS
:= Interfaces
.C
.int
(-1);
282 function taskIdVerify
(tid
: t_id
) return STATUS
;
283 pragma Import
(C
, taskIdVerify
, "taskIdVerify");
285 function taskIdSelf
return t_id
;
286 pragma Import
(C
, taskIdSelf
, "taskIdSelf");
288 function taskOptionsGet
(tid
: t_id
; pOptions
: access int
) return int
;
289 pragma Import
(C
, taskOptionsGet
, "taskOptionsGet");
291 function taskSuspend
(tid
: t_id
) return int
;
292 pragma Import
(C
, taskSuspend
, "taskSuspend");
294 function taskResume
(tid
: t_id
) return int
;
295 pragma Import
(C
, taskResume
, "taskResume");
297 function taskIsSuspended
(tid
: t_id
) return int
;
298 pragma Import
(C
, taskIsSuspended
, "taskIsSuspended");
300 function taskDelay
(ticks
: int
) return int
;
301 procedure taskDelay
(ticks
: int
);
302 pragma Import
(C
, taskDelay
, "taskDelay");
304 function sysClkRateGet
return int
;
305 pragma Import
(C
, sysClkRateGet
, "sysClkRateGet");
307 -- VxWorks 5.x specific functions
310 (tid
: t_id
; pVar
: access System
.Address
) return int
;
311 pragma Import
(C
, taskVarAdd
, "taskVarAdd");
313 function taskVarDelete
314 (tid
: t_id
; pVar
: access System
.Address
) return int
;
315 pragma Import
(C
, taskVarDelete
, "taskVarDelete");
319 pVar
: access System
.Address
;
320 value
: System
.Address
) return int
;
321 pragma Import
(C
, taskVarSet
, "taskVarSet");
325 pVar
: access System
.Address
) return int
;
326 pragma Import
(C
, taskVarGet
, "taskVarGet");
328 -- VxWorks 6.x specific functions
330 function tlsKeyCreate
return int
;
331 pragma Import
(C
, tlsKeyCreate
, "tlsKeyCreate");
333 function tlsValueGet
(key
: int
) return System
.Address
;
334 pragma Import
(C
, tlsValueGet
, "tlsValueGet");
336 function tlsValueSet
(key
: int
; value
: System
.Address
) return STATUS
;
337 pragma Import
(C
, tlsValueSet
, "tlsValueSet");
339 -- Option flags for taskSpawn
341 VX_UNBREAKABLE
: constant := 16#
0002#
;
342 VX_FP_PRIVATE_ENV
: constant := 16#
0080#
;
343 VX_NO_STACK_FILL
: constant := 16#
0100#
;
346 (name
: System
.Address
; -- Pointer to task name
350 start_routine
: System
.Address
;
351 arg1
: System
.Address
;
360 arg10
: int
:= 0) return t_id
;
361 pragma Import
(C
, taskSpawn
, "taskSpawn");
363 procedure taskDelete
(tid
: t_id
);
364 pragma Import
(C
, taskDelete
, "taskDelete");
366 function Set_Time_Slice
(ticks
: int
) return int
;
367 pragma Inline
(Set_Time_Slice
);
368 -- Calls kernelTimeSlice under VxWorks 5.x
369 -- Do nothing under VxWorks 6.x
371 function taskPriorityGet
(tid
: t_id
; pPriority
: access int
) return int
;
372 pragma Import
(C
, taskPriorityGet
, "taskPriorityGet");
374 function taskPrioritySet
(tid
: t_id
; newPriority
: int
) return int
;
375 pragma Import
(C
, taskPrioritySet
, "taskPrioritySet");
377 -- Semaphore creation flags
379 SEM_Q_FIFO
: constant := 0;
380 SEM_Q_PRIORITY
: constant := 1;
381 SEM_DELETE_SAFE
: constant := 4; -- only valid for binary semaphore
382 SEM_INVERSION_SAFE
: constant := 8; -- only valid for binary semaphore
384 -- Semaphore initial state flags
386 SEM_EMPTY
: constant := 0;
387 SEM_FULL
: constant := 1;
389 -- Semaphore take (semTake) time constants
391 WAIT_FOREVER
: constant := -1;
392 NO_WAIT
: constant := 0;
394 -- Error codes (errno). The lower level 16 bits are the error code, with
395 -- the upper 16 bits representing the module number in which the error
396 -- occurred. By convention, the module number is 0 for UNIX errors. VxWorks
397 -- reserves module numbers 1-500, with the remaining module numbers being
398 -- available for user applications.
400 M_objLib
: constant := 61 * 2**16;
401 -- semTake() failure with ticks = NO_WAIT
402 S_objLib_OBJ_UNAVAILABLE
: constant := M_objLib
+ 2;
403 -- semTake() timeout with ticks > NO_WAIT
404 S_objLib_OBJ_TIMEOUT
: constant := M_objLib
+ 4;
406 type SEM_ID
is new System
.Address
;
407 -- typedef struct semaphore *SEM_ID;
409 -- We use two different kinds of VxWorks semaphores: mutex and binary
410 -- semaphores. A null ID is returned when a semaphore cannot be created.
412 function semBCreate
(options
: int
; initial_state
: int
) return SEM_ID
;
413 pragma Import
(C
, semBCreate
, "semBCreate");
414 -- Create a binary semaphore. Return ID, or 0 if memory could not
417 function semMCreate
(options
: int
) return SEM_ID
;
418 pragma Import
(C
, semMCreate
, "semMCreate");
420 function semDelete
(Sem
: SEM_ID
) return int
;
421 pragma Import
(C
, semDelete
, "semDelete");
422 -- Delete a semaphore
424 function semGive
(Sem
: SEM_ID
) return int
;
425 pragma Import
(C
, semGive
, "semGive");
427 function semTake
(Sem
: SEM_ID
; timeout
: int
) return int
;
428 pragma Import
(C
, semTake
, "semTake");
429 -- Attempt to take binary semaphore. Error is returned if operation
432 function semFlush
(SemID
: SEM_ID
) return STATUS
;
433 pragma Import
(C
, semFlush
, "semFlush");
434 -- Release all threads blocked on the semaphore
437 type sigset_t
is new unsigned_long_long
;
439 type pid_t
is new int
;
441 ERROR_PID
: constant pid_t
:= -1;
443 type clockid_t
is new int
;
444 CLOCK_REALTIME
: constant clockid_t
:= 0;
446 end System
.OS_Interface
;