blob: 94aa18f3f7db211482f8392a5ecc2a3da786fc18 [file] [log] [blame]
Michael Haggerty1a9d15d2015-08-10 11:47:41 +02001/*
2 * State diagram and cleanup
3 * -------------------------
4 *
5 * If the program exits while a temporary file is active, we want to
6 * make sure that we remove it. This is done by remembering the active
7 * temporary files in a linked list, `tempfile_list`. An `atexit(3)`
8 * handler and a signal handler are registered, to clean up any active
9 * temporary files.
10 *
11 * Because the signal handler can run at any time, `tempfile_list` and
12 * the `tempfile` objects that comprise it must be kept in
13 * self-consistent states at all times.
14 *
15 * The possible states of a `tempfile` object are as follows:
16 *
17 * - Uninitialized. In this state the object's `on_list` field must be
18 * zero but the rest of its contents need not be initialized. As
19 * soon as the object is used in any way, it is irrevocably
20 * registered in `tempfile_list`, and `on_list` is set.
21 *
22 * - Active, file open (after `create_tempfile()` or
23 * `reopen_tempfile()`). In this state:
24 *
25 * - the temporary file exists
26 * - `active` is set
27 * - `filename` holds the filename of the temporary file
28 * - `fd` holds a file descriptor open for writing to it
29 * - `fp` holds a pointer to an open `FILE` object if and only if
30 * `fdopen_tempfile()` has been called on the object
31 * - `owner` holds the PID of the process that created the file
32 *
Jeff King49bd0fc2017-09-05 08:14:30 -040033 * - Active, file closed (after `close_tempfile_gently()`). Same
Michael Haggerty1a9d15d2015-08-10 11:47:41 +020034 * as the previous state, except that the temporary file is closed,
35 * `fd` is -1, and `fp` is `NULL`.
36 *
Jeff King49bd0fc2017-09-05 08:14:30 -040037 * - Inactive (after `delete_tempfile()`, `rename_tempfile()`, or a
38 * failed attempt to create a temporary file). In this state:
Michael Haggerty1a9d15d2015-08-10 11:47:41 +020039 *
40 * - `active` is unset
41 * - `filename` is empty (usually, though there are transitory
42 * states in which this condition doesn't hold). Client code should
43 * *not* rely on the filename being empty in this state.
44 * - `fd` is -1 and `fp` is `NULL`
Jeff King422a21c2017-09-05 08:15:04 -040045 * - the object is removed from `tempfile_list` (but could be used again)
Michael Haggerty1a9d15d2015-08-10 11:47:41 +020046 *
47 * A temporary file is owned by the process that created it. The
48 * `tempfile` has an `owner` field that records the owner's PID. This
49 * field is used to prevent a forked process from deleting a temporary
50 * file created by its parent.
51 */
52
53#include "cache.h"
54#include "tempfile.h"
55#include "sigchain.h"
56
Jeff King24d82182017-09-05 08:15:00 -040057static VOLATILE_LIST_HEAD(tempfile_list);
Michael Haggerty1a9d15d2015-08-10 11:47:41 +020058
Jeff King6b935062017-09-05 08:14:53 -040059static void remove_tempfiles(int in_signal_handler)
Michael Haggerty1a9d15d2015-08-10 11:47:41 +020060{
61 pid_t me = getpid();
Jeff King24d82182017-09-05 08:15:00 -040062 volatile struct volatile_list_head *pos;
Michael Haggerty1a9d15d2015-08-10 11:47:41 +020063
Jeff King24d82182017-09-05 08:15:00 -040064 list_for_each(pos, &tempfile_list) {
65 struct tempfile *p = list_entry(pos, struct tempfile, list);
66
Jeff King6b935062017-09-05 08:14:53 -040067 if (!is_tempfile_active(p) || p->owner != me)
68 continue;
69
70 if (p->fd >= 0)
71 close(p->fd);
72
73 if (in_signal_handler)
74 unlink(p->filename.buf);
75 else
76 unlink_or_warn(p->filename.buf);
77
78 p->active = 0;
Michael Haggerty1a9d15d2015-08-10 11:47:41 +020079 }
80}
81
82static void remove_tempfiles_on_exit(void)
83{
84 remove_tempfiles(0);
85}
86
87static void remove_tempfiles_on_signal(int signo)
88{
89 remove_tempfiles(1);
90 sigchain_pop(signo);
91 raise(signo);
92}
93
Jeff King076aa2c2017-09-05 08:15:08 -040094static struct tempfile *new_tempfile(void)
Michael Haggerty1a9d15d2015-08-10 11:47:41 +020095{
Jeff King076aa2c2017-09-05 08:15:08 -040096 struct tempfile *tempfile = xmalloc(sizeof(*tempfile));
Jeff King422a21c2017-09-05 08:15:04 -040097 tempfile->fd = -1;
98 tempfile->fp = NULL;
99 tempfile->active = 0;
100 tempfile->owner = 0;
101 INIT_LIST_HEAD(&tempfile->list);
102 strbuf_init(&tempfile->filename, 0);
Jeff King076aa2c2017-09-05 08:15:08 -0400103 return tempfile;
Michael Haggerty7eba6ce2015-08-10 11:47:42 +0200104}
105
Jeff King2933ebb2017-09-05 08:14:47 -0400106static void activate_tempfile(struct tempfile *tempfile)
107{
Jeff King422a21c2017-09-05 08:15:04 -0400108 static int initialized;
109
110 if (is_tempfile_active(tempfile))
111 BUG("activate_tempfile called for active object");
112
113 if (!initialized) {
114 sigchain_push_common(remove_tempfiles_on_signal);
115 atexit(remove_tempfiles_on_exit);
116 initialized = 1;
117 }
118
119 volatile_list_add(&tempfile->list, &tempfile_list);
Jeff King2933ebb2017-09-05 08:14:47 -0400120 tempfile->owner = getpid();
121 tempfile->active = 1;
122}
123
Jeff Kingb5f4dcb2017-09-05 08:14:50 -0400124static void deactivate_tempfile(struct tempfile *tempfile)
125{
126 tempfile->active = 0;
Jeff King102cf7a2017-09-05 08:14:56 -0400127 strbuf_release(&tempfile->filename);
Jeff King422a21c2017-09-05 08:15:04 -0400128 volatile_list_del(&tempfile->list);
Jeff King076aa2c2017-09-05 08:15:08 -0400129 free(tempfile);
Jeff Kingb5f4dcb2017-09-05 08:14:50 -0400130}
131
Michael Haggerty7eba6ce2015-08-10 11:47:42 +0200132/* Make sure errno contains a meaningful value on error */
Taylor Blaubef04132020-04-27 10:27:54 -0600133struct tempfile *create_tempfile_mode(const char *path, int mode)
Michael Haggerty7eba6ce2015-08-10 11:47:42 +0200134{
Jeff King076aa2c2017-09-05 08:15:08 -0400135 struct tempfile *tempfile = new_tempfile();
Michael Haggerty1a9d15d2015-08-10 11:47:41 +0200136
137 strbuf_add_absolute_path(&tempfile->filename, path);
Ben Wijen05d1ed62016-08-22 14:47:55 +0200138 tempfile->fd = open(tempfile->filename.buf,
Taylor Blaubef04132020-04-27 10:27:54 -0600139 O_RDWR | O_CREAT | O_EXCL | O_CLOEXEC, mode);
Ben Wijen05d1ed62016-08-22 14:47:55 +0200140 if (O_CLOEXEC && tempfile->fd < 0 && errno == EINVAL)
141 /* Try again w/o O_CLOEXEC: the kernel might not support it */
142 tempfile->fd = open(tempfile->filename.buf,
Taylor Blaubef04132020-04-27 10:27:54 -0600143 O_RDWR | O_CREAT | O_EXCL, mode);
Michael Haggerty1a9d15d2015-08-10 11:47:41 +0200144 if (tempfile->fd < 0) {
Jeff Kingb5f4dcb2017-09-05 08:14:50 -0400145 deactivate_tempfile(tempfile);
Jeff King076aa2c2017-09-05 08:15:08 -0400146 return NULL;
Michael Haggerty1a9d15d2015-08-10 11:47:41 +0200147 }
Jeff King2933ebb2017-09-05 08:14:47 -0400148 activate_tempfile(tempfile);
Michael Haggerty1a9d15d2015-08-10 11:47:41 +0200149 if (adjust_shared_perm(tempfile->filename.buf)) {
150 int save_errno = errno;
151 error("cannot fix permission bits on %s", tempfile->filename.buf);
Jeff King076aa2c2017-09-05 08:15:08 -0400152 delete_tempfile(&tempfile);
Michael Haggerty1a9d15d2015-08-10 11:47:41 +0200153 errno = save_errno;
Jeff King076aa2c2017-09-05 08:15:08 -0400154 return NULL;
Michael Haggerty1a9d15d2015-08-10 11:47:41 +0200155 }
Jeff King076aa2c2017-09-05 08:15:08 -0400156
157 return tempfile;
Michael Haggerty1a9d15d2015-08-10 11:47:41 +0200158}
159
Jeff King076aa2c2017-09-05 08:15:08 -0400160struct tempfile *register_tempfile(const char *path)
Michael Haggerty99397152015-08-10 11:47:44 +0200161{
Jeff King076aa2c2017-09-05 08:15:08 -0400162 struct tempfile *tempfile = new_tempfile();
Michael Haggerty99397152015-08-10 11:47:44 +0200163 strbuf_add_absolute_path(&tempfile->filename, path);
Jeff King2933ebb2017-09-05 08:14:47 -0400164 activate_tempfile(tempfile);
Jeff King076aa2c2017-09-05 08:15:08 -0400165 return tempfile;
Michael Haggerty99397152015-08-10 11:47:44 +0200166}
167
Brandon Williamsea8ace42018-02-14 10:59:57 -0800168struct tempfile *mks_tempfile_sm(const char *filename_template, int suffixlen, int mode)
Michael Haggerty354ab112015-08-10 11:47:43 +0200169{
Jeff King076aa2c2017-09-05 08:15:08 -0400170 struct tempfile *tempfile = new_tempfile();
Michael Haggerty354ab112015-08-10 11:47:43 +0200171
Brandon Williamsea8ace42018-02-14 10:59:57 -0800172 strbuf_add_absolute_path(&tempfile->filename, filename_template);
Michael Haggerty354ab112015-08-10 11:47:43 +0200173 tempfile->fd = git_mkstemps_mode(tempfile->filename.buf, suffixlen, mode);
174 if (tempfile->fd < 0) {
Jeff Kingb5f4dcb2017-09-05 08:14:50 -0400175 deactivate_tempfile(tempfile);
Jeff King076aa2c2017-09-05 08:15:08 -0400176 return NULL;
Michael Haggerty354ab112015-08-10 11:47:43 +0200177 }
Jeff King2933ebb2017-09-05 08:14:47 -0400178 activate_tempfile(tempfile);
Jeff King076aa2c2017-09-05 08:15:08 -0400179 return tempfile;
Michael Haggerty354ab112015-08-10 11:47:43 +0200180}
181
Brandon Williamsea8ace42018-02-14 10:59:57 -0800182struct tempfile *mks_tempfile_tsm(const char *filename_template, int suffixlen, int mode)
Michael Haggerty354ab112015-08-10 11:47:43 +0200183{
Jeff King076aa2c2017-09-05 08:15:08 -0400184 struct tempfile *tempfile = new_tempfile();
Michael Haggerty354ab112015-08-10 11:47:43 +0200185 const char *tmpdir;
186
Michael Haggerty354ab112015-08-10 11:47:43 +0200187 tmpdir = getenv("TMPDIR");
188 if (!tmpdir)
189 tmpdir = "/tmp";
190
Brandon Williamsea8ace42018-02-14 10:59:57 -0800191 strbuf_addf(&tempfile->filename, "%s/%s", tmpdir, filename_template);
Michael Haggerty354ab112015-08-10 11:47:43 +0200192 tempfile->fd = git_mkstemps_mode(tempfile->filename.buf, suffixlen, mode);
193 if (tempfile->fd < 0) {
Jeff Kingb5f4dcb2017-09-05 08:14:50 -0400194 deactivate_tempfile(tempfile);
Jeff King076aa2c2017-09-05 08:15:08 -0400195 return NULL;
Michael Haggerty354ab112015-08-10 11:47:43 +0200196 }
Jeff King2933ebb2017-09-05 08:14:47 -0400197 activate_tempfile(tempfile);
Jeff King076aa2c2017-09-05 08:15:08 -0400198 return tempfile;
Michael Haggerty354ab112015-08-10 11:47:43 +0200199}
200
Brandon Williamsea8ace42018-02-14 10:59:57 -0800201struct tempfile *xmks_tempfile_m(const char *filename_template, int mode)
Michael Haggerty354ab112015-08-10 11:47:43 +0200202{
Jeff King076aa2c2017-09-05 08:15:08 -0400203 struct tempfile *tempfile;
Michael Haggerty354ab112015-08-10 11:47:43 +0200204 struct strbuf full_template = STRBUF_INIT;
205
Brandon Williamsea8ace42018-02-14 10:59:57 -0800206 strbuf_add_absolute_path(&full_template, filename_template);
Jeff King076aa2c2017-09-05 08:15:08 -0400207 tempfile = mks_tempfile_m(full_template.buf, mode);
208 if (!tempfile)
Michael Haggerty354ab112015-08-10 11:47:43 +0200209 die_errno("Unable to create temporary file '%s'",
210 full_template.buf);
211
212 strbuf_release(&full_template);
Jeff King076aa2c2017-09-05 08:15:08 -0400213 return tempfile;
Michael Haggerty354ab112015-08-10 11:47:43 +0200214}
215
Michael Haggerty1a9d15d2015-08-10 11:47:41 +0200216FILE *fdopen_tempfile(struct tempfile *tempfile, const char *mode)
217{
Jeff Kinge6fc2672017-09-05 08:14:36 -0400218 if (!is_tempfile_active(tempfile))
Jeff King9b028aa2017-09-05 08:14:43 -0400219 BUG("fdopen_tempfile() called for inactive object");
Michael Haggerty1a9d15d2015-08-10 11:47:41 +0200220 if (tempfile->fp)
Jeff King9b028aa2017-09-05 08:14:43 -0400221 BUG("fdopen_tempfile() called for open object");
Michael Haggerty1a9d15d2015-08-10 11:47:41 +0200222
223 tempfile->fp = fdopen(tempfile->fd, mode);
224 return tempfile->fp;
225}
226
227const char *get_tempfile_path(struct tempfile *tempfile)
228{
Jeff Kinge6fc2672017-09-05 08:14:36 -0400229 if (!is_tempfile_active(tempfile))
Jeff King9b028aa2017-09-05 08:14:43 -0400230 BUG("get_tempfile_path() called for inactive object");
Michael Haggerty1a9d15d2015-08-10 11:47:41 +0200231 return tempfile->filename.buf;
232}
233
234int get_tempfile_fd(struct tempfile *tempfile)
235{
Jeff Kinge6fc2672017-09-05 08:14:36 -0400236 if (!is_tempfile_active(tempfile))
Jeff King9b028aa2017-09-05 08:14:43 -0400237 BUG("get_tempfile_fd() called for inactive object");
Michael Haggerty1a9d15d2015-08-10 11:47:41 +0200238 return tempfile->fd;
239}
240
241FILE *get_tempfile_fp(struct tempfile *tempfile)
242{
Jeff Kinge6fc2672017-09-05 08:14:36 -0400243 if (!is_tempfile_active(tempfile))
Jeff King9b028aa2017-09-05 08:14:43 -0400244 BUG("get_tempfile_fp() called for inactive object");
Michael Haggerty1a9d15d2015-08-10 11:47:41 +0200245 return tempfile->fp;
246}
247
Jeff King49bd0fc2017-09-05 08:14:30 -0400248int close_tempfile_gently(struct tempfile *tempfile)
Michael Haggerty1a9d15d2015-08-10 11:47:41 +0200249{
Jeff Kingf5b4dc72017-09-05 08:14:40 -0400250 int fd;
251 FILE *fp;
Michael Haggerty1a9d15d2015-08-10 11:47:41 +0200252 int err;
253
Jeff Kingf5b4dc72017-09-05 08:14:40 -0400254 if (!is_tempfile_active(tempfile) || tempfile->fd < 0)
Michael Haggerty1a9d15d2015-08-10 11:47:41 +0200255 return 0;
256
Jeff Kingf5b4dc72017-09-05 08:14:40 -0400257 fd = tempfile->fd;
258 fp = tempfile->fp;
Michael Haggerty1a9d15d2015-08-10 11:47:41 +0200259 tempfile->fd = -1;
260 if (fp) {
261 tempfile->fp = NULL;
Jeff King7e8c9352017-02-17 16:07:49 -0500262 if (ferror(fp)) {
263 err = -1;
264 if (!fclose(fp))
265 errno = EIO;
266 } else {
267 err = fclose(fp);
268 }
Michael Haggerty1a9d15d2015-08-10 11:47:41 +0200269 } else {
270 err = close(fd);
271 }
272
Jeff King49bd0fc2017-09-05 08:14:30 -0400273 return err ? -1 : 0;
Michael Haggerty1a9d15d2015-08-10 11:47:41 +0200274}
275
276int reopen_tempfile(struct tempfile *tempfile)
277{
Jeff Kinge6fc2672017-09-05 08:14:36 -0400278 if (!is_tempfile_active(tempfile))
Jeff King9b028aa2017-09-05 08:14:43 -0400279 BUG("reopen_tempfile called for an inactive object");
Jeff Kingf5b4dc72017-09-05 08:14:40 -0400280 if (0 <= tempfile->fd)
Jeff King9b028aa2017-09-05 08:14:43 -0400281 BUG("reopen_tempfile called for an open object");
Jeff King6c003d62018-09-04 19:36:43 -0400282 tempfile->fd = open(tempfile->filename.buf, O_WRONLY|O_TRUNC);
Michael Haggerty1a9d15d2015-08-10 11:47:41 +0200283 return tempfile->fd;
284}
285
Jeff King076aa2c2017-09-05 08:15:08 -0400286int rename_tempfile(struct tempfile **tempfile_p, const char *path)
Michael Haggerty1a9d15d2015-08-10 11:47:41 +0200287{
Jeff King076aa2c2017-09-05 08:15:08 -0400288 struct tempfile *tempfile = *tempfile_p;
289
Jeff Kinge6fc2672017-09-05 08:14:36 -0400290 if (!is_tempfile_active(tempfile))
Jeff King9b028aa2017-09-05 08:14:43 -0400291 BUG("rename_tempfile called for inactive object");
Michael Haggerty1a9d15d2015-08-10 11:47:41 +0200292
Jeff King49bd0fc2017-09-05 08:14:30 -0400293 if (close_tempfile_gently(tempfile)) {
Jeff King076aa2c2017-09-05 08:15:08 -0400294 delete_tempfile(tempfile_p);
Michael Haggerty1a9d15d2015-08-10 11:47:41 +0200295 return -1;
Jeff King49bd0fc2017-09-05 08:14:30 -0400296 }
Michael Haggerty1a9d15d2015-08-10 11:47:41 +0200297
298 if (rename(tempfile->filename.buf, path)) {
299 int save_errno = errno;
Jeff King076aa2c2017-09-05 08:15:08 -0400300 delete_tempfile(tempfile_p);
Michael Haggerty1a9d15d2015-08-10 11:47:41 +0200301 errno = save_errno;
302 return -1;
303 }
304
Jeff Kingb5f4dcb2017-09-05 08:14:50 -0400305 deactivate_tempfile(tempfile);
Jeff King076aa2c2017-09-05 08:15:08 -0400306 *tempfile_p = NULL;
Michael Haggerty1a9d15d2015-08-10 11:47:41 +0200307 return 0;
308}
309
Jeff King076aa2c2017-09-05 08:15:08 -0400310void delete_tempfile(struct tempfile **tempfile_p)
Michael Haggerty1a9d15d2015-08-10 11:47:41 +0200311{
Jeff King076aa2c2017-09-05 08:15:08 -0400312 struct tempfile *tempfile = *tempfile_p;
313
Jeff Kinge6fc2672017-09-05 08:14:36 -0400314 if (!is_tempfile_active(tempfile))
Michael Haggerty1a9d15d2015-08-10 11:47:41 +0200315 return;
316
Jeff King49bd0fc2017-09-05 08:14:30 -0400317 close_tempfile_gently(tempfile);
318 unlink_or_warn(tempfile->filename.buf);
Jeff Kingb5f4dcb2017-09-05 08:14:50 -0400319 deactivate_tempfile(tempfile);
Jeff King076aa2c2017-09-05 08:15:08 -0400320 *tempfile_p = NULL;
Michael Haggerty1a9d15d2015-08-10 11:47:41 +0200321}