1 #include "git-compat-util.h"
2 #include "run-command.h"
3 #include "environment.h"
9 #include "thread-utils.h"
11 #include "string-list.h"
17 #include "compat/nonblock.h"
19 void child_process_init(struct child_process
*child
)
21 struct child_process blank
= CHILD_PROCESS_INIT
;
22 memcpy(child
, &blank
, sizeof(*child
));
25 void child_process_clear(struct child_process
*child
)
27 strvec_clear(&child
->args
);
28 strvec_clear(&child
->env
);
31 struct child_to_clean
{
33 struct child_process
*process
;
34 struct child_to_clean
*next
;
36 static struct child_to_clean
*children_to_clean
;
37 static int installed_child_cleanup_handler
;
39 static void cleanup_children(int sig
, int in_signal
)
41 struct child_to_clean
*children_to_wait_for
= NULL
;
43 while (children_to_clean
) {
44 struct child_to_clean
*p
= children_to_clean
;
45 children_to_clean
= p
->next
;
47 if (p
->process
&& !in_signal
) {
48 struct child_process
*process
= p
->process
;
49 if (process
->clean_on_exit_handler
) {
51 "trace: run_command: running exit handler for pid %"
52 PRIuMAX
, (uintmax_t)p
->pid
54 process
->clean_on_exit_handler(process
);
60 if (p
->process
&& p
->process
->wait_after_clean
) {
61 p
->next
= children_to_wait_for
;
62 children_to_wait_for
= p
;
69 while (children_to_wait_for
) {
70 struct child_to_clean
*p
= children_to_wait_for
;
71 children_to_wait_for
= p
->next
;
73 while (waitpid(p
->pid
, NULL
, 0) < 0 && errno
== EINTR
)
74 ; /* spin waiting for process exit or error */
81 static void cleanup_children_on_signal(int sig
)
83 cleanup_children(sig
, 1);
88 static void cleanup_children_on_exit(void)
90 cleanup_children(SIGTERM
, 0);
93 static void mark_child_for_cleanup(pid_t pid
, struct child_process
*process
)
95 struct child_to_clean
*p
= xmalloc(sizeof(*p
));
98 p
->next
= children_to_clean
;
99 children_to_clean
= p
;
101 if (!installed_child_cleanup_handler
) {
102 atexit(cleanup_children_on_exit
);
103 sigchain_push_common(cleanup_children_on_signal
);
104 installed_child_cleanup_handler
= 1;
108 static void clear_child_for_cleanup(pid_t pid
)
110 struct child_to_clean
**pp
;
112 for (pp
= &children_to_clean
; *pp
; pp
= &(*pp
)->next
) {
113 struct child_to_clean
*clean_me
= *pp
;
115 if (clean_me
->pid
== pid
) {
116 *pp
= clean_me
->next
;
123 static inline void close_pair(int fd
[2])
129 int is_executable(const char *name
)
133 if (stat(name
, &st
) || /* stat, not lstat */
134 !S_ISREG(st
.st_mode
))
137 #if defined(GIT_WINDOWS_NATIVE)
139 * On Windows there is no executable bit. The file extension
140 * indicates whether it can be run as an executable, and Git
141 * has special-handling to detect scripts and launch them
142 * through the indicated script interpreter. We test for the
143 * file extension first because virus scanners may make
144 * it quite expensive to open many files.
146 if (ends_with(name
, ".exe"))
151 * Now that we know it does not have an executable extension,
152 * peek into the file instead.
156 int fd
= open(name
, O_RDONLY
);
157 st
.st_mode
&= ~S_IXUSR
;
159 n
= read(fd
, buf
, 2);
161 /* look for a she-bang */
162 if (!strcmp(buf
, "#!"))
163 st
.st_mode
|= S_IXUSR
;
168 return st
.st_mode
& S_IXUSR
;
171 #ifndef locate_in_PATH
173 * Search $PATH for a command. This emulates the path search that
174 * execvp would perform, without actually executing the command so it
175 * can be used before fork() to prepare to run a command using
176 * execve() or after execvp() to diagnose why it failed.
178 * The caller should ensure that file contains no directory
181 * Returns the path to the command, as found in $PATH or NULL if the
182 * command could not be found. The caller inherits ownership of the memory
183 * used to store the resultant path.
185 * This should not be used on Windows, where the $PATH search rules
186 * are more complicated (e.g., a search for "foo" should find
189 static char *locate_in_PATH(const char *file
)
191 const char *p
= getenv("PATH");
192 struct strbuf buf
= STRBUF_INIT
;
198 const char *end
= strchrnul(p
, ':');
202 /* POSIX specifies an empty entry as the current directory. */
204 strbuf_add(&buf
, p
, end
- p
);
205 strbuf_addch(&buf
, '/');
207 strbuf_addstr(&buf
, file
);
209 if (is_executable(buf
.buf
))
210 return strbuf_detach(&buf
, NULL
);
217 strbuf_release(&buf
);
222 int exists_in_PATH(const char *command
)
224 char *r
= locate_in_PATH(command
);
225 int found
= r
!= NULL
;
230 int sane_execvp(const char *file
, char * const argv
[])
232 #ifndef GIT_WINDOWS_NATIVE
234 * execvp() doesn't return, so we all we can do is tell trace2
235 * what we are about to do and let it leave a hint in the log
236 * (unless of course the execvp() fails).
238 * we skip this for Windows because the compat layer already
239 * has to emulate the execvp() call anyway.
241 int exec_id
= trace2_exec(file
, (const char **)argv
);
244 if (!execvp(file
, argv
))
245 return 0; /* cannot happen ;-) */
247 #ifndef GIT_WINDOWS_NATIVE
250 trace2_exec_result(exec_id
, ec
);
256 * When a command can't be found because one of the directories
257 * listed in $PATH is unsearchable, execvp reports EACCES, but
258 * careful usability testing (read: analysis of occasional bug
259 * reports) reveals that "No such file or directory" is more
262 * We avoid commands with "/", because execvp will not do $PATH
263 * lookups in that case.
265 * The reassignment of EACCES to errno looks like a no-op below,
266 * but we need to protect against exists_in_PATH overwriting errno.
268 if (errno
== EACCES
&& !strchr(file
, '/'))
269 errno
= exists_in_PATH(file
) ? EACCES
: ENOENT
;
270 else if (errno
== ENOTDIR
&& !strchr(file
, '/'))
275 static const char **prepare_shell_cmd(struct strvec
*out
, const char **argv
)
278 BUG("shell command is empty");
280 if (strcspn(argv
[0], "|&;<>()$`\\\"' \t\n*?[#~=%") != strlen(argv
[0])) {
281 #ifndef GIT_WINDOWS_NATIVE
282 strvec_push(out
, SHELL_PATH
);
284 strvec_push(out
, "sh");
286 strvec_push(out
, "-c");
289 * If we have no extra arguments, we do not even need to
290 * bother with the "$@" magic.
293 strvec_push(out
, argv
[0]);
295 strvec_pushf(out
, "%s \"$@\"", argv
[0]);
298 strvec_pushv(out
, argv
);
302 #ifndef GIT_WINDOWS_NATIVE
303 static int child_notifier
= -1;
309 CHILD_ERR_SIGPROCMASK
,
315 enum child_errcode err
;
316 int syserr
; /* errno */
319 static void child_die(enum child_errcode err
)
321 struct child_err buf
;
326 /* write(2) on buf smaller than PIPE_BUF (min 512) is atomic: */
327 xwrite(child_notifier
, &buf
, sizeof(buf
));
331 static void child_dup2(int fd
, int to
)
333 if (dup2(fd
, to
) < 0)
334 child_die(CHILD_ERR_DUP2
);
337 static void child_close(int fd
)
340 child_die(CHILD_ERR_CLOSE
);
343 static void child_close_pair(int fd
[2])
349 static void child_error_fn(const char *err UNUSED
, va_list params UNUSED
)
351 const char msg
[] = "error() should not be called in child\n";
352 xwrite(2, msg
, sizeof(msg
) - 1);
355 static void child_warn_fn(const char *err UNUSED
, va_list params UNUSED
)
357 const char msg
[] = "warn() should not be called in child\n";
358 xwrite(2, msg
, sizeof(msg
) - 1);
361 static void NORETURN
child_die_fn(const char *err UNUSED
, va_list params UNUSED
)
363 const char msg
[] = "die() should not be called in child\n";
364 xwrite(2, msg
, sizeof(msg
) - 1);
368 /* this runs in the parent process */
369 static void child_err_spew(struct child_process
*cmd
, struct child_err
*cerr
)
371 static void (*old_errfn
)(const char *err
, va_list params
);
372 report_fn die_message_routine
= get_die_message_routine();
374 old_errfn
= get_error_routine();
375 set_error_routine(die_message_routine
);
376 errno
= cerr
->syserr
;
379 case CHILD_ERR_CHDIR
:
380 error_errno("exec '%s': cd to '%s' failed",
381 cmd
->args
.v
[0], cmd
->dir
);
384 error_errno("dup2() in child failed");
386 case CHILD_ERR_CLOSE
:
387 error_errno("close() in child failed");
389 case CHILD_ERR_SIGPROCMASK
:
390 error_errno("sigprocmask failed restoring signals");
392 case CHILD_ERR_SILENT
:
394 case CHILD_ERR_ERRNO
:
395 error_errno("cannot exec '%s'", cmd
->args
.v
[0]);
398 set_error_routine(old_errfn
);
401 static int prepare_cmd(struct strvec
*out
, const struct child_process
*cmd
)
404 BUG("command is empty");
407 * Add SHELL_PATH so in the event exec fails with ENOEXEC we can
408 * attempt to interpret the command with 'sh'.
410 strvec_push(out
, SHELL_PATH
);
413 prepare_git_cmd(out
, cmd
->args
.v
);
414 } else if (cmd
->use_shell
) {
415 prepare_shell_cmd(out
, cmd
->args
.v
);
417 strvec_pushv(out
, cmd
->args
.v
);
421 * If there are no dir separator characters in the command then perform
422 * a path lookup and use the resolved path as the command to exec. If
423 * there are dir separator characters, we have exec attempt to invoke
424 * the command directly.
426 if (!has_dir_sep(out
->v
[1])) {
427 char *program
= locate_in_PATH(out
->v
[1]);
429 free((char *)out
->v
[1]);
441 static char **prep_childenv(const char *const *deltaenv
)
443 extern char **environ
;
445 struct string_list env
= STRING_LIST_INIT_DUP
;
446 struct strbuf key
= STRBUF_INIT
;
447 const char *const *p
;
450 /* Construct a sorted string list consisting of the current environ */
451 for (p
= (const char *const *) environ
; p
&& *p
; p
++) {
452 const char *equals
= strchr(*p
, '=');
456 strbuf_add(&key
, *p
, equals
- *p
);
457 string_list_append(&env
, key
.buf
)->util
= (void *) *p
;
459 string_list_append(&env
, *p
)->util
= (void *) *p
;
462 string_list_sort(&env
);
464 /* Merge in 'deltaenv' with the current environ */
465 for (p
= deltaenv
; p
&& *p
; p
++) {
466 const char *equals
= strchr(*p
, '=');
469 /* ('key=value'), insert or replace entry */
471 strbuf_add(&key
, *p
, equals
- *p
);
472 string_list_insert(&env
, key
.buf
)->util
= (void *) *p
;
474 /* otherwise ('key') remove existing entry */
475 string_list_remove(&env
, *p
, 0);
479 /* Create an array of 'char *' to be used as the childenv */
480 ALLOC_ARRAY(childenv
, env
.nr
+ 1);
481 for (i
= 0; i
< env
.nr
; i
++)
482 childenv
[i
] = env
.items
[i
].util
;
483 childenv
[env
.nr
] = NULL
;
485 string_list_clear(&env
, 0);
486 strbuf_release(&key
);
490 struct atfork_state
{
497 #define CHECK_BUG(err, msg) \
501 BUG("%s: %s", msg, strerror(e)); \
504 static void atfork_prepare(struct atfork_state
*as
)
508 if (sigfillset(&all
))
509 die_errno("sigfillset");
511 if (sigprocmask(SIG_SETMASK
, &all
, &as
->old
))
512 die_errno("sigprocmask");
514 CHECK_BUG(pthread_sigmask(SIG_SETMASK
, &all
, &as
->old
),
515 "blocking all signals");
516 CHECK_BUG(pthread_setcancelstate(PTHREAD_CANCEL_DISABLE
, &as
->cs
),
517 "disabling cancellation");
521 static void atfork_parent(struct atfork_state
*as
)
524 if (sigprocmask(SIG_SETMASK
, &as
->old
, NULL
))
525 die_errno("sigprocmask");
527 CHECK_BUG(pthread_setcancelstate(as
->cs
, NULL
),
528 "re-enabling cancellation");
529 CHECK_BUG(pthread_sigmask(SIG_SETMASK
, &as
->old
, NULL
),
530 "restoring signal mask");
533 #endif /* GIT_WINDOWS_NATIVE */
535 static inline void set_cloexec(int fd
)
537 int flags
= fcntl(fd
, F_GETFD
);
539 fcntl(fd
, F_SETFD
, flags
| FD_CLOEXEC
);
542 static int wait_or_whine(pid_t pid
, const char *argv0
, int in_signal
)
544 int status
, code
= -1;
546 int failed_errno
= 0;
548 while ((waiting
= waitpid(pid
, &status
, 0)) < 0 && errno
== EINTR
)
552 failed_errno
= errno
;
554 error_errno("waitpid for %s failed", argv0
);
555 } else if (waiting
!= pid
) {
557 error("waitpid is confused (%s)", argv0
);
558 } else if (WIFSIGNALED(status
)) {
559 code
= WTERMSIG(status
);
560 if (!in_signal
&& code
!= SIGINT
&& code
!= SIGQUIT
&& code
!= SIGPIPE
)
561 error("%s died of signal %d", argv0
, code
);
563 * This return value is chosen so that code & 0xff
564 * mimics the exit code that a POSIX shell would report for
565 * a program that died from this signal.
568 } else if (WIFEXITED(status
)) {
569 code
= WEXITSTATUS(status
);
572 error("waitpid is confused (%s)", argv0
);
576 clear_child_for_cleanup(pid
);
578 errno
= failed_errno
;
582 static void trace_add_env(struct strbuf
*dst
, const char *const *deltaenv
)
584 struct string_list envs
= STRING_LIST_INIT_DUP
;
585 const char *const *e
;
587 int printed_unset
= 0;
589 /* Last one wins, see run-command.c:prep_childenv() for context */
590 for (e
= deltaenv
; e
&& *e
; e
++) {
591 struct strbuf key
= STRBUF_INIT
;
592 char *equals
= strchr(*e
, '=');
595 strbuf_add(&key
, *e
, equals
- *e
);
596 string_list_insert(&envs
, key
.buf
)->util
= equals
+ 1;
598 string_list_insert(&envs
, *e
)->util
= NULL
;
600 strbuf_release(&key
);
603 /* "unset X Y...;" */
604 for (i
= 0; i
< envs
.nr
; i
++) {
605 const char *var
= envs
.items
[i
].string
;
606 const char *val
= envs
.items
[i
].util
;
608 if (val
|| !getenv(var
))
611 if (!printed_unset
) {
612 strbuf_addstr(dst
, " unset");
615 strbuf_addf(dst
, " %s", var
);
618 strbuf_addch(dst
, ';');
620 /* ... followed by "A=B C=D ..." */
621 for (i
= 0; i
< envs
.nr
; i
++) {
622 const char *var
= envs
.items
[i
].string
;
623 const char *val
= envs
.items
[i
].util
;
629 oldval
= getenv(var
);
630 if (oldval
&& !strcmp(val
, oldval
))
633 strbuf_addf(dst
, " %s=", var
);
634 sq_quote_buf_pretty(dst
, val
);
636 string_list_clear(&envs
, 0);
639 static void trace_run_command(const struct child_process
*cp
)
641 struct strbuf buf
= STRBUF_INIT
;
643 if (!trace_want(&trace_default_key
))
646 strbuf_addstr(&buf
, "trace: run_command:");
648 strbuf_addstr(&buf
, " cd ");
649 sq_quote_buf_pretty(&buf
, cp
->dir
);
650 strbuf_addch(&buf
, ';');
652 trace_add_env(&buf
, cp
->env
.v
);
654 strbuf_addstr(&buf
, " git");
655 sq_quote_argv_pretty(&buf
, cp
->args
.v
);
657 trace_printf("%s", buf
.buf
);
658 strbuf_release(&buf
);
661 int start_command(struct child_process
*cmd
)
663 int need_in
, need_out
, need_err
;
664 int fdin
[2], fdout
[2], fderr
[2];
669 * In case of errors we must keep the promise to close FDs
670 * that have been passed in via ->in and ->out.
673 need_in
= !cmd
->no_stdin
&& cmd
->in
< 0;
675 if (pipe(fdin
) < 0) {
676 failed_errno
= errno
;
679 str
= "standard input";
685 need_out
= !cmd
->no_stdout
686 && !cmd
->stdout_to_stderr
689 if (pipe(fdout
) < 0) {
690 failed_errno
= errno
;
695 str
= "standard output";
701 need_err
= !cmd
->no_stderr
&& cmd
->err
< 0;
703 if (pipe(fderr
) < 0) {
704 failed_errno
= errno
;
713 str
= "standard error";
715 error("cannot create %s pipe for %s: %s",
716 str
, cmd
->args
.v
[0], strerror(failed_errno
));
717 child_process_clear(cmd
);
718 errno
= failed_errno
;
724 trace2_child_start(cmd
);
725 trace_run_command(cmd
);
729 if (cmd
->close_object_store
)
730 close_object_store(the_repository
->objects
);
732 #ifndef GIT_WINDOWS_NATIVE
737 struct strvec argv
= STRVEC_INIT
;
738 struct child_err cerr
;
739 struct atfork_state as
;
741 if (prepare_cmd(&argv
, cmd
) < 0) {
742 failed_errno
= errno
;
744 if (!cmd
->silent_exec_failure
)
745 error_errno("cannot run %s", cmd
->args
.v
[0]);
749 if (pipe(notify_pipe
))
750 notify_pipe
[0] = notify_pipe
[1] = -1;
752 if (cmd
->no_stdin
|| cmd
->no_stdout
|| cmd
->no_stderr
) {
753 null_fd
= xopen("/dev/null", O_RDWR
| O_CLOEXEC
);
754 set_cloexec(null_fd
);
757 childenv
= prep_childenv(cmd
->env
.v
);
761 * NOTE: In order to prevent deadlocking when using threads special
762 * care should be taken with the function calls made in between the
763 * fork() and exec() calls. No calls should be made to functions which
764 * require acquiring a lock (e.g. malloc) as the lock could have been
765 * held by another thread at the time of forking, causing the lock to
766 * never be released in the child process. This means only
767 * Async-Signal-Safe functions are permitted in the child.
770 failed_errno
= errno
;
774 * Ensure the default die/error/warn routines do not get
775 * called, they can take stdio locks and malloc.
777 set_die_routine(child_die_fn
);
778 set_error_routine(child_error_fn
);
779 set_warn_routine(child_warn_fn
);
781 close(notify_pipe
[0]);
782 set_cloexec(notify_pipe
[1]);
783 child_notifier
= notify_pipe
[1];
786 child_dup2(null_fd
, 0);
788 child_dup2(fdin
[0], 0);
789 child_close_pair(fdin
);
790 } else if (cmd
->in
) {
791 child_dup2(cmd
->in
, 0);
792 child_close(cmd
->in
);
796 child_dup2(null_fd
, 2);
798 child_dup2(fderr
[1], 2);
799 child_close_pair(fderr
);
800 } else if (cmd
->err
> 1) {
801 child_dup2(cmd
->err
, 2);
802 child_close(cmd
->err
);
806 child_dup2(null_fd
, 1);
807 else if (cmd
->stdout_to_stderr
)
810 child_dup2(fdout
[1], 1);
811 child_close_pair(fdout
);
812 } else if (cmd
->out
> 1) {
813 child_dup2(cmd
->out
, 1);
814 child_close(cmd
->out
);
817 if (cmd
->dir
&& chdir(cmd
->dir
))
818 child_die(CHILD_ERR_CHDIR
);
821 * restore default signal handlers here, in case
822 * we catch a signal right before execve below
824 for (sig
= 1; sig
< NSIG
; sig
++) {
825 /* ignored signals get reset to SIG_DFL on execve */
826 if (signal(sig
, SIG_DFL
) == SIG_IGN
)
827 signal(sig
, SIG_IGN
);
830 if (sigprocmask(SIG_SETMASK
, &as
.old
, NULL
) != 0)
831 child_die(CHILD_ERR_SIGPROCMASK
);
834 * Attempt to exec using the command and arguments starting at
835 * argv.argv[1]. argv.argv[0] contains SHELL_PATH which will
836 * be used in the event exec failed with ENOEXEC at which point
837 * we will try to interpret the command using 'sh'.
839 execve(argv
.v
[1], (char *const *) argv
.v
+ 1,
840 (char *const *) childenv
);
841 if (errno
== ENOEXEC
)
842 execve(argv
.v
[0], (char *const *) argv
.v
,
843 (char *const *) childenv
);
845 if (cmd
->silent_exec_failure
&& errno
== ENOENT
)
846 child_die(CHILD_ERR_SILENT
);
847 child_die(CHILD_ERR_ERRNO
);
851 error_errno("cannot fork() for %s", cmd
->args
.v
[0]);
852 else if (cmd
->clean_on_exit
)
853 mark_child_for_cleanup(cmd
->pid
, cmd
);
856 * Wait for child's exec. If the exec succeeds (or if fork()
857 * failed), EOF is seen immediately by the parent. Otherwise, the
858 * child process sends a child_err struct.
859 * Note that use of this infrastructure is completely advisory,
860 * therefore, we keep error checks minimal.
862 close(notify_pipe
[1]);
863 if (xread(notify_pipe
[0], &cerr
, sizeof(cerr
)) == sizeof(cerr
)) {
865 * At this point we know that fork() succeeded, but exec()
866 * failed. Errors have been reported to our stderr.
868 wait_or_whine(cmd
->pid
, cmd
->args
.v
[0], 0);
869 child_err_spew(cmd
, &cerr
);
870 failed_errno
= errno
;
873 close(notify_pipe
[0]);
884 int fhin
= 0, fhout
= 1, fherr
= 2;
885 const char **sargv
= cmd
->args
.v
;
886 struct strvec nargv
= STRVEC_INIT
;
889 fhin
= open("/dev/null", O_RDWR
);
896 fherr
= open("/dev/null", O_RDWR
);
898 fherr
= dup(fderr
[1]);
899 else if (cmd
->err
> 2)
900 fherr
= dup(cmd
->err
);
903 fhout
= open("/dev/null", O_RDWR
);
904 else if (cmd
->stdout_to_stderr
)
907 fhout
= dup(fdout
[1]);
908 else if (cmd
->out
> 1)
909 fhout
= dup(cmd
->out
);
912 cmd
->args
.v
= prepare_git_cmd(&nargv
, sargv
);
913 else if (cmd
->use_shell
)
914 cmd
->args
.v
= prepare_shell_cmd(&nargv
, sargv
);
916 cmd
->pid
= mingw_spawnvpe(cmd
->args
.v
[0], cmd
->args
.v
,
918 cmd
->dir
, fhin
, fhout
, fherr
);
919 failed_errno
= errno
;
920 if (cmd
->pid
< 0 && (!cmd
->silent_exec_failure
|| errno
!= ENOENT
))
921 error_errno("cannot spawn %s", cmd
->args
.v
[0]);
922 if (cmd
->clean_on_exit
&& cmd
->pid
>= 0)
923 mark_child_for_cleanup(cmd
->pid
, cmd
);
925 strvec_clear(&nargv
);
937 trace2_child_exit(cmd
, -1);
951 child_process_clear(cmd
);
952 errno
= failed_errno
;
974 int finish_command(struct child_process
*cmd
)
976 int ret
= wait_or_whine(cmd
->pid
, cmd
->args
.v
[0], 0);
977 trace2_child_exit(cmd
, ret
);
978 child_process_clear(cmd
);
979 invalidate_lstat_cache();
983 int finish_command_in_signal(struct child_process
*cmd
)
985 int ret
= wait_or_whine(cmd
->pid
, cmd
->args
.v
[0], 1);
987 trace2_child_exit(cmd
, ret
);
992 int run_command(struct child_process
*cmd
)
996 if (cmd
->out
< 0 || cmd
->err
< 0)
997 BUG("run_command with a pipe can cause deadlock");
999 code
= start_command(cmd
);
1002 return finish_command(cmd
);
1006 static pthread_t main_thread
;
1007 static int main_thread_set
;
1008 static pthread_key_t async_key
;
1009 static pthread_key_t async_die_counter
;
1011 static void *run_thread(void *data
)
1013 struct async
*async
= data
;
1016 if (async
->isolate_sigpipe
) {
1019 sigaddset(&mask
, SIGPIPE
);
1020 if (pthread_sigmask(SIG_BLOCK
, &mask
, NULL
)) {
1021 ret
= error("unable to block SIGPIPE in async thread");
1026 pthread_setspecific(async_key
, async
);
1027 ret
= async
->proc(async
->proc_in
, async
->proc_out
, async
->data
);
1031 static NORETURN
void die_async(const char *err
, va_list params
)
1033 report_fn die_message_fn
= get_die_message_routine();
1035 die_message_fn(err
, params
);
1038 struct async
*async
= pthread_getspecific(async_key
);
1039 if (async
->proc_in
>= 0)
1040 close(async
->proc_in
);
1041 if (async
->proc_out
>= 0)
1042 close(async
->proc_out
);
1043 pthread_exit((void *)128);
1049 static int async_die_is_recursing(void)
1051 void *ret
= pthread_getspecific(async_die_counter
);
1052 pthread_setspecific(async_die_counter
, &async_die_counter
); /* set to any non-NULL valid pointer */
1058 if (!main_thread_set
)
1059 return 0; /* no asyncs started yet */
1060 return !pthread_equal(main_thread
, pthread_self());
1063 static void NORETURN
async_exit(int code
)
1065 pthread_exit((void *)(intptr_t)code
);
1071 void (**handlers
)(void);
1076 static int git_atexit_installed
;
1078 static void git_atexit_dispatch(void)
1082 for (i
=git_atexit_hdlrs
.nr
; i
; i
--)
1083 git_atexit_hdlrs
.handlers
[i
-1]();
1086 static void git_atexit_clear(void)
1088 free(git_atexit_hdlrs
.handlers
);
1089 memset(&git_atexit_hdlrs
, 0, sizeof(git_atexit_hdlrs
));
1090 git_atexit_installed
= 0;
1094 int git_atexit(void (*handler
)(void))
1096 ALLOC_GROW(git_atexit_hdlrs
.handlers
, git_atexit_hdlrs
.nr
+ 1, git_atexit_hdlrs
.alloc
);
1097 git_atexit_hdlrs
.handlers
[git_atexit_hdlrs
.nr
++] = handler
;
1098 if (!git_atexit_installed
) {
1099 if (atexit(&git_atexit_dispatch
))
1101 git_atexit_installed
= 1;
1105 #define atexit git_atexit
1107 static int process_is_async
;
1110 return process_is_async
;
1113 static void NORETURN
async_exit(int code
)
1120 void check_pipe(int err
)
1126 signal(SIGPIPE
, SIG_DFL
);
1128 /* Should never happen, but just in case... */
1133 int start_async(struct async
*async
)
1135 int need_in
, need_out
;
1136 int fdin
[2], fdout
[2];
1137 int proc_in
, proc_out
;
1139 need_in
= async
->in
< 0;
1141 if (pipe(fdin
) < 0) {
1144 return error_errno("cannot create pipe");
1146 async
->in
= fdin
[1];
1149 need_out
= async
->out
< 0;
1151 if (pipe(fdout
) < 0) {
1156 return error_errno("cannot create pipe");
1158 async
->out
= fdout
[0];
1164 proc_in
= async
->in
;
1169 proc_out
= fdout
[1];
1170 else if (async
->out
)
1171 proc_out
= async
->out
;
1176 /* Flush stdio before fork() to avoid cloning buffers */
1179 async
->pid
= fork();
1180 if (async
->pid
< 0) {
1181 error_errno("fork (async) failed");
1190 process_is_async
= 1;
1191 exit(!!async
->proc(proc_in
, proc_out
, async
->data
));
1194 mark_child_for_cleanup(async
->pid
, NULL
);
1203 else if (async
->out
)
1206 if (!main_thread_set
) {
1208 * We assume that the first time that start_async is called
1209 * it is from the main thread.
1211 main_thread_set
= 1;
1212 main_thread
= pthread_self();
1213 pthread_key_create(&async_key
, NULL
);
1214 pthread_key_create(&async_die_counter
, NULL
);
1215 set_die_routine(die_async
);
1216 set_die_is_recursing_routine(async_die_is_recursing
);
1220 set_cloexec(proc_in
);
1222 set_cloexec(proc_out
);
1223 async
->proc_in
= proc_in
;
1224 async
->proc_out
= proc_out
;
1226 int err
= pthread_create(&async
->tid
, NULL
, run_thread
, async
);
1228 error(_("cannot create async thread: %s"), strerror(err
));
1243 else if (async
->out
)
1248 int finish_async(struct async
*async
)
1251 int ret
= wait_or_whine(async
->pid
, "child process", 0);
1253 invalidate_lstat_cache();
1257 void *ret
= (void *)(intptr_t)(-1);
1259 if (pthread_join(async
->tid
, &ret
))
1260 error("pthread_join failed");
1261 invalidate_lstat_cache();
1262 return (int)(intptr_t)ret
;
1267 int async_with_fork(void)
1277 /* initialized by caller */
1279 int type
; /* POLLOUT or POLLIN */
1291 /* returned by pump_io */
1292 int error
; /* 0 for success, otherwise errno */
1298 static int pump_io_round(struct io_pump
*slots
, int nr
, struct pollfd
*pfd
)
1303 for (i
= 0; i
< nr
; i
++) {
1304 struct io_pump
*io
= &slots
[i
];
1307 pfd
[pollsize
].fd
= io
->fd
;
1308 pfd
[pollsize
].events
= io
->type
;
1309 io
->pfd
= &pfd
[pollsize
++];
1315 if (poll(pfd
, pollsize
, -1) < 0) {
1318 die_errno("poll failed");
1321 for (i
= 0; i
< nr
; i
++) {
1322 struct io_pump
*io
= &slots
[i
];
1327 if (!(io
->pfd
->revents
& (POLLOUT
|POLLIN
|POLLHUP
|POLLERR
|POLLNVAL
)))
1330 if (io
->type
== POLLOUT
) {
1334 * Don't use xwrite() here. It loops forever on EAGAIN,
1335 * and we're in our own poll() loop here.
1337 * Note that we lose xwrite()'s handling of MAX_IO_SIZE
1338 * and EINTR, so we have to implement those ourselves.
1340 len
= write(io
->fd
, io
->u
.out
.buf
,
1341 io
->u
.out
.len
<= MAX_IO_SIZE
?
1342 io
->u
.out
.len
: MAX_IO_SIZE
);
1344 if (errno
!= EINTR
&& errno
!= EAGAIN
&&
1351 io
->u
.out
.buf
+= len
;
1352 io
->u
.out
.len
-= len
;
1353 if (!io
->u
.out
.len
) {
1360 if (io
->type
== POLLIN
) {
1361 ssize_t len
= strbuf_read_once(io
->u
.in
.buf
,
1362 io
->fd
, io
->u
.in
.hint
);
1375 static int pump_io(struct io_pump
*slots
, int nr
)
1380 for (i
= 0; i
< nr
; i
++)
1383 ALLOC_ARRAY(pfd
, nr
);
1384 while (pump_io_round(slots
, nr
, pfd
))
1388 /* There may be multiple errno values, so just pick the first. */
1389 for (i
= 0; i
< nr
; i
++) {
1390 if (slots
[i
].error
) {
1391 errno
= slots
[i
].error
;
1399 int pipe_command(struct child_process
*cmd
,
1400 const char *in
, size_t in_len
,
1401 struct strbuf
*out
, size_t out_hint
,
1402 struct strbuf
*err
, size_t err_hint
)
1404 struct io_pump io
[3];
1414 if (start_command(cmd
) < 0)
1418 if (enable_pipe_nonblock(cmd
->in
) < 0) {
1419 error_errno("unable to make pipe non-blocking");
1427 io
[nr
].fd
= cmd
->in
;
1428 io
[nr
].type
= POLLOUT
;
1429 io
[nr
].u
.out
.buf
= in
;
1430 io
[nr
].u
.out
.len
= in_len
;
1434 io
[nr
].fd
= cmd
->out
;
1435 io
[nr
].type
= POLLIN
;
1436 io
[nr
].u
.in
.buf
= out
;
1437 io
[nr
].u
.in
.hint
= out_hint
;
1441 io
[nr
].fd
= cmd
->err
;
1442 io
[nr
].type
= POLLIN
;
1443 io
[nr
].u
.in
.buf
= err
;
1444 io
[nr
].u
.in
.hint
= err_hint
;
1448 if (pump_io(io
, nr
) < 0) {
1449 finish_command(cmd
); /* throw away exit code */
1453 return finish_command(cmd
);
1459 GIT_CP_WAIT_CLEANUP
,
1462 struct parallel_processes
{
1463 size_t nr_processes
;
1466 enum child_state state
;
1467 struct child_process process
;
1472 * The struct pollfd is logically part of *children,
1473 * but the system call expects it as its own array.
1477 unsigned shutdown
: 1;
1479 size_t output_owner
;
1480 struct strbuf buffered_output
; /* of finished children */
1483 struct parallel_processes_for_signal
{
1484 const struct run_process_parallel_opts
*opts
;
1485 const struct parallel_processes
*pp
;
1488 static void kill_children(const struct parallel_processes
*pp
,
1489 const struct run_process_parallel_opts
*opts
,
1492 for (size_t i
= 0; i
< opts
->processes
; i
++)
1493 if (pp
->children
[i
].state
== GIT_CP_WORKING
)
1494 kill(pp
->children
[i
].process
.pid
, signo
);
1497 static void kill_children_signal(const struct parallel_processes_for_signal
*pp_sig
,
1500 kill_children(pp_sig
->pp
, pp_sig
->opts
, signo
);
1503 static struct parallel_processes_for_signal
*pp_for_signal
;
1505 static void handle_children_on_signal(int signo
)
1507 kill_children_signal(pp_for_signal
, signo
);
1508 sigchain_pop(signo
);
1512 static void pp_init(struct parallel_processes
*pp
,
1513 const struct run_process_parallel_opts
*opts
,
1514 struct parallel_processes_for_signal
*pp_sig
)
1516 const size_t n
= opts
->processes
;
1519 BUG("you must provide a non-zero number of processes!");
1521 trace_printf("run_processes_parallel: preparing to run up to %"PRIuMAX
" tasks",
1524 if (!opts
->get_next_task
)
1525 BUG("you need to specify a get_next_task function");
1527 CALLOC_ARRAY(pp
->children
, n
);
1529 CALLOC_ARRAY(pp
->pfd
, n
);
1531 for (size_t i
= 0; i
< n
; i
++) {
1532 strbuf_init(&pp
->children
[i
].err
, 0);
1533 child_process_init(&pp
->children
[i
].process
);
1535 pp
->pfd
[i
].events
= POLLIN
| POLLHUP
;
1541 pp_sig
->opts
= opts
;
1542 pp_for_signal
= pp_sig
;
1543 sigchain_push_common(handle_children_on_signal
);
1546 static void pp_cleanup(struct parallel_processes
*pp
,
1547 const struct run_process_parallel_opts
*opts
)
1549 trace_printf("run_processes_parallel: done");
1550 for (size_t i
= 0; i
< opts
->processes
; i
++) {
1551 strbuf_release(&pp
->children
[i
].err
);
1552 child_process_clear(&pp
->children
[i
].process
);
1559 * When get_next_task added messages to the buffer in its last
1560 * iteration, the buffered output is non empty.
1562 strbuf_write(&pp
->buffered_output
, stderr
);
1563 strbuf_release(&pp
->buffered_output
);
1565 sigchain_pop_common();
1569 * 0 if a new task was started.
1570 * 1 if no new jobs was started (get_next_task ran out of work, non critical
1571 * problem with starting a new command)
1572 * <0 no new job was started, user wishes to shutdown early. Use negative code
1573 * to signal the children.
1575 static int pp_start_one(struct parallel_processes
*pp
,
1576 const struct run_process_parallel_opts
*opts
)
1581 for (i
= 0; i
< opts
->processes
; i
++)
1582 if (pp
->children
[i
].state
== GIT_CP_FREE
)
1584 if (i
== opts
->processes
)
1585 BUG("bookkeeping is hard");
1588 * By default, do not inherit stdin from the parent process - otherwise,
1589 * all children would share stdin! Users may overwrite this to provide
1590 * something to the child's stdin by having their 'get_next_task'
1591 * callback assign 0 to .no_stdin and an appropriate integer to .in.
1593 pp
->children
[i
].process
.no_stdin
= 1;
1595 code
= opts
->get_next_task(&pp
->children
[i
].process
,
1596 opts
->ungroup
? NULL
: &pp
->children
[i
].err
,
1598 &pp
->children
[i
].data
);
1600 if (!opts
->ungroup
) {
1601 strbuf_addbuf(&pp
->buffered_output
, &pp
->children
[i
].err
);
1602 strbuf_reset(&pp
->children
[i
].err
);
1606 if (!opts
->ungroup
) {
1607 pp
->children
[i
].process
.err
= -1;
1608 pp
->children
[i
].process
.stdout_to_stderr
= 1;
1611 if (start_command(&pp
->children
[i
].process
)) {
1612 if (opts
->start_failure
)
1613 code
= opts
->start_failure(opts
->ungroup
? NULL
:
1614 &pp
->children
[i
].err
,
1616 pp
->children
[i
].data
);
1620 if (!opts
->ungroup
) {
1621 strbuf_addbuf(&pp
->buffered_output
, &pp
->children
[i
].err
);
1622 strbuf_reset(&pp
->children
[i
].err
);
1630 pp
->children
[i
].state
= GIT_CP_WORKING
;
1632 pp
->pfd
[i
].fd
= pp
->children
[i
].process
.err
;
1636 static void pp_buffer_stderr(struct parallel_processes
*pp
,
1637 const struct run_process_parallel_opts
*opts
,
1640 while (poll(pp
->pfd
, opts
->processes
, output_timeout
) < 0) {
1643 pp_cleanup(pp
, opts
);
1647 /* Buffer output from all pipes. */
1648 for (size_t i
= 0; i
< opts
->processes
; i
++) {
1649 if (pp
->children
[i
].state
== GIT_CP_WORKING
&&
1650 pp
->pfd
[i
].revents
& (POLLIN
| POLLHUP
)) {
1651 int n
= strbuf_read_once(&pp
->children
[i
].err
,
1652 pp
->children
[i
].process
.err
, 0);
1654 close(pp
->children
[i
].process
.err
);
1655 pp
->children
[i
].state
= GIT_CP_WAIT_CLEANUP
;
1657 if (errno
!= EAGAIN
)
1663 static void pp_output(const struct parallel_processes
*pp
)
1665 size_t i
= pp
->output_owner
;
1667 if (pp
->children
[i
].state
== GIT_CP_WORKING
&&
1668 pp
->children
[i
].err
.len
) {
1669 strbuf_write(&pp
->children
[i
].err
, stderr
);
1670 strbuf_reset(&pp
->children
[i
].err
);
1674 static int pp_collect_finished(struct parallel_processes
*pp
,
1675 const struct run_process_parallel_opts
*opts
)
1681 while (pp
->nr_processes
> 0) {
1682 for (i
= 0; i
< opts
->processes
; i
++)
1683 if (pp
->children
[i
].state
== GIT_CP_WAIT_CLEANUP
)
1685 if (i
== opts
->processes
)
1688 code
= finish_command(&pp
->children
[i
].process
);
1690 if (opts
->task_finished
)
1691 code
= opts
->task_finished(code
, opts
->ungroup
? NULL
:
1692 &pp
->children
[i
].err
, opts
->data
,
1693 pp
->children
[i
].data
);
1703 pp
->children
[i
].state
= GIT_CP_FREE
;
1706 child_process_init(&pp
->children
[i
].process
);
1708 if (opts
->ungroup
) {
1709 ; /* no strbuf_*() work to do here */
1710 } else if (i
!= pp
->output_owner
) {
1711 strbuf_addbuf(&pp
->buffered_output
, &pp
->children
[i
].err
);
1712 strbuf_reset(&pp
->children
[i
].err
);
1714 const size_t n
= opts
->processes
;
1716 strbuf_write(&pp
->children
[i
].err
, stderr
);
1717 strbuf_reset(&pp
->children
[i
].err
);
1719 /* Output all other finished child processes */
1720 strbuf_write(&pp
->buffered_output
, stderr
);
1721 strbuf_reset(&pp
->buffered_output
);
1724 * Pick next process to output live.
1726 * For now we pick it randomly by doing a round
1727 * robin. Later we may want to pick the one with
1728 * the most output or the longest or shortest
1729 * running process time.
1731 for (i
= 0; i
< n
; i
++)
1732 if (pp
->children
[(pp
->output_owner
+ i
) % n
].state
== GIT_CP_WORKING
)
1734 pp
->output_owner
= (pp
->output_owner
+ i
) % n
;
1740 void run_processes_parallel(const struct run_process_parallel_opts
*opts
)
1743 int output_timeout
= 100;
1745 struct parallel_processes_for_signal pp_sig
;
1746 struct parallel_processes pp
= {
1747 .buffered_output
= STRBUF_INIT
,
1750 const char *tr2_category
= opts
->tr2_category
;
1751 const char *tr2_label
= opts
->tr2_label
;
1752 const int do_trace2
= tr2_category
&& tr2_label
;
1755 trace2_region_enter_printf(tr2_category
, tr2_label
, NULL
,
1756 "max:%d", opts
->processes
);
1758 pp_init(&pp
, opts
, &pp_sig
);
1761 i
< spawn_cap
&& !pp
.shutdown
&&
1762 pp
.nr_processes
< opts
->processes
;
1764 code
= pp_start_one(&pp
, opts
);
1769 kill_children(&pp
, opts
, -code
);
1773 if (!pp
.nr_processes
)
1775 if (opts
->ungroup
) {
1776 for (size_t i
= 0; i
< opts
->processes
; i
++)
1777 pp
.children
[i
].state
= GIT_CP_WAIT_CLEANUP
;
1779 pp_buffer_stderr(&pp
, opts
, output_timeout
);
1782 code
= pp_collect_finished(&pp
, opts
);
1786 kill_children(&pp
, opts
,-code
);
1790 pp_cleanup(&pp
, opts
);
1793 trace2_region_leave(tr2_category
, tr2_label
, NULL
);
1796 int run_auto_maintenance(int quiet
)
1799 struct child_process maint
= CHILD_PROCESS_INIT
;
1801 if (!git_config_get_bool("maintenance.auto", &enabled
) &&
1806 maint
.close_object_store
= 1;
1807 strvec_pushl(&maint
.args
, "maintenance", "run", "--auto", NULL
);
1808 strvec_push(&maint
.args
, quiet
? "--quiet" : "--no-quiet");
1810 return run_command(&maint
);
1813 void prepare_other_repo_env(struct strvec
*env
, const char *new_git_dir
)
1815 const char * const *var
;
1817 for (var
= local_repo_env
; *var
; var
++) {
1818 if (strcmp(*var
, CONFIG_DATA_ENVIRONMENT
) &&
1819 strcmp(*var
, CONFIG_COUNT_ENVIRONMENT
))
1820 strvec_push(env
, *var
);
1822 strvec_pushf(env
, "%s=%s", GIT_DIR_ENVIRONMENT
, new_git_dir
);
1825 enum start_bg_result
start_bg_command(struct child_process
*cmd
,
1826 start_bg_wait_cb
*wait_cb
,
1828 unsigned int timeout_sec
)
1830 enum start_bg_result sbgr
= SBGR_ERROR
;
1837 * We do not allow clean-on-exit because the child process
1838 * should persist in the background and possibly/probably
1839 * after this process exits. So we don't want to kill the
1840 * child during our atexit routine.
1842 if (cmd
->clean_on_exit
)
1843 BUG("start_bg_command() does not allow non-zero clean_on_exit");
1845 if (!cmd
->trace2_child_class
)
1846 cmd
->trace2_child_class
= "background";
1848 ret
= start_command(cmd
);
1851 * We assume that if `start_command()` fails, we
1852 * either get a complete `trace2_child_start() /
1853 * trace2_child_exit()` pair or it fails before the
1854 * `trace2_child_start()` is emitted, so we do not
1855 * need to worry about it here.
1857 * We also assume that `start_command()` does not add
1858 * us to the cleanup list. And that it calls
1859 * `child_process_clear()`.
1866 time_limit
+= timeout_sec
;
1869 pid_seen
= waitpid(cmd
->pid
, &wait_status
, WNOHANG
);
1873 * The child is currently running. Ask the callback
1874 * if the child is ready to do work or whether we
1875 * should keep waiting for it to boot up.
1877 ret
= (*wait_cb
)(cmd
, cb_data
);
1880 * The child is running and "ready".
1882 trace2_child_ready(cmd
, "ready");
1885 } else if (ret
> 0) {
1887 * The callback said to give it more time to boot up
1888 * (subject to our timeout limit).
1893 if (now
< time_limit
)
1897 * Our timeout has expired. We don't try to
1898 * kill the child, but rather let it continue
1899 * (hopefully) trying to startup.
1901 trace2_child_ready(cmd
, "timeout");
1902 sbgr
= SBGR_TIMEOUT
;
1906 * The cb gave up on this child. It is still running,
1907 * but our cb got an error trying to probe it.
1909 trace2_child_ready(cmd
, "error");
1910 sbgr
= SBGR_CB_ERROR
;
1915 else if (pid_seen
== cmd
->pid
) {
1916 int child_code
= -1;
1919 * The child started, but exited or was terminated
1920 * before becoming "ready".
1922 * We try to match the behavior of `wait_or_whine()`
1923 * WRT the handling of WIFSIGNALED() and WIFEXITED()
1924 * and convert the child's status to a return code for
1925 * tracing purposes and emit the `trace2_child_exit()`
1928 * We do not want the wait_or_whine() error message
1929 * because we will be called by client-side library
1932 if (WIFEXITED(wait_status
))
1933 child_code
= WEXITSTATUS(wait_status
);
1934 else if (WIFSIGNALED(wait_status
))
1935 child_code
= WTERMSIG(wait_status
) + 128;
1936 trace2_child_exit(cmd
, child_code
);
1942 else if (pid_seen
< 0 && errno
== EINTR
)
1945 trace2_child_exit(cmd
, -1);
1949 child_process_clear(cmd
);
1950 invalidate_lstat_cache();