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"
18 #include "compat/nonblock.h"
21 void child_process_init(struct child_process
*child
)
23 struct child_process blank
= CHILD_PROCESS_INIT
;
24 memcpy(child
, &blank
, sizeof(*child
));
27 void child_process_clear(struct child_process
*child
)
29 strvec_clear(&child
->args
);
30 strvec_clear(&child
->env
);
33 struct child_to_clean
{
35 struct child_process
*process
;
36 struct child_to_clean
*next
;
38 static struct child_to_clean
*children_to_clean
;
39 static int installed_child_cleanup_handler
;
41 static void cleanup_children(int sig
, int in_signal
)
43 struct child_to_clean
*children_to_wait_for
= NULL
;
45 while (children_to_clean
) {
46 struct child_to_clean
*p
= children_to_clean
;
47 children_to_clean
= p
->next
;
49 if (p
->process
&& !in_signal
) {
50 struct child_process
*process
= p
->process
;
51 if (process
->clean_on_exit_handler
) {
53 "trace: run_command: running exit handler for pid %"
54 PRIuMAX
, (uintmax_t)p
->pid
56 process
->clean_on_exit_handler(process
);
62 if (p
->process
&& p
->process
->wait_after_clean
) {
63 p
->next
= children_to_wait_for
;
64 children_to_wait_for
= p
;
71 while (children_to_wait_for
) {
72 struct child_to_clean
*p
= children_to_wait_for
;
73 children_to_wait_for
= p
->next
;
75 while (waitpid(p
->pid
, NULL
, 0) < 0 && errno
== EINTR
)
76 ; /* spin waiting for process exit or error */
83 static void cleanup_children_on_signal(int sig
)
85 cleanup_children(sig
, 1);
90 static void cleanup_children_on_exit(void)
92 cleanup_children(SIGTERM
, 0);
95 static void mark_child_for_cleanup(pid_t pid
, struct child_process
*process
)
97 struct child_to_clean
*p
= xmalloc(sizeof(*p
));
100 p
->next
= children_to_clean
;
101 children_to_clean
= p
;
103 if (!installed_child_cleanup_handler
) {
104 atexit(cleanup_children_on_exit
);
105 sigchain_push_common(cleanup_children_on_signal
);
106 installed_child_cleanup_handler
= 1;
110 static void clear_child_for_cleanup(pid_t pid
)
112 struct child_to_clean
**pp
;
114 for (pp
= &children_to_clean
; *pp
; pp
= &(*pp
)->next
) {
115 struct child_to_clean
*clean_me
= *pp
;
117 if (clean_me
->pid
== pid
) {
118 *pp
= clean_me
->next
;
125 static inline void close_pair(int fd
[2])
131 int is_executable(const char *name
)
135 if (stat(name
, &st
) || /* stat, not lstat */
136 !S_ISREG(st
.st_mode
))
139 #if defined(GIT_WINDOWS_NATIVE)
141 * On Windows there is no executable bit. The file extension
142 * indicates whether it can be run as an executable, and Git
143 * has special-handling to detect scripts and launch them
144 * through the indicated script interpreter. We test for the
145 * file extension first because virus scanners may make
146 * it quite expensive to open many files.
148 if (ends_with(name
, ".exe"))
153 * Now that we know it does not have an executable extension,
154 * peek into the file instead.
158 int fd
= open(name
, O_RDONLY
);
159 st
.st_mode
&= ~S_IXUSR
;
161 n
= read(fd
, buf
, 2);
163 /* look for a she-bang */
164 if (!strcmp(buf
, "#!"))
165 st
.st_mode
|= S_IXUSR
;
170 return st
.st_mode
& S_IXUSR
;
174 * Search $PATH for a command. This emulates the path search that
175 * execvp would perform, without actually executing the command so it
176 * can be used before fork() to prepare to run a command using
177 * execve() or after execvp() to diagnose why it failed.
179 * The caller should ensure that file contains no directory
182 * Returns the path to the command, as found in $PATH or NULL if the
183 * command could not be found. The caller inherits ownership of the memory
184 * used to store the resultant path.
186 * This should not be used on Windows, where the $PATH search rules
187 * are more complicated (e.g., a search for "foo" should find
190 static char *locate_in_PATH(const char *file
)
192 const char *p
= getenv("PATH");
193 struct strbuf buf
= STRBUF_INIT
;
199 const char *end
= strchrnul(p
, ':');
203 /* POSIX specifies an empty entry as the current directory. */
205 strbuf_add(&buf
, p
, end
- p
);
206 strbuf_addch(&buf
, '/');
208 strbuf_addstr(&buf
, file
);
210 if (is_executable(buf
.buf
))
211 return strbuf_detach(&buf
, NULL
);
218 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
,
316 enum child_errcode err
;
317 int syserr
; /* errno */
320 static void child_die(enum child_errcode err
)
322 struct child_err buf
;
327 /* write(2) on buf smaller than PIPE_BUF (min 512) is atomic: */
328 xwrite(child_notifier
, &buf
, sizeof(buf
));
332 static void child_dup2(int fd
, int to
)
334 if (dup2(fd
, to
) < 0)
335 child_die(CHILD_ERR_DUP2
);
338 static void child_close(int fd
)
341 child_die(CHILD_ERR_CLOSE
);
344 static void child_close_pair(int fd
[2])
350 static void child_error_fn(const char *err UNUSED
, va_list params UNUSED
)
352 const char msg
[] = "error() should not be called in child\n";
353 xwrite(2, msg
, sizeof(msg
) - 1);
356 static void child_warn_fn(const char *err UNUSED
, va_list params UNUSED
)
358 const char msg
[] = "warn() should not be called in child\n";
359 xwrite(2, msg
, sizeof(msg
) - 1);
362 static void NORETURN
child_die_fn(const char *err UNUSED
, va_list params UNUSED
)
364 const char msg
[] = "die() should not be called in child\n";
365 xwrite(2, msg
, sizeof(msg
) - 1);
369 /* this runs in the parent process */
370 static void child_err_spew(struct child_process
*cmd
, struct child_err
*cerr
)
372 static void (*old_errfn
)(const char *err
, va_list params
);
373 report_fn die_message_routine
= get_die_message_routine();
375 old_errfn
= get_error_routine();
376 set_error_routine(die_message_routine
);
377 errno
= cerr
->syserr
;
380 case CHILD_ERR_CHDIR
:
381 error_errno("exec '%s': cd to '%s' failed",
382 cmd
->args
.v
[0], cmd
->dir
);
385 error_errno("dup2() in child failed");
387 case CHILD_ERR_CLOSE
:
388 error_errno("close() in child failed");
390 case CHILD_ERR_SIGPROCMASK
:
391 error_errno("sigprocmask failed restoring signals");
393 case CHILD_ERR_ENOENT
:
394 error_errno("cannot run %s", cmd
->args
.v
[0]);
396 case CHILD_ERR_SILENT
:
398 case CHILD_ERR_ERRNO
:
399 error_errno("cannot exec '%s'", cmd
->args
.v
[0]);
402 set_error_routine(old_errfn
);
405 static int prepare_cmd(struct strvec
*out
, const struct child_process
*cmd
)
408 BUG("command is empty");
411 * Add SHELL_PATH so in the event exec fails with ENOEXEC we can
412 * attempt to interpret the command with 'sh'.
414 strvec_push(out
, SHELL_PATH
);
417 prepare_git_cmd(out
, cmd
->args
.v
);
418 } else if (cmd
->use_shell
) {
419 prepare_shell_cmd(out
, cmd
->args
.v
);
421 strvec_pushv(out
, cmd
->args
.v
);
425 * If there are no dir separator characters in the command then perform
426 * a path lookup and use the resolved path as the command to exec. If
427 * there are dir separator characters, we have exec attempt to invoke
428 * the command directly.
430 if (!has_dir_sep(out
->v
[1])) {
431 char *program
= locate_in_PATH(out
->v
[1]);
433 free((char *)out
->v
[1]);
445 static char **prep_childenv(const char *const *deltaenv
)
447 extern char **environ
;
449 struct string_list env
= STRING_LIST_INIT_DUP
;
450 struct strbuf key
= STRBUF_INIT
;
451 const char *const *p
;
454 /* Construct a sorted string list consisting of the current environ */
455 for (p
= (const char *const *) environ
; p
&& *p
; p
++) {
456 const char *equals
= strchr(*p
, '=');
460 strbuf_add(&key
, *p
, equals
- *p
);
461 string_list_append(&env
, key
.buf
)->util
= (void *) *p
;
463 string_list_append(&env
, *p
)->util
= (void *) *p
;
466 string_list_sort(&env
);
468 /* Merge in 'deltaenv' with the current environ */
469 for (p
= deltaenv
; p
&& *p
; p
++) {
470 const char *equals
= strchr(*p
, '=');
473 /* ('key=value'), insert or replace entry */
475 strbuf_add(&key
, *p
, equals
- *p
);
476 string_list_insert(&env
, key
.buf
)->util
= (void *) *p
;
478 /* otherwise ('key') remove existing entry */
479 string_list_remove(&env
, *p
, 0);
483 /* Create an array of 'char *' to be used as the childenv */
484 ALLOC_ARRAY(childenv
, env
.nr
+ 1);
485 for (i
= 0; i
< env
.nr
; i
++)
486 childenv
[i
] = env
.items
[i
].util
;
487 childenv
[env
.nr
] = NULL
;
489 string_list_clear(&env
, 0);
490 strbuf_release(&key
);
494 struct atfork_state
{
501 #define CHECK_BUG(err, msg) \
505 BUG("%s: %s", msg, strerror(e)); \
508 static void atfork_prepare(struct atfork_state
*as
)
512 if (sigfillset(&all
))
513 die_errno("sigfillset");
515 if (sigprocmask(SIG_SETMASK
, &all
, &as
->old
))
516 die_errno("sigprocmask");
518 CHECK_BUG(pthread_sigmask(SIG_SETMASK
, &all
, &as
->old
),
519 "blocking all signals");
520 CHECK_BUG(pthread_setcancelstate(PTHREAD_CANCEL_DISABLE
, &as
->cs
),
521 "disabling cancellation");
525 static void atfork_parent(struct atfork_state
*as
)
528 if (sigprocmask(SIG_SETMASK
, &as
->old
, NULL
))
529 die_errno("sigprocmask");
531 CHECK_BUG(pthread_setcancelstate(as
->cs
, NULL
),
532 "re-enabling cancellation");
533 CHECK_BUG(pthread_sigmask(SIG_SETMASK
, &as
->old
, NULL
),
534 "restoring signal mask");
537 #endif /* GIT_WINDOWS_NATIVE */
539 static inline void set_cloexec(int fd
)
541 int flags
= fcntl(fd
, F_GETFD
);
543 fcntl(fd
, F_SETFD
, flags
| FD_CLOEXEC
);
546 static int wait_or_whine(pid_t pid
, const char *argv0
, int in_signal
)
548 int status
, code
= -1;
550 int failed_errno
= 0;
552 while ((waiting
= waitpid(pid
, &status
, 0)) < 0 && errno
== EINTR
)
556 failed_errno
= errno
;
558 error_errno("waitpid for %s failed", argv0
);
559 } else if (waiting
!= pid
) {
561 error("waitpid is confused (%s)", argv0
);
562 } else if (WIFSIGNALED(status
)) {
563 code
= WTERMSIG(status
);
564 if (!in_signal
&& code
!= SIGINT
&& code
!= SIGQUIT
&& code
!= SIGPIPE
)
565 error("%s died of signal %d", argv0
, code
);
567 * This return value is chosen so that code & 0xff
568 * mimics the exit code that a POSIX shell would report for
569 * a program that died from this signal.
572 } else if (WIFEXITED(status
)) {
573 code
= WEXITSTATUS(status
);
576 error("waitpid is confused (%s)", argv0
);
580 clear_child_for_cleanup(pid
);
582 errno
= failed_errno
;
586 static void trace_add_env(struct strbuf
*dst
, const char *const *deltaenv
)
588 struct string_list envs
= STRING_LIST_INIT_DUP
;
589 const char *const *e
;
591 int printed_unset
= 0;
593 /* Last one wins, see run-command.c:prep_childenv() for context */
594 for (e
= deltaenv
; e
&& *e
; e
++) {
595 struct strbuf key
= STRBUF_INIT
;
596 char *equals
= strchr(*e
, '=');
599 strbuf_add(&key
, *e
, equals
- *e
);
600 string_list_insert(&envs
, key
.buf
)->util
= equals
+ 1;
602 string_list_insert(&envs
, *e
)->util
= NULL
;
604 strbuf_release(&key
);
607 /* "unset X Y...;" */
608 for (i
= 0; i
< envs
.nr
; i
++) {
609 const char *var
= envs
.items
[i
].string
;
610 const char *val
= envs
.items
[i
].util
;
612 if (val
|| !getenv(var
))
615 if (!printed_unset
) {
616 strbuf_addstr(dst
, " unset");
619 strbuf_addf(dst
, " %s", var
);
622 strbuf_addch(dst
, ';');
624 /* ... followed by "A=B C=D ..." */
625 for (i
= 0; i
< envs
.nr
; i
++) {
626 const char *var
= envs
.items
[i
].string
;
627 const char *val
= envs
.items
[i
].util
;
633 oldval
= getenv(var
);
634 if (oldval
&& !strcmp(val
, oldval
))
637 strbuf_addf(dst
, " %s=", var
);
638 sq_quote_buf_pretty(dst
, val
);
640 string_list_clear(&envs
, 0);
643 static void trace_run_command(const struct child_process
*cp
)
645 struct strbuf buf
= STRBUF_INIT
;
647 if (!trace_want(&trace_default_key
))
650 strbuf_addstr(&buf
, "trace: run_command:");
652 strbuf_addstr(&buf
, " cd ");
653 sq_quote_buf_pretty(&buf
, cp
->dir
);
654 strbuf_addch(&buf
, ';');
656 trace_add_env(&buf
, cp
->env
.v
);
658 strbuf_addstr(&buf
, " git");
659 sq_quote_argv_pretty(&buf
, cp
->args
.v
);
661 trace_printf("%s", buf
.buf
);
662 strbuf_release(&buf
);
665 int start_command(struct child_process
*cmd
)
667 int need_in
, need_out
, need_err
;
668 int fdin
[2], fdout
[2], fderr
[2];
673 * In case of errors we must keep the promise to close FDs
674 * that have been passed in via ->in and ->out.
677 need_in
= !cmd
->no_stdin
&& cmd
->in
< 0;
679 if (pipe(fdin
) < 0) {
680 failed_errno
= errno
;
683 str
= "standard input";
689 need_out
= !cmd
->no_stdout
690 && !cmd
->stdout_to_stderr
693 if (pipe(fdout
) < 0) {
694 failed_errno
= errno
;
699 str
= "standard output";
705 need_err
= !cmd
->no_stderr
&& cmd
->err
< 0;
707 if (pipe(fderr
) < 0) {
708 failed_errno
= errno
;
717 str
= "standard error";
719 error("cannot create %s pipe for %s: %s",
720 str
, cmd
->args
.v
[0], strerror(failed_errno
));
721 child_process_clear(cmd
);
722 errno
= failed_errno
;
728 trace2_child_start(cmd
);
729 trace_run_command(cmd
);
733 if (cmd
->close_object_store
)
734 close_object_store(the_repository
->objects
);
736 #ifndef GIT_WINDOWS_NATIVE
741 struct strvec argv
= STRVEC_INIT
;
742 struct child_err cerr
;
743 struct atfork_state as
;
745 if (prepare_cmd(&argv
, cmd
) < 0) {
746 failed_errno
= errno
;
748 if (!cmd
->silent_exec_failure
)
749 error_errno("cannot run %s", cmd
->args
.v
[0]);
753 if (pipe(notify_pipe
))
754 notify_pipe
[0] = notify_pipe
[1] = -1;
756 if (cmd
->no_stdin
|| cmd
->no_stdout
|| cmd
->no_stderr
) {
757 null_fd
= xopen("/dev/null", O_RDWR
| O_CLOEXEC
);
758 set_cloexec(null_fd
);
761 childenv
= prep_childenv(cmd
->env
.v
);
765 * NOTE: In order to prevent deadlocking when using threads special
766 * care should be taken with the function calls made in between the
767 * fork() and exec() calls. No calls should be made to functions which
768 * require acquiring a lock (e.g. malloc) as the lock could have been
769 * held by another thread at the time of forking, causing the lock to
770 * never be released in the child process. This means only
771 * Async-Signal-Safe functions are permitted in the child.
774 failed_errno
= errno
;
778 * Ensure the default die/error/warn routines do not get
779 * called, they can take stdio locks and malloc.
781 set_die_routine(child_die_fn
);
782 set_error_routine(child_error_fn
);
783 set_warn_routine(child_warn_fn
);
785 close(notify_pipe
[0]);
786 set_cloexec(notify_pipe
[1]);
787 child_notifier
= notify_pipe
[1];
790 child_dup2(null_fd
, 0);
792 child_dup2(fdin
[0], 0);
793 child_close_pair(fdin
);
794 } else if (cmd
->in
) {
795 child_dup2(cmd
->in
, 0);
796 child_close(cmd
->in
);
800 child_dup2(null_fd
, 2);
802 child_dup2(fderr
[1], 2);
803 child_close_pair(fderr
);
804 } else if (cmd
->err
> 1) {
805 child_dup2(cmd
->err
, 2);
806 child_close(cmd
->err
);
810 child_dup2(null_fd
, 1);
811 else if (cmd
->stdout_to_stderr
)
814 child_dup2(fdout
[1], 1);
815 child_close_pair(fdout
);
816 } else if (cmd
->out
> 1) {
817 child_dup2(cmd
->out
, 1);
818 child_close(cmd
->out
);
821 if (cmd
->dir
&& chdir(cmd
->dir
))
822 child_die(CHILD_ERR_CHDIR
);
825 * restore default signal handlers here, in case
826 * we catch a signal right before execve below
828 for (sig
= 1; sig
< NSIG
; sig
++) {
829 /* ignored signals get reset to SIG_DFL on execve */
830 if (signal(sig
, SIG_DFL
) == SIG_IGN
)
831 signal(sig
, SIG_IGN
);
834 if (sigprocmask(SIG_SETMASK
, &as
.old
, NULL
) != 0)
835 child_die(CHILD_ERR_SIGPROCMASK
);
838 * Attempt to exec using the command and arguments starting at
839 * argv.argv[1]. argv.argv[0] contains SHELL_PATH which will
840 * be used in the event exec failed with ENOEXEC at which point
841 * we will try to interpret the command using 'sh'.
843 execve(argv
.v
[1], (char *const *) argv
.v
+ 1,
844 (char *const *) childenv
);
845 if (errno
== ENOEXEC
)
846 execve(argv
.v
[0], (char *const *) argv
.v
,
847 (char *const *) childenv
);
849 if (errno
== ENOENT
) {
850 if (cmd
->silent_exec_failure
)
851 child_die(CHILD_ERR_SILENT
);
852 child_die(CHILD_ERR_ENOENT
);
854 child_die(CHILD_ERR_ERRNO
);
859 error_errno("cannot fork() for %s", cmd
->args
.v
[0]);
860 else if (cmd
->clean_on_exit
)
861 mark_child_for_cleanup(cmd
->pid
, cmd
);
864 * Wait for child's exec. If the exec succeeds (or if fork()
865 * failed), EOF is seen immediately by the parent. Otherwise, the
866 * child process sends a child_err struct.
867 * Note that use of this infrastructure is completely advisory,
868 * therefore, we keep error checks minimal.
870 close(notify_pipe
[1]);
871 if (xread(notify_pipe
[0], &cerr
, sizeof(cerr
)) == sizeof(cerr
)) {
873 * At this point we know that fork() succeeded, but exec()
874 * failed. Errors have been reported to our stderr.
876 wait_or_whine(cmd
->pid
, cmd
->args
.v
[0], 0);
877 child_err_spew(cmd
, &cerr
);
878 failed_errno
= errno
;
881 close(notify_pipe
[0]);
892 int fhin
= 0, fhout
= 1, fherr
= 2;
893 const char **sargv
= cmd
->args
.v
;
894 struct strvec nargv
= STRVEC_INIT
;
897 fhin
= open("/dev/null", O_RDWR
);
904 fherr
= open("/dev/null", O_RDWR
);
906 fherr
= dup(fderr
[1]);
907 else if (cmd
->err
> 2)
908 fherr
= dup(cmd
->err
);
911 fhout
= open("/dev/null", O_RDWR
);
912 else if (cmd
->stdout_to_stderr
)
915 fhout
= dup(fdout
[1]);
916 else if (cmd
->out
> 1)
917 fhout
= dup(cmd
->out
);
920 cmd
->args
.v
= prepare_git_cmd(&nargv
, sargv
);
921 else if (cmd
->use_shell
)
922 cmd
->args
.v
= prepare_shell_cmd(&nargv
, sargv
);
924 cmd
->pid
= mingw_spawnvpe(cmd
->args
.v
[0], cmd
->args
.v
,
926 cmd
->dir
, fhin
, fhout
, fherr
);
927 failed_errno
= errno
;
928 if (cmd
->pid
< 0 && (!cmd
->silent_exec_failure
|| errno
!= ENOENT
))
929 error_errno("cannot spawn %s", cmd
->args
.v
[0]);
930 if (cmd
->clean_on_exit
&& cmd
->pid
>= 0)
931 mark_child_for_cleanup(cmd
->pid
, cmd
);
933 strvec_clear(&nargv
);
945 trace2_child_exit(cmd
, -1);
959 child_process_clear(cmd
);
960 errno
= failed_errno
;
982 int finish_command(struct child_process
*cmd
)
984 int ret
= wait_or_whine(cmd
->pid
, cmd
->args
.v
[0], 0);
985 trace2_child_exit(cmd
, ret
);
986 child_process_clear(cmd
);
987 invalidate_lstat_cache();
991 int finish_command_in_signal(struct child_process
*cmd
)
993 int ret
= wait_or_whine(cmd
->pid
, cmd
->args
.v
[0], 1);
995 trace2_child_exit(cmd
, ret
);
1000 int run_command(struct child_process
*cmd
)
1004 if (cmd
->out
< 0 || cmd
->err
< 0)
1005 BUG("run_command with a pipe can cause deadlock");
1007 code
= start_command(cmd
);
1010 return finish_command(cmd
);
1014 static pthread_t main_thread
;
1015 static int main_thread_set
;
1016 static pthread_key_t async_key
;
1017 static pthread_key_t async_die_counter
;
1019 static void *run_thread(void *data
)
1021 struct async
*async
= data
;
1024 if (async
->isolate_sigpipe
) {
1027 sigaddset(&mask
, SIGPIPE
);
1028 if (pthread_sigmask(SIG_BLOCK
, &mask
, NULL
)) {
1029 ret
= error("unable to block SIGPIPE in async thread");
1034 pthread_setspecific(async_key
, async
);
1035 ret
= async
->proc(async
->proc_in
, async
->proc_out
, async
->data
);
1039 static NORETURN
void die_async(const char *err
, va_list params
)
1041 report_fn die_message_fn
= get_die_message_routine();
1043 die_message_fn(err
, params
);
1046 struct async
*async
= pthread_getspecific(async_key
);
1047 if (async
->proc_in
>= 0)
1048 close(async
->proc_in
);
1049 if (async
->proc_out
>= 0)
1050 close(async
->proc_out
);
1051 pthread_exit((void *)128);
1057 static int async_die_is_recursing(void)
1059 void *ret
= pthread_getspecific(async_die_counter
);
1060 pthread_setspecific(async_die_counter
, &async_die_counter
); /* set to any non-NULL valid pointer */
1066 if (!main_thread_set
)
1067 return 0; /* no asyncs started yet */
1068 return !pthread_equal(main_thread
, pthread_self());
1071 static void NORETURN
async_exit(int code
)
1073 pthread_exit((void *)(intptr_t)code
);
1079 void (**handlers
)(void);
1084 static int git_atexit_installed
;
1086 static void git_atexit_dispatch(void)
1090 for (i
=git_atexit_hdlrs
.nr
; i
; i
--)
1091 git_atexit_hdlrs
.handlers
[i
-1]();
1094 static void git_atexit_clear(void)
1096 free(git_atexit_hdlrs
.handlers
);
1097 memset(&git_atexit_hdlrs
, 0, sizeof(git_atexit_hdlrs
));
1098 git_atexit_installed
= 0;
1102 int git_atexit(void (*handler
)(void))
1104 ALLOC_GROW(git_atexit_hdlrs
.handlers
, git_atexit_hdlrs
.nr
+ 1, git_atexit_hdlrs
.alloc
);
1105 git_atexit_hdlrs
.handlers
[git_atexit_hdlrs
.nr
++] = handler
;
1106 if (!git_atexit_installed
) {
1107 if (atexit(&git_atexit_dispatch
))
1109 git_atexit_installed
= 1;
1113 #define atexit git_atexit
1115 static int process_is_async
;
1118 return process_is_async
;
1121 static void NORETURN
async_exit(int code
)
1128 void check_pipe(int err
)
1134 signal(SIGPIPE
, SIG_DFL
);
1136 /* Should never happen, but just in case... */
1141 int start_async(struct async
*async
)
1143 int need_in
, need_out
;
1144 int fdin
[2], fdout
[2];
1145 int proc_in
, proc_out
;
1147 need_in
= async
->in
< 0;
1149 if (pipe(fdin
) < 0) {
1152 return error_errno("cannot create pipe");
1154 async
->in
= fdin
[1];
1157 need_out
= async
->out
< 0;
1159 if (pipe(fdout
) < 0) {
1164 return error_errno("cannot create pipe");
1166 async
->out
= fdout
[0];
1172 proc_in
= async
->in
;
1177 proc_out
= fdout
[1];
1178 else if (async
->out
)
1179 proc_out
= async
->out
;
1184 /* Flush stdio before fork() to avoid cloning buffers */
1187 async
->pid
= fork();
1188 if (async
->pid
< 0) {
1189 error_errno("fork (async) failed");
1198 process_is_async
= 1;
1199 exit(!!async
->proc(proc_in
, proc_out
, async
->data
));
1202 mark_child_for_cleanup(async
->pid
, NULL
);
1211 else if (async
->out
)
1214 if (!main_thread_set
) {
1216 * We assume that the first time that start_async is called
1217 * it is from the main thread.
1219 main_thread_set
= 1;
1220 main_thread
= pthread_self();
1221 pthread_key_create(&async_key
, NULL
);
1222 pthread_key_create(&async_die_counter
, NULL
);
1223 set_die_routine(die_async
);
1224 set_die_is_recursing_routine(async_die_is_recursing
);
1228 set_cloexec(proc_in
);
1230 set_cloexec(proc_out
);
1231 async
->proc_in
= proc_in
;
1232 async
->proc_out
= proc_out
;
1234 int err
= pthread_create(&async
->tid
, NULL
, run_thread
, async
);
1236 error(_("cannot create async thread: %s"), strerror(err
));
1251 else if (async
->out
)
1256 int finish_async(struct async
*async
)
1259 int ret
= wait_or_whine(async
->pid
, "child process", 0);
1261 invalidate_lstat_cache();
1265 void *ret
= (void *)(intptr_t)(-1);
1267 if (pthread_join(async
->tid
, &ret
))
1268 error("pthread_join failed");
1269 invalidate_lstat_cache();
1270 return (int)(intptr_t)ret
;
1275 int async_with_fork(void)
1285 /* initialized by caller */
1287 int type
; /* POLLOUT or POLLIN */
1299 /* returned by pump_io */
1300 int error
; /* 0 for success, otherwise errno */
1306 static int pump_io_round(struct io_pump
*slots
, int nr
, struct pollfd
*pfd
)
1311 for (i
= 0; i
< nr
; i
++) {
1312 struct io_pump
*io
= &slots
[i
];
1315 pfd
[pollsize
].fd
= io
->fd
;
1316 pfd
[pollsize
].events
= io
->type
;
1317 io
->pfd
= &pfd
[pollsize
++];
1323 if (poll(pfd
, pollsize
, -1) < 0) {
1326 die_errno("poll failed");
1329 for (i
= 0; i
< nr
; i
++) {
1330 struct io_pump
*io
= &slots
[i
];
1335 if (!(io
->pfd
->revents
& (POLLOUT
|POLLIN
|POLLHUP
|POLLERR
|POLLNVAL
)))
1338 if (io
->type
== POLLOUT
) {
1342 * Don't use xwrite() here. It loops forever on EAGAIN,
1343 * and we're in our own poll() loop here.
1345 * Note that we lose xwrite()'s handling of MAX_IO_SIZE
1346 * and EINTR, so we have to implement those ourselves.
1348 len
= write(io
->fd
, io
->u
.out
.buf
,
1349 io
->u
.out
.len
<= MAX_IO_SIZE
?
1350 io
->u
.out
.len
: MAX_IO_SIZE
);
1352 if (errno
!= EINTR
&& errno
!= EAGAIN
&&
1359 io
->u
.out
.buf
+= len
;
1360 io
->u
.out
.len
-= len
;
1361 if (!io
->u
.out
.len
) {
1368 if (io
->type
== POLLIN
) {
1369 ssize_t len
= strbuf_read_once(io
->u
.in
.buf
,
1370 io
->fd
, io
->u
.in
.hint
);
1383 static int pump_io(struct io_pump
*slots
, int nr
)
1388 for (i
= 0; i
< nr
; i
++)
1391 ALLOC_ARRAY(pfd
, nr
);
1392 while (pump_io_round(slots
, nr
, pfd
))
1396 /* There may be multiple errno values, so just pick the first. */
1397 for (i
= 0; i
< nr
; i
++) {
1398 if (slots
[i
].error
) {
1399 errno
= slots
[i
].error
;
1407 int pipe_command(struct child_process
*cmd
,
1408 const char *in
, size_t in_len
,
1409 struct strbuf
*out
, size_t out_hint
,
1410 struct strbuf
*err
, size_t err_hint
)
1412 struct io_pump io
[3];
1422 if (start_command(cmd
) < 0)
1426 if (enable_pipe_nonblock(cmd
->in
) < 0) {
1427 error_errno("unable to make pipe non-blocking");
1435 io
[nr
].fd
= cmd
->in
;
1436 io
[nr
].type
= POLLOUT
;
1437 io
[nr
].u
.out
.buf
= in
;
1438 io
[nr
].u
.out
.len
= in_len
;
1442 io
[nr
].fd
= cmd
->out
;
1443 io
[nr
].type
= POLLIN
;
1444 io
[nr
].u
.in
.buf
= out
;
1445 io
[nr
].u
.in
.hint
= out_hint
;
1449 io
[nr
].fd
= cmd
->err
;
1450 io
[nr
].type
= POLLIN
;
1451 io
[nr
].u
.in
.buf
= err
;
1452 io
[nr
].u
.in
.hint
= err_hint
;
1456 if (pump_io(io
, nr
) < 0) {
1457 finish_command(cmd
); /* throw away exit code */
1461 return finish_command(cmd
);
1467 GIT_CP_WAIT_CLEANUP
,
1470 struct parallel_processes
{
1471 size_t nr_processes
;
1474 enum child_state state
;
1475 struct child_process process
;
1480 * The struct pollfd is logically part of *children,
1481 * but the system call expects it as its own array.
1485 unsigned shutdown
: 1;
1487 size_t output_owner
;
1488 struct strbuf buffered_output
; /* of finished children */
1491 struct parallel_processes_for_signal
{
1492 const struct run_process_parallel_opts
*opts
;
1493 const struct parallel_processes
*pp
;
1496 static void kill_children(const struct parallel_processes
*pp
,
1497 const struct run_process_parallel_opts
*opts
,
1500 for (size_t i
= 0; i
< opts
->processes
; i
++)
1501 if (pp
->children
[i
].state
== GIT_CP_WORKING
)
1502 kill(pp
->children
[i
].process
.pid
, signo
);
1505 static void kill_children_signal(const struct parallel_processes_for_signal
*pp_sig
,
1508 kill_children(pp_sig
->pp
, pp_sig
->opts
, signo
);
1511 static struct parallel_processes_for_signal
*pp_for_signal
;
1513 static void handle_children_on_signal(int signo
)
1515 kill_children_signal(pp_for_signal
, signo
);
1516 sigchain_pop(signo
);
1520 static void pp_init(struct parallel_processes
*pp
,
1521 const struct run_process_parallel_opts
*opts
,
1522 struct parallel_processes_for_signal
*pp_sig
)
1524 const size_t n
= opts
->processes
;
1527 BUG("you must provide a non-zero number of processes!");
1529 trace_printf("run_processes_parallel: preparing to run up to %"PRIuMAX
" tasks",
1532 if (!opts
->get_next_task
)
1533 BUG("you need to specify a get_next_task function");
1535 CALLOC_ARRAY(pp
->children
, n
);
1537 CALLOC_ARRAY(pp
->pfd
, n
);
1539 for (size_t i
= 0; i
< n
; i
++) {
1540 strbuf_init(&pp
->children
[i
].err
, 0);
1541 child_process_init(&pp
->children
[i
].process
);
1543 pp
->pfd
[i
].events
= POLLIN
| POLLHUP
;
1549 pp_sig
->opts
= opts
;
1550 pp_for_signal
= pp_sig
;
1551 sigchain_push_common(handle_children_on_signal
);
1554 static void pp_cleanup(struct parallel_processes
*pp
,
1555 const struct run_process_parallel_opts
*opts
)
1557 trace_printf("run_processes_parallel: done");
1558 for (size_t i
= 0; i
< opts
->processes
; i
++) {
1559 strbuf_release(&pp
->children
[i
].err
);
1560 child_process_clear(&pp
->children
[i
].process
);
1567 * When get_next_task added messages to the buffer in its last
1568 * iteration, the buffered output is non empty.
1570 strbuf_write(&pp
->buffered_output
, stderr
);
1571 strbuf_release(&pp
->buffered_output
);
1573 sigchain_pop_common();
1577 * 0 if a new task was started.
1578 * 1 if no new jobs was started (get_next_task ran out of work, non critical
1579 * problem with starting a new command)
1580 * <0 no new job was started, user wishes to shutdown early. Use negative code
1581 * to signal the children.
1583 static int pp_start_one(struct parallel_processes
*pp
,
1584 const struct run_process_parallel_opts
*opts
)
1589 for (i
= 0; i
< opts
->processes
; i
++)
1590 if (pp
->children
[i
].state
== GIT_CP_FREE
)
1592 if (i
== opts
->processes
)
1593 BUG("bookkeeping is hard");
1596 * By default, do not inherit stdin from the parent process - otherwise,
1597 * all children would share stdin! Users may overwrite this to provide
1598 * something to the child's stdin by having their 'get_next_task'
1599 * callback assign 0 to .no_stdin and an appropriate integer to .in.
1601 pp
->children
[i
].process
.no_stdin
= 1;
1603 code
= opts
->get_next_task(&pp
->children
[i
].process
,
1604 opts
->ungroup
? NULL
: &pp
->children
[i
].err
,
1606 &pp
->children
[i
].data
);
1608 if (!opts
->ungroup
) {
1609 strbuf_addbuf(&pp
->buffered_output
, &pp
->children
[i
].err
);
1610 strbuf_reset(&pp
->children
[i
].err
);
1614 if (!opts
->ungroup
) {
1615 pp
->children
[i
].process
.err
= -1;
1616 pp
->children
[i
].process
.stdout_to_stderr
= 1;
1619 if (start_command(&pp
->children
[i
].process
)) {
1620 if (opts
->start_failure
)
1621 code
= opts
->start_failure(opts
->ungroup
? NULL
:
1622 &pp
->children
[i
].err
,
1624 pp
->children
[i
].data
);
1628 if (!opts
->ungroup
) {
1629 strbuf_addbuf(&pp
->buffered_output
, &pp
->children
[i
].err
);
1630 strbuf_reset(&pp
->children
[i
].err
);
1638 pp
->children
[i
].state
= GIT_CP_WORKING
;
1640 pp
->pfd
[i
].fd
= pp
->children
[i
].process
.err
;
1644 static void pp_buffer_stderr(struct parallel_processes
*pp
,
1645 const struct run_process_parallel_opts
*opts
,
1648 while (poll(pp
->pfd
, opts
->processes
, output_timeout
) < 0) {
1651 pp_cleanup(pp
, opts
);
1655 /* Buffer output from all pipes. */
1656 for (size_t i
= 0; i
< opts
->processes
; i
++) {
1657 if (pp
->children
[i
].state
== GIT_CP_WORKING
&&
1658 pp
->pfd
[i
].revents
& (POLLIN
| POLLHUP
)) {
1659 int n
= strbuf_read_once(&pp
->children
[i
].err
,
1660 pp
->children
[i
].process
.err
, 0);
1662 close(pp
->children
[i
].process
.err
);
1663 pp
->children
[i
].state
= GIT_CP_WAIT_CLEANUP
;
1665 if (errno
!= EAGAIN
)
1671 static void pp_output(const struct parallel_processes
*pp
)
1673 size_t i
= pp
->output_owner
;
1675 if (pp
->children
[i
].state
== GIT_CP_WORKING
&&
1676 pp
->children
[i
].err
.len
) {
1677 strbuf_write(&pp
->children
[i
].err
, stderr
);
1678 strbuf_reset(&pp
->children
[i
].err
);
1682 static int pp_collect_finished(struct parallel_processes
*pp
,
1683 const struct run_process_parallel_opts
*opts
)
1689 while (pp
->nr_processes
> 0) {
1690 for (i
= 0; i
< opts
->processes
; i
++)
1691 if (pp
->children
[i
].state
== GIT_CP_WAIT_CLEANUP
)
1693 if (i
== opts
->processes
)
1696 code
= finish_command(&pp
->children
[i
].process
);
1698 if (opts
->task_finished
)
1699 code
= opts
->task_finished(code
, opts
->ungroup
? NULL
:
1700 &pp
->children
[i
].err
, opts
->data
,
1701 pp
->children
[i
].data
);
1711 pp
->children
[i
].state
= GIT_CP_FREE
;
1714 child_process_init(&pp
->children
[i
].process
);
1716 if (opts
->ungroup
) {
1717 ; /* no strbuf_*() work to do here */
1718 } else if (i
!= pp
->output_owner
) {
1719 strbuf_addbuf(&pp
->buffered_output
, &pp
->children
[i
].err
);
1720 strbuf_reset(&pp
->children
[i
].err
);
1722 const size_t n
= opts
->processes
;
1724 strbuf_write(&pp
->children
[i
].err
, stderr
);
1725 strbuf_reset(&pp
->children
[i
].err
);
1727 /* Output all other finished child processes */
1728 strbuf_write(&pp
->buffered_output
, stderr
);
1729 strbuf_reset(&pp
->buffered_output
);
1732 * Pick next process to output live.
1734 * For now we pick it randomly by doing a round
1735 * robin. Later we may want to pick the one with
1736 * the most output or the longest or shortest
1737 * running process time.
1739 for (i
= 0; i
< n
; i
++)
1740 if (pp
->children
[(pp
->output_owner
+ i
) % n
].state
== GIT_CP_WORKING
)
1742 pp
->output_owner
= (pp
->output_owner
+ i
) % n
;
1748 void run_processes_parallel(const struct run_process_parallel_opts
*opts
)
1751 int output_timeout
= 100;
1753 struct parallel_processes_for_signal pp_sig
;
1754 struct parallel_processes pp
= {
1755 .buffered_output
= STRBUF_INIT
,
1758 const char *tr2_category
= opts
->tr2_category
;
1759 const char *tr2_label
= opts
->tr2_label
;
1760 const int do_trace2
= tr2_category
&& tr2_label
;
1763 trace2_region_enter_printf(tr2_category
, tr2_label
, NULL
,
1764 "max:%d", opts
->processes
);
1766 pp_init(&pp
, opts
, &pp_sig
);
1769 i
< spawn_cap
&& !pp
.shutdown
&&
1770 pp
.nr_processes
< opts
->processes
;
1772 code
= pp_start_one(&pp
, opts
);
1777 kill_children(&pp
, opts
, -code
);
1781 if (!pp
.nr_processes
)
1783 if (opts
->ungroup
) {
1784 for (size_t i
= 0; i
< opts
->processes
; i
++)
1785 pp
.children
[i
].state
= GIT_CP_WAIT_CLEANUP
;
1787 pp_buffer_stderr(&pp
, opts
, output_timeout
);
1790 code
= pp_collect_finished(&pp
, opts
);
1794 kill_children(&pp
, opts
,-code
);
1798 pp_cleanup(&pp
, opts
);
1801 trace2_region_leave(tr2_category
, tr2_label
, NULL
);
1804 int run_auto_maintenance(int quiet
)
1807 struct child_process maint
= CHILD_PROCESS_INIT
;
1809 if (!git_config_get_bool("maintenance.auto", &enabled
) &&
1814 maint
.close_object_store
= 1;
1815 strvec_pushl(&maint
.args
, "maintenance", "run", "--auto", NULL
);
1816 strvec_push(&maint
.args
, quiet
? "--quiet" : "--no-quiet");
1818 return run_command(&maint
);
1821 void prepare_other_repo_env(struct strvec
*env
, const char *new_git_dir
)
1823 const char * const *var
;
1825 for (var
= local_repo_env
; *var
; var
++) {
1826 if (strcmp(*var
, CONFIG_DATA_ENVIRONMENT
) &&
1827 strcmp(*var
, CONFIG_COUNT_ENVIRONMENT
))
1828 strvec_push(env
, *var
);
1830 strvec_pushf(env
, "%s=%s", GIT_DIR_ENVIRONMENT
, new_git_dir
);
1833 enum start_bg_result
start_bg_command(struct child_process
*cmd
,
1834 start_bg_wait_cb
*wait_cb
,
1836 unsigned int timeout_sec
)
1838 enum start_bg_result sbgr
= SBGR_ERROR
;
1845 * We do not allow clean-on-exit because the child process
1846 * should persist in the background and possibly/probably
1847 * after this process exits. So we don't want to kill the
1848 * child during our atexit routine.
1850 if (cmd
->clean_on_exit
)
1851 BUG("start_bg_command() does not allow non-zero clean_on_exit");
1853 if (!cmd
->trace2_child_class
)
1854 cmd
->trace2_child_class
= "background";
1856 ret
= start_command(cmd
);
1859 * We assume that if `start_command()` fails, we
1860 * either get a complete `trace2_child_start() /
1861 * trace2_child_exit()` pair or it fails before the
1862 * `trace2_child_start()` is emitted, so we do not
1863 * need to worry about it here.
1865 * We also assume that `start_command()` does not add
1866 * us to the cleanup list. And that it calls
1867 * `child_process_clear()`.
1874 time_limit
+= timeout_sec
;
1877 pid_seen
= waitpid(cmd
->pid
, &wait_status
, WNOHANG
);
1881 * The child is currently running. Ask the callback
1882 * if the child is ready to do work or whether we
1883 * should keep waiting for it to boot up.
1885 ret
= (*wait_cb
)(cmd
, cb_data
);
1888 * The child is running and "ready".
1890 trace2_child_ready(cmd
, "ready");
1893 } else if (ret
> 0) {
1895 * The callback said to give it more time to boot up
1896 * (subject to our timeout limit).
1901 if (now
< time_limit
)
1905 * Our timeout has expired. We don't try to
1906 * kill the child, but rather let it continue
1907 * (hopefully) trying to startup.
1909 trace2_child_ready(cmd
, "timeout");
1910 sbgr
= SBGR_TIMEOUT
;
1914 * The cb gave up on this child. It is still running,
1915 * but our cb got an error trying to probe it.
1917 trace2_child_ready(cmd
, "error");
1918 sbgr
= SBGR_CB_ERROR
;
1923 else if (pid_seen
== cmd
->pid
) {
1924 int child_code
= -1;
1927 * The child started, but exited or was terminated
1928 * before becoming "ready".
1930 * We try to match the behavior of `wait_or_whine()`
1931 * WRT the handling of WIFSIGNALED() and WIFEXITED()
1932 * and convert the child's status to a return code for
1933 * tracing purposes and emit the `trace2_child_exit()`
1936 * We do not want the wait_or_whine() error message
1937 * because we will be called by client-side library
1940 if (WIFEXITED(wait_status
))
1941 child_code
= WEXITSTATUS(wait_status
);
1942 else if (WIFSIGNALED(wait_status
))
1943 child_code
= WTERMSIG(wait_status
) + 128;
1944 trace2_child_exit(cmd
, child_code
);
1950 else if (pid_seen
< 0 && errno
== EINTR
)
1953 trace2_child_exit(cmd
, -1);
1957 child_process_clear(cmd
);
1958 invalidate_lstat_cache();