0.7.8.7:
[sbcl/lichteblau.git] / src / code / run-program.lisp
blobaee63b8bb13482512eb2cbd92b97a9e29ed106aa
1 ;;;; RUN-PROGRAM and friends, a facility for running Unix programs
2 ;;;; from inside SBCL
4 ;;;; This software is part of the SBCL system. See the README file for
5 ;;;; more information.
6 ;;;;
7 ;;;; This software is derived from the CMU CL system, which was
8 ;;;; written at Carnegie Mellon University and released into the
9 ;;;; public domain. The software is in the public domain and is
10 ;;;; provided with absolutely no warranty. See the COPYING and CREDITS
11 ;;;; files for more information.
13 (in-package "SB-IMPL") ;(SB-IMPL, not SB!IMPL, since we're built in warm load.)
15 ;;;; hacking the Unix environment
16 ;;;;
17 ;;;; In the original CMU CL code that LOAD-FOREIGN is derived from, the
18 ;;;; Unix environment (as in "man environ") was represented as an
19 ;;;; alist from keywords to strings, so that e.g. the Unix environment
20 ;;;; "SHELL=/bin/bash" "HOME=/root" "PAGER=less"
21 ;;;; was represented as
22 ;;;; ((:SHELL . "/bin/bash") (:HOME . "/root") (:PAGER "less"))
23 ;;;; This had a few problems in principle: the mapping into
24 ;;;; keyword symbols smashed the case of environment
25 ;;;; variables, and the whole mapping depended on the presence of
26 ;;;; #\= characters in the environment strings. In practice these
27 ;;;; problems weren't hugely important, since conventionally environment
28 ;;;; variables are uppercase strings followed by #\= followed by
29 ;;;; arbitrary data. However, since it's so manifestly not The Right
30 ;;;; Thing to make code which breaks unnecessarily on input which
31 ;;;; doesn't follow what is, after all, only a tradition, we've switched
32 ;;;; formats in SBCL, so that the fundamental environment list
33 ;;;; is just a list of strings, with a one-to-one-correspondence
34 ;;;; to the C-level representation. I.e., in the example above,
35 ;;;; the SBCL representation is
36 ;;;; '("SHELL=/bin/bash" "HOME=/root" "PAGER=less")
37 ;;;; CMU CL's implementation is currently supported to help with porting.
38 ;;;;
39 ;;;; It's not obvious that this code belongs here (instead of e.g. in
40 ;;;; unix.lisp), since it has only a weak logical connection with
41 ;;;; RUN-PROGRAM. However, physically it's convenient to put it here.
42 ;;;; It's not needed at cold init, so we *can* put it in this
43 ;;;; warm-loaded file. And by putting it in this warm-loaded file, we
44 ;;;; make it easy for it to get to the C-level 'environ' variable.
45 ;;;; which (at least in sbcl-0.6.10 on Red Hat Linux 6.2) is not
46 ;;;; visible at GENESIS time.
48 (define-alien-routine wrapped-environ (* c-string))
49 (defun posix-environ ()
50 "Return the Unix environment (\"man environ\") as a list of SIMPLE-STRINGs."
51 (c-strings->string-list (wrapped-environ)))
53 ;;; Convert as best we can from an SBCL representation of a Unix
54 ;;; environment to a CMU CL representation.
55 ;;;
56 ;;; * (UNIX-ENVIRONMENT-CMUCL-FROM-SBCL '("Bletch=fub" "Noggin" "YES=No!"))
57 ;;; WARNING:
58 ;;; smashing case of "Bletch=fub" in conversion to CMU-CL-style
59 ;;; environment alist
60 ;;; WARNING:
61 ;;; no #\= in "Noggin", eliding it in CMU-CL-style environment alist
62 ;;; ((:BLETCH . "fub") (:YES . "No!"))
63 (defun unix-environment-cmucl-from-sbcl (sbcl)
64 (mapcan
65 (lambda (string)
66 (declare (type simple-string string))
67 (let ((=-pos (position #\= string :test #'equal)))
68 (if =-pos
69 (list
70 (let* ((key-as-string (subseq string 0 =-pos))
71 (key-as-upcase-string (string-upcase key-as-string))
72 (key (keywordicate key-as-upcase-string))
73 (val (subseq string (1+ =-pos))))
74 (unless (string= key-as-string key-as-upcase-string)
75 (warn "smashing case of ~S in conversion to CMU-CL-style ~
76 environment alist"
77 string))
78 (cons key val)))
79 (warn "no #\\= in ~S, eliding it in CMU-CL-style environment alist"
80 string))))
81 sbcl))
83 ;;; Convert from a CMU CL representation of a Unix environment to a
84 ;;; SBCL representation.
85 (defun unix-environment-sbcl-from-cmucl (cmucl)
86 (mapcar
87 (lambda (cons)
88 (destructuring-bind (key . val) cons
89 (declare (type keyword key) (type simple-string val))
90 (concatenate 'simple-string (symbol-name key) "=" val)))
91 cmucl))
93 ;;;; Import wait3(2) from Unix.
95 (define-alien-routine ("wait3" c-wait3) sb-alien:int
96 (status sb-alien:int :out)
97 (options sb-alien:int)
98 (rusage sb-alien:int))
100 (defun wait3 (&optional do-not-hang check-for-stopped)
101 "Return any available status information on child process. "
102 (multiple-value-bind (pid status)
103 (c-wait3 (logior (if do-not-hang
104 sb-unix:wnohang
106 (if check-for-stopped
107 sb-unix:wuntraced
110 (cond ((or (minusp pid)
111 (zerop pid))
112 nil)
113 ((eql (ldb (byte 8 0) status)
114 sb-unix:wstopped)
115 (values pid
116 :stopped
117 (ldb (byte 8 8) status)))
118 ((zerop (ldb (byte 7 0) status))
119 (values pid
120 :exited
121 (ldb (byte 8 8) status)))
123 (let ((signal (ldb (byte 7 0) status)))
124 (values pid
125 (if (position signal
126 #.(vector
127 (sb-unix:unix-signal-number :sigstop)
128 (sb-unix:unix-signal-number :sigtstp)
129 (sb-unix:unix-signal-number :sigttin)
130 (sb-unix:unix-signal-number :sigttou)))
131 :stopped
132 :signaled)
133 signal
134 (not (zerop (ldb (byte 1 7) status)))))))))
136 ;;;; process control stuff
138 (defvar *active-processes* nil
139 "List of process structures for all active processes.")
141 (defstruct (process (:copier nil))
142 pid ; PID of child process
143 %status ; either :RUNNING, :STOPPED, :EXITED, or :SIGNALED
144 exit-code ; either exit code or signal
145 core-dumped ; T if a core image was dumped
146 pty ; stream to child's pty, or NIL
147 input ; stream to child's input, or NIL
148 output ; stream from child's output, or NIL
149 error ; stream from child's error output, or NIL
150 status-hook ; closure to call when PROC changes status
151 plist ; a place for clients to stash things
152 cookie) ; list of the number of pipes from the subproc
154 (defmethod print-object ((process process) stream)
155 (print-unreadable-object (process stream :type t)
156 (format stream
157 "~W ~S"
158 (process-pid process)
159 (process-status process)))
160 process)
162 (defun process-status (proc)
163 "Return the current status of process. The result is one of :RUNNING,
164 :STOPPED, :EXITED, or :SIGNALED."
165 (get-processes-status-changes)
166 (process-%status proc))
168 (defun process-wait (proc &optional check-for-stopped)
169 "Wait for PROC to quit running for some reason. Returns PROC."
170 (loop
171 (case (process-status proc)
172 (:running)
173 (:stopped
174 (when check-for-stopped
175 (return)))
177 (when (zerop (car (process-cookie proc)))
178 (return))))
179 (sb-sys:serve-all-events 1))
180 proc)
182 #-hpux
183 ;;; Find the current foreground process group id.
184 (defun find-current-foreground-process (proc)
185 (with-alien ((result sb-alien:int))
186 (multiple-value-bind
187 (wonp error)
188 (sb-unix:unix-ioctl (sb-sys:fd-stream-fd (process-pty proc))
189 sb-unix:TIOCGPGRP
190 (alien-sap (sb-alien:addr result)))
191 (unless wonp
192 (error "TIOCPGRP ioctl failed: ~S" (strerror error)))
193 result))
194 (process-pid proc))
196 (defun process-kill (proc signal &optional (whom :pid))
197 "Hand SIGNAL to PROC. If WHOM is :PID, use the kill Unix system call. If
198 WHOM is :PROCESS-GROUP, use the killpg Unix system call. If WHOM is
199 :PTY-PROCESS-GROUP deliver the signal to whichever process group is
200 currently in the foreground."
201 (let ((pid (ecase whom
202 ((:pid :process-group)
203 (process-pid proc))
204 (:pty-process-group
205 #-hpux
206 (find-current-foreground-process proc)))))
207 (multiple-value-bind
208 (okay errno)
209 (case whom
210 #+hpux
211 (:pty-process-group
212 (sb-unix:unix-ioctl (sb-sys:fd-stream-fd (process-pty proc))
213 sb-unix:TIOCSIGSEND
214 (sb-sys:int-sap
215 (sb-unix:unix-signal-number signal))))
216 ((:process-group #-hpux :pty-process-group)
217 (sb-unix:unix-killpg pid signal))
219 (sb-unix:unix-kill pid signal)))
220 (cond ((not okay)
221 (values nil errno))
222 ((and (eql pid (process-pid proc))
223 (= (sb-unix:unix-signal-number signal)
224 (sb-unix:unix-signal-number :sigcont)))
225 (setf (process-%status proc) :running)
226 (setf (process-exit-code proc) nil)
227 (when (process-status-hook proc)
228 (funcall (process-status-hook proc) proc))
231 t)))))
233 (defun process-alive-p (proc)
234 "Return T if the process is still alive, NIL otherwise."
235 (let ((status (process-status proc)))
236 (if (or (eq status :running)
237 (eq status :stopped))
239 nil)))
241 (defun process-close (proc)
242 "Close all streams connected to PROC and stop maintaining the status slot."
243 (macrolet ((frob (stream abort)
244 `(when ,stream (close ,stream :abort ,abort))))
245 (frob (process-pty proc) t) ; Don't FLUSH-OUTPUT to dead process, ..
246 (frob (process-input proc) t) ; .. 'cause it will generate SIGPIPE.
247 (frob (process-output proc) nil)
248 (frob (process-error proc) nil))
249 (sb-sys:without-interrupts
250 (setf *active-processes* (delete proc *active-processes*)))
251 proc)
253 ;;; the handler for SIGCHLD signals that RUN-PROGRAM establishes
254 (defun sigchld-handler (ignore1 ignore2 ignore3)
255 (declare (ignore ignore1 ignore2 ignore3))
256 (get-processes-status-changes))
258 (defun get-processes-status-changes ()
259 (loop
260 (multiple-value-bind (pid what code core)
261 (wait3 t t)
262 (unless pid
263 (return))
264 (let ((proc (find pid *active-processes* :key #'process-pid)))
265 (when proc
266 (setf (process-%status proc) what)
267 (setf (process-exit-code proc) code)
268 (setf (process-core-dumped proc) core)
269 (when (process-status-hook proc)
270 (funcall (process-status-hook proc) proc))
271 (when (position what #(:exited :signaled))
272 (sb-sys:without-interrupts
273 (setf *active-processes*
274 (delete proc *active-processes*)))))))))
276 ;;;; RUN-PROGRAM and close friends
278 ;;; list of file descriptors to close when RUN-PROGRAM exits due to an error
279 (defvar *close-on-error* nil)
281 ;;; list of file descriptors to close when RUN-PROGRAM returns in the parent
282 (defvar *close-in-parent* nil)
284 ;;; list of handlers installed by RUN-PROGRAM
285 (defvar *handlers-installed* nil)
287 #+FreeBSD
288 (define-alien-type nil
289 (struct sgttyb
290 (sg-ispeed sb-alien:char) ; input speed
291 (sg-ospeed sb-alien:char) ; output speed
292 (sg-erase sb-alien:char) ; erase character
293 (sg-kill sb-alien:char) ; kill character
294 (sg-flags sb-alien:short))) ; mode flags
295 #+OpenBSD
296 (define-alien-type nil
297 (struct sgttyb
298 (sg-four sb-alien:int)
299 (sg-chars (array sb-alien:char 4))
300 (sg-flags sb-alien:int)))
302 ;;; Find an unused pty. Return three values: the file descriptor for
303 ;;; the master side of the pty, the file descriptor for the slave side
304 ;;; of the pty, and the name of the tty device for the slave side.
305 (defun find-a-pty ()
306 (dolist (char '(#\p #\q))
307 (dotimes (digit 16)
308 (let* ((master-name (format nil "/dev/pty~C~X" char digit))
309 (master-fd (sb-unix:unix-open master-name
310 sb-unix:o_rdwr
311 #o666)))
312 (when master-fd
313 (let* ((slave-name (format nil "/dev/tty~C~X" char digit))
314 (slave-fd (sb-unix:unix-open slave-name
315 sb-unix:o_rdwr
316 #o666)))
317 (when slave-fd
318 ;; comment from classic CMU CL:
319 ;; Maybe put a vhangup here?
321 ;; FIXME: It seems as though this logic should be in
322 ;; OPEN-PTY, not FIND-A-PTY (both from the comments
323 ;; documenting DEFUN FIND-A-PTY, and from the
324 ;; connotations of the function names).
326 ;; FIXME: It would be nice to have a note, and/or a pointer
327 ;; to some reference material somewhere, explaining
328 ;; why we need this on *BSD and not on Linux.
329 #+bsd
330 (sb-alien:with-alien ((stuff (sb-alien:struct sgttyb)))
331 (let ((sap (sb-alien:alien-sap stuff)))
332 (sb-unix:unix-ioctl slave-fd sb-unix:TIOCGETP sap)
333 (setf (sb-alien:slot stuff 'sg-flags)
334 ;; This is EVENP|ODDP, the same numeric code
335 ;; both on FreeBSD and on OpenBSD. -- WHN 20000929
336 #o300) ; EVENP|ODDP
337 (sb-unix:unix-ioctl slave-fd sb-unix:TIOCSETP sap)
338 (sb-unix:unix-ioctl master-fd sb-unix:TIOCGETP sap)
339 (setf (sb-alien:slot stuff 'sg-flags)
340 (logand (sb-alien:slot stuff 'sg-flags)
341 ;; This is ~ECHO, the same numeric
342 ;; code both on FreeBSD and on OpenBSD.
343 ;; -- WHN 20000929
344 (lognot 8))) ; ~ECHO
345 (sb-unix:unix-ioctl master-fd sb-unix:TIOCSETP sap)))
346 (return-from find-a-pty
347 (values master-fd
348 slave-fd
349 slave-name)))
350 (sb-unix:unix-close master-fd))))))
351 (error "could not find a pty"))
353 (defun open-pty (pty cookie)
354 (when pty
355 (multiple-value-bind
356 (master slave name)
357 (find-a-pty)
358 (push master *close-on-error*)
359 (push slave *close-in-parent*)
360 (when (streamp pty)
361 (multiple-value-bind (new-fd errno) (sb-unix:unix-dup master)
362 (unless new-fd
363 (error "couldn't SB-UNIX:UNIX-DUP ~W: ~A" master (strerror errno)))
364 (push new-fd *close-on-error*)
365 (copy-descriptor-to-stream new-fd pty cookie)))
366 (values name
367 (sb-sys:make-fd-stream master :input t :output t)))))
369 (defmacro round-bytes-to-words (n)
370 `(logand (the fixnum (+ (the fixnum ,n) 3)) (lognot 3)))
372 (defun string-list-to-c-strvec (string-list)
373 ;; Make a pass over STRING-LIST to calculate the amount of memory
374 ;; needed to hold the strvec.
375 (let ((string-bytes 0)
376 ;; We need an extra for the null, and an extra 'cause exect
377 ;; clobbers argv[-1].
378 (vec-bytes (* #-alpha 4 #+alpha 8 (+ (length string-list) 2))))
379 (declare (fixnum string-bytes vec-bytes))
380 (dolist (s string-list)
381 (enforce-type s simple-string)
382 (incf string-bytes (round-bytes-to-words (1+ (length s)))))
383 ;; Now allocate the memory and fill it in.
384 (let* ((total-bytes (+ string-bytes vec-bytes))
385 (vec-sap (sb-sys:allocate-system-memory total-bytes))
386 (string-sap (sap+ vec-sap vec-bytes))
387 (i #-alpha 4 #+alpha 8))
388 (declare (type (and unsigned-byte fixnum) total-bytes i)
389 (type sb-sys:system-area-pointer vec-sap string-sap))
390 (dolist (s string-list)
391 (declare (simple-string s))
392 (let ((n (length s)))
393 ;; Blast the string into place.
394 (sb-kernel:copy-to-system-area (the simple-string s)
395 (* sb-vm:vector-data-offset
396 sb-vm:n-word-bits)
397 string-sap 0
398 (* (1+ n) sb-vm:n-byte-bits))
399 ;; Blast the pointer to the string into place.
400 (setf (sap-ref-sap vec-sap i) string-sap)
401 (setf string-sap (sap+ string-sap (round-bytes-to-words (1+ n))))
402 (incf i #-alpha 4 #+alpha 8)))
403 ;; Blast in the last null pointer.
404 (setf (sap-ref-sap vec-sap i) (int-sap 0))
405 (values vec-sap (sap+ vec-sap #-alpha 4 #+alpha 8) total-bytes))))
407 (defmacro with-c-strvec ((var str-list) &body body)
408 (let ((sap (gensym "SAP-"))
409 (size (gensym "SIZE-")))
410 `(multiple-value-bind
411 (,sap ,var ,size)
412 (string-list-to-c-strvec ,str-list)
413 (unwind-protect
414 (progn
415 ,@body)
416 (sb-sys:deallocate-system-memory ,sap ,size)))))
418 (sb-alien:define-alien-routine spawn sb-alien:int
419 (program sb-alien:c-string)
420 (argv (* sb-alien:c-string))
421 (envp (* sb-alien:c-string))
422 (pty-name sb-alien:c-string)
423 (stdin sb-alien:int)
424 (stdout sb-alien:int)
425 (stderr sb-alien:int))
427 ;;; Is UNIX-FILENAME the name of a file that we can execute?
428 ;;; XXX does this actually work for symlinks?
429 (defun unix-filename-is-executable-p (unix-filename)
430 (declare (type simple-string unix-filename))
431 (values (and (eq (sb-unix:unix-file-kind unix-filename) :file)
432 (sb-unix:unix-access unix-filename sb-unix:x_ok))))
434 ;;; FIXME: There shouldn't be two semiredundant versions of the
435 ;;; documentation. Since this is a public extension function, the
436 ;;; documentation should be in the doc string. So all information from
437 ;;; this comment should be merged into the doc string, and then this
438 ;;; comment can go away.
440 ;;; RUN-PROGRAM uses fork() and execve() to run a different program.
441 ;;; Strange stuff happens to keep the Unix state of the world
442 ;;; coherent.
444 ;;; The child process needs to get its input from somewhere, and send
445 ;;; its output (both standard and error) to somewhere. We have to do
446 ;;; different things depending on where these somewheres really are.
448 ;;; For input, there are five options:
449 ;;; -- T: Just leave fd 0 alone. Pretty simple.
450 ;;; -- "file": Read from the file. We need to open the file and
451 ;;; pull the descriptor out of the stream. The parent should close
452 ;;; this stream after the child is up and running to free any
453 ;;; storage used in the parent.
454 ;;; -- NIL: Same as "file", but use "/dev/null" as the file.
455 ;;; -- :STREAM: Use Unix pipe() to create two descriptors. Use
456 ;;; SB-SYS:MAKE-FD-STREAM to create the output stream on the
457 ;;; writeable descriptor, and pass the readable descriptor to
458 ;;; the child. The parent must close the readable descriptor for
459 ;;; EOF to be passed up correctly.
460 ;;; -- a stream: If it's a fd-stream, just pull the descriptor out
461 ;;; of it. Otherwise make a pipe as in :STREAM, and copy
462 ;;; everything across.
464 ;;; For output, there are five options:
465 ;;; -- T: Leave descriptor 1 alone.
466 ;;; -- "file": dump output to the file.
467 ;;; -- NIL: dump output to /dev/null.
468 ;;; -- :STREAM: return a stream that can be read from.
469 ;;; -- a stream: if it's a fd-stream, use the descriptor in it.
470 ;;; Otherwise, copy stuff from output to stream.
472 ;;; For error, there are all the same options as output plus:
473 ;;; -- :OUTPUT: redirect to the same place as output.
475 ;;; RUN-PROGRAM returns a PROCESS structure for the process if
476 ;;; the fork worked, and NIL if it did not.
477 (defun run-program (program args
478 &key
479 (env nil env-p)
480 (environment (if env-p
481 (unix-environment-sbcl-from-cmucl env)
482 (posix-environ))
483 environment-p)
484 (wait t)
486 input
487 if-input-does-not-exist
488 output
489 (if-output-exists :error)
490 (error :output)
491 (if-error-exists :error)
492 status-hook)
493 "RUN-PROGRAM creates a new Unix process running the Unix program found in
494 the file specified by the PROGRAM argument. ARGS are the standard
495 arguments that can be passed to a Unix program. For no arguments, use NIL
496 (which means that just the name of the program is passed as arg 0).
498 RUN-PROGRAM will either return NIL or a PROCESS structure. See the CMU
499 Common Lisp Users Manual for details about the PROCESS structure.
501 notes about Unix environments (as in the :ENVIRONMENT and :ENV args):
502 1. The SBCL implementation of RUN-PROGRAM, like Perl and many other
503 programs, but unlike the original CMU CL implementation, copies
504 the Unix environment by default.
505 2. Running Unix programs from a setuid process, or in any other
506 situation where the Unix environment is under the control of someone
507 else, is a mother lode of security problems. If you are contemplating
508 doing this, read about it first. (The Perl community has a lot of good
509 documentation about this and other security issues in script-like
510 programs.)
512 The &KEY arguments have the following meanings:
513 :ENVIRONMENT
514 a list of SIMPLE-STRINGs describing the new Unix environment (as
515 in \"man environ\"). The default is to copy the environment of
516 the current process.
517 :ENV
518 an alternative lossy representation of the new Unix environment,
519 for compatibility with CMU CL
520 :WAIT
521 If non-NIL (default), wait until the created process finishes. If
522 NIL, continue running Lisp until the program finishes.
523 :PTY
524 Either T, NIL, or a stream. Unless NIL, the subprocess is established
525 under a PTY. If :pty is a stream, all output to this pty is sent to
526 this stream, otherwise the PROCESS-PTY slot is filled in with a stream
527 connected to pty that can read output and write input.
528 :INPUT
529 Either T, NIL, a pathname, a stream, or :STREAM. If T, the standard
530 input for the current process is inherited. If NIL, /dev/null
531 is used. If a pathname, the file so specified is used. If a stream,
532 all the input is read from that stream and send to the subprocess. If
533 :STREAM, the PROCESS-INPUT slot is filled in with a stream that sends
534 its output to the process. Defaults to NIL.
535 :IF-INPUT-DOES-NOT-EXIST (when :INPUT is the name of a file)
536 can be one of:
537 :ERROR to generate an error
538 :CREATE to create an empty file
539 NIL (the default) to return NIL from RUN-PROGRAM
540 :OUTPUT
541 Either T, NIL, a pathname, a stream, or :STREAM. If T, the standard
542 output for the current process is inherited. If NIL, /dev/null
543 is used. If a pathname, the file so specified is used. If a stream,
544 all the output from the process is written to this stream. If
545 :STREAM, the PROCESS-OUTPUT slot is filled in with a stream that can
546 be read to get the output. Defaults to NIL.
547 :IF-OUTPUT-EXISTS (when :OUTPUT is the name of a file)
548 can be one of:
549 :ERROR (the default) to generate an error
550 :SUPERSEDE to supersede the file with output from the program
551 :APPEND to append output from the program to the file
552 NIL to return NIL from RUN-PROGRAM, without doing anything
553 :ERROR and :IF-ERROR-EXISTS
554 Same as :OUTPUT and :IF-OUTPUT-EXISTS, except that :ERROR can also be
555 specified as :OUTPUT in which case all error output is routed to the
556 same place as normal output.
557 :STATUS-HOOK
558 This is a function the system calls whenever the status of the
559 process changes. The function takes the process as an argument."
561 (when (and env-p environment-p)
562 (error "can't specify :ENV and :ENVIRONMENT simultaneously"))
563 ;; Make sure that the interrupt handler is installed.
564 (sb-sys:enable-interrupt :sigchld #'sigchld-handler)
565 ;; Prepend the program to the argument list.
566 (push (namestring program) args)
567 (let (;; Clear various specials used by GET-DESCRIPTOR-FOR to
568 ;; communicate cleanup info.
569 *close-on-error*
570 *close-in-parent*
571 *handlers-installed*
572 ;; Establish PROC at this level so that we can return it.
573 proc
574 ;; It's friendly to allow the caller to pass any string
575 ;; designator, but internally we'd like SIMPLE-STRINGs.
576 (simple-args (mapcar (lambda (x) (coerce x 'simple-string)) args)))
577 (unwind-protect
578 (let (;; FIXME: The old code here used to do
579 ;; (MERGE-PATHNAMES PROGRAM "path:"),
580 ;; which is the right idea (searching through the Unix
581 ;; PATH). Unfortunately, there is no logical pathname
582 ;; "path:" defined in sbcl-0.6.10. It would probably be
583 ;; reasonable to restore Unix PATH searching in SBCL, e.g.
584 ;; with a function FIND-EXECUTABLE-FILE-IN-POSIX-PATH.
585 ;; CMU CL did it with a "PATH:" search list, but CMU CL
586 ;; search lists are a non-ANSI extension that SBCL
587 ;; doesn't support. -- WHN)
588 (pfile (unix-namestring program t))
589 (cookie (list 0)))
590 (unless pfile
591 (error "no such program: ~S" program))
592 (unless (unix-filename-is-executable-p pfile)
593 (error "not executable: ~S" program))
594 (multiple-value-bind (stdin input-stream)
595 (get-descriptor-for input cookie
596 :direction :input
597 :if-does-not-exist if-input-does-not-exist)
598 (multiple-value-bind (stdout output-stream)
599 (get-descriptor-for output cookie
600 :direction :output
601 :if-exists if-output-exists)
602 (multiple-value-bind (stderr error-stream)
603 (if (eq error :output)
604 (values stdout output-stream)
605 (get-descriptor-for error cookie
606 :direction :output
607 :if-exists if-error-exists))
608 (multiple-value-bind (pty-name pty-stream)
609 (open-pty pty cookie)
610 ;; Make sure we are not notified about the child
611 ;; death before we have installed the PROCESS
612 ;; structure in *ACTIVE-PROCESSES*.
613 (sb-sys:without-interrupts
614 (with-c-strvec (args-vec simple-args)
615 (with-c-strvec (environment-vec environment)
616 (let ((child-pid
617 (without-gcing
618 (spawn pfile args-vec environment-vec pty-name
619 stdin stdout stderr))))
620 (when (< child-pid 0)
621 (error "couldn't fork child process: ~A"
622 (strerror)))
623 (setf proc (make-process :pid child-pid
624 :%status :running
625 :pty pty-stream
626 :input input-stream
627 :output output-stream
628 :error error-stream
629 :status-hook status-hook
630 :cookie cookie))
631 (push proc *active-processes*))))))))))
632 (dolist (fd *close-in-parent*)
633 (sb-unix:unix-close fd))
634 (unless proc
635 (dolist (fd *close-on-error*)
636 (sb-unix:unix-close fd))
637 (dolist (handler *handlers-installed*)
638 (sb-sys:remove-fd-handler handler))))
639 (when (and wait proc)
640 (process-wait proc))
641 proc))
643 ;;; Install a handler for any input that shows up on the file
644 ;;; descriptor. The handler reads the data and writes it to the
645 ;;; stream.
646 (defun copy-descriptor-to-stream (descriptor stream cookie)
647 (incf (car cookie))
648 (let ((string (make-string 256))
649 handler)
650 (setf handler
651 (sb-sys:add-fd-handler
652 descriptor
653 :input (lambda (fd)
654 (declare (ignore fd))
655 (loop
656 (unless handler
657 (return))
658 (multiple-value-bind
659 (result readable/errno)
660 (sb-unix:unix-select (1+ descriptor)
661 (ash 1 descriptor)
662 0 0 0)
663 (cond ((null result)
664 (error "~@<couldn't select on sub-process: ~
665 ~2I~_~A~:>"
666 (strerror readable/errno)))
667 ((zerop result)
668 (return))))
669 (sb-alien:with-alien ((buf (sb-alien:array
670 sb-alien:char
671 256)))
672 (multiple-value-bind
673 (count errno)
674 (sb-unix:unix-read descriptor
675 (alien-sap buf)
676 256)
677 (cond ((or (and (null count)
678 (eql errno sb-unix:eio))
679 (eql count 0))
680 (sb-sys:remove-fd-handler handler)
681 (setf handler nil)
682 (decf (car cookie))
683 (sb-unix:unix-close descriptor)
684 (return))
685 ((null count)
686 (sb-sys:remove-fd-handler handler)
687 (setf handler nil)
688 (decf (car cookie))
689 (error
690 "~@<couldn't read input from sub-process: ~
691 ~2I~_~A~:>"
692 (strerror errno)))
694 (sb-kernel:copy-from-system-area
695 (alien-sap buf) 0
696 string (* sb-vm:vector-data-offset
697 sb-vm:n-word-bits)
698 (* count sb-vm:n-byte-bits))
699 (write-string string stream
700 :end count)))))))))))
702 ;;; Find a file descriptor to use for object given the direction.
703 ;;; Returns the descriptor. If object is :STREAM, returns the created
704 ;;; stream as the second value.
705 (defun get-descriptor-for (object
706 cookie
707 &rest keys
708 &key direction
709 &allow-other-keys)
710 (cond ((eq object t)
711 ;; No new descriptor is needed.
712 (values -1 nil))
713 ((eq object nil)
714 ;; Use /dev/null.
715 (multiple-value-bind
716 (fd errno)
717 (sb-unix:unix-open "/dev/null"
718 (case direction
719 (:input sb-unix:o_rdonly)
720 (:output sb-unix:o_wronly)
721 (t sb-unix:o_rdwr))
722 #o666)
723 (unless fd
724 (error "~@<couldn't open \"/dev/null\": ~2I~_~A~:>"
725 (strerror errno)))
726 (push fd *close-in-parent*)
727 (values fd nil)))
728 ((eq object :stream)
729 (multiple-value-bind (read-fd write-fd) (sb-unix:unix-pipe)
730 (unless read-fd
731 (error "couldn't create pipe: ~A" (strerror write-fd)))
732 (case direction
733 (:input
734 (push read-fd *close-in-parent*)
735 (push write-fd *close-on-error*)
736 (let ((stream (sb-sys:make-fd-stream write-fd :output t)))
737 (values read-fd stream)))
738 (:output
739 (push read-fd *close-on-error*)
740 (push write-fd *close-in-parent*)
741 (let ((stream (sb-sys:make-fd-stream read-fd :input t)))
742 (values write-fd stream)))
744 (sb-unix:unix-close read-fd)
745 (sb-unix:unix-close write-fd)
746 (error "Direction must be either :INPUT or :OUTPUT, not ~S."
747 direction)))))
748 ((or (pathnamep object) (stringp object))
749 (with-open-stream (file (apply #'open object keys))
750 (multiple-value-bind
751 (fd errno)
752 (sb-unix:unix-dup (sb-sys:fd-stream-fd file))
753 (cond (fd
754 (push fd *close-in-parent*)
755 (values fd nil))
757 (error "couldn't duplicate file descriptor: ~A"
758 (strerror errno)))))))
759 ((sb-sys:fd-stream-p object)
760 (values (sb-sys:fd-stream-fd object) nil))
761 ((streamp object)
762 (ecase direction
763 (:input
764 ;; FIXME: We could use a better way of setting up
765 ;; temporary files, both here and in LOAD-FOREIGN.
766 (dotimes (count
768 (error "could not open a temporary file in /tmp"))
769 (let* ((name (format nil "/tmp/.run-program-~D" count))
770 (fd (sb-unix:unix-open name
771 (logior sb-unix:o_rdwr
772 sb-unix:o_creat
773 sb-unix:o_excl)
774 #o666)))
775 (sb-unix:unix-unlink name)
776 (when fd
777 (let ((newline (string #\Newline)))
778 (loop
779 (multiple-value-bind
780 (line no-cr)
781 (read-line object nil nil)
782 (unless line
783 (return))
784 (sb-unix:unix-write fd line 0 (length line))
785 (if no-cr
786 (return)
787 (sb-unix:unix-write fd newline 0 1)))))
788 (sb-unix:unix-lseek fd 0 sb-unix:l_set)
789 (push fd *close-in-parent*)
790 (return (values fd nil))))))
791 (:output
792 (multiple-value-bind (read-fd write-fd)
793 (sb-unix:unix-pipe)
794 (unless read-fd
795 (error "couldn't create pipe: ~S" (strerror write-fd)))
796 (copy-descriptor-to-stream read-fd object cookie)
797 (push read-fd *close-on-error*)
798 (push write-fd *close-in-parent*)
799 (values write-fd nil)))))
801 (error "invalid option to RUN-PROGRAM: ~S" object))))