1 #define USE_THE_REPOSITORY_VARIABLE
3 #include "git-compat-util.h"
4 #include "run-command.h"
5 #include "environment.h"
11 #include "thread-utils.h"
13 #include "string-list.h"
19 #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
;
173 #ifndef locate_in_PATH
175 * Search $PATH for a command. This emulates the path search that
176 * execvp would perform, without actually executing the command so it
177 * can be used before fork() to prepare to run a command using
178 * execve() or after execvp() to diagnose why it failed.
180 * The caller should ensure that file contains no directory
183 * Returns the path to the command, as found in $PATH or NULL if the
184 * command could not be found. The caller inherits ownership of the memory
185 * used to store the resultant path.
187 * This should not be used on Windows, where the $PATH search rules
188 * are more complicated (e.g., a search for "foo" should find
191 static char *locate_in_PATH(const char *file
)
193 const char *p
= getenv("PATH");
194 struct strbuf buf
= STRBUF_INIT
;
200 const char *end
= strchrnul(p
, ':');
204 /* POSIX specifies an empty entry as the current directory. */
206 strbuf_add(&buf
, p
, end
- p
);
207 strbuf_addch(&buf
, '/');
209 strbuf_addstr(&buf
, file
);
211 if (is_executable(buf
.buf
))
212 return strbuf_detach(&buf
, NULL
);
219 strbuf_release(&buf
);
224 int exists_in_PATH(const char *command
)
226 char *r
= locate_in_PATH(command
);
227 int found
= r
!= NULL
;
232 int sane_execvp(const char *file
, char * const argv
[])
234 #ifndef GIT_WINDOWS_NATIVE
236 * execvp() doesn't return, so we all we can do is tell trace2
237 * what we are about to do and let it leave a hint in the log
238 * (unless of course the execvp() fails).
240 * we skip this for Windows because the compat layer already
241 * has to emulate the execvp() call anyway.
243 int exec_id
= trace2_exec(file
, (const char **)argv
);
246 if (!execvp(file
, argv
))
247 return 0; /* cannot happen ;-) */
249 #ifndef GIT_WINDOWS_NATIVE
252 trace2_exec_result(exec_id
, ec
);
258 * When a command can't be found because one of the directories
259 * listed in $PATH is unsearchable, execvp reports EACCES, but
260 * careful usability testing (read: analysis of occasional bug
261 * reports) reveals that "No such file or directory" is more
264 * We avoid commands with "/", because execvp will not do $PATH
265 * lookups in that case.
267 * The reassignment of EACCES to errno looks like a no-op below,
268 * but we need to protect against exists_in_PATH overwriting errno.
270 if (errno
== EACCES
&& !strchr(file
, '/'))
271 errno
= exists_in_PATH(file
) ? EACCES
: ENOENT
;
272 else if (errno
== ENOTDIR
&& !strchr(file
, '/'))
277 static const char **prepare_shell_cmd(struct strvec
*out
, const char **argv
)
280 BUG("shell command is empty");
282 if (strcspn(argv
[0], "|&;<>()$`\\\"' \t\n*?[#~=%") != strlen(argv
[0])) {
283 #ifndef GIT_WINDOWS_NATIVE
284 strvec_push(out
, SHELL_PATH
);
286 strvec_push(out
, "sh");
288 strvec_push(out
, "-c");
291 * If we have no extra arguments, we do not even need to
292 * bother with the "$@" magic.
295 strvec_push(out
, argv
[0]);
297 strvec_pushf(out
, "%s \"$@\"", argv
[0]);
300 strvec_pushv(out
, argv
);
304 #ifndef GIT_WINDOWS_NATIVE
305 static int child_notifier
= -1;
311 CHILD_ERR_SIGPROCMASK
,
317 enum child_errcode err
;
318 int syserr
; /* errno */
321 static void child_die(enum child_errcode err
)
323 struct child_err buf
;
328 /* write(2) on buf smaller than PIPE_BUF (min 512) is atomic: */
329 xwrite(child_notifier
, &buf
, sizeof(buf
));
333 static void child_dup2(int fd
, int to
)
335 if (dup2(fd
, to
) < 0)
336 child_die(CHILD_ERR_DUP2
);
339 static void child_close(int fd
)
342 child_die(CHILD_ERR_CLOSE
);
345 static void child_close_pair(int fd
[2])
351 static void child_error_fn(const char *err UNUSED
, va_list params UNUSED
)
353 const char msg
[] = "error() should not be called in child\n";
354 xwrite(2, msg
, sizeof(msg
) - 1);
357 static void child_warn_fn(const char *err UNUSED
, va_list params UNUSED
)
359 const char msg
[] = "warn() should not be called in child\n";
360 xwrite(2, msg
, sizeof(msg
) - 1);
363 static void NORETURN
child_die_fn(const char *err UNUSED
, va_list params UNUSED
)
365 const char msg
[] = "die() should not be called in child\n";
366 xwrite(2, msg
, sizeof(msg
) - 1);
370 /* this runs in the parent process */
371 static void child_err_spew(struct child_process
*cmd
, struct child_err
*cerr
)
373 static void (*old_errfn
)(const char *err
, va_list params
);
374 report_fn die_message_routine
= get_die_message_routine();
376 old_errfn
= get_error_routine();
377 set_error_routine(die_message_routine
);
378 errno
= cerr
->syserr
;
381 case CHILD_ERR_CHDIR
:
382 error_errno("exec '%s': cd to '%s' failed",
383 cmd
->args
.v
[0], cmd
->dir
);
386 error_errno("dup2() in child failed");
388 case CHILD_ERR_CLOSE
:
389 error_errno("close() in child failed");
391 case CHILD_ERR_SIGPROCMASK
:
392 error_errno("sigprocmask failed restoring signals");
394 case CHILD_ERR_SILENT
:
396 case CHILD_ERR_ERRNO
:
397 error_errno("cannot exec '%s'", cmd
->args
.v
[0]);
400 set_error_routine(old_errfn
);
403 static int prepare_cmd(struct strvec
*out
, const struct child_process
*cmd
)
406 BUG("command is empty");
409 * Add SHELL_PATH so in the event exec fails with ENOEXEC we can
410 * attempt to interpret the command with 'sh'.
412 strvec_push(out
, SHELL_PATH
);
415 prepare_git_cmd(out
, cmd
->args
.v
);
416 } else if (cmd
->use_shell
) {
417 prepare_shell_cmd(out
, cmd
->args
.v
);
419 strvec_pushv(out
, cmd
->args
.v
);
423 * If there are no dir separator characters in the command then perform
424 * a path lookup and use the resolved path as the command to exec. If
425 * there are dir separator characters, we have exec attempt to invoke
426 * the command directly.
428 if (!has_dir_sep(out
->v
[1])) {
429 char *program
= locate_in_PATH(out
->v
[1]);
431 free((char *)out
->v
[1]);
443 static char **prep_childenv(const char *const *deltaenv
)
445 extern char **environ
;
447 struct string_list env
= STRING_LIST_INIT_DUP
;
448 struct strbuf key
= STRBUF_INIT
;
449 const char *const *p
;
452 /* Construct a sorted string list consisting of the current environ */
453 for (p
= (const char *const *) environ
; p
&& *p
; p
++) {
454 const char *equals
= strchr(*p
, '=');
458 strbuf_add(&key
, *p
, equals
- *p
);
459 string_list_append(&env
, key
.buf
)->util
= (void *) *p
;
461 string_list_append(&env
, *p
)->util
= (void *) *p
;
464 string_list_sort(&env
);
466 /* Merge in 'deltaenv' with the current environ */
467 for (p
= deltaenv
; p
&& *p
; p
++) {
468 const char *equals
= strchr(*p
, '=');
471 /* ('key=value'), insert or replace entry */
473 strbuf_add(&key
, *p
, equals
- *p
);
474 string_list_insert(&env
, key
.buf
)->util
= (void *) *p
;
476 /* otherwise ('key') remove existing entry */
477 string_list_remove(&env
, *p
, 0);
481 /* Create an array of 'char *' to be used as the childenv */
482 ALLOC_ARRAY(childenv
, env
.nr
+ 1);
483 for (i
= 0; i
< env
.nr
; i
++)
484 childenv
[i
] = env
.items
[i
].util
;
485 childenv
[env
.nr
] = NULL
;
487 string_list_clear(&env
, 0);
488 strbuf_release(&key
);
492 struct atfork_state
{
499 #define CHECK_BUG(err, msg) \
503 BUG("%s: %s", msg, strerror(e)); \
506 static void atfork_prepare(struct atfork_state
*as
)
510 if (sigfillset(&all
))
511 die_errno("sigfillset");
513 if (sigprocmask(SIG_SETMASK
, &all
, &as
->old
))
514 die_errno("sigprocmask");
516 CHECK_BUG(pthread_sigmask(SIG_SETMASK
, &all
, &as
->old
),
517 "blocking all signals");
518 CHECK_BUG(pthread_setcancelstate(PTHREAD_CANCEL_DISABLE
, &as
->cs
),
519 "disabling cancellation");
523 static void atfork_parent(struct atfork_state
*as
)
526 if (sigprocmask(SIG_SETMASK
, &as
->old
, NULL
))
527 die_errno("sigprocmask");
529 CHECK_BUG(pthread_setcancelstate(as
->cs
, NULL
),
530 "re-enabling cancellation");
531 CHECK_BUG(pthread_sigmask(SIG_SETMASK
, &as
->old
, NULL
),
532 "restoring signal mask");
535 #endif /* GIT_WINDOWS_NATIVE */
537 static inline void set_cloexec(int fd
)
539 int flags
= fcntl(fd
, F_GETFD
);
541 fcntl(fd
, F_SETFD
, flags
| FD_CLOEXEC
);
544 static int wait_or_whine(pid_t pid
, const char *argv0
, int in_signal
)
546 int status
, code
= -1;
548 int failed_errno
= 0;
550 while ((waiting
= waitpid(pid
, &status
, 0)) < 0 && errno
== EINTR
)
554 failed_errno
= errno
;
556 error_errno("waitpid for %s failed", argv0
);
557 } else if (waiting
!= pid
) {
559 error("waitpid is confused (%s)", argv0
);
560 } else if (WIFSIGNALED(status
)) {
561 code
= WTERMSIG(status
);
562 if (!in_signal
&& code
!= SIGINT
&& code
!= SIGQUIT
&& code
!= SIGPIPE
)
563 error("%s died of signal %d", argv0
, code
);
565 * This return value is chosen so that code & 0xff
566 * mimics the exit code that a POSIX shell would report for
567 * a program that died from this signal.
570 } else if (WIFEXITED(status
)) {
571 code
= WEXITSTATUS(status
);
574 error("waitpid is confused (%s)", argv0
);
578 clear_child_for_cleanup(pid
);
580 errno
= failed_errno
;
584 static void trace_add_env(struct strbuf
*dst
, const char *const *deltaenv
)
586 struct string_list envs
= STRING_LIST_INIT_DUP
;
587 const char *const *e
;
589 int printed_unset
= 0;
591 /* Last one wins, see run-command.c:prep_childenv() for context */
592 for (e
= deltaenv
; e
&& *e
; e
++) {
593 struct strbuf key
= STRBUF_INIT
;
594 char *equals
= strchr(*e
, '=');
597 strbuf_add(&key
, *e
, equals
- *e
);
598 string_list_insert(&envs
, key
.buf
)->util
= equals
+ 1;
600 string_list_insert(&envs
, *e
)->util
= NULL
;
602 strbuf_release(&key
);
605 /* "unset X Y...;" */
606 for (i
= 0; i
< envs
.nr
; i
++) {
607 const char *var
= envs
.items
[i
].string
;
608 const char *val
= envs
.items
[i
].util
;
610 if (val
|| !getenv(var
))
613 if (!printed_unset
) {
614 strbuf_addstr(dst
, " unset");
617 strbuf_addf(dst
, " %s", var
);
620 strbuf_addch(dst
, ';');
622 /* ... followed by "A=B C=D ..." */
623 for (i
= 0; i
< envs
.nr
; i
++) {
624 const char *var
= envs
.items
[i
].string
;
625 const char *val
= envs
.items
[i
].util
;
631 oldval
= getenv(var
);
632 if (oldval
&& !strcmp(val
, oldval
))
635 strbuf_addf(dst
, " %s=", var
);
636 sq_quote_buf_pretty(dst
, val
);
638 string_list_clear(&envs
, 0);
641 static void trace_run_command(const struct child_process
*cp
)
643 struct strbuf buf
= STRBUF_INIT
;
645 if (!trace_want(&trace_default_key
))
648 strbuf_addstr(&buf
, "trace: run_command:");
650 strbuf_addstr(&buf
, " cd ");
651 sq_quote_buf_pretty(&buf
, cp
->dir
);
652 strbuf_addch(&buf
, ';');
654 trace_add_env(&buf
, cp
->env
.v
);
656 strbuf_addstr(&buf
, " git");
657 sq_quote_argv_pretty(&buf
, cp
->args
.v
);
659 trace_printf("%s", buf
.buf
);
660 strbuf_release(&buf
);
663 int start_command(struct child_process
*cmd
)
665 int need_in
, need_out
, need_err
;
666 int fdin
[2], fdout
[2], fderr
[2];
671 * In case of errors we must keep the promise to close FDs
672 * that have been passed in via ->in and ->out.
675 need_in
= !cmd
->no_stdin
&& cmd
->in
< 0;
677 if (pipe(fdin
) < 0) {
678 failed_errno
= errno
;
681 str
= "standard input";
687 need_out
= !cmd
->no_stdout
688 && !cmd
->stdout_to_stderr
691 if (pipe(fdout
) < 0) {
692 failed_errno
= errno
;
697 str
= "standard output";
703 need_err
= !cmd
->no_stderr
&& cmd
->err
< 0;
705 if (pipe(fderr
) < 0) {
706 failed_errno
= errno
;
715 str
= "standard error";
717 error("cannot create %s pipe for %s: %s",
718 str
, cmd
->args
.v
[0], strerror(failed_errno
));
719 child_process_clear(cmd
);
720 errno
= failed_errno
;
726 trace2_child_start(cmd
);
727 trace_run_command(cmd
);
731 if (cmd
->close_object_store
)
732 close_object_store(the_repository
->objects
);
734 #ifndef GIT_WINDOWS_NATIVE
739 struct strvec argv
= STRVEC_INIT
;
740 struct child_err cerr
;
741 struct atfork_state as
;
743 if (prepare_cmd(&argv
, cmd
) < 0) {
744 failed_errno
= errno
;
746 if (!cmd
->silent_exec_failure
)
747 error_errno("cannot run %s", cmd
->args
.v
[0]);
751 trace_argv_printf(&argv
.v
[1], "trace: start_command:");
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 (cmd
->silent_exec_failure
&& errno
== ENOENT
)
850 child_die(CHILD_ERR_SILENT
);
851 child_die(CHILD_ERR_ERRNO
);
855 error_errno("cannot fork() for %s", cmd
->args
.v
[0]);
856 else if (cmd
->clean_on_exit
)
857 mark_child_for_cleanup(cmd
->pid
, cmd
);
860 * Wait for child's exec. If the exec succeeds (or if fork()
861 * failed), EOF is seen immediately by the parent. Otherwise, the
862 * child process sends a child_err struct.
863 * Note that use of this infrastructure is completely advisory,
864 * therefore, we keep error checks minimal.
866 close(notify_pipe
[1]);
867 if (xread(notify_pipe
[0], &cerr
, sizeof(cerr
)) == sizeof(cerr
)) {
869 * At this point we know that fork() succeeded, but exec()
870 * failed. Errors have been reported to our stderr.
872 wait_or_whine(cmd
->pid
, cmd
->args
.v
[0], 0);
873 child_err_spew(cmd
, &cerr
);
874 failed_errno
= errno
;
877 close(notify_pipe
[0]);
888 int fhin
= 0, fhout
= 1, fherr
= 2;
889 const char **sargv
= cmd
->args
.v
;
890 struct strvec nargv
= STRVEC_INIT
;
893 fhin
= open("/dev/null", O_RDWR
);
900 fherr
= open("/dev/null", O_RDWR
);
902 fherr
= dup(fderr
[1]);
903 else if (cmd
->err
> 2)
904 fherr
= dup(cmd
->err
);
907 fhout
= open("/dev/null", O_RDWR
);
908 else if (cmd
->stdout_to_stderr
)
911 fhout
= dup(fdout
[1]);
912 else if (cmd
->out
> 1)
913 fhout
= dup(cmd
->out
);
916 cmd
->args
.v
= prepare_git_cmd(&nargv
, sargv
);
917 else if (cmd
->use_shell
)
918 cmd
->args
.v
= prepare_shell_cmd(&nargv
, sargv
);
920 trace_argv_printf(cmd
->args
.v
, "trace: start_command:");
921 cmd
->pid
= mingw_spawnvpe(cmd
->args
.v
[0], cmd
->args
.v
,
923 cmd
->dir
, fhin
, fhout
, fherr
);
924 failed_errno
= errno
;
925 if (cmd
->pid
< 0 && (!cmd
->silent_exec_failure
|| errno
!= ENOENT
))
926 error_errno("cannot spawn %s", cmd
->args
.v
[0]);
927 if (cmd
->clean_on_exit
&& cmd
->pid
>= 0)
928 mark_child_for_cleanup(cmd
->pid
, cmd
);
930 strvec_clear(&nargv
);
942 trace2_child_exit(cmd
, -1);
956 child_process_clear(cmd
);
957 errno
= failed_errno
;
979 int finish_command(struct child_process
*cmd
)
981 int ret
= wait_or_whine(cmd
->pid
, cmd
->args
.v
[0], 0);
982 trace2_child_exit(cmd
, ret
);
983 child_process_clear(cmd
);
984 invalidate_lstat_cache();
988 int finish_command_in_signal(struct child_process
*cmd
)
990 int ret
= wait_or_whine(cmd
->pid
, cmd
->args
.v
[0], 1);
992 trace2_child_exit(cmd
, ret
);
997 int run_command(struct child_process
*cmd
)
1001 if (cmd
->out
< 0 || cmd
->err
< 0)
1002 BUG("run_command with a pipe can cause deadlock");
1004 code
= start_command(cmd
);
1007 return finish_command(cmd
);
1011 static pthread_t main_thread
;
1012 static int main_thread_set
;
1013 static pthread_key_t async_key
;
1014 static pthread_key_t async_die_counter
;
1016 static void *run_thread(void *data
)
1018 struct async
*async
= data
;
1021 if (async
->isolate_sigpipe
) {
1024 sigaddset(&mask
, SIGPIPE
);
1025 if (pthread_sigmask(SIG_BLOCK
, &mask
, NULL
)) {
1026 ret
= error("unable to block SIGPIPE in async thread");
1031 pthread_setspecific(async_key
, async
);
1032 ret
= async
->proc(async
->proc_in
, async
->proc_out
, async
->data
);
1036 static NORETURN
void die_async(const char *err
, va_list params
)
1038 report_fn die_message_fn
= get_die_message_routine();
1040 die_message_fn(err
, params
);
1043 struct async
*async
= pthread_getspecific(async_key
);
1044 if (async
->proc_in
>= 0)
1045 close(async
->proc_in
);
1046 if (async
->proc_out
>= 0)
1047 close(async
->proc_out
);
1048 pthread_exit((void *)128);
1054 static int async_die_is_recursing(void)
1056 void *ret
= pthread_getspecific(async_die_counter
);
1057 pthread_setspecific(async_die_counter
, &async_die_counter
); /* set to any non-NULL valid pointer */
1063 if (!main_thread_set
)
1064 return 0; /* no asyncs started yet */
1065 return !pthread_equal(main_thread
, pthread_self());
1068 static void NORETURN
async_exit(int code
)
1070 pthread_exit((void *)(intptr_t)code
);
1076 void (**handlers
)(void);
1081 static int git_atexit_installed
;
1083 static void git_atexit_dispatch(void)
1087 for (i
=git_atexit_hdlrs
.nr
; i
; i
--)
1088 git_atexit_hdlrs
.handlers
[i
-1]();
1091 static void git_atexit_clear(void)
1093 free(git_atexit_hdlrs
.handlers
);
1094 memset(&git_atexit_hdlrs
, 0, sizeof(git_atexit_hdlrs
));
1095 git_atexit_installed
= 0;
1099 int git_atexit(void (*handler
)(void))
1101 ALLOC_GROW(git_atexit_hdlrs
.handlers
, git_atexit_hdlrs
.nr
+ 1, git_atexit_hdlrs
.alloc
);
1102 git_atexit_hdlrs
.handlers
[git_atexit_hdlrs
.nr
++] = handler
;
1103 if (!git_atexit_installed
) {
1104 if (atexit(&git_atexit_dispatch
))
1106 git_atexit_installed
= 1;
1110 #define atexit git_atexit
1112 static int process_is_async
;
1115 return process_is_async
;
1118 static void NORETURN
async_exit(int code
)
1125 void check_pipe(int err
)
1131 signal(SIGPIPE
, SIG_DFL
);
1133 /* Should never happen, but just in case... */
1138 int start_async(struct async
*async
)
1140 int need_in
, need_out
;
1141 int fdin
[2], fdout
[2];
1142 int proc_in
, proc_out
;
1144 need_in
= async
->in
< 0;
1146 if (pipe(fdin
) < 0) {
1149 return error_errno("cannot create pipe");
1151 async
->in
= fdin
[1];
1154 need_out
= async
->out
< 0;
1156 if (pipe(fdout
) < 0) {
1161 return error_errno("cannot create pipe");
1163 async
->out
= fdout
[0];
1169 proc_in
= async
->in
;
1174 proc_out
= fdout
[1];
1175 else if (async
->out
)
1176 proc_out
= async
->out
;
1181 /* Flush stdio before fork() to avoid cloning buffers */
1184 async
->pid
= fork();
1185 if (async
->pid
< 0) {
1186 error_errno("fork (async) failed");
1195 process_is_async
= 1;
1196 exit(!!async
->proc(proc_in
, proc_out
, async
->data
));
1199 mark_child_for_cleanup(async
->pid
, NULL
);
1208 else if (async
->out
)
1211 if (!main_thread_set
) {
1213 * We assume that the first time that start_async is called
1214 * it is from the main thread.
1216 main_thread_set
= 1;
1217 main_thread
= pthread_self();
1218 pthread_key_create(&async_key
, NULL
);
1219 pthread_key_create(&async_die_counter
, NULL
);
1220 set_die_routine(die_async
);
1221 set_die_is_recursing_routine(async_die_is_recursing
);
1225 set_cloexec(proc_in
);
1227 set_cloexec(proc_out
);
1228 async
->proc_in
= proc_in
;
1229 async
->proc_out
= proc_out
;
1231 int err
= pthread_create(&async
->tid
, NULL
, run_thread
, async
);
1233 error(_("cannot create async thread: %s"), strerror(err
));
1248 else if (async
->out
)
1253 int finish_async(struct async
*async
)
1256 int ret
= wait_or_whine(async
->pid
, "child process", 0);
1258 invalidate_lstat_cache();
1262 void *ret
= (void *)(intptr_t)(-1);
1264 if (pthread_join(async
->tid
, &ret
))
1265 error("pthread_join failed");
1266 invalidate_lstat_cache();
1267 return (int)(intptr_t)ret
;
1272 int async_with_fork(void)
1282 /* initialized by caller */
1284 int type
; /* POLLOUT or POLLIN */
1296 /* returned by pump_io */
1297 int error
; /* 0 for success, otherwise errno */
1303 static int pump_io_round(struct io_pump
*slots
, int nr
, struct pollfd
*pfd
)
1308 for (i
= 0; i
< nr
; i
++) {
1309 struct io_pump
*io
= &slots
[i
];
1312 pfd
[pollsize
].fd
= io
->fd
;
1313 pfd
[pollsize
].events
= io
->type
;
1314 io
->pfd
= &pfd
[pollsize
++];
1320 if (poll(pfd
, pollsize
, -1) < 0) {
1323 die_errno("poll failed");
1326 for (i
= 0; i
< nr
; i
++) {
1327 struct io_pump
*io
= &slots
[i
];
1332 if (!(io
->pfd
->revents
& (POLLOUT
|POLLIN
|POLLHUP
|POLLERR
|POLLNVAL
)))
1335 if (io
->type
== POLLOUT
) {
1339 * Don't use xwrite() here. It loops forever on EAGAIN,
1340 * and we're in our own poll() loop here.
1342 * Note that we lose xwrite()'s handling of MAX_IO_SIZE
1343 * and EINTR, so we have to implement those ourselves.
1345 len
= write(io
->fd
, io
->u
.out
.buf
,
1346 io
->u
.out
.len
<= MAX_IO_SIZE
?
1347 io
->u
.out
.len
: MAX_IO_SIZE
);
1349 if (errno
!= EINTR
&& errno
!= EAGAIN
&&
1356 io
->u
.out
.buf
+= len
;
1357 io
->u
.out
.len
-= len
;
1358 if (!io
->u
.out
.len
) {
1365 if (io
->type
== POLLIN
) {
1366 ssize_t len
= strbuf_read_once(io
->u
.in
.buf
,
1367 io
->fd
, io
->u
.in
.hint
);
1380 static int pump_io(struct io_pump
*slots
, int nr
)
1385 for (i
= 0; i
< nr
; i
++)
1388 ALLOC_ARRAY(pfd
, nr
);
1389 while (pump_io_round(slots
, nr
, pfd
))
1393 /* There may be multiple errno values, so just pick the first. */
1394 for (i
= 0; i
< nr
; i
++) {
1395 if (slots
[i
].error
) {
1396 errno
= slots
[i
].error
;
1404 int pipe_command(struct child_process
*cmd
,
1405 const char *in
, size_t in_len
,
1406 struct strbuf
*out
, size_t out_hint
,
1407 struct strbuf
*err
, size_t err_hint
)
1409 struct io_pump io
[3];
1419 if (start_command(cmd
) < 0)
1423 if (enable_pipe_nonblock(cmd
->in
) < 0) {
1424 error_errno("unable to make pipe non-blocking");
1432 io
[nr
].fd
= cmd
->in
;
1433 io
[nr
].type
= POLLOUT
;
1434 io
[nr
].u
.out
.buf
= in
;
1435 io
[nr
].u
.out
.len
= in_len
;
1439 io
[nr
].fd
= cmd
->out
;
1440 io
[nr
].type
= POLLIN
;
1441 io
[nr
].u
.in
.buf
= out
;
1442 io
[nr
].u
.in
.hint
= out_hint
;
1446 io
[nr
].fd
= cmd
->err
;
1447 io
[nr
].type
= POLLIN
;
1448 io
[nr
].u
.in
.buf
= err
;
1449 io
[nr
].u
.in
.hint
= err_hint
;
1453 if (pump_io(io
, nr
) < 0) {
1454 finish_command(cmd
); /* throw away exit code */
1458 return finish_command(cmd
);
1464 GIT_CP_WAIT_CLEANUP
,
1467 struct parallel_processes
{
1468 size_t nr_processes
;
1471 enum child_state state
;
1472 struct child_process process
;
1477 * The struct pollfd is logically part of *children,
1478 * but the system call expects it as its own array.
1482 unsigned shutdown
: 1;
1484 size_t output_owner
;
1485 struct strbuf buffered_output
; /* of finished children */
1488 struct parallel_processes_for_signal
{
1489 const struct run_process_parallel_opts
*opts
;
1490 const struct parallel_processes
*pp
;
1493 static void kill_children(const struct parallel_processes
*pp
,
1494 const struct run_process_parallel_opts
*opts
,
1497 for (size_t i
= 0; i
< opts
->processes
; i
++)
1498 if (pp
->children
[i
].state
== GIT_CP_WORKING
)
1499 kill(pp
->children
[i
].process
.pid
, signo
);
1502 static void kill_children_signal(const struct parallel_processes_for_signal
*pp_sig
,
1505 kill_children(pp_sig
->pp
, pp_sig
->opts
, signo
);
1508 static struct parallel_processes_for_signal
*pp_for_signal
;
1510 static void handle_children_on_signal(int signo
)
1512 kill_children_signal(pp_for_signal
, signo
);
1513 sigchain_pop(signo
);
1517 static void pp_init(struct parallel_processes
*pp
,
1518 const struct run_process_parallel_opts
*opts
,
1519 struct parallel_processes_for_signal
*pp_sig
)
1521 const size_t n
= opts
->processes
;
1524 BUG("you must provide a non-zero number of processes!");
1526 trace_printf("run_processes_parallel: preparing to run up to %"PRIuMAX
" tasks",
1529 if (!opts
->get_next_task
)
1530 BUG("you need to specify a get_next_task function");
1532 CALLOC_ARRAY(pp
->children
, n
);
1534 CALLOC_ARRAY(pp
->pfd
, n
);
1536 for (size_t i
= 0; i
< n
; i
++) {
1537 strbuf_init(&pp
->children
[i
].err
, 0);
1538 child_process_init(&pp
->children
[i
].process
);
1540 pp
->pfd
[i
].events
= POLLIN
| POLLHUP
;
1546 pp_sig
->opts
= opts
;
1547 pp_for_signal
= pp_sig
;
1548 sigchain_push_common(handle_children_on_signal
);
1551 static void pp_cleanup(struct parallel_processes
*pp
,
1552 const struct run_process_parallel_opts
*opts
)
1554 trace_printf("run_processes_parallel: done");
1555 for (size_t i
= 0; i
< opts
->processes
; i
++) {
1556 strbuf_release(&pp
->children
[i
].err
);
1557 child_process_clear(&pp
->children
[i
].process
);
1564 * When get_next_task added messages to the buffer in its last
1565 * iteration, the buffered output is non empty.
1567 strbuf_write(&pp
->buffered_output
, stderr
);
1568 strbuf_release(&pp
->buffered_output
);
1570 sigchain_pop_common();
1574 * 0 if a new task was started.
1575 * 1 if no new jobs was started (get_next_task ran out of work, non critical
1576 * problem with starting a new command)
1577 * <0 no new job was started, user wishes to shutdown early. Use negative code
1578 * to signal the children.
1580 static int pp_start_one(struct parallel_processes
*pp
,
1581 const struct run_process_parallel_opts
*opts
)
1586 for (i
= 0; i
< opts
->processes
; i
++)
1587 if (pp
->children
[i
].state
== GIT_CP_FREE
)
1589 if (i
== opts
->processes
)
1590 BUG("bookkeeping is hard");
1593 * By default, do not inherit stdin from the parent process - otherwise,
1594 * all children would share stdin! Users may overwrite this to provide
1595 * something to the child's stdin by having their 'get_next_task'
1596 * callback assign 0 to .no_stdin and an appropriate integer to .in.
1598 pp
->children
[i
].process
.no_stdin
= 1;
1600 code
= opts
->get_next_task(&pp
->children
[i
].process
,
1601 opts
->ungroup
? NULL
: &pp
->children
[i
].err
,
1603 &pp
->children
[i
].data
);
1605 if (!opts
->ungroup
) {
1606 strbuf_addbuf(&pp
->buffered_output
, &pp
->children
[i
].err
);
1607 strbuf_reset(&pp
->children
[i
].err
);
1611 if (!opts
->ungroup
) {
1612 pp
->children
[i
].process
.err
= -1;
1613 pp
->children
[i
].process
.stdout_to_stderr
= 1;
1616 if (start_command(&pp
->children
[i
].process
)) {
1617 if (opts
->start_failure
)
1618 code
= opts
->start_failure(opts
->ungroup
? NULL
:
1619 &pp
->children
[i
].err
,
1621 pp
->children
[i
].data
);
1625 if (!opts
->ungroup
) {
1626 strbuf_addbuf(&pp
->buffered_output
, &pp
->children
[i
].err
);
1627 strbuf_reset(&pp
->children
[i
].err
);
1635 pp
->children
[i
].state
= GIT_CP_WORKING
;
1637 pp
->pfd
[i
].fd
= pp
->children
[i
].process
.err
;
1641 static void pp_buffer_stderr(struct parallel_processes
*pp
,
1642 const struct run_process_parallel_opts
*opts
,
1645 while (poll(pp
->pfd
, opts
->processes
, output_timeout
) < 0) {
1648 pp_cleanup(pp
, opts
);
1652 /* Buffer output from all pipes. */
1653 for (size_t i
= 0; i
< opts
->processes
; i
++) {
1654 if (pp
->children
[i
].state
== GIT_CP_WORKING
&&
1655 pp
->pfd
[i
].revents
& (POLLIN
| POLLHUP
)) {
1656 int n
= strbuf_read_once(&pp
->children
[i
].err
,
1657 pp
->children
[i
].process
.err
, 0);
1659 close(pp
->children
[i
].process
.err
);
1660 pp
->children
[i
].state
= GIT_CP_WAIT_CLEANUP
;
1662 if (errno
!= EAGAIN
)
1668 static void pp_output(const struct parallel_processes
*pp
)
1670 size_t i
= pp
->output_owner
;
1672 if (pp
->children
[i
].state
== GIT_CP_WORKING
&&
1673 pp
->children
[i
].err
.len
) {
1674 strbuf_write(&pp
->children
[i
].err
, stderr
);
1675 strbuf_reset(&pp
->children
[i
].err
);
1679 static int pp_collect_finished(struct parallel_processes
*pp
,
1680 const struct run_process_parallel_opts
*opts
)
1686 while (pp
->nr_processes
> 0) {
1687 for (i
= 0; i
< opts
->processes
; i
++)
1688 if (pp
->children
[i
].state
== GIT_CP_WAIT_CLEANUP
)
1690 if (i
== opts
->processes
)
1693 code
= finish_command(&pp
->children
[i
].process
);
1695 if (opts
->task_finished
)
1696 code
= opts
->task_finished(code
, opts
->ungroup
? NULL
:
1697 &pp
->children
[i
].err
, opts
->data
,
1698 pp
->children
[i
].data
);
1708 pp
->children
[i
].state
= GIT_CP_FREE
;
1711 child_process_init(&pp
->children
[i
].process
);
1713 if (opts
->ungroup
) {
1714 ; /* no strbuf_*() work to do here */
1715 } else if (i
!= pp
->output_owner
) {
1716 strbuf_addbuf(&pp
->buffered_output
, &pp
->children
[i
].err
);
1717 strbuf_reset(&pp
->children
[i
].err
);
1719 const size_t n
= opts
->processes
;
1721 strbuf_write(&pp
->children
[i
].err
, stderr
);
1722 strbuf_reset(&pp
->children
[i
].err
);
1724 /* Output all other finished child processes */
1725 strbuf_write(&pp
->buffered_output
, stderr
);
1726 strbuf_reset(&pp
->buffered_output
);
1729 * Pick next process to output live.
1731 * For now we pick it randomly by doing a round
1732 * robin. Later we may want to pick the one with
1733 * the most output or the longest or shortest
1734 * running process time.
1736 for (i
= 0; i
< n
; i
++)
1737 if (pp
->children
[(pp
->output_owner
+ i
) % n
].state
== GIT_CP_WORKING
)
1739 pp
->output_owner
= (pp
->output_owner
+ i
) % n
;
1745 void run_processes_parallel(const struct run_process_parallel_opts
*opts
)
1748 int output_timeout
= 100;
1750 struct parallel_processes_for_signal pp_sig
;
1751 struct parallel_processes pp
= {
1752 .buffered_output
= STRBUF_INIT
,
1755 const char *tr2_category
= opts
->tr2_category
;
1756 const char *tr2_label
= opts
->tr2_label
;
1757 const int do_trace2
= tr2_category
&& tr2_label
;
1760 trace2_region_enter_printf(tr2_category
, tr2_label
, NULL
,
1761 "max:%d", opts
->processes
);
1763 pp_init(&pp
, opts
, &pp_sig
);
1766 i
< spawn_cap
&& !pp
.shutdown
&&
1767 pp
.nr_processes
< opts
->processes
;
1769 code
= pp_start_one(&pp
, opts
);
1774 kill_children(&pp
, opts
, -code
);
1778 if (!pp
.nr_processes
)
1780 if (opts
->ungroup
) {
1781 for (size_t i
= 0; i
< opts
->processes
; i
++)
1782 pp
.children
[i
].state
= GIT_CP_WAIT_CLEANUP
;
1784 pp_buffer_stderr(&pp
, opts
, output_timeout
);
1787 code
= pp_collect_finished(&pp
, opts
);
1791 kill_children(&pp
, opts
,-code
);
1795 pp_cleanup(&pp
, opts
);
1798 trace2_region_leave(tr2_category
, tr2_label
, NULL
);
1801 int prepare_auto_maintenance(int quiet
, struct child_process
*maint
)
1805 if (!git_config_get_bool("maintenance.auto", &enabled
) &&
1810 maint
->close_object_store
= 1;
1811 strvec_pushl(&maint
->args
, "maintenance", "run", "--auto", NULL
);
1812 strvec_push(&maint
->args
, quiet
? "--quiet" : "--no-quiet");
1817 int run_auto_maintenance(int quiet
)
1819 struct child_process maint
= CHILD_PROCESS_INIT
;
1820 if (!prepare_auto_maintenance(quiet
, &maint
))
1822 return run_command(&maint
);
1825 void prepare_other_repo_env(struct strvec
*env
, const char *new_git_dir
)
1827 const char * const *var
;
1829 for (var
= local_repo_env
; *var
; var
++) {
1830 if (strcmp(*var
, CONFIG_DATA_ENVIRONMENT
) &&
1831 strcmp(*var
, CONFIG_COUNT_ENVIRONMENT
))
1832 strvec_push(env
, *var
);
1834 strvec_pushf(env
, "%s=%s", GIT_DIR_ENVIRONMENT
, new_git_dir
);
1837 enum start_bg_result
start_bg_command(struct child_process
*cmd
,
1838 start_bg_wait_cb
*wait_cb
,
1840 unsigned int timeout_sec
)
1842 enum start_bg_result sbgr
= SBGR_ERROR
;
1849 * We do not allow clean-on-exit because the child process
1850 * should persist in the background and possibly/probably
1851 * after this process exits. So we don't want to kill the
1852 * child during our atexit routine.
1854 if (cmd
->clean_on_exit
)
1855 BUG("start_bg_command() does not allow non-zero clean_on_exit");
1857 if (!cmd
->trace2_child_class
)
1858 cmd
->trace2_child_class
= "background";
1860 ret
= start_command(cmd
);
1863 * We assume that if `start_command()` fails, we
1864 * either get a complete `trace2_child_start() /
1865 * trace2_child_exit()` pair or it fails before the
1866 * `trace2_child_start()` is emitted, so we do not
1867 * need to worry about it here.
1869 * We also assume that `start_command()` does not add
1870 * us to the cleanup list. And that it calls
1871 * `child_process_clear()`.
1878 time_limit
+= timeout_sec
;
1881 pid_seen
= waitpid(cmd
->pid
, &wait_status
, WNOHANG
);
1885 * The child is currently running. Ask the callback
1886 * if the child is ready to do work or whether we
1887 * should keep waiting for it to boot up.
1889 ret
= (*wait_cb
)(cmd
, cb_data
);
1892 * The child is running and "ready".
1894 trace2_child_ready(cmd
, "ready");
1897 } else if (ret
> 0) {
1899 * The callback said to give it more time to boot up
1900 * (subject to our timeout limit).
1905 if (now
< time_limit
)
1909 * Our timeout has expired. We don't try to
1910 * kill the child, but rather let it continue
1911 * (hopefully) trying to startup.
1913 trace2_child_ready(cmd
, "timeout");
1914 sbgr
= SBGR_TIMEOUT
;
1918 * The cb gave up on this child. It is still running,
1919 * but our cb got an error trying to probe it.
1921 trace2_child_ready(cmd
, "error");
1922 sbgr
= SBGR_CB_ERROR
;
1927 else if (pid_seen
== cmd
->pid
) {
1928 int child_code
= -1;
1931 * The child started, but exited or was terminated
1932 * before becoming "ready".
1934 * We try to match the behavior of `wait_or_whine()`
1935 * WRT the handling of WIFSIGNALED() and WIFEXITED()
1936 * and convert the child's status to a return code for
1937 * tracing purposes and emit the `trace2_child_exit()`
1940 * We do not want the wait_or_whine() error message
1941 * because we will be called by client-side library
1944 if (WIFEXITED(wait_status
))
1945 child_code
= WEXITSTATUS(wait_status
);
1946 else if (WIFSIGNALED(wait_status
))
1947 child_code
= WTERMSIG(wait_status
) + 128;
1948 trace2_child_exit(cmd
, child_code
);
1954 else if (pid_seen
< 0 && errno
== EINTR
)
1957 trace2_child_exit(cmd
, -1);
1961 child_process_clear(cmd
);
1962 invalidate_lstat_cache();