Junio C Hamano | 021b6e4 | 2006-06-06 12:51:49 -0700 | [diff] [blame] | 1 | /* |
| 2 | * Copyright (c) 2005, Junio C Hamano |
| 3 | */ |
Michael Haggerty | 2db69de | 2015-08-10 11:47:36 +0200 | [diff] [blame] | 4 | |
Elijah Newren | a64acf7 | 2023-03-21 06:26:02 +0000 | [diff] [blame] | 5 | #include "git-compat-util.h" |
Elijah Newren | 0b027f6 | 2023-03-21 06:25:58 +0000 | [diff] [blame] | 6 | #include "abspath.h" |
Elijah Newren | f394e09 | 2023-03-21 06:25:54 +0000 | [diff] [blame] | 7 | #include "gettext.h" |
Michael Haggerty | 697cc8e | 2014-10-01 12:28:42 +0200 | [diff] [blame] | 8 | #include "lockfile.h" |
Junio C Hamano | 021b6e4 | 2006-06-06 12:51:49 -0700 | [diff] [blame] | 9 | |
Bradford C. Smith | 5d5a7a6 | 2007-07-26 13:34:14 -0400 | [diff] [blame] | 10 | /* |
Michael Haggerty | 0c0d6e8 | 2014-10-01 12:28:35 +0200 | [diff] [blame] | 11 | * path = absolute or relative path name |
Bradford C. Smith | 5d5a7a6 | 2007-07-26 13:34:14 -0400 | [diff] [blame] | 12 | * |
Michael Haggerty | 0c0d6e8 | 2014-10-01 12:28:35 +0200 | [diff] [blame] | 13 | * Remove the last path name element from path (leaving the preceding |
| 14 | * "/", if any). If path is empty or the root directory ("/"), set |
| 15 | * path to the empty string. |
Bradford C. Smith | 5d5a7a6 | 2007-07-26 13:34:14 -0400 | [diff] [blame] | 16 | */ |
Michael Haggerty | 0c0d6e8 | 2014-10-01 12:28:35 +0200 | [diff] [blame] | 17 | static void trim_last_path_component(struct strbuf *path) |
Bradford C. Smith | 5d5a7a6 | 2007-07-26 13:34:14 -0400 | [diff] [blame] | 18 | { |
Michael Haggerty | 0c0d6e8 | 2014-10-01 12:28:35 +0200 | [diff] [blame] | 19 | int i = path->len; |
Bradford C. Smith | 5d5a7a6 | 2007-07-26 13:34:14 -0400 | [diff] [blame] | 20 | |
| 21 | /* back up past trailing slashes, if any */ |
Michael Haggerty | 0c0d6e8 | 2014-10-01 12:28:35 +0200 | [diff] [blame] | 22 | while (i && path->buf[i - 1] == '/') |
| 23 | i--; |
Bradford C. Smith | 5d5a7a6 | 2007-07-26 13:34:14 -0400 | [diff] [blame] | 24 | |
| 25 | /* |
Michael Haggerty | 0c0d6e8 | 2014-10-01 12:28:35 +0200 | [diff] [blame] | 26 | * then go backwards until a slash, or the beginning of the |
| 27 | * string |
Bradford C. Smith | 5d5a7a6 | 2007-07-26 13:34:14 -0400 | [diff] [blame] | 28 | */ |
Michael Haggerty | 0c0d6e8 | 2014-10-01 12:28:35 +0200 | [diff] [blame] | 29 | while (i && path->buf[i - 1] != '/') |
| 30 | i--; |
| 31 | |
| 32 | strbuf_setlen(path, i); |
Bradford C. Smith | 5d5a7a6 | 2007-07-26 13:34:14 -0400 | [diff] [blame] | 33 | } |
| 34 | |
| 35 | |
| 36 | /* We allow "recursive" symbolic links. Only within reason, though */ |
| 37 | #define MAXDEPTH 5 |
| 38 | |
| 39 | /* |
Michael Haggerty | 6cad805 | 2014-10-01 12:28:34 +0200 | [diff] [blame] | 40 | * path contains a path that might be a symlink. |
Bradford C. Smith | 5d5a7a6 | 2007-07-26 13:34:14 -0400 | [diff] [blame] | 41 | * |
Michael Haggerty | 6cad805 | 2014-10-01 12:28:34 +0200 | [diff] [blame] | 42 | * If path is a symlink, attempt to overwrite it with a path to the |
| 43 | * real file or directory (which may or may not exist), following a |
| 44 | * chain of symlinks if necessary. Otherwise, leave path unmodified. |
Bradford C. Smith | 5d5a7a6 | 2007-07-26 13:34:14 -0400 | [diff] [blame] | 45 | * |
Michael Haggerty | 6cad805 | 2014-10-01 12:28:34 +0200 | [diff] [blame] | 46 | * This is a best-effort routine. If an error occurs, path will |
| 47 | * either be left unmodified or will name a different symlink in a |
| 48 | * symlink chain that started with the original path. |
Bradford C. Smith | 5d5a7a6 | 2007-07-26 13:34:14 -0400 | [diff] [blame] | 49 | */ |
Michael Haggerty | 6cad805 | 2014-10-01 12:28:34 +0200 | [diff] [blame] | 50 | static void resolve_symlink(struct strbuf *path) |
Bradford C. Smith | 5d5a7a6 | 2007-07-26 13:34:14 -0400 | [diff] [blame] | 51 | { |
| 52 | int depth = MAXDEPTH; |
Michael Haggerty | 5025d84 | 2014-10-01 12:28:33 +0200 | [diff] [blame] | 53 | static struct strbuf link = STRBUF_INIT; |
Bradford C. Smith | 5d5a7a6 | 2007-07-26 13:34:14 -0400 | [diff] [blame] | 54 | |
| 55 | while (depth--) { |
Michael Haggerty | 6cad805 | 2014-10-01 12:28:34 +0200 | [diff] [blame] | 56 | if (strbuf_readlink(&link, path->buf, path->len) < 0) |
Michael Haggerty | 5025d84 | 2014-10-01 12:28:33 +0200 | [diff] [blame] | 57 | break; |
Bradford C. Smith | 5d5a7a6 | 2007-07-26 13:34:14 -0400 | [diff] [blame] | 58 | |
Michael Haggerty | 6cad805 | 2014-10-01 12:28:34 +0200 | [diff] [blame] | 59 | if (is_absolute_path(link.buf)) |
Bradford C. Smith | 5d5a7a6 | 2007-07-26 13:34:14 -0400 | [diff] [blame] | 60 | /* absolute path simply replaces p */ |
Michael Haggerty | 6cad805 | 2014-10-01 12:28:34 +0200 | [diff] [blame] | 61 | strbuf_reset(path); |
Michael Haggerty | 0c0d6e8 | 2014-10-01 12:28:35 +0200 | [diff] [blame] | 62 | else |
Bradford C. Smith | 5d5a7a6 | 2007-07-26 13:34:14 -0400 | [diff] [blame] | 63 | /* |
Michael Haggerty | 5025d84 | 2014-10-01 12:28:33 +0200 | [diff] [blame] | 64 | * link is a relative path, so replace the |
Bradford C. Smith | 5d5a7a6 | 2007-07-26 13:34:14 -0400 | [diff] [blame] | 65 | * last element of p with it. |
| 66 | */ |
Michael Haggerty | 0c0d6e8 | 2014-10-01 12:28:35 +0200 | [diff] [blame] | 67 | trim_last_path_component(path); |
Michael Haggerty | 6cad805 | 2014-10-01 12:28:34 +0200 | [diff] [blame] | 68 | |
| 69 | strbuf_addbuf(path, &link); |
Bradford C. Smith | 5d5a7a6 | 2007-07-26 13:34:14 -0400 | [diff] [blame] | 70 | } |
Michael Haggerty | 5025d84 | 2014-10-01 12:28:33 +0200 | [diff] [blame] | 71 | strbuf_reset(&link); |
Bradford C. Smith | 5d5a7a6 | 2007-07-26 13:34:14 -0400 | [diff] [blame] | 72 | } |
| 73 | |
Ronnie Sahlberg | 447ff1b | 2014-06-20 07:42:48 -0700 | [diff] [blame] | 74 | /* Make sure errno contains a meaningful value on error */ |
Taylor Blau | fa3bff2 | 2020-04-27 10:27:58 -0600 | [diff] [blame] | 75 | static int lock_file(struct lock_file *lk, const char *path, int flags, |
| 76 | int mode) |
Junio C Hamano | 021b6e4 | 2006-06-06 12:51:49 -0700 | [diff] [blame] | 77 | { |
Michael Haggerty | 1a9d15d | 2015-08-10 11:47:41 +0200 | [diff] [blame] | 78 | struct strbuf filename = STRBUF_INIT; |
Michael Haggerty | 2fbd4f9 | 2013-07-06 21:48:52 +0200 | [diff] [blame] | 79 | |
Michael Haggerty | 1a9d15d | 2015-08-10 11:47:41 +0200 | [diff] [blame] | 80 | strbuf_addstr(&filename, path); |
| 81 | if (!(flags & LOCK_NO_DEREF)) |
| 82 | resolve_symlink(&filename); |
Michael Haggerty | 04e57d4 | 2014-10-01 12:28:13 +0200 | [diff] [blame] | 83 | |
Michael Haggerty | 1a9d15d | 2015-08-10 11:47:41 +0200 | [diff] [blame] | 84 | strbuf_addstr(&filename, LOCK_SUFFIX); |
Taylor Blau | fa3bff2 | 2020-04-27 10:27:58 -0600 | [diff] [blame] | 85 | lk->tempfile = create_tempfile_mode(filename.buf, mode); |
Michael Haggerty | 1a9d15d | 2015-08-10 11:47:41 +0200 | [diff] [blame] | 86 | strbuf_release(&filename); |
Jeff King | 076aa2c | 2017-09-05 08:15:08 -0400 | [diff] [blame] | 87 | return lk->tempfile ? lk->tempfile->fd : -1; |
Junio C Hamano | 021b6e4 | 2006-06-06 12:51:49 -0700 | [diff] [blame] | 88 | } |
| 89 | |
Michael Haggerty | 044b6a9 | 2015-05-11 12:35:25 +0200 | [diff] [blame] | 90 | /* |
| 91 | * Constants defining the gaps between attempts to lock a file. The |
| 92 | * first backoff period is approximately INITIAL_BACKOFF_MS |
| 93 | * milliseconds. The longest backoff period is approximately |
| 94 | * (BACKOFF_MAX_MULTIPLIER * INITIAL_BACKOFF_MS) milliseconds. |
| 95 | */ |
| 96 | #define INITIAL_BACKOFF_MS 1L |
| 97 | #define BACKOFF_MAX_MULTIPLIER 1000 |
| 98 | |
| 99 | /* |
| 100 | * Try locking path, retrying with quadratic backoff for at least |
| 101 | * timeout_ms milliseconds. If timeout_ms is 0, try locking the file |
| 102 | * exactly once. If timeout_ms is -1, try indefinitely. |
| 103 | */ |
| 104 | static int lock_file_timeout(struct lock_file *lk, const char *path, |
Taylor Blau | fa3bff2 | 2020-04-27 10:27:58 -0600 | [diff] [blame] | 105 | int flags, long timeout_ms, int mode) |
Michael Haggerty | 044b6a9 | 2015-05-11 12:35:25 +0200 | [diff] [blame] | 106 | { |
| 107 | int n = 1; |
| 108 | int multiplier = 1; |
Johannes Sixt | a8a1775 | 2015-06-05 21:45:06 +0200 | [diff] [blame] | 109 | long remaining_ms = 0; |
Michael Haggerty | 044b6a9 | 2015-05-11 12:35:25 +0200 | [diff] [blame] | 110 | static int random_initialized = 0; |
| 111 | |
| 112 | if (timeout_ms == 0) |
Taylor Blau | fa3bff2 | 2020-04-27 10:27:58 -0600 | [diff] [blame] | 113 | return lock_file(lk, path, flags, mode); |
Michael Haggerty | 044b6a9 | 2015-05-11 12:35:25 +0200 | [diff] [blame] | 114 | |
| 115 | if (!random_initialized) { |
Johannes Sixt | 1e9676e | 2015-06-05 21:45:04 +0200 | [diff] [blame] | 116 | srand((unsigned int)getpid()); |
Michael Haggerty | 044b6a9 | 2015-05-11 12:35:25 +0200 | [diff] [blame] | 117 | random_initialized = 1; |
| 118 | } |
| 119 | |
Johannes Sixt | a8a1775 | 2015-06-05 21:45:06 +0200 | [diff] [blame] | 120 | if (timeout_ms > 0) |
| 121 | remaining_ms = timeout_ms; |
Michael Haggerty | 044b6a9 | 2015-05-11 12:35:25 +0200 | [diff] [blame] | 122 | |
| 123 | while (1) { |
Johannes Sixt | a8a1775 | 2015-06-05 21:45:06 +0200 | [diff] [blame] | 124 | long backoff_ms, wait_ms; |
Michael Haggerty | 044b6a9 | 2015-05-11 12:35:25 +0200 | [diff] [blame] | 125 | int fd; |
| 126 | |
Taylor Blau | fa3bff2 | 2020-04-27 10:27:58 -0600 | [diff] [blame] | 127 | fd = lock_file(lk, path, flags, mode); |
Michael Haggerty | 044b6a9 | 2015-05-11 12:35:25 +0200 | [diff] [blame] | 128 | |
| 129 | if (fd >= 0) |
| 130 | return fd; /* success */ |
| 131 | else if (errno != EEXIST) |
| 132 | return -1; /* failure other than lock held */ |
Johannes Sixt | a8a1775 | 2015-06-05 21:45:06 +0200 | [diff] [blame] | 133 | else if (timeout_ms > 0 && remaining_ms <= 0) |
Michael Haggerty | 044b6a9 | 2015-05-11 12:35:25 +0200 | [diff] [blame] | 134 | return -1; /* failure due to timeout */ |
| 135 | |
| 136 | backoff_ms = multiplier * INITIAL_BACKOFF_MS; |
| 137 | /* back off for between 0.75*backoff_ms and 1.25*backoff_ms */ |
Johannes Sixt | a8a1775 | 2015-06-05 21:45:06 +0200 | [diff] [blame] | 138 | wait_ms = (750 + rand() % 500) * backoff_ms / 1000; |
Johannes Sixt | 30f8160 | 2015-06-05 21:45:07 +0200 | [diff] [blame] | 139 | sleep_millisec(wait_ms); |
Johannes Sixt | a8a1775 | 2015-06-05 21:45:06 +0200 | [diff] [blame] | 140 | remaining_ms -= wait_ms; |
Michael Haggerty | 044b6a9 | 2015-05-11 12:35:25 +0200 | [diff] [blame] | 141 | |
| 142 | /* Recursion: (n+1)^2 = n^2 + 2n + 1 */ |
| 143 | multiplier += 2*n + 1; |
| 144 | if (multiplier > BACKOFF_MAX_MULTIPLIER) |
| 145 | multiplier = BACKOFF_MAX_MULTIPLIER; |
| 146 | else |
| 147 | n++; |
| 148 | } |
| 149 | } |
| 150 | |
Ronnie Sahlberg | 6af926e | 2014-06-20 07:42:47 -0700 | [diff] [blame] | 151 | void unable_to_lock_message(const char *path, int err, struct strbuf *buf) |
Matthieu Moy | e43a6fd | 2009-02-19 13:54:18 +0100 | [diff] [blame] | 152 | { |
John Tapsell | bdfd739 | 2009-03-04 15:00:44 +0000 | [diff] [blame] | 153 | if (err == EEXIST) { |
Matthieu Moy | 3030c29 | 2016-03-01 18:04:09 +0100 | [diff] [blame] | 154 | strbuf_addf(buf, _("Unable to create '%s.lock': %s.\n\n" |
Matthieu Moy | aed7480 | 2016-03-01 18:04:10 +0100 | [diff] [blame] | 155 | "Another git process seems to be running in this repository, e.g.\n" |
| 156 | "an editor opened by 'git commit'. Please make sure all processes\n" |
| 157 | "are terminated then try again. If it still fails, a git process\n" |
| 158 | "may have crashed in this repository earlier:\n" |
| 159 | "remove the file manually to continue."), |
Carlos Martín Nieto | e2a57aa | 2011-03-17 12:26:46 +0100 | [diff] [blame] | 160 | absolute_path(path), strerror(err)); |
Miklos Vajna | 1b018fd | 2009-09-27 01:15:09 +0200 | [diff] [blame] | 161 | } else |
Matthieu Moy | 3030c29 | 2016-03-01 18:04:09 +0100 | [diff] [blame] | 162 | strbuf_addf(buf, _("Unable to create '%s.lock': %s"), |
Carlos Martín Nieto | e2a57aa | 2011-03-17 12:26:46 +0100 | [diff] [blame] | 163 | absolute_path(path), strerror(err)); |
Miklos Vajna | 1b018fd | 2009-09-27 01:15:09 +0200 | [diff] [blame] | 164 | } |
| 165 | |
Michael Haggerty | e197c21 | 2014-10-01 12:28:05 +0200 | [diff] [blame] | 166 | NORETURN void unable_to_lock_die(const char *path, int err) |
Miklos Vajna | 1b018fd | 2009-09-27 01:15:09 +0200 | [diff] [blame] | 167 | { |
Ronnie Sahlberg | 6af926e | 2014-06-20 07:42:47 -0700 | [diff] [blame] | 168 | struct strbuf buf = STRBUF_INIT; |
| 169 | |
| 170 | unable_to_lock_message(path, err, &buf); |
| 171 | die("%s", buf.buf); |
Matthieu Moy | e43a6fd | 2009-02-19 13:54:18 +0100 | [diff] [blame] | 172 | } |
| 173 | |
Ronnie Sahlberg | 447ff1b | 2014-06-20 07:42:48 -0700 | [diff] [blame] | 174 | /* This should return a meaningful errno on failure */ |
Taylor Blau | fa3bff2 | 2020-04-27 10:27:58 -0600 | [diff] [blame] | 175 | int hold_lock_file_for_update_timeout_mode(struct lock_file *lk, |
| 176 | const char *path, int flags, |
| 177 | long timeout_ms, int mode) |
Junio C Hamano | 40aaae8 | 2006-08-12 01:03:47 -0700 | [diff] [blame] | 178 | { |
Taylor Blau | fa3bff2 | 2020-04-27 10:27:58 -0600 | [diff] [blame] | 179 | int fd = lock_file_timeout(lk, path, flags, timeout_ms, mode); |
Junio C Hamano | 3f061bf | 2016-12-07 10:56:26 -0800 | [diff] [blame] | 180 | if (fd < 0) { |
| 181 | if (flags & LOCK_DIE_ON_ERROR) |
| 182 | unable_to_lock_die(path, errno); |
| 183 | if (flags & LOCK_REPORT_ON_ERROR) { |
| 184 | struct strbuf buf = STRBUF_INIT; |
| 185 | unable_to_lock_message(path, errno, &buf); |
| 186 | error("%s", buf.buf); |
| 187 | strbuf_release(&buf); |
| 188 | } |
| 189 | } |
Junio C Hamano | 40aaae8 | 2006-08-12 01:03:47 -0700 | [diff] [blame] | 190 | return fd; |
| 191 | } |
| 192 | |
Michael Haggerty | ec38b4e | 2014-10-01 12:28:39 +0200 | [diff] [blame] | 193 | char *get_locked_file_path(struct lock_file *lk) |
| 194 | { |
Michael Haggerty | 1a9d15d | 2015-08-10 11:47:41 +0200 | [diff] [blame] | 195 | struct strbuf ret = STRBUF_INIT; |
| 196 | |
Jeff King | 076aa2c | 2017-09-05 08:15:08 -0400 | [diff] [blame] | 197 | strbuf_addstr(&ret, get_tempfile_path(lk->tempfile)); |
Michael Haggerty | 1a9d15d | 2015-08-10 11:47:41 +0200 | [diff] [blame] | 198 | if (ret.len <= LOCK_SUFFIX_LEN || |
| 199 | strcmp(ret.buf + ret.len - LOCK_SUFFIX_LEN, LOCK_SUFFIX)) |
Johannes Schindelin | 033abf9 | 2018-05-02 11:38:39 +0200 | [diff] [blame] | 200 | BUG("get_locked_file_path() called for malformed lock object"); |
Michael Haggerty | 9c77381 | 2015-08-10 11:47:40 +0200 | [diff] [blame] | 201 | /* remove ".lock": */ |
Michael Haggerty | 1a9d15d | 2015-08-10 11:47:41 +0200 | [diff] [blame] | 202 | strbuf_setlen(&ret, ret.len - LOCK_SUFFIX_LEN); |
| 203 | return strbuf_detach(&ret, NULL); |
Junio C Hamano | 021b6e4 | 2006-06-06 12:51:49 -0700 | [diff] [blame] | 204 | } |
| 205 | |
Junio C Hamano | 021b6e4 | 2006-06-06 12:51:49 -0700 | [diff] [blame] | 206 | int commit_lock_file(struct lock_file *lk) |
| 207 | { |
Michael Haggerty | 9c77381 | 2015-08-10 11:47:40 +0200 | [diff] [blame] | 208 | char *result_path = get_locked_file_path(lk); |
Junio C Hamano | 021b6e4 | 2006-06-06 12:51:49 -0700 | [diff] [blame] | 209 | |
Michael Haggerty | 9c77381 | 2015-08-10 11:47:40 +0200 | [diff] [blame] | 210 | if (commit_lock_file_to(lk, result_path)) { |
| 211 | int save_errno = errno; |
| 212 | free(result_path); |
| 213 | errno = save_errno; |
| 214 | return -1; |
Johannes Schindelin | 4723ee9 | 2007-11-13 21:05:03 +0100 | [diff] [blame] | 215 | } |
Michael Haggerty | 9c77381 | 2015-08-10 11:47:40 +0200 | [diff] [blame] | 216 | free(result_path); |
| 217 | return 0; |
Junio C Hamano | 021b6e4 | 2006-06-06 12:51:49 -0700 | [diff] [blame] | 218 | } |