| Junio C Hamano | 021b6e4 | 2006-06-06 19:51:49 | [diff] [blame] | 1 | /* |
| 2 | * Copyright (c) 2005, Junio C Hamano |
| 3 | */ |
| Michael Haggerty | 2db69de | 2015-08-10 09:47:36 | [diff] [blame] | 4 | |
| Elijah Newren | a64acf7 | 2023-03-21 06:26:02 | [diff] [blame] | 5 | #include "git-compat-util.h" |
| Elijah Newren | 0b027f6 | 2023-03-21 06:25:58 | [diff] [blame] | 6 | #include "abspath.h" |
| Elijah Newren | f394e09 | 2023-03-21 06:25:54 | [diff] [blame] | 7 | #include "gettext.h" |
| Michael Haggerty | 697cc8e | 2014-10-01 10:28:42 | [diff] [blame] | 8 | #include "lockfile.h" |
| Junio C Hamano | 021b6e4 | 2006-06-06 19:51:49 | [diff] [blame] | 9 | |
| Bradford C. Smith | 5d5a7a6 | 2007-07-26 17:34:14 | [diff] [blame] | 10 | /* |
| Michael Haggerty | 0c0d6e8 | 2014-10-01 10:28:35 | [diff] [blame] | 11 | * path = absolute or relative path name |
| Bradford C. Smith | 5d5a7a6 | 2007-07-26 17:34:14 | [diff] [blame] | 12 | * |
| Michael Haggerty | 0c0d6e8 | 2014-10-01 10:28:35 | [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 17:34:14 | [diff] [blame] | 16 | */ |
| Michael Haggerty | 0c0d6e8 | 2014-10-01 10:28:35 | [diff] [blame] | 17 | static void trim_last_path_component(struct strbuf *path) |
| Bradford C. Smith | 5d5a7a6 | 2007-07-26 17:34:14 | [diff] [blame] | 18 | { |
| Michael Haggerty | 0c0d6e8 | 2014-10-01 10:28:35 | [diff] [blame] | 19 | int i = path->len; |
| Bradford C. Smith | 5d5a7a6 | 2007-07-26 17:34:14 | [diff] [blame] | 20 | |
| 21 | /* back up past trailing slashes, if any */ |
| Michael Haggerty | 0c0d6e8 | 2014-10-01 10:28:35 | [diff] [blame] | 22 | while (i && path->buf[i - 1] == '/') |
| 23 | i--; |
| Bradford C. Smith | 5d5a7a6 | 2007-07-26 17:34:14 | [diff] [blame] | 24 | |
| 25 | /* |
| Michael Haggerty | 0c0d6e8 | 2014-10-01 10:28:35 | [diff] [blame] | 26 | * then go backwards until a slash, or the beginning of the |
| 27 | * string |
| Bradford C. Smith | 5d5a7a6 | 2007-07-26 17:34:14 | [diff] [blame] | 28 | */ |
| Michael Haggerty | 0c0d6e8 | 2014-10-01 10:28:35 | [diff] [blame] | 29 | while (i && path->buf[i - 1] != '/') |
| 30 | i--; |
| 31 | |
| 32 | strbuf_setlen(path, i); |
| Bradford C. Smith | 5d5a7a6 | 2007-07-26 17:34:14 | [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 10:28:34 | [diff] [blame] | 40 | * path contains a path that might be a symlink. |
| Bradford C. Smith | 5d5a7a6 | 2007-07-26 17:34:14 | [diff] [blame] | 41 | * |
| Michael Haggerty | 6cad805 | 2014-10-01 10:28:34 | [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 17:34:14 | [diff] [blame] | 45 | * |
| Michael Haggerty | 6cad805 | 2014-10-01 10:28:34 | [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 17:34:14 | [diff] [blame] | 49 | */ |
| Michael Haggerty | 6cad805 | 2014-10-01 10:28:34 | [diff] [blame] | 50 | static void resolve_symlink(struct strbuf *path) |
| Bradford C. Smith | 5d5a7a6 | 2007-07-26 17:34:14 | [diff] [blame] | 51 | { |
| 52 | int depth = MAXDEPTH; |
| Michael Haggerty | 5025d84 | 2014-10-01 10:28:33 | [diff] [blame] | 53 | static struct strbuf link = STRBUF_INIT; |
| Bradford C. Smith | 5d5a7a6 | 2007-07-26 17:34:14 | [diff] [blame] | 54 | |
| 55 | while (depth--) { |
| Michael Haggerty | 6cad805 | 2014-10-01 10:28:34 | [diff] [blame] | 56 | if (strbuf_readlink(&link, path->buf, path->len) < 0) |
| Michael Haggerty | 5025d84 | 2014-10-01 10:28:33 | [diff] [blame] | 57 | break; |
| Bradford C. Smith | 5d5a7a6 | 2007-07-26 17:34:14 | [diff] [blame] | 58 | |
| Michael Haggerty | 6cad805 | 2014-10-01 10:28:34 | [diff] [blame] | 59 | if (is_absolute_path(link.buf)) |
| Bradford C. Smith | 5d5a7a6 | 2007-07-26 17:34:14 | [diff] [blame] | 60 | /* absolute path simply replaces p */ |
| Michael Haggerty | 6cad805 | 2014-10-01 10:28:34 | [diff] [blame] | 61 | strbuf_reset(path); |
| Michael Haggerty | 0c0d6e8 | 2014-10-01 10:28:35 | [diff] [blame] | 62 | else |
| Bradford C. Smith | 5d5a7a6 | 2007-07-26 17:34:14 | [diff] [blame] | 63 | /* |
| Michael Haggerty | 5025d84 | 2014-10-01 10:28:33 | [diff] [blame] | 64 | * link is a relative path, so replace the |
| Bradford C. Smith | 5d5a7a6 | 2007-07-26 17:34:14 | [diff] [blame] | 65 | * last element of p with it. |
| 66 | */ |
| Michael Haggerty | 0c0d6e8 | 2014-10-01 10:28:35 | [diff] [blame] | 67 | trim_last_path_component(path); |
| Michael Haggerty | 6cad805 | 2014-10-01 10:28:34 | [diff] [blame] | 68 | |
| 69 | strbuf_addbuf(path, &link); |
| Bradford C. Smith | 5d5a7a6 | 2007-07-26 17:34:14 | [diff] [blame] | 70 | } |
| Michael Haggerty | 5025d84 | 2014-10-01 10:28:33 | [diff] [blame] | 71 | strbuf_reset(&link); |
| Bradford C. Smith | 5d5a7a6 | 2007-07-26 17:34:14 | [diff] [blame] | 72 | } |
| 73 | |
| Ronnie Sahlberg | 447ff1b | 2014-06-20 14:42:48 | [diff] [blame] | 74 | /* Make sure errno contains a meaningful value on error */ |
| Taylor Blau | fa3bff2 | 2020-04-27 16:27:58 | [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 19:51:49 | [diff] [blame] | 77 | { |
| Michael Haggerty | 1a9d15d | 2015-08-10 09:47:41 | [diff] [blame] | 78 | struct strbuf filename = STRBUF_INIT; |
| Michael Haggerty | 2fbd4f9 | 2013-07-06 19:48:52 | [diff] [blame] | 79 | |
| Michael Haggerty | 1a9d15d | 2015-08-10 09:47:41 | [diff] [blame] | 80 | strbuf_addstr(&filename, path); |
| 81 | if (!(flags & LOCK_NO_DEREF)) |
| 82 | resolve_symlink(&filename); |
| Michael Haggerty | 04e57d4 | 2014-10-01 10:28:13 | [diff] [blame] | 83 | |
| Michael Haggerty | 1a9d15d | 2015-08-10 09:47:41 | [diff] [blame] | 84 | strbuf_addstr(&filename, LOCK_SUFFIX); |
| Taylor Blau | fa3bff2 | 2020-04-27 16:27:58 | [diff] [blame] | 85 | lk->tempfile = create_tempfile_mode(filename.buf, mode); |
| Michael Haggerty | 1a9d15d | 2015-08-10 09:47:41 | [diff] [blame] | 86 | strbuf_release(&filename); |
| Jeff King | 076aa2c | 2017-09-05 12:15:08 | [diff] [blame] | 87 | return lk->tempfile ? lk->tempfile->fd : -1; |
| Junio C Hamano | 021b6e4 | 2006-06-06 19:51:49 | [diff] [blame] | 88 | } |
| 89 | |
| Michael Haggerty | 044b6a9 | 2015-05-11 10:35:25 | [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 16:27:58 | [diff] [blame] | 105 | int flags, long timeout_ms, int mode) |
| Michael Haggerty | 044b6a9 | 2015-05-11 10:35:25 | [diff] [blame] | 106 | { |
| 107 | int n = 1; |
| 108 | int multiplier = 1; |
| Johannes Sixt | a8a1775 | 2015-06-05 19:45:06 | [diff] [blame] | 109 | long remaining_ms = 0; |
| Michael Haggerty | 044b6a9 | 2015-05-11 10:35:25 | [diff] [blame] | 110 | static int random_initialized = 0; |
| 111 | |
| 112 | if (timeout_ms == 0) |
| Taylor Blau | fa3bff2 | 2020-04-27 16:27:58 | [diff] [blame] | 113 | return lock_file(lk, path, flags, mode); |
| Michael Haggerty | 044b6a9 | 2015-05-11 10:35:25 | [diff] [blame] | 114 | |
| 115 | if (!random_initialized) { |
| Johannes Sixt | 1e9676e | 2015-06-05 19:45:04 | [diff] [blame] | 116 | srand((unsigned int)getpid()); |
| Michael Haggerty | 044b6a9 | 2015-05-11 10:35:25 | [diff] [blame] | 117 | random_initialized = 1; |
| 118 | } |
| 119 | |
| Johannes Sixt | a8a1775 | 2015-06-05 19:45:06 | [diff] [blame] | 120 | if (timeout_ms > 0) |
| 121 | remaining_ms = timeout_ms; |
| Michael Haggerty | 044b6a9 | 2015-05-11 10:35:25 | [diff] [blame] | 122 | |
| 123 | while (1) { |
| Johannes Sixt | a8a1775 | 2015-06-05 19:45:06 | [diff] [blame] | 124 | long backoff_ms, wait_ms; |
| Michael Haggerty | 044b6a9 | 2015-05-11 10:35:25 | [diff] [blame] | 125 | int fd; |
| 126 | |
| Taylor Blau | fa3bff2 | 2020-04-27 16:27:58 | [diff] [blame] | 127 | fd = lock_file(lk, path, flags, mode); |
| Michael Haggerty | 044b6a9 | 2015-05-11 10:35:25 | [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 19:45:06 | [diff] [blame] | 133 | else if (timeout_ms > 0 && remaining_ms <= 0) |
| Michael Haggerty | 044b6a9 | 2015-05-11 10:35:25 | [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 19:45:06 | [diff] [blame] | 138 | wait_ms = (750 + rand() % 500) * backoff_ms / 1000; |
| Johannes Sixt | 30f8160 | 2015-06-05 19:45:07 | [diff] [blame] | 139 | sleep_millisec(wait_ms); |
| Johannes Sixt | a8a1775 | 2015-06-05 19:45:06 | [diff] [blame] | 140 | remaining_ms -= wait_ms; |
| Michael Haggerty | 044b6a9 | 2015-05-11 10:35:25 | [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 14:42:47 | [diff] [blame] | 151 | void unable_to_lock_message(const char *path, int err, struct strbuf *buf) |
| Matthieu Moy | e43a6fd | 2009-02-19 12:54:18 | [diff] [blame] | 152 | { |
| John Tapsell | bdfd739 | 2009-03-04 15:00:44 | [diff] [blame] | 153 | if (err == EEXIST) { |
| Matthieu Moy | 3030c29 | 2016-03-01 17:04:09 | [diff] [blame] | 154 | strbuf_addf(buf, _("Unable to create '%s.lock': %s.\n\n" |
| Matthieu Moy | aed7480 | 2016-03-01 17:04:10 | [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 11:26:46 | [diff] [blame] | 160 | absolute_path(path), strerror(err)); |
| Miklos Vajna | 1b018fd | 2009-09-26 23:15:09 | [diff] [blame] | 161 | } else |
| Matthieu Moy | 3030c29 | 2016-03-01 17:04:09 | [diff] [blame] | 162 | strbuf_addf(buf, _("Unable to create '%s.lock': %s"), |
| Carlos Martín Nieto | e2a57aa | 2011-03-17 11:26:46 | [diff] [blame] | 163 | absolute_path(path), strerror(err)); |
| Miklos Vajna | 1b018fd | 2009-09-26 23:15:09 | [diff] [blame] | 164 | } |
| 165 | |
| Michael Haggerty | e197c21 | 2014-10-01 10:28:05 | [diff] [blame] | 166 | NORETURN void unable_to_lock_die(const char *path, int err) |
| Miklos Vajna | 1b018fd | 2009-09-26 23:15:09 | [diff] [blame] | 167 | { |
| Ronnie Sahlberg | 6af926e | 2014-06-20 14:42:47 | [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 12:54:18 | [diff] [blame] | 172 | } |
| 173 | |
| Ronnie Sahlberg | 447ff1b | 2014-06-20 14:42:48 | [diff] [blame] | 174 | /* This should return a meaningful errno on failure */ |
| Taylor Blau | fa3bff2 | 2020-04-27 16:27:58 | [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 08:03:47 | [diff] [blame] | 178 | { |
| Taylor Blau | fa3bff2 | 2020-04-27 16:27:58 | [diff] [blame] | 179 | int fd = lock_file_timeout(lk, path, flags, timeout_ms, mode); |
| Junio C Hamano | 3f061bf | 2016-12-07 18:56:26 | [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 08:03:47 | [diff] [blame] | 190 | return fd; |
| 191 | } |
| 192 | |
| Michael Haggerty | ec38b4e | 2014-10-01 10:28:39 | [diff] [blame] | 193 | char *get_locked_file_path(struct lock_file *lk) |
| 194 | { |
| Michael Haggerty | 1a9d15d | 2015-08-10 09:47:41 | [diff] [blame] | 195 | struct strbuf ret = STRBUF_INIT; |
| 196 | |
| Jeff King | 076aa2c | 2017-09-05 12:15:08 | [diff] [blame] | 197 | strbuf_addstr(&ret, get_tempfile_path(lk->tempfile)); |
| Michael Haggerty | 1a9d15d | 2015-08-10 09:47:41 | [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 09:38:39 | [diff] [blame] | 200 | BUG("get_locked_file_path() called for malformed lock object"); |
| Michael Haggerty | 9c77381 | 2015-08-10 09:47:40 | [diff] [blame] | 201 | /* remove ".lock": */ |
| Michael Haggerty | 1a9d15d | 2015-08-10 09:47:41 | [diff] [blame] | 202 | strbuf_setlen(&ret, ret.len - LOCK_SUFFIX_LEN); |
| 203 | return strbuf_detach(&ret, NULL); |
| Junio C Hamano | 021b6e4 | 2006-06-06 19:51:49 | [diff] [blame] | 204 | } |
| 205 | |
| Junio C Hamano | 021b6e4 | 2006-06-06 19:51:49 | [diff] [blame] | 206 | int commit_lock_file(struct lock_file *lk) |
| 207 | { |
| Michael Haggerty | 9c77381 | 2015-08-10 09:47:40 | [diff] [blame] | 208 | char *result_path = get_locked_file_path(lk); |
| Junio C Hamano | 021b6e4 | 2006-06-06 19:51:49 | [diff] [blame] | 209 | |
| Michael Haggerty | 9c77381 | 2015-08-10 09:47:40 | [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 20:05:03 | [diff] [blame] | 215 | } |
| Michael Haggerty | 9c77381 | 2015-08-10 09:47:40 | [diff] [blame] | 216 | free(result_path); |
| 217 | return 0; |
| Junio C Hamano | 021b6e4 | 2006-06-06 19:51:49 | [diff] [blame] | 218 | } |