1 ------------------------------------------------------------------------------
3 -- GNAT COMPILER COMPONENTS --
5 -- G N A T . E X P E C T . N O N _ B L O C K I N G _ S P A W N --
9 -- Copyright (C) 2005 Ada Core Technologies, Inc. --
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 2, 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. See the GNU General Public License --
17 -- for more details. You should have received a copy of the GNU General --
18 -- Public License distributed with GNAT; see file COPYING. If not, write --
19 -- to the Free Software Foundation, 59 Temple Place - Suite 330, Boston, --
20 -- MA 02111-1307, USA. --
22 -- As a special exception, if other files instantiate generics from this --
23 -- unit, or you link this unit with other files to produce an executable, --
24 -- this unit does not by itself cause the resulting executable to be --
25 -- covered by the GNU General Public License. This exception does not --
26 -- however invalidate any other reasons why the executable file might be --
27 -- covered by the GNU Public License. --
29 -- GNAT was originally developed by the GNAT team at New York University. --
30 -- Extensive contributions were provided by Ada Core Technologies Inc. --
32 ------------------------------------------------------------------------------
34 -- This package provides a target dependent non-blocking spawn function
35 -- for use by the VMS GNAT.Expect package (g-expect-vms.adb). This package
36 -- should not be directly with'ed by an application program.
38 -- This version is for IA64/VMS.
40 separate (GNAT
.Expect
)
41 procedure Non_Blocking_Spawn
42 (Descriptor
: out Process_Descriptor
'Class;
44 Args
: GNAT
.OS_Lib
.Argument_List
;
45 Buffer_Size
: Natural := 4096;
46 Err_To_Out
: Boolean := False)
48 function Alloc_Vfork_Blocks
return Integer;
49 pragma Import
(C
, Alloc_Vfork_Blocks
, "decc$$alloc_vfork_blocks");
51 function Get_Vfork_Jmpbuf
return System
.Address
;
52 pragma Import
(C
, Get_Vfork_Jmpbuf
, "decc$$get_vfork_jmpbuf");
54 function Setjmp1
(Addr
: System
.Address
) return Process_Id
;
55 pragma Import
(C
, Setjmp1
, "decc$setjmp1");
57 Pipe1
, Pipe2
, Pipe3
: aliased Pipe_Type
;
60 Arg_List
: aliased array (1 .. Args
'Length + 2) of System
.Address
;
62 Command_With_Path
: String_Access
;
65 -- Create the rest of the pipes
68 (Descriptor
, Err_To_Out
, Pipe1
'Access, Pipe2
'Access, Pipe3
'Access);
70 Command_With_Path
:= Locate_Exec_On_Path
(Command
);
72 if Command_With_Path
= null then
73 raise Invalid_Process
;
76 -- Fork a new process. It's not possible to do this in a subprogram.
78 if Alloc_Vfork_Blocks
>= 0 then
79 Descriptor
.Pid
:= Setjmp1
(Get_Vfork_Jmpbuf
);
84 -- Are we now in the child (or, for Windows, still in the common
87 if Descriptor
.Pid
= Null_Pid
then
88 -- Prepare an array of arguments to pass to C
90 Arg
:= new String (1 .. Command_With_Path
'Length + 1);
91 Arg
(1 .. Command_With_Path
'Length) := Command_With_Path
.all;
92 Arg
(Arg
'Last) := ASCII
.Nul
;
93 Arg_List
(1) := Arg
.all'Address;
95 for J
in Args
'Range loop
96 Arg
:= new String (1 .. Args
(J
)'Length + 1);
97 Arg
(1 .. Args
(J
)'Length) := Args
(J
).all;
98 Arg
(Arg
'Last) := ASCII
.Nul
;
99 Arg_List
(J
+ 2 - Args
'First) := Arg
.all'Address;
102 Arg_List
(Arg_List
'Last) := System
.Null_Address
;
104 -- This does not return on Unix systems
106 Set_Up_Child_Communications
107 (Descriptor
, Pipe1
, Pipe2
, Pipe3
, Command_With_Path
.all,
111 Free
(Command_With_Path
);
113 -- Did we have an error when spawning the child ?
115 if Descriptor
.Pid
< Null_Pid
then
116 raise Invalid_Process
;
118 -- We are now in the parent process
120 Set_Up_Parent_Communications
(Descriptor
, Pipe1
, Pipe2
, Pipe3
);
125 Descriptor
.Buffer_Size
:= Buffer_Size
;
127 if Buffer_Size
/= 0 then
128 Descriptor
.Buffer
:= new String (1 .. Positive (Buffer_Size
));
130 end Non_Blocking_Spawn
;