]> git.ipfire.org Git - thirdparty/git.git/blame - run-command.h
Documentation/RelNotes/2.45.0.txt: fix typo
[thirdparty/git.git] / run-command.h
CommitLineData
b1bf95bb
JW
1#ifndef RUN_COMMAND_H
2#define RUN_COMMAND_H
3
10bc232d 4#include "thread-utils.h"
200a76b7 5
dbbcd44f 6#include "strvec.h"
c460c0ec 7
4c4066d9
HW
8/**
9 * The run-command API offers a versatile tool to run sub-processes with
10 * redirected input and output as well as with a modified environment
11 * and an alternate current directory.
12 *
13 * A similar API offers the capability to run a function asynchronously,
14 * which is primarily used to capture the output that the function
15 * produces in the caller in order to process it.
16 */
17
18
19/**
20 * This describes the arguments, redirections, and environment of a
21 * command to run in a sub-process.
22 *
23 * The caller:
24 *
25 * 1. allocates and clears (using child_process_init() or
26 * CHILD_PROCESS_INIT) a struct child_process variable;
27 * 2. initializes the members;
28 * 3. calls start_command();
29 * 4. processes the data;
30 * 5. closes file descriptors (if necessary; see below);
31 * 6. calls finish_command().
32 *
33 * Special forms of redirection are available by setting these members
34 * to 1:
35 *
36 * .no_stdin, .no_stdout, .no_stderr: The respective channel is
37 * redirected to /dev/null.
38 *
39 * .stdout_to_stderr: stdout of the child is redirected to its
40 * stderr. This happens after stderr is itself redirected.
41 * So stdout will follow stderr to wherever it is
42 * redirected.
43 */
f1000898 44struct child_process {
4c4066d9
HW
45
46 /**
d3b21597
ÆAB
47 * The .args is a `struct strvec', use that API to manipulate
48 * it, e.g. strvec_pushv() to add an existing "const char **"
49 * vector.
4c4066d9 50 *
d3b21597
ÆAB
51 * If the command to run is a git command, set the first
52 * element in the strvec to the command name without the
53 * 'git-' prefix and set .git_cmd = 1.
4c4066d9 54 *
d3b21597
ÆAB
55 * The memory in .args will be cleaned up automatically during
56 * `finish_command` (or during `start_command` when it is unsuccessful).
4c4066d9 57 */
c972bf4c 58 struct strvec args;
c7c4bdec
ÆAB
59
60 /**
b3193252 61 * Like .args the .env is a `struct strvec'.
c7c4bdec
ÆAB
62 *
63 * To modify the environment of the sub-process, specify an array of
64 * environment settings. Each string in the array manipulates the
65 * environment.
66 *
67 * - If the string is of the form "VAR=value", i.e. it contains '='
68 * the variable is added to the child process's environment.
69 *
70 * - If the string does not contain '=', it names an environment
71 * variable that will be removed from the child process's environment.
72 *
b3193252 73 * The memory in .env will be cleaned up automatically during
c7c4bdec
ÆAB
74 * `finish_command` (or during `start_command` when it is unsuccessful).
75 */
29fda24d 76 struct strvec env;
ebcb5d16 77 pid_t pid;
ee4512ed
JH
78
79 int trace2_child_id;
80 uint64_t trace2_child_us_start;
81 const char *trace2_child_class;
82 const char *trace2_hook_name;
83
c20181e3
JS
84 /*
85 * Using .in, .out, .err:
4c4066d9
HW
86 * - Specify 0 for no redirections. No new file descriptor is allocated.
87 * (child inherits stdin, stdout, stderr from parent).
c20181e3
JS
88 * - Specify -1 to have a pipe allocated as follows:
89 * .in: returns the writable pipe end; parent writes to it,
90 * the readable pipe end becomes child's stdin
91 * .out, .err: returns the readable pipe end; parent reads from
92 * it, the writable pipe end becomes child's stdout/stderr
93 * The caller of start_command() must close the returned FDs
94 * after it has completed reading from/writing to it!
95 * - Specify > 0 to set a channel to a particular FD as follows:
96 * .in: a readable FD, becomes child's stdin
97 * .out: a writable FD, becomes child's stdout/stderr
4f41b611 98 * .err: a writable FD, becomes child's stderr
c20181e3
JS
99 * The specified FD is closed by start_command(), even in case
100 * of errors!
101 */
4919bf03 102 int in;
f4bba25b 103 int out;
f3b33f1d 104 int err;
4c4066d9
HW
105
106 /**
107 * To specify a new initial working directory for the sub-process,
108 * specify it in the .dir member.
109 */
1568fea0 110 const char *dir;
4c4066d9 111
f1000898 112 unsigned no_stdin:1;
e4507ae8 113 unsigned no_stdout:1;
b73a4397 114 unsigned no_stderr:1;
539052f4 115 unsigned git_cmd:1; /* if this is to be git sub-command */
4c4066d9
HW
116
117 /**
118 * If the program cannot be found, the functions return -1 and set
119 * errno to ENOENT. Normally, an error message is printed, but if
120 * .silent_exec_failure is set to 1, no message is printed for this
121 * special error condition.
122 */
c024beb5 123 unsigned silent_exec_failure:1;
4c4066d9 124
ee4e2255
JK
125 /**
126 * Run the command from argv[0] using a shell (but note that we may
127 * still optimize out the shell call if the command contains no
128 * metacharacters). Note that further arguments to the command in
129 * argv[1], etc, do not need to be shell-quoted.
130 */
8dba1e63 131 unsigned use_shell:1;
ee4e2255 132
28d04e1e
JS
133 /**
134 * Release any open file handles to the object store before running
135 * the command; This is necessary e.g. when the spawned process may
136 * want to repack because that would delete `.pack` files (and on
137 * Windows, you cannot delete files that are still in use).
138 */
139 unsigned close_object_store:1;
140
ee4e2255 141 unsigned stdout_to_stderr:1;
afe19ff7 142 unsigned clean_on_exit:1;
46df6906 143 unsigned wait_after_clean:1;
ac2fbaa6 144 void (*clean_on_exit_handler)(struct child_process *process);
f1000898
SP
145};
146
3d97ea47
ÆAB
147#define CHILD_PROCESS_INIT { \
148 .args = STRVEC_INIT, \
29fda24d 149 .env = STRVEC_INIT, \
3d97ea47 150}
4c4066d9
HW
151
152/**
ddbb47fd 153 * The functions: start_command, finish_command, run_command do the following:
4c4066d9
HW
154 *
155 * - If a system call failed, errno is set and -1 is returned. A diagnostic
156 * is printed.
157 *
158 * - If the program was not found, then -1 is returned and errno is set to
159 * ENOENT; a diagnostic is printed only if .silent_exec_failure is 0.
160 *
161 * - Otherwise, the program is run. If it terminates regularly, its exit
162 * code is returned. No diagnostic is printed, even if the exit code is
163 * non-zero.
164 *
165 * - If the program terminated due to a signal, then the return value is the
166 * signal number + 128, ie. the same value that a POSIX shell's $? would
167 * report. A diagnostic is printed.
168 *
169 */
170
171/**
172 * Initialize a struct child_process variable.
173 */
483bbd4e 174void child_process_init(struct child_process *);
4c4066d9
HW
175
176/**
177 * Release the memory associated with the struct child_process.
178 * Most users of the run-command API don't need to call this
179 * function explicitly because `start_command` invokes it on
180 * failure and `finish_command` calls it automatically already.
181 */
2d71608e 182void child_process_clear(struct child_process *);
4c4066d9 183
55454427 184int is_executable(const char *name);
d3180279 185
3f36e6f3
PB
186/**
187 * Check if the command exists on $PATH. This emulates the path search that
188 * execvp would perform, without actually executing the command so it
189 * can be used before fork() to prepare to run a command using
190 * execve() or after execvp() to diagnose why it failed.
191 *
192 * The caller should ensure that command contains no directory separators.
193 *
194 * Returns 1 if it is found in $PATH or 0 if the command could not be found.
195 */
196int exists_in_PATH(const char *command);
197
4c4066d9
HW
198/**
199 * Start a sub-process. Takes a pointer to a `struct child_process`
200 * that specifies the details and returns pipe FDs (if requested).
201 * See below for details.
202 */
ebcb5d16 203int start_command(struct child_process *);
4c4066d9
HW
204
205/**
206 * Wait for the completion of a sub-process that was started with
207 * start_command().
208 */
ebcb5d16 209int finish_command(struct child_process *);
4c4066d9 210
507d7804 211int finish_command_in_signal(struct child_process *);
4c4066d9
HW
212
213/**
214 * A convenience function that encapsulates a sequence of
215 * start_command() followed by finish_command(). Takes a pointer
216 * to a `struct child_process` that specifies the details.
217 */
f1000898
SP
218int run_command(struct child_process *);
219
b396ee6b
PS
220/*
221 * Prepare a `struct child_process` to run auto-maintenance. Returns 1 if the
222 * process has been prepared and is ready to run, or 0 in case auto-maintenance
223 * should be skipped.
224 */
225int prepare_auto_maintenance(int quiet, struct child_process *maint);
226
850b6ede
JH
227/*
228 * Trigger an auto-gc
229 */
a95ce124 230int run_auto_maintenance(int quiet);
850b6ede 231
911ec99b 232/**
96335bcf
JK
233 * Execute the given command, sending "in" to its stdin, and capturing its
234 * stdout and stderr in the "out" and "err" strbufs. Any of the three may
235 * be NULL to skip processing.
236 *
911ec99b 237 * Returns -1 if starting the command fails or reading fails, and otherwise
96335bcf
JK
238 * returns the exit code of the command. Any output collected in the
239 * buffers is kept even if the command returns a non-zero exit. The hint fields
240 * gives starting sizes for the strbuf allocations.
911ec99b
JK
241 *
242 * The fields of "cmd" should be set up as they would for a normal run_command
96335bcf
JK
243 * invocation. But note that there is no need to set the in, out, or err
244 * fields; pipe_command handles that automatically.
245 */
246int pipe_command(struct child_process *cmd,
247 const char *in, size_t in_len,
248 struct strbuf *out, size_t out_hint,
249 struct strbuf *err, size_t err_hint);
250
251/**
252 * Convenience wrapper around pipe_command for the common case
253 * of capturing only stdout.
911ec99b 254 */
96335bcf
JK
255static inline int capture_command(struct child_process *cmd,
256 struct strbuf *out,
257 size_t hint)
258{
259 return pipe_command(cmd, NULL, 0, out, hint, NULL, 0);
260}
911ec99b 261
2d22c208
JS
262/*
263 * The purpose of the following functions is to feed a pipe by running
264 * a function asynchronously and providing output that the caller reads.
265 *
266 * It is expected that no synchronization and mutual exclusion between
267 * the caller and the feed function is necessary so that the function
268 * can run in a thread without interfering with the caller.
4c4066d9
HW
269 *
270 * The caller:
271 *
272 * 1. allocates and clears (memset(&asy, 0, sizeof(asy));) a
273 * struct async variable;
274 * 2. initializes .proc and .data;
275 * 3. calls start_async();
276 * 4. processes communicates with proc through .in and .out;
277 * 5. closes .in and .out;
278 * 6. calls finish_async().
279 *
280 * There are serious restrictions on what the asynchronous function can do
281 * because this facility is implemented by a thread in the same address
282 * space on most platforms (when pthreads is available), but by a pipe to
283 * a forked process otherwise:
284 *
285 * - It cannot change the program's state (global variables, environment,
286 * etc.) in a way that the caller notices; in other words, .in and .out
287 * are the only communication channels to the caller.
288 *
289 * - It must not change the program's state that the caller of the
290 * facility also uses.
291 *
2d22c208
JS
292 */
293struct async {
4c4066d9
HW
294
295 /**
296 * The function pointer in .proc has the following signature:
297 *
298 * int proc(int in, int out, void *data);
299 *
300 * - in, out specifies a set of file descriptors to which the function
301 * must read/write the data that it needs/produces. The function
302 * *must* close these descriptors before it returns. A descriptor
303 * may be -1 if the caller did not configure a descriptor for that
304 * direction.
305 *
306 * - data is the value that the caller has specified in the .data member
307 * of struct async.
308 *
309 * - The return value of the function is 0 on success and non-zero
310 * on failure. If the function indicates failure, finish_async() will
311 * report failure as well.
312 *
2d22c208 313 */
ae6a5609 314 int (*proc)(int in, int out, void *data);
4c4066d9 315
2d22c208 316 void *data;
4c4066d9
HW
317
318 /**
319 * The members .in, .out are used to provide a set of fd's for
320 * communication between the caller and the callee as follows:
321 *
322 * - Specify 0 to have no file descriptor passed. The callee will
323 * receive -1 in the corresponding argument.
324 *
325 * - Specify < 0 to have a pipe allocated; start_async() replaces
326 * with the pipe FD in the following way:
327 *
328 * .in: Returns the writable pipe end into which the caller
329 * writes; the readable end of the pipe becomes the function's
330 * in argument.
331 *
332 * .out: Returns the readable pipe end from which the caller
333 * reads; the writable end of the pipe becomes the function's
334 * out argument.
335 *
336 * The caller of start_async() must close the returned FDs after it
337 * has completed reading from/writing from them.
338 *
339 * - Specify a file descriptor > 0 to be used by the function:
340 *
341 * .in: The FD must be readable; it becomes the function's in.
342 * .out: The FD must be writable; it becomes the function's out.
343 *
344 * The specified FD is closed by start_async(), even if it fails to
345 * run the function.
346 */
ae6a5609 347 int in; /* caller writes here and closes it */
2d22c208 348 int out; /* caller reads from here and closes it */
f6b60983 349#ifdef NO_PTHREADS
2d22c208 350 pid_t pid;
618ebe9f 351#else
200a76b7 352 pthread_t tid;
ae6a5609
EFL
353 int proc_in;
354 int proc_out;
618ebe9f 355#endif
c792d7b6 356 int isolate_sigpipe;
2d22c208
JS
357};
358
4c4066d9
HW
359/**
360 * Run a function asynchronously. Takes a pointer to a `struct
361 * async` that specifies the details and returns a set of pipe FDs
362 * for communication with the function. See below for details.
363 */
2d22c208 364int start_async(struct async *async);
4c4066d9
HW
365
366/**
367 * Wait for the completion of an asynchronous function that was
368 * started with start_async().
369 */
2d22c208 370int finish_async(struct async *async);
4c4066d9 371
661a8cf4 372int in_async(void);
c0e40a2d 373int async_with_fork(void);
b992fe10 374void check_pipe(int err);
2d22c208 375
c553c72e
SB
376/**
377 * This callback should initialize the child process and preload the
378 * error channel if desired. The preloading of is useful if you want to
379 * have a message printed directly before the output of the child process.
380 * pp_cb is the callback cookie as passed to run_processes_parallel.
381 * You can store a child process specific callback cookie in pp_task_cb.
382 *
fd3aaf53
ÆAB
383 * See run_processes_parallel() below for a discussion of the "struct
384 * strbuf *out" parameter.
385 *
c553c72e
SB
386 * Even after returning 0 to indicate that there are no more processes,
387 * this function will be called again until there are no more running
388 * child processes.
389 *
390 * Return 1 if the next child is ready to run.
391 * Return 0 if there are currently no more tasks to be processed.
392 * To send a signal to other child processes for abortion,
393 * return the negative signal number.
394 */
395typedef int (*get_next_task_fn)(struct child_process *cp,
aa710494 396 struct strbuf *out,
c553c72e
SB
397 void *pp_cb,
398 void **pp_task_cb);
399
400/**
401 * This callback is called whenever there are problems starting
402 * a new process.
403 *
fd3aaf53
ÆAB
404 * See run_processes_parallel() below for a discussion of the "struct
405 * strbuf *out" parameter.
c553c72e
SB
406 *
407 * pp_cb is the callback cookie as passed into run_processes_parallel,
408 * pp_task_cb is the callback cookie as passed into get_next_task_fn.
409 *
410 * Return 0 to continue the parallel processing. To abort return non zero.
411 * To send a signal to other child processes for abortion, return
412 * the negative signal number.
413 */
aa710494 414typedef int (*start_failure_fn)(struct strbuf *out,
c553c72e
SB
415 void *pp_cb,
416 void *pp_task_cb);
417
418/**
419 * This callback is called on every child process that finished processing.
420 *
fd3aaf53
ÆAB
421 * See run_processes_parallel() below for a discussion of the "struct
422 * strbuf *out" parameter.
c553c72e
SB
423 *
424 * pp_cb is the callback cookie as passed into run_processes_parallel,
425 * pp_task_cb is the callback cookie as passed into get_next_task_fn.
426 *
427 * Return 0 to continue the parallel processing. To abort return non zero.
428 * To send a signal to other child processes for abortion, return
429 * the negative signal number.
430 */
431typedef int (*task_finished_fn)(int result,
aa710494 432 struct strbuf *out,
c553c72e
SB
433 void *pp_cb,
434 void *pp_task_cb);
435
436/**
6e5ba0ba
ÆAB
437 * Option used by run_processes_parallel(), { 0 }-initialized means no
438 * options.
439 */
440struct run_process_parallel_opts
441{
442 /**
443 * tr2_category & tr2_label: sets the trace2 category and label for
444 * logging. These must either be unset, or both of them must be set.
445 */
446 const char *tr2_category;
447 const char *tr2_label;
448
449 /**
450 * processes: see 'processes' in run_processes_parallel() below.
451 */
452 size_t processes;
453
454 /**
455 * ungroup: see 'ungroup' in run_processes_parallel() below.
456 */
457 unsigned int ungroup:1;
458
459 /**
460 * get_next_task: See get_next_task_fn() above. This must be
461 * specified.
462 */
463 get_next_task_fn get_next_task;
464
465 /**
466 * start_failure: See start_failure_fn() above. This can be
467 * NULL to omit any special handling.
468 */
469 start_failure_fn start_failure;
470
471 /**
472 * task_finished: See task_finished_fn() above. This can be
473 * NULL to omit any special handling.
474 */
475 task_finished_fn task_finished;
476
477 /**
478 * data: user data, will be passed as "pp_cb" to the callback
479 * parameters.
480 */
481 void *data;
482};
483
484/**
485 * Options are passed via the "struct run_process_parallel_opts" above.
486 *
487 * Runs N 'processes' at the same time. Whenever a process can be
488 * started, the callback opts.get_next_task is called to obtain the data
c553c72e
SB
489 * required to start another child process.
490 *
491 * The children started via this function run in parallel. Their output
492 * (both stdout and stderr) is routed to stderr in a manner that output
fd3aaf53 493 * from different tasks does not interleave (but see "ungroup" below).
c553c72e 494 *
fd3aaf53
ÆAB
495 * If the "ungroup" option isn't specified, the API will set the
496 * "stdout_to_stderr" parameter in "struct child_process" and provide
497 * the callbacks with a "struct strbuf *out" parameter to write output
498 * to. In this case the callbacks must not write to stdout or
499 * stderr as such output will mess up the output of the other parallel
500 * processes. If "ungroup" option is specified callbacks will get a
501 * NULL "struct strbuf *out" parameter, and are responsible for
502 * emitting their own output, including dealing with any race
503 * conditions due to writing in parallel to stdout and stderr.
c553c72e 504 */
6e5ba0ba 505void run_processes_parallel(const struct run_process_parallel_opts *opts);
c553c72e 506
d1fa9435 507/**
b3193252
ÆAB
508 * Convenience function which prepares env for a command to be run in a
509 * new repo. This adds all GIT_* environment variables to env with the
d1fa9435
JT
510 * exception of GIT_CONFIG_PARAMETERS and GIT_CONFIG_COUNT (which cause the
511 * corresponding environment variables to be unset in the subprocess) and adds
512 * an environment variable pointing to new_git_dir. See local_repo_env in
bc5c5ec0 513 * environment.h for more information.
d1fa9435 514 */
b3193252 515void prepare_other_repo_env(struct strvec *env, const char *new_git_dir);
d1fa9435 516
fdb13226
JH
517/**
518 * Possible return values for start_bg_command().
519 */
520enum start_bg_result {
521 /* child process is "ready" */
522 SBGR_READY = 0,
523
524 /* child process could not be started */
525 SBGR_ERROR,
526
527 /* callback error when testing for "ready" */
528 SBGR_CB_ERROR,
529
530 /* timeout expired waiting for child to become "ready" */
531 SBGR_TIMEOUT,
532
533 /* child process exited or was signalled before becomming "ready" */
534 SBGR_DIED,
535};
536
537/**
538 * Callback used by start_bg_command() to ask whether the
539 * child process is ready or needs more time to become "ready".
540 *
541 * The callback will receive the cmd and cb_data arguments given to
542 * start_bg_command().
543 *
544 * Returns 1 is child needs more time (subject to the requested timeout).
545 * Returns 0 if child is "ready".
546 * Returns -1 on any error and cause start_bg_command() to also error out.
547 */
548typedef int(start_bg_wait_cb)(const struct child_process *cmd, void *cb_data);
549
550/**
551 * Start a command in the background. Wait long enough for the child
552 * to become "ready" (as defined by the provided callback). Capture
553 * immediate errors (like failure to start) and any immediate exit
554 * status (such as a shutdown/signal before the child became "ready")
555 * and return this like start_command().
556 *
557 * We run a custom wait loop using the provided callback to wait for
558 * the child to start and become "ready". This is limited by the given
559 * timeout value.
560 *
561 * If the child does successfully start and become "ready", we orphan
562 * it into the background.
563 *
564 * The caller must not call finish_command().
565 *
566 * The opaque cb_data argument will be forwarded to the callback for
567 * any instance data that it might require. This may be NULL.
568 */
569enum start_bg_result start_bg_command(struct child_process *cmd,
570 start_bg_wait_cb *wait_cb,
571 void *cb_data,
572 unsigned int timeout_sec);
573
64c85595
EN
574int sane_execvp(const char *file, char *const argv[]);
575
b1bf95bb 576#endif