The second batch
[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 .argv member is set up as an array of string pointers (NULL
48          * terminated), of which .argv[0] is the program name to run (usually
49          * without a path). If the command to run is a git command, set argv[0] to
50          * the command name without the 'git-' prefix and set .git_cmd = 1.
51          *
52          * Note that the ownership of the memory pointed to by .argv stays with the
53          * caller, but it should survive until `finish_command` completes. If the
54          * .argv member is NULL, `start_command` will point it at the .args
55          * `strvec` (so you may use one or the other, but you must use exactly
56          * one). The memory in .args will be cleaned up automatically during
57          * `finish_command` (or during `start_command` when it is unsuccessful).
58          *
59          */
60         const char **argv;
61
62         struct strvec args;
63         struct strvec env_array;
64         pid_t pid;
65
66         int trace2_child_id;
67         uint64_t trace2_child_us_start;
68         const char *trace2_child_class;
69         const char *trace2_hook_name;
70
71         /*
72          * Using .in, .out, .err:
73          * - Specify 0 for no redirections. No new file descriptor is allocated.
74          * (child inherits stdin, stdout, stderr from parent).
75          * - Specify -1 to have a pipe allocated as follows:
76          *     .in: returns the writable pipe end; parent writes to it,
77          *          the readable pipe end becomes child's stdin
78          *     .out, .err: returns the readable pipe end; parent reads from
79          *          it, the writable pipe end becomes child's stdout/stderr
80          *   The caller of start_command() must close the returned FDs
81          *   after it has completed reading from/writing to it!
82          * - Specify > 0 to set a channel to a particular FD as follows:
83          *     .in: a readable FD, becomes child's stdin
84          *     .out: a writable FD, becomes child's stdout/stderr
85          *     .err: a writable FD, becomes child's stderr
86          *   The specified FD is closed by start_command(), even in case
87          *   of errors!
88          */
89         int in;
90         int out;
91         int err;
92
93         /**
94          * To specify a new initial working directory for the sub-process,
95          * specify it in the .dir member.
96          */
97         const char *dir;
98
99         /**
100          * To modify the environment of the sub-process, specify an array of
101          * string pointers (NULL terminated) in .env:
102          *
103          * - If the string is of the form "VAR=value", i.e. it contains '='
104          *   the variable is added to the child process's environment.
105          *
106          * - If the string does not contain '=', it names an environment
107          *   variable that will be removed from the child process's environment.
108          *
109          * If the .env member is NULL, `start_command` will point it at the
110          * .env_array `strvec` (so you may use one or the other, but not both).
111          * The memory in .env_array will be cleaned up automatically during
112          * `finish_command` (or during `start_command` when it is unsuccessful).
113          */
114         const char *const *env;
115
116         unsigned no_stdin:1;
117         unsigned no_stdout:1;
118         unsigned no_stderr:1;
119         unsigned git_cmd:1; /* if this is to be git sub-command */
120
121         /**
122          * If the program cannot be found, the functions return -1 and set
123          * errno to ENOENT. Normally, an error message is printed, but if
124          * .silent_exec_failure is set to 1, no message is printed for this
125          * special error condition.
126          */
127         unsigned silent_exec_failure:1;
128
129         /**
130          * Run the command from argv[0] using a shell (but note that we may
131          * still optimize out the shell call if the command contains no
132          * metacharacters). Note that further arguments to the command in
133          * argv[1], etc, do not need to be shell-quoted.
134          */
135         unsigned use_shell:1;
136
137         unsigned stdout_to_stderr:1;
138         unsigned clean_on_exit:1;
139         unsigned wait_after_clean:1;
140         void (*clean_on_exit_handler)(struct child_process *process);
141         void *clean_on_exit_handler_cbdata;
142 };
143
144 #define CHILD_PROCESS_INIT { NULL, STRVEC_INIT, STRVEC_INIT }
145
146 /**
147  * The functions: child_process_init, start_command, finish_command,
148  * run_command, run_command_v_opt, run_command_v_opt_cd_env, child_process_clear
149  * do the following:
150  *
151  * - If a system call failed, errno is set and -1 is returned. A diagnostic
152  *   is printed.
153  *
154  * - If the program was not found, then -1 is returned and errno is set to
155  *   ENOENT; a diagnostic is printed only if .silent_exec_failure is 0.
156  *
157  * - Otherwise, the program is run. If it terminates regularly, its exit
158  *   code is returned. No diagnostic is printed, even if the exit code is
159  *   non-zero.
160  *
161  * - If the program terminated due to a signal, then the return value is the
162  *   signal number + 128, ie. the same value that a POSIX shell's $? would
163  *   report.  A diagnostic is printed.
164  *
165  */
166
167 /**
168  * Initialize a struct child_process variable.
169  */
170 void child_process_init(struct child_process *);
171
172 /**
173  * Release the memory associated with the struct child_process.
174  * Most users of the run-command API don't need to call this
175  * function explicitly because `start_command` invokes it on
176  * failure and `finish_command` calls it automatically already.
177  */
178 void child_process_clear(struct child_process *);
179
180 int is_executable(const char *name);
181
182 /**
183  * Start a sub-process. Takes a pointer to a `struct child_process`
184  * that specifies the details and returns pipe FDs (if requested).
185  * See below for details.
186  */
187 int start_command(struct child_process *);
188
189 /**
190  * Wait for the completion of a sub-process that was started with
191  * start_command().
192  */
193 int finish_command(struct child_process *);
194
195 int finish_command_in_signal(struct child_process *);
196
197 /**
198  * A convenience function that encapsulates a sequence of
199  * start_command() followed by finish_command(). Takes a pointer
200  * to a `struct child_process` that specifies the details.
201  */
202 int run_command(struct child_process *);
203
204 /*
205  * Returns the path to the hook file, or NULL if the hook is missing
206  * or disabled. Note that this points to static storage that will be
207  * overwritten by further calls to find_hook and run_hook_*.
208  */
209 const char *find_hook(const char *name);
210
211 /**
212  * Run a hook.
213  * The first argument is a pathname to an index file, or NULL
214  * if the hook uses the default index file or no index is needed.
215  * The second argument is the name of the hook.
216  * The further arguments correspond to the hook arguments.
217  * The last argument has to be NULL to terminate the arguments list.
218  * If the hook does not exist or is not executable, the return
219  * value will be zero.
220  * If it is executable, the hook will be executed and the exit
221  * status of the hook is returned.
222  * On execution, .stdout_to_stderr and .no_stdin will be set.
223  */
224 LAST_ARG_MUST_BE_NULL
225 int run_hook_le(const char *const *env, const char *name, ...);
226 int run_hook_ve(const char *const *env, const char *name, va_list args);
227
228 /*
229  * Trigger an auto-gc
230  */
231 int run_auto_maintenance(int quiet);
232
233 #define RUN_COMMAND_NO_STDIN 1
234 #define RUN_GIT_CMD          2  /*If this is to be git sub-command */
235 #define RUN_COMMAND_STDOUT_TO_STDERR 4
236 #define RUN_SILENT_EXEC_FAILURE 8
237 #define RUN_USING_SHELL 16
238 #define RUN_CLEAN_ON_EXIT 32
239 #define RUN_WAIT_AFTER_CLEAN 64
240
241 /**
242  * Convenience functions that encapsulate a sequence of
243  * start_command() followed by finish_command(). The argument argv
244  * specifies the program and its arguments. The argument opt is zero
245  * or more of the flags `RUN_COMMAND_NO_STDIN`, `RUN_GIT_CMD`,
246  * `RUN_COMMAND_STDOUT_TO_STDERR`, or `RUN_SILENT_EXEC_FAILURE`
247  * that correspond to the members .no_stdin, .git_cmd,
248  * .stdout_to_stderr, .silent_exec_failure of `struct child_process`.
249  * The argument dir corresponds the member .dir. The argument env
250  * corresponds to the member .env.
251  */
252 int run_command_v_opt(const char **argv, int opt);
253 int run_command_v_opt_tr2(const char **argv, int opt, const char *tr2_class);
254 /*
255  * env (the environment) is to be formatted like environ: "VAR=VALUE".
256  * To unset an environment variable use just "VAR".
257  */
258 int run_command_v_opt_cd_env(const char **argv, int opt, const char *dir, const char *const *env);
259 int run_command_v_opt_cd_env_tr2(const char **argv, int opt, const char *dir,
260                                  const char *const *env, const char *tr2_class);
261
262 /**
263  * Execute the given command, sending "in" to its stdin, and capturing its
264  * stdout and stderr in the "out" and "err" strbufs. Any of the three may
265  * be NULL to skip processing.
266  *
267  * Returns -1 if starting the command fails or reading fails, and otherwise
268  * returns the exit code of the command. Any output collected in the
269  * buffers is kept even if the command returns a non-zero exit. The hint fields
270  * gives starting sizes for the strbuf allocations.
271  *
272  * The fields of "cmd" should be set up as they would for a normal run_command
273  * invocation. But note that there is no need to set the in, out, or err
274  * fields; pipe_command handles that automatically.
275  */
276 int pipe_command(struct child_process *cmd,
277                  const char *in, size_t in_len,
278                  struct strbuf *out, size_t out_hint,
279                  struct strbuf *err, size_t err_hint);
280
281 /**
282  * Convenience wrapper around pipe_command for the common case
283  * of capturing only stdout.
284  */
285 static inline int capture_command(struct child_process *cmd,
286                                   struct strbuf *out,
287                                   size_t hint)
288 {
289         return pipe_command(cmd, NULL, 0, out, hint, NULL, 0);
290 }
291
292 /*
293  * The purpose of the following functions is to feed a pipe by running
294  * a function asynchronously and providing output that the caller reads.
295  *
296  * It is expected that no synchronization and mutual exclusion between
297  * the caller and the feed function is necessary so that the function
298  * can run in a thread without interfering with the caller.
299  *
300  * The caller:
301  *
302  * 1. allocates and clears (memset(&asy, 0, sizeof(asy));) a
303  *    struct async variable;
304  * 2. initializes .proc and .data;
305  * 3. calls start_async();
306  * 4. processes communicates with proc through .in and .out;
307  * 5. closes .in and .out;
308  * 6. calls finish_async().
309  *
310  * There are serious restrictions on what the asynchronous function can do
311  * because this facility is implemented by a thread in the same address
312  * space on most platforms (when pthreads is available), but by a pipe to
313  * a forked process otherwise:
314  *
315  * - It cannot change the program's state (global variables, environment,
316  *   etc.) in a way that the caller notices; in other words, .in and .out
317  *   are the only communication channels to the caller.
318  *
319  * - It must not change the program's state that the caller of the
320  *   facility also uses.
321  *
322  */
323 struct async {
324
325         /**
326          * The function pointer in .proc has the following signature:
327          *
328          *      int proc(int in, int out, void *data);
329          *
330          * - in, out specifies a set of file descriptors to which the function
331          *  must read/write the data that it needs/produces.  The function
332          *  *must* close these descriptors before it returns.  A descriptor
333          *  may be -1 if the caller did not configure a descriptor for that
334          *  direction.
335          *
336          * - data is the value that the caller has specified in the .data member
337          *  of struct async.
338          *
339          * - The return value of the function is 0 on success and non-zero
340          *  on failure. If the function indicates failure, finish_async() will
341          *  report failure as well.
342          *
343          */
344         int (*proc)(int in, int out, void *data);
345
346         void *data;
347
348         /**
349          * The members .in, .out are used to provide a set of fd's for
350          * communication between the caller and the callee as follows:
351          *
352          * - Specify 0 to have no file descriptor passed.  The callee will
353          *   receive -1 in the corresponding argument.
354          *
355          * - Specify < 0 to have a pipe allocated; start_async() replaces
356          *   with the pipe FD in the following way:
357          *
358          *      .in: Returns the writable pipe end into which the caller
359          *      writes; the readable end of the pipe becomes the function's
360          *      in argument.
361          *
362          *      .out: Returns the readable pipe end from which the caller
363          *      reads; the writable end of the pipe becomes the function's
364          *      out argument.
365          *
366          *   The caller of start_async() must close the returned FDs after it
367          *   has completed reading from/writing from them.
368          *
369          * - Specify a file descriptor > 0 to be used by the function:
370          *
371          *      .in: The FD must be readable; it becomes the function's in.
372          *      .out: The FD must be writable; it becomes the function's out.
373          *
374          *   The specified FD is closed by start_async(), even if it fails to
375          *   run the function.
376          */
377         int in;         /* caller writes here and closes it */
378         int out;        /* caller reads from here and closes it */
379 #ifdef NO_PTHREADS
380         pid_t pid;
381 #else
382         pthread_t tid;
383         int proc_in;
384         int proc_out;
385 #endif
386         int isolate_sigpipe;
387 };
388
389 /**
390  * Run a function asynchronously. Takes a pointer to a `struct
391  * async` that specifies the details and returns a set of pipe FDs
392  * for communication with the function. See below for details.
393  */
394 int start_async(struct async *async);
395
396 /**
397  * Wait for the completion of an asynchronous function that was
398  * started with start_async().
399  */
400 int finish_async(struct async *async);
401
402 int in_async(void);
403 int async_with_fork(void);
404 void check_pipe(int err);
405
406 /**
407  * This callback should initialize the child process and preload the
408  * error channel if desired. The preloading of is useful if you want to
409  * have a message printed directly before the output of the child process.
410  * pp_cb is the callback cookie as passed to run_processes_parallel.
411  * You can store a child process specific callback cookie in pp_task_cb.
412  *
413  * Even after returning 0 to indicate that there are no more processes,
414  * this function will be called again until there are no more running
415  * child processes.
416  *
417  * Return 1 if the next child is ready to run.
418  * Return 0 if there are currently no more tasks to be processed.
419  * To send a signal to other child processes for abortion,
420  * return the negative signal number.
421  */
422 typedef int (*get_next_task_fn)(struct child_process *cp,
423                                 struct strbuf *out,
424                                 void *pp_cb,
425                                 void **pp_task_cb);
426
427 /**
428  * This callback is called whenever there are problems starting
429  * a new process.
430  *
431  * You must not write to stdout or stderr in this function. Add your
432  * message to the strbuf out instead, which will be printed without
433  * messing up the output of the other parallel processes.
434  *
435  * pp_cb is the callback cookie as passed into run_processes_parallel,
436  * pp_task_cb is the callback cookie as passed into get_next_task_fn.
437  *
438  * Return 0 to continue the parallel processing. To abort return non zero.
439  * To send a signal to other child processes for abortion, return
440  * the negative signal number.
441  */
442 typedef int (*start_failure_fn)(struct strbuf *out,
443                                 void *pp_cb,
444                                 void *pp_task_cb);
445
446 /**
447  * This callback is called on every child process that finished processing.
448  *
449  * You must not write to stdout or stderr in this function. Add your
450  * message to the strbuf out instead, which will be printed without
451  * messing up the output of the other parallel processes.
452  *
453  * pp_cb is the callback cookie as passed into run_processes_parallel,
454  * pp_task_cb is the callback cookie as passed into get_next_task_fn.
455  *
456  * Return 0 to continue the parallel processing.  To abort return non zero.
457  * To send a signal to other child processes for abortion, return
458  * the negative signal number.
459  */
460 typedef int (*task_finished_fn)(int result,
461                                 struct strbuf *out,
462                                 void *pp_cb,
463                                 void *pp_task_cb);
464
465 /**
466  * Runs up to n processes at the same time. Whenever a process can be
467  * started, the callback get_next_task_fn is called to obtain the data
468  * required to start another child process.
469  *
470  * The children started via this function run in parallel. Their output
471  * (both stdout and stderr) is routed to stderr in a manner that output
472  * from different tasks does not interleave.
473  *
474  * start_failure_fn and task_finished_fn can be NULL to omit any
475  * special handling.
476  */
477 int run_processes_parallel(int n,
478                            get_next_task_fn,
479                            start_failure_fn,
480                            task_finished_fn,
481                            void *pp_cb);
482 int run_processes_parallel_tr2(int n, get_next_task_fn, start_failure_fn,
483                                task_finished_fn, void *pp_cb,
484                                const char *tr2_category, const char *tr2_label);
485
486 #endif