]> git.ipfire.org Git - thirdparty/git.git/blob - run-command.h
reftable: signal overflow
[thirdparty/git.git] / run-command.h
1 #ifndef RUN_COMMAND_H
2 #define RUN_COMMAND_H
3
4 #include "thread-utils.h"
5
6 #include "strvec.h"
7
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 */
44 struct child_process {
45
46 /**
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.
50 *
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.
54 *
55 * The memory in .args will be cleaned up automatically during
56 * `finish_command` (or during `start_command` when it is unsuccessful).
57 */
58 struct strvec args;
59
60 /**
61 * Like .args the .env_array is a `struct strvec'.
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 *
73 * The memory in .env_array will be cleaned up automatically during
74 * `finish_command` (or during `start_command` when it is unsuccessful).
75 */
76 struct strvec env_array;
77 pid_t pid;
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
84 /*
85 * Using .in, .out, .err:
86 * - Specify 0 for no redirections. No new file descriptor is allocated.
87 * (child inherits stdin, stdout, stderr from parent).
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
98 * .err: a writable FD, becomes child's stderr
99 * The specified FD is closed by start_command(), even in case
100 * of errors!
101 */
102 int in;
103 int out;
104 int err;
105
106 /**
107 * To specify a new initial working directory for the sub-process,
108 * specify it in the .dir member.
109 */
110 const char *dir;
111
112 unsigned no_stdin:1;
113 unsigned no_stdout:1;
114 unsigned no_stderr:1;
115 unsigned git_cmd:1; /* if this is to be git sub-command */
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 */
123 unsigned silent_exec_failure:1;
124
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 */
131 unsigned use_shell:1;
132
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
141 unsigned stdout_to_stderr:1;
142 unsigned clean_on_exit:1;
143 unsigned wait_after_clean:1;
144 void (*clean_on_exit_handler)(struct child_process *process);
145 void *clean_on_exit_handler_cbdata;
146 };
147
148 #define CHILD_PROCESS_INIT { \
149 .args = STRVEC_INIT, \
150 .env_array = STRVEC_INIT, \
151 }
152
153 /**
154 * The functions: child_process_init, start_command, finish_command,
155 * run_command, run_command_v_opt, run_command_v_opt_cd_env, child_process_clear
156 * do the following:
157 *
158 * - If a system call failed, errno is set and -1 is returned. A diagnostic
159 * is printed.
160 *
161 * - If the program was not found, then -1 is returned and errno is set to
162 * ENOENT; a diagnostic is printed only if .silent_exec_failure is 0.
163 *
164 * - Otherwise, the program is run. If it terminates regularly, its exit
165 * code is returned. No diagnostic is printed, even if the exit code is
166 * non-zero.
167 *
168 * - If the program terminated due to a signal, then the return value is the
169 * signal number + 128, ie. the same value that a POSIX shell's $? would
170 * report. A diagnostic is printed.
171 *
172 */
173
174 /**
175 * Initialize a struct child_process variable.
176 */
177 void child_process_init(struct child_process *);
178
179 /**
180 * Release the memory associated with the struct child_process.
181 * Most users of the run-command API don't need to call this
182 * function explicitly because `start_command` invokes it on
183 * failure and `finish_command` calls it automatically already.
184 */
185 void child_process_clear(struct child_process *);
186
187 int is_executable(const char *name);
188
189 /**
190 * Check if the command exists on $PATH. This emulates the path search that
191 * execvp would perform, without actually executing the command so it
192 * can be used before fork() to prepare to run a command using
193 * execve() or after execvp() to diagnose why it failed.
194 *
195 * The caller should ensure that command contains no directory separators.
196 *
197 * Returns 1 if it is found in $PATH or 0 if the command could not be found.
198 */
199 int exists_in_PATH(const char *command);
200
201 /**
202 * Start a sub-process. Takes a pointer to a `struct child_process`
203 * that specifies the details and returns pipe FDs (if requested).
204 * See below for details.
205 */
206 int start_command(struct child_process *);
207
208 /**
209 * Wait for the completion of a sub-process that was started with
210 * start_command().
211 */
212 int finish_command(struct child_process *);
213
214 int finish_command_in_signal(struct child_process *);
215
216 /**
217 * A convenience function that encapsulates a sequence of
218 * start_command() followed by finish_command(). Takes a pointer
219 * to a `struct child_process` that specifies the details.
220 */
221 int run_command(struct child_process *);
222
223 /**
224 * Run a hook.
225 * The first argument is a pathname to an index file, or NULL
226 * if the hook uses the default index file or no index is needed.
227 * The second argument is the name of the hook.
228 * The further arguments correspond to the hook arguments.
229 * The last argument has to be NULL to terminate the arguments list.
230 * If the hook does not exist or is not executable, the return
231 * value will be zero.
232 * If it is executable, the hook will be executed and the exit
233 * status of the hook is returned.
234 * On execution, .stdout_to_stderr and .no_stdin will be set.
235 */
236 LAST_ARG_MUST_BE_NULL
237 int run_hook_le(const char *const *env, const char *name, ...);
238 int run_hook_ve(const char *const *env, const char *name, va_list args);
239
240 /*
241 * Trigger an auto-gc
242 */
243 int run_auto_maintenance(int quiet);
244
245 #define RUN_COMMAND_NO_STDIN (1<<0)
246 #define RUN_GIT_CMD (1<<1)
247 #define RUN_COMMAND_STDOUT_TO_STDERR (1<<2)
248 #define RUN_SILENT_EXEC_FAILURE (1<<3)
249 #define RUN_USING_SHELL (1<<4)
250 #define RUN_CLEAN_ON_EXIT (1<<5)
251 #define RUN_WAIT_AFTER_CLEAN (1<<6)
252 #define RUN_CLOSE_OBJECT_STORE (1<<7)
253
254 /**
255 * Convenience functions that encapsulate a sequence of
256 * start_command() followed by finish_command(). The argument argv
257 * specifies the program and its arguments. The argument opt is zero
258 * or more of the flags `RUN_COMMAND_NO_STDIN`, `RUN_GIT_CMD`,
259 * `RUN_COMMAND_STDOUT_TO_STDERR`, or `RUN_SILENT_EXEC_FAILURE`
260 * that correspond to the members .no_stdin, .git_cmd,
261 * .stdout_to_stderr, .silent_exec_failure of `struct child_process`.
262 * The argument dir corresponds the member .dir. The argument env
263 * corresponds to the member .env.
264 */
265 int run_command_v_opt(const char **argv, int opt);
266 int run_command_v_opt_tr2(const char **argv, int opt, const char *tr2_class);
267 /*
268 * env (the environment) is to be formatted like environ: "VAR=VALUE".
269 * To unset an environment variable use just "VAR".
270 */
271 int run_command_v_opt_cd_env(const char **argv, int opt, const char *dir, const char *const *env);
272 int run_command_v_opt_cd_env_tr2(const char **argv, int opt, const char *dir,
273 const char *const *env, const char *tr2_class);
274
275 /**
276 * Execute the given command, sending "in" to its stdin, and capturing its
277 * stdout and stderr in the "out" and "err" strbufs. Any of the three may
278 * be NULL to skip processing.
279 *
280 * Returns -1 if starting the command fails or reading fails, and otherwise
281 * returns the exit code of the command. Any output collected in the
282 * buffers is kept even if the command returns a non-zero exit. The hint fields
283 * gives starting sizes for the strbuf allocations.
284 *
285 * The fields of "cmd" should be set up as they would for a normal run_command
286 * invocation. But note that there is no need to set the in, out, or err
287 * fields; pipe_command handles that automatically.
288 */
289 int pipe_command(struct child_process *cmd,
290 const char *in, size_t in_len,
291 struct strbuf *out, size_t out_hint,
292 struct strbuf *err, size_t err_hint);
293
294 /**
295 * Convenience wrapper around pipe_command for the common case
296 * of capturing only stdout.
297 */
298 static inline int capture_command(struct child_process *cmd,
299 struct strbuf *out,
300 size_t hint)
301 {
302 return pipe_command(cmd, NULL, 0, out, hint, NULL, 0);
303 }
304
305 /*
306 * The purpose of the following functions is to feed a pipe by running
307 * a function asynchronously and providing output that the caller reads.
308 *
309 * It is expected that no synchronization and mutual exclusion between
310 * the caller and the feed function is necessary so that the function
311 * can run in a thread without interfering with the caller.
312 *
313 * The caller:
314 *
315 * 1. allocates and clears (memset(&asy, 0, sizeof(asy));) a
316 * struct async variable;
317 * 2. initializes .proc and .data;
318 * 3. calls start_async();
319 * 4. processes communicates with proc through .in and .out;
320 * 5. closes .in and .out;
321 * 6. calls finish_async().
322 *
323 * There are serious restrictions on what the asynchronous function can do
324 * because this facility is implemented by a thread in the same address
325 * space on most platforms (when pthreads is available), but by a pipe to
326 * a forked process otherwise:
327 *
328 * - It cannot change the program's state (global variables, environment,
329 * etc.) in a way that the caller notices; in other words, .in and .out
330 * are the only communication channels to the caller.
331 *
332 * - It must not change the program's state that the caller of the
333 * facility also uses.
334 *
335 */
336 struct async {
337
338 /**
339 * The function pointer in .proc has the following signature:
340 *
341 * int proc(int in, int out, void *data);
342 *
343 * - in, out specifies a set of file descriptors to which the function
344 * must read/write the data that it needs/produces. The function
345 * *must* close these descriptors before it returns. A descriptor
346 * may be -1 if the caller did not configure a descriptor for that
347 * direction.
348 *
349 * - data is the value that the caller has specified in the .data member
350 * of struct async.
351 *
352 * - The return value of the function is 0 on success and non-zero
353 * on failure. If the function indicates failure, finish_async() will
354 * report failure as well.
355 *
356 */
357 int (*proc)(int in, int out, void *data);
358
359 void *data;
360
361 /**
362 * The members .in, .out are used to provide a set of fd's for
363 * communication between the caller and the callee as follows:
364 *
365 * - Specify 0 to have no file descriptor passed. The callee will
366 * receive -1 in the corresponding argument.
367 *
368 * - Specify < 0 to have a pipe allocated; start_async() replaces
369 * with the pipe FD in the following way:
370 *
371 * .in: Returns the writable pipe end into which the caller
372 * writes; the readable end of the pipe becomes the function's
373 * in argument.
374 *
375 * .out: Returns the readable pipe end from which the caller
376 * reads; the writable end of the pipe becomes the function's
377 * out argument.
378 *
379 * The caller of start_async() must close the returned FDs after it
380 * has completed reading from/writing from them.
381 *
382 * - Specify a file descriptor > 0 to be used by the function:
383 *
384 * .in: The FD must be readable; it becomes the function's in.
385 * .out: The FD must be writable; it becomes the function's out.
386 *
387 * The specified FD is closed by start_async(), even if it fails to
388 * run the function.
389 */
390 int in; /* caller writes here and closes it */
391 int out; /* caller reads from here and closes it */
392 #ifdef NO_PTHREADS
393 pid_t pid;
394 #else
395 pthread_t tid;
396 int proc_in;
397 int proc_out;
398 #endif
399 int isolate_sigpipe;
400 };
401
402 /**
403 * Run a function asynchronously. Takes a pointer to a `struct
404 * async` that specifies the details and returns a set of pipe FDs
405 * for communication with the function. See below for details.
406 */
407 int start_async(struct async *async);
408
409 /**
410 * Wait for the completion of an asynchronous function that was
411 * started with start_async().
412 */
413 int finish_async(struct async *async);
414
415 int in_async(void);
416 int async_with_fork(void);
417 void check_pipe(int err);
418
419 /**
420 * This callback should initialize the child process and preload the
421 * error channel if desired. The preloading of is useful if you want to
422 * have a message printed directly before the output of the child process.
423 * pp_cb is the callback cookie as passed to run_processes_parallel.
424 * You can store a child process specific callback cookie in pp_task_cb.
425 *
426 * Even after returning 0 to indicate that there are no more processes,
427 * this function will be called again until there are no more running
428 * child processes.
429 *
430 * Return 1 if the next child is ready to run.
431 * Return 0 if there are currently no more tasks to be processed.
432 * To send a signal to other child processes for abortion,
433 * return the negative signal number.
434 */
435 typedef int (*get_next_task_fn)(struct child_process *cp,
436 struct strbuf *out,
437 void *pp_cb,
438 void **pp_task_cb);
439
440 /**
441 * This callback is called whenever there are problems starting
442 * a new process.
443 *
444 * You must not write to stdout or stderr in this function. Add your
445 * message to the strbuf out instead, which will be printed without
446 * messing up the output of the other parallel processes.
447 *
448 * pp_cb is the callback cookie as passed into run_processes_parallel,
449 * pp_task_cb is the callback cookie as passed into get_next_task_fn.
450 *
451 * Return 0 to continue the parallel processing. To abort return non zero.
452 * To send a signal to other child processes for abortion, return
453 * the negative signal number.
454 */
455 typedef int (*start_failure_fn)(struct strbuf *out,
456 void *pp_cb,
457 void *pp_task_cb);
458
459 /**
460 * This callback is called on every child process that finished processing.
461 *
462 * You must not write to stdout or stderr in this function. Add your
463 * message to the strbuf out instead, which will be printed without
464 * messing up the output of the other parallel processes.
465 *
466 * pp_cb is the callback cookie as passed into run_processes_parallel,
467 * pp_task_cb is the callback cookie as passed into get_next_task_fn.
468 *
469 * Return 0 to continue the parallel processing. To abort return non zero.
470 * To send a signal to other child processes for abortion, return
471 * the negative signal number.
472 */
473 typedef int (*task_finished_fn)(int result,
474 struct strbuf *out,
475 void *pp_cb,
476 void *pp_task_cb);
477
478 /**
479 * Runs up to n processes at the same time. Whenever a process can be
480 * started, the callback get_next_task_fn is called to obtain the data
481 * required to start another child process.
482 *
483 * The children started via this function run in parallel. Their output
484 * (both stdout and stderr) is routed to stderr in a manner that output
485 * from different tasks does not interleave.
486 *
487 * start_failure_fn and task_finished_fn can be NULL to omit any
488 * special handling.
489 */
490 int run_processes_parallel(int n,
491 get_next_task_fn,
492 start_failure_fn,
493 task_finished_fn,
494 void *pp_cb);
495 int run_processes_parallel_tr2(int n, get_next_task_fn, start_failure_fn,
496 task_finished_fn, void *pp_cb,
497 const char *tr2_category, const char *tr2_label);
498
499 /**
500 * Convenience function which prepares env_array for a command to be run in a
501 * new repo. This adds all GIT_* environment variables to env_array with the
502 * exception of GIT_CONFIG_PARAMETERS and GIT_CONFIG_COUNT (which cause the
503 * corresponding environment variables to be unset in the subprocess) and adds
504 * an environment variable pointing to new_git_dir. See local_repo_env in
505 * cache.h for more information.
506 */
507 void prepare_other_repo_env(struct strvec *env_array, const char *new_git_dir);
508
509 /**
510 * Possible return values for start_bg_command().
511 */
512 enum start_bg_result {
513 /* child process is "ready" */
514 SBGR_READY = 0,
515
516 /* child process could not be started */
517 SBGR_ERROR,
518
519 /* callback error when testing for "ready" */
520 SBGR_CB_ERROR,
521
522 /* timeout expired waiting for child to become "ready" */
523 SBGR_TIMEOUT,
524
525 /* child process exited or was signalled before becomming "ready" */
526 SBGR_DIED,
527 };
528
529 /**
530 * Callback used by start_bg_command() to ask whether the
531 * child process is ready or needs more time to become "ready".
532 *
533 * The callback will receive the cmd and cb_data arguments given to
534 * start_bg_command().
535 *
536 * Returns 1 is child needs more time (subject to the requested timeout).
537 * Returns 0 if child is "ready".
538 * Returns -1 on any error and cause start_bg_command() to also error out.
539 */
540 typedef int(start_bg_wait_cb)(const struct child_process *cmd, void *cb_data);
541
542 /**
543 * Start a command in the background. Wait long enough for the child
544 * to become "ready" (as defined by the provided callback). Capture
545 * immediate errors (like failure to start) and any immediate exit
546 * status (such as a shutdown/signal before the child became "ready")
547 * and return this like start_command().
548 *
549 * We run a custom wait loop using the provided callback to wait for
550 * the child to start and become "ready". This is limited by the given
551 * timeout value.
552 *
553 * If the child does successfully start and become "ready", we orphan
554 * it into the background.
555 *
556 * The caller must not call finish_command().
557 *
558 * The opaque cb_data argument will be forwarded to the callback for
559 * any instance data that it might require. This may be NULL.
560 */
561 enum start_bg_result start_bg_command(struct child_process *cmd,
562 start_bg_wait_cb *wait_cb,
563 void *cb_data,
564 unsigned int timeout_sec);
565
566 #endif