1#include "../cache.h" 2#include "../refs.h" 3#include "refs-internal.h" 4#include "../iterator.h" 5#include "../dir-iterator.h" 6#include "../lockfile.h" 7#include "../object.h" 8#include "../dir.h" 9 10struct ref_lock { 11 char *ref_name; 12 struct lock_file *lk; 13 struct object_id old_oid; 14}; 15 16struct ref_entry; 17 18/* 19 * Information used (along with the information in ref_entry) to 20 * describe a single cached reference. This data structure only 21 * occurs embedded in a union in struct ref_entry, and only when 22 * (ref_entry->flag & REF_DIR) is zero. 23 */ 24struct ref_value { 25 /* 26 * The name of the object to which this reference resolves 27 * (which may be a tag object). If REF_ISBROKEN, this is 28 * null. If REF_ISSYMREF, then this is the name of the object 29 * referred to by the last reference in the symlink chain. 30 */ 31 struct object_id oid; 32 33 /* 34 * If REF_KNOWS_PEELED, then this field holds the peeled value 35 * of this reference, or null if the reference is known not to 36 * be peelable. See the documentation for peel_ref() for an 37 * exact definition of "peelable". 38 */ 39 struct object_id peeled; 40}; 41 42struct files_ref_store; 43 44/* 45 * Information used (along with the information in ref_entry) to 46 * describe a level in the hierarchy of references. This data 47 * structure only occurs embedded in a union in struct ref_entry, and 48 * only when (ref_entry.flag & REF_DIR) is set. In that case, 49 * (ref_entry.flag & REF_INCOMPLETE) determines whether the references 50 * in the directory have already been read: 51 * 52 * (ref_entry.flag & REF_INCOMPLETE) unset -- a directory of loose 53 * or packed references, already read. 54 * 55 * (ref_entry.flag & REF_INCOMPLETE) set -- a directory of loose 56 * references that hasn't been read yet (nor has any of its 57 * subdirectories). 58 * 59 * Entries within a directory are stored within a growable array of 60 * pointers to ref_entries (entries, nr, alloc). Entries 0 <= i < 61 * sorted are sorted by their component name in strcmp() order and the 62 * remaining entries are unsorted. 63 * 64 * Loose references are read lazily, one directory at a time. When a 65 * directory of loose references is read, then all of the references 66 * in that directory are stored, and REF_INCOMPLETE stubs are created 67 * for any subdirectories, but the subdirectories themselves are not 68 * read. The reading is triggered by get_ref_dir(). 69 */ 70struct ref_dir { 71 int nr, alloc; 72 73 /* 74 * Entries with index 0 <= i < sorted are sorted by name. New 75 * entries are appended to the list unsorted, and are sorted 76 * only when required; thus we avoid the need to sort the list 77 * after the addition of every reference. 78 */ 79 int sorted; 80 81 /* A pointer to the files_ref_store that contains this ref_dir. */ 82 struct files_ref_store *ref_store; 83 84 struct ref_entry **entries; 85}; 86 87/* 88 * Bit values for ref_entry::flag. REF_ISSYMREF=0x01, 89 * REF_ISPACKED=0x02, REF_ISBROKEN=0x04 and REF_BAD_NAME=0x08 are 90 * public values; see refs.h. 91 */ 92 93/* 94 * The field ref_entry->u.value.peeled of this value entry contains 95 * the correct peeled value for the reference, which might be 96 * null_sha1 if the reference is not a tag or if it is broken. 97 */ 98#define REF_KNOWS_PEELED 0x10 99 100/* ref_entry represents a directory of references */ 101#define REF_DIR 0x20 102 103/* 104 * Entry has not yet been read from disk (used only for REF_DIR 105 * entries representing loose references) 106 */ 107#define REF_INCOMPLETE 0x40 108 109/* 110 * A ref_entry represents either a reference or a "subdirectory" of 111 * references. 112 * 113 * Each directory in the reference namespace is represented by a 114 * ref_entry with (flags & REF_DIR) set and containing a subdir member 115 * that holds the entries in that directory that have been read so 116 * far. If (flags & REF_INCOMPLETE) is set, then the directory and 117 * its subdirectories haven't been read yet. REF_INCOMPLETE is only 118 * used for loose reference directories. 119 * 120 * References are represented by a ref_entry with (flags & REF_DIR) 121 * unset and a value member that describes the reference's value. The 122 * flag member is at the ref_entry level, but it is also needed to 123 * interpret the contents of the value field (in other words, a 124 * ref_value object is not very much use without the enclosing 125 * ref_entry). 126 * 127 * Reference names cannot end with slash and directories' names are 128 * always stored with a trailing slash (except for the top-level 129 * directory, which is always denoted by ""). This has two nice 130 * consequences: (1) when the entries in each subdir are sorted 131 * lexicographically by name (as they usually are), the references in 132 * a whole tree can be generated in lexicographic order by traversing 133 * the tree in left-to-right, depth-first order; (2) the names of 134 * references and subdirectories cannot conflict, and therefore the 135 * presence of an empty subdirectory does not block the creation of a 136 * similarly-named reference. (The fact that reference names with the 137 * same leading components can conflict *with each other* is a 138 * separate issue that is regulated by verify_refname_available().) 139 * 140 * Please note that the name field contains the fully-qualified 141 * reference (or subdirectory) name. Space could be saved by only 142 * storing the relative names. But that would require the full names 143 * to be generated on the fly when iterating in do_for_each_ref(), and 144 * would break callback functions, who have always been able to assume 145 * that the name strings that they are passed will not be freed during 146 * the iteration. 147 */ 148struct ref_entry { 149 unsigned char flag; /* ISSYMREF? ISPACKED? */ 150 union { 151 struct ref_value value; /* if not (flags&REF_DIR) */ 152 struct ref_dir subdir; /* if (flags&REF_DIR) */ 153 } u; 154 /* 155 * The full name of the reference (e.g., "refs/heads/master") 156 * or the full name of the directory with a trailing slash 157 * (e.g., "refs/heads/"): 158 */ 159 char name[FLEX_ARRAY]; 160}; 161 162static void read_loose_refs(const char *dirname, struct ref_dir *dir); 163static int search_ref_dir(struct ref_dir *dir, const char *refname, size_t len); 164static struct ref_entry *create_dir_entry(struct files_ref_store *ref_store, 165 const char *dirname, size_t len, 166 int incomplete); 167static void add_entry_to_dir(struct ref_dir *dir, struct ref_entry *entry); 168static int files_log_ref_write(const char *refname, const unsigned char *old_sha1, 169 const unsigned char *new_sha1, const char *msg, 170 int flags, struct strbuf *err); 171 172static struct ref_dir *get_ref_dir(struct ref_entry *entry) 173{ 174 struct ref_dir *dir; 175 assert(entry->flag & REF_DIR); 176 dir = &entry->u.subdir; 177 if (entry->flag & REF_INCOMPLETE) { 178 read_loose_refs(entry->name, dir); 179 180 /* 181 * Manually add refs/bisect, which, being 182 * per-worktree, might not appear in the directory 183 * listing for refs/ in the main repo. 184 */ 185 if (!strcmp(entry->name, "refs/")) { 186 int pos = search_ref_dir(dir, "refs/bisect/", 12); 187 if (pos < 0) { 188 struct ref_entry *child_entry; 189 child_entry = create_dir_entry(dir->ref_store, 190 "refs/bisect/", 191 12, 1); 192 add_entry_to_dir(dir, child_entry); 193 read_loose_refs("refs/bisect", 194 &child_entry->u.subdir); 195 } 196 } 197 entry->flag &= ~REF_INCOMPLETE; 198 } 199 return dir; 200} 201 202static struct ref_entry *create_ref_entry(const char *refname, 203 const unsigned char *sha1, int flag, 204 int check_name) 205{ 206 struct ref_entry *ref; 207 208 if (check_name && 209 check_refname_format(refname, REFNAME_ALLOW_ONELEVEL)) 210 die("Reference has invalid format: '%s'", refname); 211 FLEX_ALLOC_STR(ref, name, refname); 212 hashcpy(ref->u.value.oid.hash, sha1); 213 oidclr(&ref->u.value.peeled); 214 ref->flag = flag; 215 return ref; 216} 217 218static void clear_ref_dir(struct ref_dir *dir); 219 220static void free_ref_entry(struct ref_entry *entry) 221{ 222 if (entry->flag & REF_DIR) { 223 /* 224 * Do not use get_ref_dir() here, as that might 225 * trigger the reading of loose refs. 226 */ 227 clear_ref_dir(&entry->u.subdir); 228 } 229 free(entry); 230} 231 232/* 233 * Add a ref_entry to the end of dir (unsorted). Entry is always 234 * stored directly in dir; no recursion into subdirectories is 235 * done. 236 */ 237static void add_entry_to_dir(struct ref_dir *dir, struct ref_entry *entry) 238{ 239 ALLOC_GROW(dir->entries, dir->nr + 1, dir->alloc); 240 dir->entries[dir->nr++] = entry; 241 /* optimize for the case that entries are added in order */ 242 if (dir->nr == 1 || 243 (dir->nr == dir->sorted + 1 && 244 strcmp(dir->entries[dir->nr - 2]->name, 245 dir->entries[dir->nr - 1]->name) < 0)) 246 dir->sorted = dir->nr; 247} 248 249/* 250 * Clear and free all entries in dir, recursively. 251 */ 252static void clear_ref_dir(struct ref_dir *dir) 253{ 254 int i; 255 for (i = 0; i < dir->nr; i++) 256 free_ref_entry(dir->entries[i]); 257 free(dir->entries); 258 dir->sorted = dir->nr = dir->alloc = 0; 259 dir->entries = NULL; 260} 261 262/* 263 * Create a struct ref_entry object for the specified dirname. 264 * dirname is the name of the directory with a trailing slash (e.g., 265 * "refs/heads/") or "" for the top-level directory. 266 */ 267static struct ref_entry *create_dir_entry(struct files_ref_store *ref_store, 268 const char *dirname, size_t len, 269 int incomplete) 270{ 271 struct ref_entry *direntry; 272 FLEX_ALLOC_MEM(direntry, name, dirname, len); 273 direntry->u.subdir.ref_store = ref_store; 274 direntry->flag = REF_DIR | (incomplete ? REF_INCOMPLETE : 0); 275 return direntry; 276} 277 278static int ref_entry_cmp(const void *a, const void *b) 279{ 280 struct ref_entry *one = *(struct ref_entry **)a; 281 struct ref_entry *two = *(struct ref_entry **)b; 282 return strcmp(one->name, two->name); 283} 284 285static void sort_ref_dir(struct ref_dir *dir); 286 287struct string_slice { 288 size_t len; 289 const char *str; 290}; 291 292static int ref_entry_cmp_sslice(const void *key_, const void *ent_) 293{ 294 const struct string_slice *key = key_; 295 const struct ref_entry *ent = *(const struct ref_entry * const *)ent_; 296 int cmp = strncmp(key->str, ent->name, key->len); 297 if (cmp) 298 return cmp; 299 return '\0' - (unsigned char)ent->name[key->len]; 300} 301 302/* 303 * Return the index of the entry with the given refname from the 304 * ref_dir (non-recursively), sorting dir if necessary. Return -1 if 305 * no such entry is found. dir must already be complete. 306 */ 307static int search_ref_dir(struct ref_dir *dir, const char *refname, size_t len) 308{ 309 struct ref_entry **r; 310 struct string_slice key; 311 312 if (refname == NULL || !dir->nr) 313 return -1; 314 315 sort_ref_dir(dir); 316 key.len = len; 317 key.str = refname; 318 r = bsearch(&key, dir->entries, dir->nr, sizeof(*dir->entries), 319 ref_entry_cmp_sslice); 320 321 if (r == NULL) 322 return -1; 323 324 return r - dir->entries; 325} 326 327/* 328 * Search for a directory entry directly within dir (without 329 * recursing). Sort dir if necessary. subdirname must be a directory 330 * name (i.e., end in '/'). If mkdir is set, then create the 331 * directory if it is missing; otherwise, return NULL if the desired 332 * directory cannot be found. dir must already be complete. 333 */ 334static struct ref_dir *search_for_subdir(struct ref_dir *dir, 335 const char *subdirname, size_t len, 336 int mkdir) 337{ 338 int entry_index = search_ref_dir(dir, subdirname, len); 339 struct ref_entry *entry; 340 if (entry_index == -1) { 341 if (!mkdir) 342 return NULL; 343 /* 344 * Since dir is complete, the absence of a subdir 345 * means that the subdir really doesn't exist; 346 * therefore, create an empty record for it but mark 347 * the record complete. 348 */ 349 entry = create_dir_entry(dir->ref_store, subdirname, len, 0); 350 add_entry_to_dir(dir, entry); 351 } else { 352 entry = dir->entries[entry_index]; 353 } 354 return get_ref_dir(entry); 355} 356 357/* 358 * If refname is a reference name, find the ref_dir within the dir 359 * tree that should hold refname. If refname is a directory name 360 * (i.e., ends in '/'), then return that ref_dir itself. dir must 361 * represent the top-level directory and must already be complete. 362 * Sort ref_dirs and recurse into subdirectories as necessary. If 363 * mkdir is set, then create any missing directories; otherwise, 364 * return NULL if the desired directory cannot be found. 365 */ 366static struct ref_dir *find_containing_dir(struct ref_dir *dir, 367 const char *refname, int mkdir) 368{ 369 const char *slash; 370 for (slash = strchr(refname, '/'); slash; slash = strchr(slash + 1, '/')) { 371 size_t dirnamelen = slash - refname + 1; 372 struct ref_dir *subdir; 373 subdir = search_for_subdir(dir, refname, dirnamelen, mkdir); 374 if (!subdir) { 375 dir = NULL; 376 break; 377 } 378 dir = subdir; 379 } 380 381 return dir; 382} 383 384/* 385 * Find the value entry with the given name in dir, sorting ref_dirs 386 * and recursing into subdirectories as necessary. If the name is not 387 * found or it corresponds to a directory entry, return NULL. 388 */ 389static struct ref_entry *find_ref(struct ref_dir *dir, const char *refname) 390{ 391 int entry_index; 392 struct ref_entry *entry; 393 dir = find_containing_dir(dir, refname, 0); 394 if (!dir) 395 return NULL; 396 entry_index = search_ref_dir(dir, refname, strlen(refname)); 397 if (entry_index == -1) 398 return NULL; 399 entry = dir->entries[entry_index]; 400 return (entry->flag & REF_DIR) ? NULL : entry; 401} 402 403/* 404 * Remove the entry with the given name from dir, recursing into 405 * subdirectories as necessary. If refname is the name of a directory 406 * (i.e., ends with '/'), then remove the directory and its contents. 407 * If the removal was successful, return the number of entries 408 * remaining in the directory entry that contained the deleted entry. 409 * If the name was not found, return -1. Please note that this 410 * function only deletes the entry from the cache; it does not delete 411 * it from the filesystem or ensure that other cache entries (which 412 * might be symbolic references to the removed entry) are updated. 413 * Nor does it remove any containing dir entries that might be made 414 * empty by the removal. dir must represent the top-level directory 415 * and must already be complete. 416 */ 417static int remove_entry(struct ref_dir *dir, const char *refname) 418{ 419 int refname_len = strlen(refname); 420 int entry_index; 421 struct ref_entry *entry; 422 int is_dir = refname[refname_len - 1] == '/'; 423 if (is_dir) { 424 /* 425 * refname represents a reference directory. Remove 426 * the trailing slash; otherwise we will get the 427 * directory *representing* refname rather than the 428 * one *containing* it. 429 */ 430 char *dirname = xmemdupz(refname, refname_len - 1); 431 dir = find_containing_dir(dir, dirname, 0); 432 free(dirname); 433 } else { 434 dir = find_containing_dir(dir, refname, 0); 435 } 436 if (!dir) 437 return -1; 438 entry_index = search_ref_dir(dir, refname, refname_len); 439 if (entry_index == -1) 440 return -1; 441 entry = dir->entries[entry_index]; 442 443 memmove(&dir->entries[entry_index], 444 &dir->entries[entry_index + 1], 445 (dir->nr - entry_index - 1) * sizeof(*dir->entries) 446 ); 447 dir->nr--; 448 if (dir->sorted > entry_index) 449 dir->sorted--; 450 free_ref_entry(entry); 451 return dir->nr; 452} 453 454/* 455 * Add a ref_entry to the ref_dir (unsorted), recursing into 456 * subdirectories as necessary. dir must represent the top-level 457 * directory. Return 0 on success. 458 */ 459static int add_ref(struct ref_dir *dir, struct ref_entry *ref) 460{ 461 dir = find_containing_dir(dir, ref->name, 1); 462 if (!dir) 463 return -1; 464 add_entry_to_dir(dir, ref); 465 return 0; 466} 467 468/* 469 * Emit a warning and return true iff ref1 and ref2 have the same name 470 * and the same sha1. Die if they have the same name but different 471 * sha1s. 472 */ 473static int is_dup_ref(const struct ref_entry *ref1, const struct ref_entry *ref2) 474{ 475 if (strcmp(ref1->name, ref2->name)) 476 return 0; 477 478 /* Duplicate name; make sure that they don't conflict: */ 479 480 if ((ref1->flag & REF_DIR) || (ref2->flag & REF_DIR)) 481 /* This is impossible by construction */ 482 die("Reference directory conflict: %s", ref1->name); 483 484 if (oidcmp(&ref1->u.value.oid, &ref2->u.value.oid)) 485 die("Duplicated ref, and SHA1s don't match: %s", ref1->name); 486 487 warning("Duplicated ref: %s", ref1->name); 488 return 1; 489} 490 491/* 492 * Sort the entries in dir non-recursively (if they are not already 493 * sorted) and remove any duplicate entries. 494 */ 495static void sort_ref_dir(struct ref_dir *dir) 496{ 497 int i, j; 498 struct ref_entry *last = NULL; 499 500 /* 501 * This check also prevents passing a zero-length array to qsort(), 502 * which is a problem on some platforms. 503 */ 504 if (dir->sorted == dir->nr) 505 return; 506 507 QSORT(dir->entries, dir->nr, ref_entry_cmp); 508 509 /* Remove any duplicates: */ 510 for (i = 0, j = 0; j < dir->nr; j++) { 511 struct ref_entry *entry = dir->entries[j]; 512 if (last && is_dup_ref(last, entry)) 513 free_ref_entry(entry); 514 else 515 last = dir->entries[i++] = entry; 516 } 517 dir->sorted = dir->nr = i; 518} 519 520/* 521 * Return true if refname, which has the specified oid and flags, can 522 * be resolved to an object in the database. If the referred-to object 523 * does not exist, emit a warning and return false. 524 */ 525static int ref_resolves_to_object(const char *refname, 526 const struct object_id *oid, 527 unsigned int flags) 528{ 529 if (flags & REF_ISBROKEN) 530 return 0; 531 if (!has_sha1_file(oid->hash)) { 532 error("%s does not point to a valid object!", refname); 533 return 0; 534 } 535 return 1; 536} 537 538/* 539 * Return true if the reference described by entry can be resolved to 540 * an object in the database; otherwise, emit a warning and return 541 * false. 542 */ 543static int entry_resolves_to_object(struct ref_entry *entry) 544{ 545 return ref_resolves_to_object(entry->name, 546 &entry->u.value.oid, entry->flag); 547} 548 549typedef int each_ref_entry_fn(struct ref_entry *entry, void *cb_data); 550 551/* 552 * Call fn for each reference in dir that has index in the range 553 * offset <= index < dir->nr. Recurse into subdirectories that are in 554 * that index range, sorting them before iterating. This function 555 * does not sort dir itself; it should be sorted beforehand. fn is 556 * called for all references, including broken ones. 557 */ 558static int do_for_each_entry_in_dir(struct ref_dir *dir, int offset, 559 each_ref_entry_fn fn, void *cb_data) 560{ 561 int i; 562 assert(dir->sorted == dir->nr); 563 for (i = offset; i < dir->nr; i++) { 564 struct ref_entry *entry = dir->entries[i]; 565 int retval; 566 if (entry->flag & REF_DIR) { 567 struct ref_dir *subdir = get_ref_dir(entry); 568 sort_ref_dir(subdir); 569 retval = do_for_each_entry_in_dir(subdir, 0, fn, cb_data); 570 } else { 571 retval = fn(entry, cb_data); 572 } 573 if (retval) 574 return retval; 575 } 576 return 0; 577} 578 579/* 580 * Load all of the refs from the dir into our in-memory cache. The hard work 581 * of loading loose refs is done by get_ref_dir(), so we just need to recurse 582 * through all of the sub-directories. We do not even need to care about 583 * sorting, as traversal order does not matter to us. 584 */ 585static void prime_ref_dir(struct ref_dir *dir) 586{ 587 int i; 588 for (i = 0; i < dir->nr; i++) { 589 struct ref_entry *entry = dir->entries[i]; 590 if (entry->flag & REF_DIR) 591 prime_ref_dir(get_ref_dir(entry)); 592 } 593} 594 595/* 596 * A level in the reference hierarchy that is currently being iterated 597 * through. 598 */ 599struct cache_ref_iterator_level { 600 /* 601 * The ref_dir being iterated over at this level. The ref_dir 602 * is sorted before being stored here. 603 */ 604 struct ref_dir *dir; 605 606 /* 607 * The index of the current entry within dir (which might 608 * itself be a directory). If index == -1, then the iteration 609 * hasn't yet begun. If index == dir->nr, then the iteration 610 * through this level is over. 611 */ 612 int index; 613}; 614 615/* 616 * Represent an iteration through a ref_dir in the memory cache. The 617 * iteration recurses through subdirectories. 618 */ 619struct cache_ref_iterator { 620 struct ref_iterator base; 621 622 /* 623 * The number of levels currently on the stack. This is always 624 * at least 1, because when it becomes zero the iteration is 625 * ended and this struct is freed. 626 */ 627 size_t levels_nr; 628 629 /* The number of levels that have been allocated on the stack */ 630 size_t levels_alloc; 631 632 /* 633 * A stack of levels. levels[0] is the uppermost level that is 634 * being iterated over in this iteration. (This is not 635 * necessary the top level in the references hierarchy. If we 636 * are iterating through a subtree, then levels[0] will hold 637 * the ref_dir for that subtree, and subsequent levels will go 638 * on from there.) 639 */ 640 struct cache_ref_iterator_level *levels; 641}; 642 643static int cache_ref_iterator_advance(struct ref_iterator *ref_iterator) 644{ 645 struct cache_ref_iterator *iter = 646 (struct cache_ref_iterator *)ref_iterator; 647 648 while (1) { 649 struct cache_ref_iterator_level *level = 650 &iter->levels[iter->levels_nr - 1]; 651 struct ref_dir *dir = level->dir; 652 struct ref_entry *entry; 653 654 if (level->index == -1) 655 sort_ref_dir(dir); 656 657 if (++level->index == level->dir->nr) { 658 /* This level is exhausted; pop up a level */ 659 if (--iter->levels_nr == 0) 660 return ref_iterator_abort(ref_iterator); 661 662 continue; 663 } 664 665 entry = dir->entries[level->index]; 666 667 if (entry->flag & REF_DIR) { 668 /* push down a level */ 669 ALLOC_GROW(iter->levels, iter->levels_nr + 1, 670 iter->levels_alloc); 671 672 level = &iter->levels[iter->levels_nr++]; 673 level->dir = get_ref_dir(entry); 674 level->index = -1; 675 } else { 676 iter->base.refname = entry->name; 677 iter->base.oid = &entry->u.value.oid; 678 iter->base.flags = entry->flag; 679 return ITER_OK; 680 } 681 } 682} 683 684static enum peel_status peel_entry(struct ref_entry *entry, int repeel); 685 686static int cache_ref_iterator_peel(struct ref_iterator *ref_iterator, 687 struct object_id *peeled) 688{ 689 struct cache_ref_iterator *iter = 690 (struct cache_ref_iterator *)ref_iterator; 691 struct cache_ref_iterator_level *level; 692 struct ref_entry *entry; 693 694 level = &iter->levels[iter->levels_nr - 1]; 695 696 if (level->index == -1) 697 die("BUG: peel called before advance for cache iterator"); 698 699 entry = level->dir->entries[level->index]; 700 701 if (peel_entry(entry, 0)) 702 return -1; 703 oidcpy(peeled, &entry->u.value.peeled); 704 return 0; 705} 706 707static int cache_ref_iterator_abort(struct ref_iterator *ref_iterator) 708{ 709 struct cache_ref_iterator *iter = 710 (struct cache_ref_iterator *)ref_iterator; 711 712 free(iter->levels); 713 base_ref_iterator_free(ref_iterator); 714 return ITER_DONE; 715} 716 717static struct ref_iterator_vtable cache_ref_iterator_vtable = { 718 cache_ref_iterator_advance, 719 cache_ref_iterator_peel, 720 cache_ref_iterator_abort 721}; 722 723static struct ref_iterator *cache_ref_iterator_begin(struct ref_dir *dir) 724{ 725 struct cache_ref_iterator *iter; 726 struct ref_iterator *ref_iterator; 727 struct cache_ref_iterator_level *level; 728 729 iter = xcalloc(1, sizeof(*iter)); 730 ref_iterator = &iter->base; 731 base_ref_iterator_init(ref_iterator, &cache_ref_iterator_vtable); 732 ALLOC_GROW(iter->levels, 10, iter->levels_alloc); 733 734 iter->levels_nr = 1; 735 level = &iter->levels[0]; 736 level->index = -1; 737 level->dir = dir; 738 739 return ref_iterator; 740} 741 742struct nonmatching_ref_data { 743 const struct string_list *skip; 744 const char *conflicting_refname; 745}; 746 747static int nonmatching_ref_fn(struct ref_entry *entry, void *vdata) 748{ 749 struct nonmatching_ref_data *data = vdata; 750 751 if (data->skip && string_list_has_string(data->skip, entry->name)) 752 return 0; 753 754 data->conflicting_refname = entry->name; 755 return 1; 756} 757 758/* 759 * Return 0 if a reference named refname could be created without 760 * conflicting with the name of an existing reference in dir. 761 * See verify_refname_available for more information. 762 */ 763static int verify_refname_available_dir(const char *refname, 764 const struct string_list *extras, 765 const struct string_list *skip, 766 struct ref_dir *dir, 767 struct strbuf *err) 768{ 769 const char *slash; 770 const char *extra_refname; 771 int pos; 772 struct strbuf dirname = STRBUF_INIT; 773 int ret = -1; 774 775 /* 776 * For the sake of comments in this function, suppose that 777 * refname is "refs/foo/bar". 778 */ 779 780 assert(err); 781 782 strbuf_grow(&dirname, strlen(refname) + 1); 783 for (slash = strchr(refname, '/'); slash; slash = strchr(slash + 1, '/')) { 784 /* Expand dirname to the new prefix, not including the trailing slash: */ 785 strbuf_add(&dirname, refname + dirname.len, slash - refname - dirname.len); 786 787 /* 788 * We are still at a leading dir of the refname (e.g., 789 * "refs/foo"; if there is a reference with that name, 790 * it is a conflict, *unless* it is in skip. 791 */ 792 if (dir) { 793 pos = search_ref_dir(dir, dirname.buf, dirname.len); 794 if (pos >= 0 && 795 (!skip || !string_list_has_string(skip, dirname.buf))) { 796 /* 797 * We found a reference whose name is 798 * a proper prefix of refname; e.g., 799 * "refs/foo", and is not in skip. 800 */ 801 strbuf_addf(err, "'%s' exists; cannot create '%s'", 802 dirname.buf, refname); 803 goto cleanup; 804 } 805 } 806 807 if (extras && string_list_has_string(extras, dirname.buf) && 808 (!skip || !string_list_has_string(skip, dirname.buf))) { 809 strbuf_addf(err, "cannot process '%s' and '%s' at the same time", 810 refname, dirname.buf); 811 goto cleanup; 812 } 813 814 /* 815 * Otherwise, we can try to continue our search with 816 * the next component. So try to look up the 817 * directory, e.g., "refs/foo/". If we come up empty, 818 * we know there is nothing under this whole prefix, 819 * but even in that case we still have to continue the 820 * search for conflicts with extras. 821 */ 822 strbuf_addch(&dirname, '/'); 823 if (dir) { 824 pos = search_ref_dir(dir, dirname.buf, dirname.len); 825 if (pos < 0) { 826 /* 827 * There was no directory "refs/foo/", 828 * so there is nothing under this 829 * whole prefix. So there is no need 830 * to continue looking for conflicting 831 * references. But we need to continue 832 * looking for conflicting extras. 833 */ 834 dir = NULL; 835 } else { 836 dir = get_ref_dir(dir->entries[pos]); 837 } 838 } 839 } 840 841 /* 842 * We are at the leaf of our refname (e.g., "refs/foo/bar"). 843 * There is no point in searching for a reference with that 844 * name, because a refname isn't considered to conflict with 845 * itself. But we still need to check for references whose 846 * names are in the "refs/foo/bar/" namespace, because they 847 * *do* conflict. 848 */ 849 strbuf_addstr(&dirname, refname + dirname.len); 850 strbuf_addch(&dirname, '/'); 851 852 if (dir) { 853 pos = search_ref_dir(dir, dirname.buf, dirname.len); 854 855 if (pos >= 0) { 856 /* 857 * We found a directory named "$refname/" 858 * (e.g., "refs/foo/bar/"). It is a problem 859 * iff it contains any ref that is not in 860 * "skip". 861 */ 862 struct nonmatching_ref_data data; 863 864 data.skip = skip; 865 data.conflicting_refname = NULL; 866 dir = get_ref_dir(dir->entries[pos]); 867 sort_ref_dir(dir); 868 if (do_for_each_entry_in_dir(dir, 0, nonmatching_ref_fn, &data)) { 869 strbuf_addf(err, "'%s' exists; cannot create '%s'", 870 data.conflicting_refname, refname); 871 goto cleanup; 872 } 873 } 874 } 875 876 extra_refname = find_descendant_ref(dirname.buf, extras, skip); 877 if (extra_refname) 878 strbuf_addf(err, "cannot process '%s' and '%s' at the same time", 879 refname, extra_refname); 880 else 881 ret = 0; 882 883cleanup: 884 strbuf_release(&dirname); 885 return ret; 886} 887 888struct packed_ref_cache { 889 struct ref_entry *root; 890 891 /* 892 * Count of references to the data structure in this instance, 893 * including the pointer from files_ref_store::packed if any. 894 * The data will not be freed as long as the reference count 895 * is nonzero. 896 */ 897 unsigned int referrers; 898 899 /* 900 * Iff the packed-refs file associated with this instance is 901 * currently locked for writing, this points at the associated 902 * lock (which is owned by somebody else). The referrer count 903 * is also incremented when the file is locked and decremented 904 * when it is unlocked. 905 */ 906 struct lock_file *lock; 907 908 /* The metadata from when this packed-refs cache was read */ 909 struct stat_validity validity; 910}; 911 912/* 913 * Future: need to be in "struct repository" 914 * when doing a full libification. 915 */ 916struct files_ref_store { 917 struct ref_store base; 918 919 /* 920 * The name of the submodule represented by this object, or 921 * NULL if it represents the main repository's reference 922 * store: 923 */ 924 const char *submodule; 925 926 char *packed_refs_path; 927 928 struct ref_entry *loose; 929 struct packed_ref_cache *packed; 930}; 931 932/* Lock used for the main packed-refs file: */ 933static struct lock_file packlock; 934 935/* 936 * Increment the reference count of *packed_refs. 937 */ 938static void acquire_packed_ref_cache(struct packed_ref_cache *packed_refs) 939{ 940 packed_refs->referrers++; 941} 942 943/* 944 * Decrease the reference count of *packed_refs. If it goes to zero, 945 * free *packed_refs and return true; otherwise return false. 946 */ 947static int release_packed_ref_cache(struct packed_ref_cache *packed_refs) 948{ 949 if (!--packed_refs->referrers) { 950 free_ref_entry(packed_refs->root); 951 stat_validity_clear(&packed_refs->validity); 952 free(packed_refs); 953 return 1; 954 } else { 955 return 0; 956 } 957} 958 959static void clear_packed_ref_cache(struct files_ref_store *refs) 960{ 961 if (refs->packed) { 962 struct packed_ref_cache *packed_refs = refs->packed; 963 964 if (packed_refs->lock) 965 die("internal error: packed-ref cache cleared while locked"); 966 refs->packed = NULL; 967 release_packed_ref_cache(packed_refs); 968 } 969} 970 971static void clear_loose_ref_cache(struct files_ref_store *refs) 972{ 973 if (refs->loose) { 974 free_ref_entry(refs->loose); 975 refs->loose = NULL; 976 } 977} 978 979/* 980 * Create a new submodule ref cache and add it to the internal 981 * set of caches. 982 */ 983static struct ref_store *files_ref_store_create(const char *submodule) 984{ 985 struct files_ref_store *refs = xcalloc(1, sizeof(*refs)); 986 struct ref_store *ref_store = (struct ref_store *)refs; 987 988 base_ref_store_init(ref_store, &refs_be_files); 989 990 if (submodule) { 991 refs->submodule = xstrdup(submodule); 992 refs->packed_refs_path = git_pathdup_submodule( 993 refs->submodule, "packed-refs"); 994 return ref_store; 995 } 996 997 refs->packed_refs_path = git_pathdup("packed-refs"); 998 999 return ref_store;1000}10011002/*1003 * Die if refs is for a submodule (i.e., not for the main repository).1004 * caller is used in any necessary error messages.1005 */1006static void files_assert_main_repository(struct files_ref_store *refs,1007 const char *caller)1008{1009 if (refs->submodule)1010 die("BUG: %s called for a submodule", caller);1011}10121013/*1014 * Downcast ref_store to files_ref_store. Die if ref_store is not a1015 * files_ref_store. If submodule_allowed is not true, then also die if1016 * files_ref_store is for a submodule (i.e., not for the main1017 * repository). caller is used in any necessary error messages.1018 */1019static struct files_ref_store *files_downcast(1020 struct ref_store *ref_store, int submodule_allowed,1021 const char *caller)1022{1023 struct files_ref_store *refs;10241025 if (ref_store->be != &refs_be_files)1026 die("BUG: ref_store is type \"%s\" not \"files\" in %s",1027 ref_store->be->name, caller);10281029 refs = (struct files_ref_store *)ref_store;10301031 if (!submodule_allowed)1032 files_assert_main_repository(refs, caller);10331034 return refs;1035}10361037/* The length of a peeled reference line in packed-refs, including EOL: */1038#define PEELED_LINE_LENGTH 4210391040/*1041 * The packed-refs header line that we write out. Perhaps other1042 * traits will be added later. The trailing space is required.1043 */1044static const char PACKED_REFS_HEADER[] =1045 "# pack-refs with: peeled fully-peeled \n";10461047/*1048 * Parse one line from a packed-refs file. Write the SHA1 to sha1.1049 * Return a pointer to the refname within the line (null-terminated),1050 * or NULL if there was a problem.1051 */1052static const char *parse_ref_line(struct strbuf *line, unsigned char *sha1)1053{1054 const char *ref;10551056 /*1057 * 42: the answer to everything.1058 *1059 * In this case, it happens to be the answer to1060 * 40 (length of sha1 hex representation)1061 * +1 (space in between hex and name)1062 * +1 (newline at the end of the line)1063 */1064 if (line->len <= 42)1065 return NULL;10661067 if (get_sha1_hex(line->buf, sha1) < 0)1068 return NULL;1069 if (!isspace(line->buf[40]))1070 return NULL;10711072 ref = line->buf + 41;1073 if (isspace(*ref))1074 return NULL;10751076 if (line->buf[line->len - 1] != '\n')1077 return NULL;1078 line->buf[--line->len] = 0;10791080 return ref;1081}10821083/*1084 * Read f, which is a packed-refs file, into dir.1085 *1086 * A comment line of the form "# pack-refs with: " may contain zero or1087 * more traits. We interpret the traits as follows:1088 *1089 * No traits:1090 *1091 * Probably no references are peeled. But if the file contains a1092 * peeled value for a reference, we will use it.1093 *1094 * peeled:1095 *1096 * References under "refs/tags/", if they *can* be peeled, *are*1097 * peeled in this file. References outside of "refs/tags/" are1098 * probably not peeled even if they could have been, but if we find1099 * a peeled value for such a reference we will use it.1100 *1101 * fully-peeled:1102 *1103 * All references in the file that can be peeled are peeled.1104 * Inversely (and this is more important), any references in the1105 * file for which no peeled value is recorded is not peelable. This1106 * trait should typically be written alongside "peeled" for1107 * compatibility with older clients, but we do not require it1108 * (i.e., "peeled" is a no-op if "fully-peeled" is set).1109 */1110static void read_packed_refs(FILE *f, struct ref_dir *dir)1111{1112 struct ref_entry *last = NULL;1113 struct strbuf line = STRBUF_INIT;1114 enum { PEELED_NONE, PEELED_TAGS, PEELED_FULLY } peeled = PEELED_NONE;11151116 while (strbuf_getwholeline(&line, f, '\n') != EOF) {1117 unsigned char sha1[20];1118 const char *refname;1119 const char *traits;11201121 if (skip_prefix(line.buf, "# pack-refs with:", &traits)) {1122 if (strstr(traits, " fully-peeled "))1123 peeled = PEELED_FULLY;1124 else if (strstr(traits, " peeled "))1125 peeled = PEELED_TAGS;1126 /* perhaps other traits later as well */1127 continue;1128 }11291130 refname = parse_ref_line(&line, sha1);1131 if (refname) {1132 int flag = REF_ISPACKED;11331134 if (check_refname_format(refname, REFNAME_ALLOW_ONELEVEL)) {1135 if (!refname_is_safe(refname))1136 die("packed refname is dangerous: %s", refname);1137 hashclr(sha1);1138 flag |= REF_BAD_NAME | REF_ISBROKEN;1139 }1140 last = create_ref_entry(refname, sha1, flag, 0);1141 if (peeled == PEELED_FULLY ||1142 (peeled == PEELED_TAGS && starts_with(refname, "refs/tags/")))1143 last->flag |= REF_KNOWS_PEELED;1144 add_ref(dir, last);1145 continue;1146 }1147 if (last &&1148 line.buf[0] == '^' &&1149 line.len == PEELED_LINE_LENGTH &&1150 line.buf[PEELED_LINE_LENGTH - 1] == '\n' &&1151 !get_sha1_hex(line.buf + 1, sha1)) {1152 hashcpy(last->u.value.peeled.hash, sha1);1153 /*1154 * Regardless of what the file header said,1155 * we definitely know the value of *this*1156 * reference:1157 */1158 last->flag |= REF_KNOWS_PEELED;1159 }1160 }11611162 strbuf_release(&line);1163}11641165static const char *files_packed_refs_path(struct files_ref_store *refs)1166{1167 return refs->packed_refs_path;1168}11691170/*1171 * Get the packed_ref_cache for the specified files_ref_store,1172 * creating it if necessary.1173 */1174static struct packed_ref_cache *get_packed_ref_cache(struct files_ref_store *refs)1175{1176 const char *packed_refs_file = files_packed_refs_path(refs);11771178 if (refs->packed &&1179 !stat_validity_check(&refs->packed->validity, packed_refs_file))1180 clear_packed_ref_cache(refs);11811182 if (!refs->packed) {1183 FILE *f;11841185 refs->packed = xcalloc(1, sizeof(*refs->packed));1186 acquire_packed_ref_cache(refs->packed);1187 refs->packed->root = create_dir_entry(refs, "", 0, 0);1188 f = fopen(packed_refs_file, "r");1189 if (f) {1190 stat_validity_update(&refs->packed->validity, fileno(f));1191 read_packed_refs(f, get_ref_dir(refs->packed->root));1192 fclose(f);1193 }1194 }1195 return refs->packed;1196}11971198static struct ref_dir *get_packed_ref_dir(struct packed_ref_cache *packed_ref_cache)1199{1200 return get_ref_dir(packed_ref_cache->root);1201}12021203static struct ref_dir *get_packed_refs(struct files_ref_store *refs)1204{1205 return get_packed_ref_dir(get_packed_ref_cache(refs));1206}12071208/*1209 * Add a reference to the in-memory packed reference cache. This may1210 * only be called while the packed-refs file is locked (see1211 * lock_packed_refs()). To actually write the packed-refs file, call1212 * commit_packed_refs().1213 */1214static void add_packed_ref(struct files_ref_store *refs,1215 const char *refname, const unsigned char *sha1)1216{1217 struct packed_ref_cache *packed_ref_cache = get_packed_ref_cache(refs);12181219 if (!packed_ref_cache->lock)1220 die("internal error: packed refs not locked");1221 add_ref(get_packed_ref_dir(packed_ref_cache),1222 create_ref_entry(refname, sha1, REF_ISPACKED, 1));1223}12241225/*1226 * Read the loose references from the namespace dirname into dir1227 * (without recursing). dirname must end with '/'. dir must be the1228 * directory entry corresponding to dirname.1229 */1230static void read_loose_refs(const char *dirname, struct ref_dir *dir)1231{1232 struct files_ref_store *refs = dir->ref_store;1233 DIR *d;1234 struct dirent *de;1235 int dirnamelen = strlen(dirname);1236 struct strbuf refname;1237 struct strbuf path = STRBUF_INIT;1238 size_t path_baselen;1239 int err = 0;12401241 if (refs->submodule)1242 err = strbuf_git_path_submodule(&path, refs->submodule, "%s", dirname);1243 else1244 strbuf_git_path(&path, "%s", dirname);1245 path_baselen = path.len;12461247 if (err) {1248 strbuf_release(&path);1249 return;1250 }12511252 d = opendir(path.buf);1253 if (!d) {1254 strbuf_release(&path);1255 return;1256 }12571258 strbuf_init(&refname, dirnamelen + 257);1259 strbuf_add(&refname, dirname, dirnamelen);12601261 while ((de = readdir(d)) != NULL) {1262 unsigned char sha1[20];1263 struct stat st;1264 int flag;12651266 if (de->d_name[0] == '.')1267 continue;1268 if (ends_with(de->d_name, ".lock"))1269 continue;1270 strbuf_addstr(&refname, de->d_name);1271 strbuf_addstr(&path, de->d_name);1272 if (stat(path.buf, &st) < 0) {1273 ; /* silently ignore */1274 } else if (S_ISDIR(st.st_mode)) {1275 strbuf_addch(&refname, '/');1276 add_entry_to_dir(dir,1277 create_dir_entry(refs, refname.buf,1278 refname.len, 1));1279 } else {1280 if (!resolve_ref_recursively(&refs->base,1281 refname.buf,1282 RESOLVE_REF_READING,1283 sha1, &flag)) {1284 hashclr(sha1);1285 flag |= REF_ISBROKEN;1286 } else if (is_null_sha1(sha1)) {1287 /*1288 * It is so astronomically unlikely1289 * that NULL_SHA1 is the SHA-1 of an1290 * actual object that we consider its1291 * appearance in a loose reference1292 * file to be repo corruption1293 * (probably due to a software bug).1294 */1295 flag |= REF_ISBROKEN;1296 }12971298 if (check_refname_format(refname.buf,1299 REFNAME_ALLOW_ONELEVEL)) {1300 if (!refname_is_safe(refname.buf))1301 die("loose refname is dangerous: %s", refname.buf);1302 hashclr(sha1);1303 flag |= REF_BAD_NAME | REF_ISBROKEN;1304 }1305 add_entry_to_dir(dir,1306 create_ref_entry(refname.buf, sha1, flag, 0));1307 }1308 strbuf_setlen(&refname, dirnamelen);1309 strbuf_setlen(&path, path_baselen);1310 }1311 strbuf_release(&refname);1312 strbuf_release(&path);1313 closedir(d);1314}13151316static struct ref_dir *get_loose_refs(struct files_ref_store *refs)1317{1318 if (!refs->loose) {1319 /*1320 * Mark the top-level directory complete because we1321 * are about to read the only subdirectory that can1322 * hold references:1323 */1324 refs->loose = create_dir_entry(refs, "", 0, 0);1325 /*1326 * Create an incomplete entry for "refs/":1327 */1328 add_entry_to_dir(get_ref_dir(refs->loose),1329 create_dir_entry(refs, "refs/", 5, 1));1330 }1331 return get_ref_dir(refs->loose);1332}13331334/*1335 * Return the ref_entry for the given refname from the packed1336 * references. If it does not exist, return NULL.1337 */1338static struct ref_entry *get_packed_ref(struct files_ref_store *refs,1339 const char *refname)1340{1341 return find_ref(get_packed_refs(refs), refname);1342}13431344/*1345 * A loose ref file doesn't exist; check for a packed ref.1346 */1347static int resolve_packed_ref(struct files_ref_store *refs,1348 const char *refname,1349 unsigned char *sha1, unsigned int *flags)1350{1351 struct ref_entry *entry;13521353 /*1354 * The loose reference file does not exist; check for a packed1355 * reference.1356 */1357 entry = get_packed_ref(refs, refname);1358 if (entry) {1359 hashcpy(sha1, entry->u.value.oid.hash);1360 *flags |= REF_ISPACKED;1361 return 0;1362 }1363 /* refname is not a packed reference. */1364 return -1;1365}13661367static int files_read_raw_ref(struct ref_store *ref_store,1368 const char *refname, unsigned char *sha1,1369 struct strbuf *referent, unsigned int *type)1370{1371 struct files_ref_store *refs =1372 files_downcast(ref_store, 1, "read_raw_ref");1373 struct strbuf sb_contents = STRBUF_INIT;1374 struct strbuf sb_path = STRBUF_INIT;1375 const char *path;1376 const char *buf;1377 struct stat st;1378 int fd;1379 int ret = -1;1380 int save_errno;1381 int remaining_retries = 3;13821383 *type = 0;1384 strbuf_reset(&sb_path);13851386 if (refs->submodule)1387 strbuf_git_path_submodule(&sb_path, refs->submodule, "%s", refname);1388 else1389 strbuf_git_path(&sb_path, "%s", refname);13901391 path = sb_path.buf;13921393stat_ref:1394 /*1395 * We might have to loop back here to avoid a race1396 * condition: first we lstat() the file, then we try1397 * to read it as a link or as a file. But if somebody1398 * changes the type of the file (file <-> directory1399 * <-> symlink) between the lstat() and reading, then1400 * we don't want to report that as an error but rather1401 * try again starting with the lstat().1402 *1403 * We'll keep a count of the retries, though, just to avoid1404 * any confusing situation sending us into an infinite loop.1405 */14061407 if (remaining_retries-- <= 0)1408 goto out;14091410 if (lstat(path, &st) < 0) {1411 if (errno != ENOENT)1412 goto out;1413 if (resolve_packed_ref(refs, refname, sha1, type)) {1414 errno = ENOENT;1415 goto out;1416 }1417 ret = 0;1418 goto out;1419 }14201421 /* Follow "normalized" - ie "refs/.." symlinks by hand */1422 if (S_ISLNK(st.st_mode)) {1423 strbuf_reset(&sb_contents);1424 if (strbuf_readlink(&sb_contents, path, 0) < 0) {1425 if (errno == ENOENT || errno == EINVAL)1426 /* inconsistent with lstat; retry */1427 goto stat_ref;1428 else1429 goto out;1430 }1431 if (starts_with(sb_contents.buf, "refs/") &&1432 !check_refname_format(sb_contents.buf, 0)) {1433 strbuf_swap(&sb_contents, referent);1434 *type |= REF_ISSYMREF;1435 ret = 0;1436 goto out;1437 }1438 /*1439 * It doesn't look like a refname; fall through to just1440 * treating it like a non-symlink, and reading whatever it1441 * points to.1442 */1443 }14441445 /* Is it a directory? */1446 if (S_ISDIR(st.st_mode)) {1447 /*1448 * Even though there is a directory where the loose1449 * ref is supposed to be, there could still be a1450 * packed ref:1451 */1452 if (resolve_packed_ref(refs, refname, sha1, type)) {1453 errno = EISDIR;1454 goto out;1455 }1456 ret = 0;1457 goto out;1458 }14591460 /*1461 * Anything else, just open it and try to use it as1462 * a ref1463 */1464 fd = open(path, O_RDONLY);1465 if (fd < 0) {1466 if (errno == ENOENT && !S_ISLNK(st.st_mode))1467 /* inconsistent with lstat; retry */1468 goto stat_ref;1469 else1470 goto out;1471 }1472 strbuf_reset(&sb_contents);1473 if (strbuf_read(&sb_contents, fd, 256) < 0) {1474 int save_errno = errno;1475 close(fd);1476 errno = save_errno;1477 goto out;1478 }1479 close(fd);1480 strbuf_rtrim(&sb_contents);1481 buf = sb_contents.buf;1482 if (starts_with(buf, "ref:")) {1483 buf += 4;1484 while (isspace(*buf))1485 buf++;14861487 strbuf_reset(referent);1488 strbuf_addstr(referent, buf);1489 *type |= REF_ISSYMREF;1490 ret = 0;1491 goto out;1492 }14931494 /*1495 * Please note that FETCH_HEAD has additional1496 * data after the sha.1497 */1498 if (get_sha1_hex(buf, sha1) ||1499 (buf[40] != '\0' && !isspace(buf[40]))) {1500 *type |= REF_ISBROKEN;1501 errno = EINVAL;1502 goto out;1503 }15041505 ret = 0;15061507out:1508 save_errno = errno;1509 strbuf_release(&sb_path);1510 strbuf_release(&sb_contents);1511 errno = save_errno;1512 return ret;1513}15141515static void unlock_ref(struct ref_lock *lock)1516{1517 /* Do not free lock->lk -- atexit() still looks at them */1518 if (lock->lk)1519 rollback_lock_file(lock->lk);1520 free(lock->ref_name);1521 free(lock);1522}15231524/*1525 * Lock refname, without following symrefs, and set *lock_p to point1526 * at a newly-allocated lock object. Fill in lock->old_oid, referent,1527 * and type similarly to read_raw_ref().1528 *1529 * The caller must verify that refname is a "safe" reference name (in1530 * the sense of refname_is_safe()) before calling this function.1531 *1532 * If the reference doesn't already exist, verify that refname doesn't1533 * have a D/F conflict with any existing references. extras and skip1534 * are passed to verify_refname_available_dir() for this check.1535 *1536 * If mustexist is not set and the reference is not found or is1537 * broken, lock the reference anyway but clear sha1.1538 *1539 * Return 0 on success. On failure, write an error message to err and1540 * return TRANSACTION_NAME_CONFLICT or TRANSACTION_GENERIC_ERROR.1541 *1542 * Implementation note: This function is basically1543 *1544 * lock reference1545 * read_raw_ref()1546 *1547 * but it includes a lot more code to1548 * - Deal with possible races with other processes1549 * - Avoid calling verify_refname_available_dir() when it can be1550 * avoided, namely if we were successfully able to read the ref1551 * - Generate informative error messages in the case of failure1552 */1553static int lock_raw_ref(struct files_ref_store *refs,1554 const char *refname, int mustexist,1555 const struct string_list *extras,1556 const struct string_list *skip,1557 struct ref_lock **lock_p,1558 struct strbuf *referent,1559 unsigned int *type,1560 struct strbuf *err)1561{1562 struct ref_lock *lock;1563 struct strbuf ref_file = STRBUF_INIT;1564 int attempts_remaining = 3;1565 int ret = TRANSACTION_GENERIC_ERROR;15661567 assert(err);1568 files_assert_main_repository(refs, "lock_raw_ref");15691570 *type = 0;15711572 /* First lock the file so it can't change out from under us. */15731574 *lock_p = lock = xcalloc(1, sizeof(*lock));15751576 lock->ref_name = xstrdup(refname);1577 strbuf_git_path(&ref_file, "%s", refname);15781579retry:1580 switch (safe_create_leading_directories(ref_file.buf)) {1581 case SCLD_OK:1582 break; /* success */1583 case SCLD_EXISTS:1584 /*1585 * Suppose refname is "refs/foo/bar". We just failed1586 * to create the containing directory, "refs/foo",1587 * because there was a non-directory in the way. This1588 * indicates a D/F conflict, probably because of1589 * another reference such as "refs/foo". There is no1590 * reason to expect this error to be transitory.1591 */1592 if (verify_refname_available(refname, extras, skip, err)) {1593 if (mustexist) {1594 /*1595 * To the user the relevant error is1596 * that the "mustexist" reference is1597 * missing:1598 */1599 strbuf_reset(err);1600 strbuf_addf(err, "unable to resolve reference '%s'",1601 refname);1602 } else {1603 /*1604 * The error message set by1605 * verify_refname_available_dir() is OK.1606 */1607 ret = TRANSACTION_NAME_CONFLICT;1608 }1609 } else {1610 /*1611 * The file that is in the way isn't a loose1612 * reference. Report it as a low-level1613 * failure.1614 */1615 strbuf_addf(err, "unable to create lock file %s.lock; "1616 "non-directory in the way",1617 ref_file.buf);1618 }1619 goto error_return;1620 case SCLD_VANISHED:1621 /* Maybe another process was tidying up. Try again. */1622 if (--attempts_remaining > 0)1623 goto retry;1624 /* fall through */1625 default:1626 strbuf_addf(err, "unable to create directory for %s",1627 ref_file.buf);1628 goto error_return;1629 }16301631 if (!lock->lk)1632 lock->lk = xcalloc(1, sizeof(struct lock_file));16331634 if (hold_lock_file_for_update(lock->lk, ref_file.buf, LOCK_NO_DEREF) < 0) {1635 if (errno == ENOENT && --attempts_remaining > 0) {1636 /*1637 * Maybe somebody just deleted one of the1638 * directories leading to ref_file. Try1639 * again:1640 */1641 goto retry;1642 } else {1643 unable_to_lock_message(ref_file.buf, errno, err);1644 goto error_return;1645 }1646 }16471648 /*1649 * Now we hold the lock and can read the reference without1650 * fear that its value will change.1651 */16521653 if (files_read_raw_ref(&refs->base, refname,1654 lock->old_oid.hash, referent, type)) {1655 if (errno == ENOENT) {1656 if (mustexist) {1657 /* Garden variety missing reference. */1658 strbuf_addf(err, "unable to resolve reference '%s'",1659 refname);1660 goto error_return;1661 } else {1662 /*1663 * Reference is missing, but that's OK. We1664 * know that there is not a conflict with1665 * another loose reference because1666 * (supposing that we are trying to lock1667 * reference "refs/foo/bar"):1668 *1669 * - We were successfully able to create1670 * the lockfile refs/foo/bar.lock, so we1671 * know there cannot be a loose reference1672 * named "refs/foo".1673 *1674 * - We got ENOENT and not EISDIR, so we1675 * know that there cannot be a loose1676 * reference named "refs/foo/bar/baz".1677 */1678 }1679 } else if (errno == EISDIR) {1680 /*1681 * There is a directory in the way. It might have1682 * contained references that have been deleted. If1683 * we don't require that the reference already1684 * exists, try to remove the directory so that it1685 * doesn't cause trouble when we want to rename the1686 * lockfile into place later.1687 */1688 if (mustexist) {1689 /* Garden variety missing reference. */1690 strbuf_addf(err, "unable to resolve reference '%s'",1691 refname);1692 goto error_return;1693 } else if (remove_dir_recursively(&ref_file,1694 REMOVE_DIR_EMPTY_ONLY)) {1695 if (verify_refname_available_dir(1696 refname, extras, skip,1697 get_loose_refs(refs),1698 err)) {1699 /*1700 * The error message set by1701 * verify_refname_available() is OK.1702 */1703 ret = TRANSACTION_NAME_CONFLICT;1704 goto error_return;1705 } else {1706 /*1707 * We can't delete the directory,1708 * but we also don't know of any1709 * references that it should1710 * contain.1711 */1712 strbuf_addf(err, "there is a non-empty directory '%s' "1713 "blocking reference '%s'",1714 ref_file.buf, refname);1715 goto error_return;1716 }1717 }1718 } else if (errno == EINVAL && (*type & REF_ISBROKEN)) {1719 strbuf_addf(err, "unable to resolve reference '%s': "1720 "reference broken", refname);1721 goto error_return;1722 } else {1723 strbuf_addf(err, "unable to resolve reference '%s': %s",1724 refname, strerror(errno));1725 goto error_return;1726 }17271728 /*1729 * If the ref did not exist and we are creating it,1730 * make sure there is no existing packed ref whose1731 * name begins with our refname, nor a packed ref1732 * whose name is a proper prefix of our refname.1733 */1734 if (verify_refname_available_dir(1735 refname, extras, skip,1736 get_packed_refs(refs),1737 err)) {1738 goto error_return;1739 }1740 }17411742 ret = 0;1743 goto out;17441745error_return:1746 unlock_ref(lock);1747 *lock_p = NULL;17481749out:1750 strbuf_release(&ref_file);1751 return ret;1752}17531754/*1755 * Peel the entry (if possible) and return its new peel_status. If1756 * repeel is true, re-peel the entry even if there is an old peeled1757 * value that is already stored in it.1758 *1759 * It is OK to call this function with a packed reference entry that1760 * might be stale and might even refer to an object that has since1761 * been garbage-collected. In such a case, if the entry has1762 * REF_KNOWS_PEELED then leave the status unchanged and return1763 * PEEL_PEELED or PEEL_NON_TAG; otherwise, return PEEL_INVALID.1764 */1765static enum peel_status peel_entry(struct ref_entry *entry, int repeel)1766{1767 enum peel_status status;17681769 if (entry->flag & REF_KNOWS_PEELED) {1770 if (repeel) {1771 entry->flag &= ~REF_KNOWS_PEELED;1772 oidclr(&entry->u.value.peeled);1773 } else {1774 return is_null_oid(&entry->u.value.peeled) ?1775 PEEL_NON_TAG : PEEL_PEELED;1776 }1777 }1778 if (entry->flag & REF_ISBROKEN)1779 return PEEL_BROKEN;1780 if (entry->flag & REF_ISSYMREF)1781 return PEEL_IS_SYMREF;17821783 status = peel_object(entry->u.value.oid.hash, entry->u.value.peeled.hash);1784 if (status == PEEL_PEELED || status == PEEL_NON_TAG)1785 entry->flag |= REF_KNOWS_PEELED;1786 return status;1787}17881789static int files_peel_ref(struct ref_store *ref_store,1790 const char *refname, unsigned char *sha1)1791{1792 struct files_ref_store *refs = files_downcast(ref_store, 0, "peel_ref");1793 int flag;1794 unsigned char base[20];17951796 if (current_ref_iter && current_ref_iter->refname == refname) {1797 struct object_id peeled;17981799 if (ref_iterator_peel(current_ref_iter, &peeled))1800 return -1;1801 hashcpy(sha1, peeled.hash);1802 return 0;1803 }18041805 if (read_ref_full(refname, RESOLVE_REF_READING, base, &flag))1806 return -1;18071808 /*1809 * If the reference is packed, read its ref_entry from the1810 * cache in the hope that we already know its peeled value.1811 * We only try this optimization on packed references because1812 * (a) forcing the filling of the loose reference cache could1813 * be expensive and (b) loose references anyway usually do not1814 * have REF_KNOWS_PEELED.1815 */1816 if (flag & REF_ISPACKED) {1817 struct ref_entry *r = get_packed_ref(refs, refname);1818 if (r) {1819 if (peel_entry(r, 0))1820 return -1;1821 hashcpy(sha1, r->u.value.peeled.hash);1822 return 0;1823 }1824 }18251826 return peel_object(base, sha1);1827}18281829struct files_ref_iterator {1830 struct ref_iterator base;18311832 struct packed_ref_cache *packed_ref_cache;1833 struct ref_iterator *iter0;1834 unsigned int flags;1835};18361837static int files_ref_iterator_advance(struct ref_iterator *ref_iterator)1838{1839 struct files_ref_iterator *iter =1840 (struct files_ref_iterator *)ref_iterator;1841 int ok;18421843 while ((ok = ref_iterator_advance(iter->iter0)) == ITER_OK) {1844 if (iter->flags & DO_FOR_EACH_PER_WORKTREE_ONLY &&1845 ref_type(iter->iter0->refname) != REF_TYPE_PER_WORKTREE)1846 continue;18471848 if (!(iter->flags & DO_FOR_EACH_INCLUDE_BROKEN) &&1849 !ref_resolves_to_object(iter->iter0->refname,1850 iter->iter0->oid,1851 iter->iter0->flags))1852 continue;18531854 iter->base.refname = iter->iter0->refname;1855 iter->base.oid = iter->iter0->oid;1856 iter->base.flags = iter->iter0->flags;1857 return ITER_OK;1858 }18591860 iter->iter0 = NULL;1861 if (ref_iterator_abort(ref_iterator) != ITER_DONE)1862 ok = ITER_ERROR;18631864 return ok;1865}18661867static int files_ref_iterator_peel(struct ref_iterator *ref_iterator,1868 struct object_id *peeled)1869{1870 struct files_ref_iterator *iter =1871 (struct files_ref_iterator *)ref_iterator;18721873 return ref_iterator_peel(iter->iter0, peeled);1874}18751876static int files_ref_iterator_abort(struct ref_iterator *ref_iterator)1877{1878 struct files_ref_iterator *iter =1879 (struct files_ref_iterator *)ref_iterator;1880 int ok = ITER_DONE;18811882 if (iter->iter0)1883 ok = ref_iterator_abort(iter->iter0);18841885 release_packed_ref_cache(iter->packed_ref_cache);1886 base_ref_iterator_free(ref_iterator);1887 return ok;1888}18891890static struct ref_iterator_vtable files_ref_iterator_vtable = {1891 files_ref_iterator_advance,1892 files_ref_iterator_peel,1893 files_ref_iterator_abort1894};18951896static struct ref_iterator *files_ref_iterator_begin(1897 struct ref_store *ref_store,1898 const char *prefix, unsigned int flags)1899{1900 struct files_ref_store *refs =1901 files_downcast(ref_store, 1, "ref_iterator_begin");1902 struct ref_dir *loose_dir, *packed_dir;1903 struct ref_iterator *loose_iter, *packed_iter;1904 struct files_ref_iterator *iter;1905 struct ref_iterator *ref_iterator;19061907 if (ref_paranoia < 0)1908 ref_paranoia = git_env_bool("GIT_REF_PARANOIA", 0);1909 if (ref_paranoia)1910 flags |= DO_FOR_EACH_INCLUDE_BROKEN;19111912 iter = xcalloc(1, sizeof(*iter));1913 ref_iterator = &iter->base;1914 base_ref_iterator_init(ref_iterator, &files_ref_iterator_vtable);19151916 /*1917 * We must make sure that all loose refs are read before1918 * accessing the packed-refs file; this avoids a race1919 * condition if loose refs are migrated to the packed-refs1920 * file by a simultaneous process, but our in-memory view is1921 * from before the migration. We ensure this as follows:1922 * First, we call prime_ref_dir(), which pre-reads the loose1923 * references for the subtree into the cache. (If they've1924 * already been read, that's OK; we only need to guarantee1925 * that they're read before the packed refs, not *how much*1926 * before.) After that, we call get_packed_ref_cache(), which1927 * internally checks whether the packed-ref cache is up to1928 * date with what is on disk, and re-reads it if not.1929 */19301931 loose_dir = get_loose_refs(refs);19321933 if (prefix && *prefix)1934 loose_dir = find_containing_dir(loose_dir, prefix, 0);19351936 if (loose_dir) {1937 prime_ref_dir(loose_dir);1938 loose_iter = cache_ref_iterator_begin(loose_dir);1939 } else {1940 /* There's nothing to iterate over. */1941 loose_iter = empty_ref_iterator_begin();1942 }19431944 iter->packed_ref_cache = get_packed_ref_cache(refs);1945 acquire_packed_ref_cache(iter->packed_ref_cache);1946 packed_dir = get_packed_ref_dir(iter->packed_ref_cache);19471948 if (prefix && *prefix)1949 packed_dir = find_containing_dir(packed_dir, prefix, 0);19501951 if (packed_dir) {1952 packed_iter = cache_ref_iterator_begin(packed_dir);1953 } else {1954 /* There's nothing to iterate over. */1955 packed_iter = empty_ref_iterator_begin();1956 }19571958 iter->iter0 = overlay_ref_iterator_begin(loose_iter, packed_iter);1959 iter->flags = flags;19601961 return ref_iterator;1962}19631964/*1965 * Verify that the reference locked by lock has the value old_sha1.1966 * Fail if the reference doesn't exist and mustexist is set. Return 01967 * on success. On error, write an error message to err, set errno, and1968 * return a negative value.1969 */1970static int verify_lock(struct ref_lock *lock,1971 const unsigned char *old_sha1, int mustexist,1972 struct strbuf *err)1973{1974 assert(err);19751976 if (read_ref_full(lock->ref_name,1977 mustexist ? RESOLVE_REF_READING : 0,1978 lock->old_oid.hash, NULL)) {1979 if (old_sha1) {1980 int save_errno = errno;1981 strbuf_addf(err, "can't verify ref '%s'", lock->ref_name);1982 errno = save_errno;1983 return -1;1984 } else {1985 oidclr(&lock->old_oid);1986 return 0;1987 }1988 }1989 if (old_sha1 && hashcmp(lock->old_oid.hash, old_sha1)) {1990 strbuf_addf(err, "ref '%s' is at %s but expected %s",1991 lock->ref_name,1992 oid_to_hex(&lock->old_oid),1993 sha1_to_hex(old_sha1));1994 errno = EBUSY;1995 return -1;1996 }1997 return 0;1998}19992000static int remove_empty_directories(struct strbuf *path)2001{2002 /*2003 * we want to create a file but there is a directory there;2004 * if that is an empty directory (or a directory that contains2005 * only empty directories), remove them.2006 */2007 return remove_dir_recursively(path, REMOVE_DIR_EMPTY_ONLY);2008}20092010static int create_reflock(const char *path, void *cb)2011{2012 struct lock_file *lk = cb;20132014 return hold_lock_file_for_update(lk, path, LOCK_NO_DEREF) < 0 ? -1 : 0;2015}20162017/*2018 * Locks a ref returning the lock on success and NULL on failure.2019 * On failure errno is set to something meaningful.2020 */2021static struct ref_lock *lock_ref_sha1_basic(struct files_ref_store *refs,2022 const char *refname,2023 const unsigned char *old_sha1,2024 const struct string_list *extras,2025 const struct string_list *skip,2026 unsigned int flags, int *type,2027 struct strbuf *err)2028{2029 struct strbuf ref_file = STRBUF_INIT;2030 struct ref_lock *lock;2031 int last_errno = 0;2032 int mustexist = (old_sha1 && !is_null_sha1(old_sha1));2033 int resolve_flags = RESOLVE_REF_NO_RECURSE;2034 int resolved;20352036 files_assert_main_repository(refs, "lock_ref_sha1_basic");2037 assert(err);20382039 lock = xcalloc(1, sizeof(struct ref_lock));20402041 if (mustexist)2042 resolve_flags |= RESOLVE_REF_READING;2043 if (flags & REF_DELETING)2044 resolve_flags |= RESOLVE_REF_ALLOW_BAD_NAME;20452046 strbuf_git_path(&ref_file, "%s", refname);2047 resolved = !!resolve_ref_unsafe(refname, resolve_flags,2048 lock->old_oid.hash, type);2049 if (!resolved && errno == EISDIR) {2050 /*2051 * we are trying to lock foo but we used to2052 * have foo/bar which now does not exist;2053 * it is normal for the empty directory 'foo'2054 * to remain.2055 */2056 if (remove_empty_directories(&ref_file)) {2057 last_errno = errno;2058 if (!verify_refname_available_dir(2059 refname, extras, skip,2060 get_loose_refs(refs), err))2061 strbuf_addf(err, "there are still refs under '%s'",2062 refname);2063 goto error_return;2064 }2065 resolved = !!resolve_ref_unsafe(refname, resolve_flags,2066 lock->old_oid.hash, type);2067 }2068 if (!resolved) {2069 last_errno = errno;2070 if (last_errno != ENOTDIR ||2071 !verify_refname_available_dir(2072 refname, extras, skip,2073 get_loose_refs(refs), err))2074 strbuf_addf(err, "unable to resolve reference '%s': %s",2075 refname, strerror(last_errno));20762077 goto error_return;2078 }20792080 /*2081 * If the ref did not exist and we are creating it, make sure2082 * there is no existing packed ref whose name begins with our2083 * refname, nor a packed ref whose name is a proper prefix of2084 * our refname.2085 */2086 if (is_null_oid(&lock->old_oid) &&2087 verify_refname_available_dir(refname, extras, skip,2088 get_packed_refs(refs),2089 err)) {2090 last_errno = ENOTDIR;2091 goto error_return;2092 }20932094 lock->lk = xcalloc(1, sizeof(struct lock_file));20952096 lock->ref_name = xstrdup(refname);20972098 if (raceproof_create_file(ref_file.buf, create_reflock, lock->lk)) {2099 last_errno = errno;2100 unable_to_lock_message(ref_file.buf, errno, err);2101 goto error_return;2102 }21032104 if (verify_lock(lock, old_sha1, mustexist, err)) {2105 last_errno = errno;2106 goto error_return;2107 }2108 goto out;21092110 error_return:2111 unlock_ref(lock);2112 lock = NULL;21132114 out:2115 strbuf_release(&ref_file);2116 errno = last_errno;2117 return lock;2118}21192120/*2121 * Write an entry to the packed-refs file for the specified refname.2122 * If peeled is non-NULL, write it as the entry's peeled value.2123 */2124static void write_packed_entry(FILE *fh, char *refname, unsigned char *sha1,2125 unsigned char *peeled)2126{2127 fprintf_or_die(fh, "%s %s\n", sha1_to_hex(sha1), refname);2128 if (peeled)2129 fprintf_or_die(fh, "^%s\n", sha1_to_hex(peeled));2130}21312132/*2133 * An each_ref_entry_fn that writes the entry to a packed-refs file.2134 */2135static int write_packed_entry_fn(struct ref_entry *entry, void *cb_data)2136{2137 enum peel_status peel_status = peel_entry(entry, 0);21382139 if (peel_status != PEEL_PEELED && peel_status != PEEL_NON_TAG)2140 error("internal error: %s is not a valid packed reference!",2141 entry->name);2142 write_packed_entry(cb_data, entry->name, entry->u.value.oid.hash,2143 peel_status == PEEL_PEELED ?2144 entry->u.value.peeled.hash : NULL);2145 return 0;2146}21472148/*2149 * Lock the packed-refs file for writing. Flags is passed to2150 * hold_lock_file_for_update(). Return 0 on success. On errors, set2151 * errno appropriately and return a nonzero value.2152 */2153static int lock_packed_refs(struct files_ref_store *refs, int flags)2154{2155 static int timeout_configured = 0;2156 static int timeout_value = 1000;2157 struct packed_ref_cache *packed_ref_cache;21582159 files_assert_main_repository(refs, "lock_packed_refs");21602161 if (!timeout_configured) {2162 git_config_get_int("core.packedrefstimeout", &timeout_value);2163 timeout_configured = 1;2164 }21652166 if (hold_lock_file_for_update_timeout(2167 &packlock, files_packed_refs_path(refs),2168 flags, timeout_value) < 0)2169 return -1;2170 /*2171 * Get the current packed-refs while holding the lock. If the2172 * packed-refs file has been modified since we last read it,2173 * this will automatically invalidate the cache and re-read2174 * the packed-refs file.2175 */2176 packed_ref_cache = get_packed_ref_cache(refs);2177 packed_ref_cache->lock = &packlock;2178 /* Increment the reference count to prevent it from being freed: */2179 acquire_packed_ref_cache(packed_ref_cache);2180 return 0;2181}21822183/*2184 * Write the current version of the packed refs cache from memory to2185 * disk. The packed-refs file must already be locked for writing (see2186 * lock_packed_refs()). Return zero on success. On errors, set errno2187 * and return a nonzero value2188 */2189static int commit_packed_refs(struct files_ref_store *refs)2190{2191 struct packed_ref_cache *packed_ref_cache =2192 get_packed_ref_cache(refs);2193 int error = 0;2194 int save_errno = 0;2195 FILE *out;21962197 files_assert_main_repository(refs, "commit_packed_refs");21982199 if (!packed_ref_cache->lock)2200 die("internal error: packed-refs not locked");22012202 out = fdopen_lock_file(packed_ref_cache->lock, "w");2203 if (!out)2204 die_errno("unable to fdopen packed-refs descriptor");22052206 fprintf_or_die(out, "%s", PACKED_REFS_HEADER);2207 do_for_each_entry_in_dir(get_packed_ref_dir(packed_ref_cache),2208 0, write_packed_entry_fn, out);22092210 if (commit_lock_file(packed_ref_cache->lock)) {2211 save_errno = errno;2212 error = -1;2213 }2214 packed_ref_cache->lock = NULL;2215 release_packed_ref_cache(packed_ref_cache);2216 errno = save_errno;2217 return error;2218}22192220/*2221 * Rollback the lockfile for the packed-refs file, and discard the2222 * in-memory packed reference cache. (The packed-refs file will be2223 * read anew if it is needed again after this function is called.)2224 */2225static void rollback_packed_refs(struct files_ref_store *refs)2226{2227 struct packed_ref_cache *packed_ref_cache =2228 get_packed_ref_cache(refs);22292230 files_assert_main_repository(refs, "rollback_packed_refs");22312232 if (!packed_ref_cache->lock)2233 die("internal error: packed-refs not locked");2234 rollback_lock_file(packed_ref_cache->lock);2235 packed_ref_cache->lock = NULL;2236 release_packed_ref_cache(packed_ref_cache);2237 clear_packed_ref_cache(refs);2238}22392240struct ref_to_prune {2241 struct ref_to_prune *next;2242 unsigned char sha1[20];2243 char name[FLEX_ARRAY];2244};22452246struct pack_refs_cb_data {2247 unsigned int flags;2248 struct ref_dir *packed_refs;2249 struct ref_to_prune *ref_to_prune;2250};22512252/*2253 * An each_ref_entry_fn that is run over loose references only. If2254 * the loose reference can be packed, add an entry in the packed ref2255 * cache. If the reference should be pruned, also add it to2256 * ref_to_prune in the pack_refs_cb_data.2257 */2258static int pack_if_possible_fn(struct ref_entry *entry, void *cb_data)2259{2260 struct pack_refs_cb_data *cb = cb_data;2261 enum peel_status peel_status;2262 struct ref_entry *packed_entry;2263 int is_tag_ref = starts_with(entry->name, "refs/tags/");22642265 /* Do not pack per-worktree refs: */2266 if (ref_type(entry->name) != REF_TYPE_NORMAL)2267 return 0;22682269 /* ALWAYS pack tags */2270 if (!(cb->flags & PACK_REFS_ALL) && !is_tag_ref)2271 return 0;22722273 /* Do not pack symbolic or broken refs: */2274 if ((entry->flag & REF_ISSYMREF) || !entry_resolves_to_object(entry))2275 return 0;22762277 /* Add a packed ref cache entry equivalent to the loose entry. */2278 peel_status = peel_entry(entry, 1);2279 if (peel_status != PEEL_PEELED && peel_status != PEEL_NON_TAG)2280 die("internal error peeling reference %s (%s)",2281 entry->name, oid_to_hex(&entry->u.value.oid));2282 packed_entry = find_ref(cb->packed_refs, entry->name);2283 if (packed_entry) {2284 /* Overwrite existing packed entry with info from loose entry */2285 packed_entry->flag = REF_ISPACKED | REF_KNOWS_PEELED;2286 oidcpy(&packed_entry->u.value.oid, &entry->u.value.oid);2287 } else {2288 packed_entry = create_ref_entry(entry->name, entry->u.value.oid.hash,2289 REF_ISPACKED | REF_KNOWS_PEELED, 0);2290 add_ref(cb->packed_refs, packed_entry);2291 }2292 oidcpy(&packed_entry->u.value.peeled, &entry->u.value.peeled);22932294 /* Schedule the loose reference for pruning if requested. */2295 if ((cb->flags & PACK_REFS_PRUNE)) {2296 struct ref_to_prune *n;2297 FLEX_ALLOC_STR(n, name, entry->name);2298 hashcpy(n->sha1, entry->u.value.oid.hash);2299 n->next = cb->ref_to_prune;2300 cb->ref_to_prune = n;2301 }2302 return 0;2303}23042305enum {2306 REMOVE_EMPTY_PARENTS_REF = 0x01,2307 REMOVE_EMPTY_PARENTS_REFLOG = 0x022308};23092310/*2311 * Remove empty parent directories associated with the specified2312 * reference and/or its reflog, but spare [logs/]refs/ and immediate2313 * subdirs. flags is a combination of REMOVE_EMPTY_PARENTS_REF and/or2314 * REMOVE_EMPTY_PARENTS_REFLOG.2315 */2316static void try_remove_empty_parents(const char *refname, unsigned int flags)2317{2318 struct strbuf buf = STRBUF_INIT;2319 struct strbuf sb = STRBUF_INIT;2320 char *p, *q;2321 int i;23222323 strbuf_addstr(&buf, refname);2324 p = buf.buf;2325 for (i = 0; i < 2; i++) { /* refs/{heads,tags,...}/ */2326 while (*p && *p != '/')2327 p++;2328 /* tolerate duplicate slashes; see check_refname_format() */2329 while (*p == '/')2330 p++;2331 }2332 q = buf.buf + buf.len;2333 while (flags & (REMOVE_EMPTY_PARENTS_REF | REMOVE_EMPTY_PARENTS_REFLOG)) {2334 while (q > p && *q != '/')2335 q--;2336 while (q > p && *(q-1) == '/')2337 q--;2338 if (q == p)2339 break;2340 strbuf_setlen(&buf, q - buf.buf);23412342 strbuf_reset(&sb);2343 strbuf_git_path(&sb, "%s", buf.buf);2344 if ((flags & REMOVE_EMPTY_PARENTS_REF) && rmdir(sb.buf))2345 flags &= ~REMOVE_EMPTY_PARENTS_REF;23462347 strbuf_reset(&sb);2348 strbuf_git_path(&sb, "logs/%s", buf.buf);2349 if ((flags & REMOVE_EMPTY_PARENTS_REFLOG) && rmdir(sb.buf))2350 flags &= ~REMOVE_EMPTY_PARENTS_REFLOG;2351 }2352 strbuf_release(&buf);2353 strbuf_release(&sb);2354}23552356/* make sure nobody touched the ref, and unlink */2357static void prune_ref(struct ref_to_prune *r)2358{2359 struct ref_transaction *transaction;2360 struct strbuf err = STRBUF_INIT;23612362 if (check_refname_format(r->name, 0))2363 return;23642365 transaction = ref_transaction_begin(&err);2366 if (!transaction ||2367 ref_transaction_delete(transaction, r->name, r->sha1,2368 REF_ISPRUNING | REF_NODEREF, NULL, &err) ||2369 ref_transaction_commit(transaction, &err)) {2370 ref_transaction_free(transaction);2371 error("%s", err.buf);2372 strbuf_release(&err);2373 return;2374 }2375 ref_transaction_free(transaction);2376 strbuf_release(&err);2377}23782379static void prune_refs(struct ref_to_prune *r)2380{2381 while (r) {2382 prune_ref(r);2383 r = r->next;2384 }2385}23862387static int files_pack_refs(struct ref_store *ref_store, unsigned int flags)2388{2389 struct files_ref_store *refs =2390 files_downcast(ref_store, 0, "pack_refs");2391 struct pack_refs_cb_data cbdata;23922393 memset(&cbdata, 0, sizeof(cbdata));2394 cbdata.flags = flags;23952396 lock_packed_refs(refs, LOCK_DIE_ON_ERROR);2397 cbdata.packed_refs = get_packed_refs(refs);23982399 do_for_each_entry_in_dir(get_loose_refs(refs), 0,2400 pack_if_possible_fn, &cbdata);24012402 if (commit_packed_refs(refs))2403 die_errno("unable to overwrite old ref-pack file");24042405 prune_refs(cbdata.ref_to_prune);2406 return 0;2407}24082409/*2410 * Rewrite the packed-refs file, omitting any refs listed in2411 * 'refnames'. On error, leave packed-refs unchanged, write an error2412 * message to 'err', and return a nonzero value.2413 *2414 * The refs in 'refnames' needn't be sorted. `err` must not be NULL.2415 */2416static int repack_without_refs(struct files_ref_store *refs,2417 struct string_list *refnames, struct strbuf *err)2418{2419 struct ref_dir *packed;2420 struct string_list_item *refname;2421 int ret, needs_repacking = 0, removed = 0;24222423 files_assert_main_repository(refs, "repack_without_refs");2424 assert(err);24252426 /* Look for a packed ref */2427 for_each_string_list_item(refname, refnames) {2428 if (get_packed_ref(refs, refname->string)) {2429 needs_repacking = 1;2430 break;2431 }2432 }24332434 /* Avoid locking if we have nothing to do */2435 if (!needs_repacking)2436 return 0; /* no refname exists in packed refs */24372438 if (lock_packed_refs(refs, 0)) {2439 unable_to_lock_message(files_packed_refs_path(refs), errno, err);2440 return -1;2441 }2442 packed = get_packed_refs(refs);24432444 /* Remove refnames from the cache */2445 for_each_string_list_item(refname, refnames)2446 if (remove_entry(packed, refname->string) != -1)2447 removed = 1;2448 if (!removed) {2449 /*2450 * All packed entries disappeared while we were2451 * acquiring the lock.2452 */2453 rollback_packed_refs(refs);2454 return 0;2455 }24562457 /* Write what remains */2458 ret = commit_packed_refs(refs);2459 if (ret)2460 strbuf_addf(err, "unable to overwrite old ref-pack file: %s",2461 strerror(errno));2462 return ret;2463}24642465static int files_delete_refs(struct ref_store *ref_store,2466 struct string_list *refnames, unsigned int flags)2467{2468 struct files_ref_store *refs =2469 files_downcast(ref_store, 0, "delete_refs");2470 struct strbuf err = STRBUF_INIT;2471 int i, result = 0;24722473 if (!refnames->nr)2474 return 0;24752476 result = repack_without_refs(refs, refnames, &err);2477 if (result) {2478 /*2479 * If we failed to rewrite the packed-refs file, then2480 * it is unsafe to try to remove loose refs, because2481 * doing so might expose an obsolete packed value for2482 * a reference that might even point at an object that2483 * has been garbage collected.2484 */2485 if (refnames->nr == 1)2486 error(_("could not delete reference %s: %s"),2487 refnames->items[0].string, err.buf);2488 else2489 error(_("could not delete references: %s"), err.buf);24902491 goto out;2492 }24932494 for (i = 0; i < refnames->nr; i++) {2495 const char *refname = refnames->items[i].string;24962497 if (delete_ref(NULL, refname, NULL, flags))2498 result |= error(_("could not remove reference %s"), refname);2499 }25002501out:2502 strbuf_release(&err);2503 return result;2504}25052506/*2507 * People using contrib's git-new-workdir have .git/logs/refs ->2508 * /some/other/path/.git/logs/refs, and that may live on another device.2509 *2510 * IOW, to avoid cross device rename errors, the temporary renamed log must2511 * live into logs/refs.2512 */2513#define TMP_RENAMED_LOG "refs/.tmp-renamed-log"25142515struct rename_cb {2516 const char *tmp_renamed_log;2517 int true_errno;2518};25192520static int rename_tmp_log_callback(const char *path, void *cb_data)2521{2522 struct rename_cb *cb = cb_data;25232524 if (rename(cb->tmp_renamed_log, path)) {2525 /*2526 * rename(a, b) when b is an existing directory ought2527 * to result in ISDIR, but Solaris 5.8 gives ENOTDIR.2528 * Sheesh. Record the true errno for error reporting,2529 * but report EISDIR to raceproof_create_file() so2530 * that it knows to retry.2531 */2532 cb->true_errno = errno;2533 if (errno == ENOTDIR)2534 errno = EISDIR;2535 return -1;2536 } else {2537 return 0;2538 }2539}25402541static int rename_tmp_log(const char *newrefname)2542{2543 struct strbuf path = STRBUF_INIT;2544 struct strbuf tmp = STRBUF_INIT;2545 struct rename_cb cb;2546 int ret;25472548 strbuf_git_path(&path, "logs/%s", newrefname);2549 strbuf_git_path(&tmp, "logs/%s", TMP_RENAMED_LOG);2550 cb.tmp_renamed_log = tmp.buf;2551 ret = raceproof_create_file(path.buf, rename_tmp_log_callback, &cb);2552 if (ret) {2553 if (errno == EISDIR)2554 error("directory not empty: %s", path.buf);2555 else2556 error("unable to move logfile %s to %s: %s",2557 tmp.buf, path.buf,2558 strerror(cb.true_errno));2559 }25602561 strbuf_release(&path);2562 strbuf_release(&tmp);2563 return ret;2564}25652566static int files_verify_refname_available(struct ref_store *ref_store,2567 const char *newname,2568 const struct string_list *extras,2569 const struct string_list *skip,2570 struct strbuf *err)2571{2572 struct files_ref_store *refs =2573 files_downcast(ref_store, 1, "verify_refname_available");2574 struct ref_dir *packed_refs = get_packed_refs(refs);2575 struct ref_dir *loose_refs = get_loose_refs(refs);25762577 if (verify_refname_available_dir(newname, extras, skip,2578 packed_refs, err) ||2579 verify_refname_available_dir(newname, extras, skip,2580 loose_refs, err))2581 return -1;25822583 return 0;2584}25852586static int write_ref_to_lockfile(struct ref_lock *lock,2587 const unsigned char *sha1, struct strbuf *err);2588static int commit_ref_update(struct files_ref_store *refs,2589 struct ref_lock *lock,2590 const unsigned char *sha1, const char *logmsg,2591 struct strbuf *err);25922593static int files_rename_ref(struct ref_store *ref_store,2594 const char *oldrefname, const char *newrefname,2595 const char *logmsg)2596{2597 struct files_ref_store *refs =2598 files_downcast(ref_store, 0, "rename_ref");2599 unsigned char sha1[20], orig_sha1[20];2600 int flag = 0, logmoved = 0;2601 struct ref_lock *lock;2602 struct stat loginfo;2603 struct strbuf sb_oldref = STRBUF_INIT;2604 struct strbuf sb_newref = STRBUF_INIT;2605 struct strbuf tmp_renamed_log = STRBUF_INIT;2606 int log, ret;2607 struct strbuf err = STRBUF_INIT;26082609 strbuf_git_path(&sb_oldref, "logs/%s", oldrefname);2610 strbuf_git_path(&sb_newref, "logs/%s", newrefname);2611 strbuf_git_path(&tmp_renamed_log, "logs/%s", TMP_RENAMED_LOG);26122613 log = !lstat(sb_oldref.buf, &loginfo);2614 if (log && S_ISLNK(loginfo.st_mode)) {2615 ret = error("reflog for %s is a symlink", oldrefname);2616 goto out;2617 }26182619 if (!resolve_ref_unsafe(oldrefname, RESOLVE_REF_READING | RESOLVE_REF_NO_RECURSE,2620 orig_sha1, &flag)) {2621 ret = error("refname %s not found", oldrefname);2622 goto out;2623 }26242625 if (flag & REF_ISSYMREF) {2626 ret = error("refname %s is a symbolic ref, renaming it is not supported",2627 oldrefname);2628 goto out;2629 }2630 if (!rename_ref_available(oldrefname, newrefname)) {2631 ret = 1;2632 goto out;2633 }26342635 if (log && rename(sb_oldref.buf, tmp_renamed_log.buf)) {2636 ret = error("unable to move logfile logs/%s to logs/"TMP_RENAMED_LOG": %s",2637 oldrefname, strerror(errno));2638 goto out;2639 }26402641 if (delete_ref(logmsg, oldrefname, orig_sha1, REF_NODEREF)) {2642 error("unable to delete old %s", oldrefname);2643 goto rollback;2644 }26452646 /*2647 * Since we are doing a shallow lookup, sha1 is not the2648 * correct value to pass to delete_ref as old_sha1. But that2649 * doesn't matter, because an old_sha1 check wouldn't add to2650 * the safety anyway; we want to delete the reference whatever2651 * its current value.2652 */2653 if (!read_ref_full(newrefname, RESOLVE_REF_READING | RESOLVE_REF_NO_RECURSE,2654 sha1, NULL) &&2655 delete_ref(NULL, newrefname, NULL, REF_NODEREF)) {2656 if (errno == EISDIR) {2657 struct strbuf path = STRBUF_INIT;2658 int result;26592660 strbuf_git_path(&path, "%s", newrefname);2661 result = remove_empty_directories(&path);2662 strbuf_release(&path);26632664 if (result) {2665 error("Directory not empty: %s", newrefname);2666 goto rollback;2667 }2668 } else {2669 error("unable to delete existing %s", newrefname);2670 goto rollback;2671 }2672 }26732674 if (log && rename_tmp_log(newrefname))2675 goto rollback;26762677 logmoved = log;26782679 lock = lock_ref_sha1_basic(refs, newrefname, NULL, NULL, NULL,2680 REF_NODEREF, NULL, &err);2681 if (!lock) {2682 error("unable to rename '%s' to '%s': %s", oldrefname, newrefname, err.buf);2683 strbuf_release(&err);2684 goto rollback;2685 }2686 hashcpy(lock->old_oid.hash, orig_sha1);26872688 if (write_ref_to_lockfile(lock, orig_sha1, &err) ||2689 commit_ref_update(refs, lock, orig_sha1, logmsg, &err)) {2690 error("unable to write current sha1 into %s: %s", newrefname, err.buf);2691 strbuf_release(&err);2692 goto rollback;2693 }26942695 ret = 0;2696 goto out;26972698 rollback:2699 lock = lock_ref_sha1_basic(refs, oldrefname, NULL, NULL, NULL,2700 REF_NODEREF, NULL, &err);2701 if (!lock) {2702 error("unable to lock %s for rollback: %s", oldrefname, err.buf);2703 strbuf_release(&err);2704 goto rollbacklog;2705 }27062707 flag = log_all_ref_updates;2708 log_all_ref_updates = LOG_REFS_NONE;2709 if (write_ref_to_lockfile(lock, orig_sha1, &err) ||2710 commit_ref_update(refs, lock, orig_sha1, NULL, &err)) {2711 error("unable to write current sha1 into %s: %s", oldrefname, err.buf);2712 strbuf_release(&err);2713 }2714 log_all_ref_updates = flag;27152716 rollbacklog:2717 if (logmoved && rename(sb_newref.buf, sb_oldref.buf))2718 error("unable to restore logfile %s from %s: %s",2719 oldrefname, newrefname, strerror(errno));2720 if (!logmoved && log &&2721 rename(tmp_renamed_log.buf, sb_oldref.buf))2722 error("unable to restore logfile %s from logs/"TMP_RENAMED_LOG": %s",2723 oldrefname, strerror(errno));2724 ret = 1;2725 out:2726 strbuf_release(&sb_newref);2727 strbuf_release(&sb_oldref);2728 strbuf_release(&tmp_renamed_log);27292730 return ret;2731}27322733static int close_ref(struct ref_lock *lock)2734{2735 if (close_lock_file(lock->lk))2736 return -1;2737 return 0;2738}27392740static int commit_ref(struct ref_lock *lock)2741{2742 char *path = get_locked_file_path(lock->lk);2743 struct stat st;27442745 if (!lstat(path, &st) && S_ISDIR(st.st_mode)) {2746 /*2747 * There is a directory at the path we want to rename2748 * the lockfile to. Hopefully it is empty; try to2749 * delete it.2750 */2751 size_t len = strlen(path);2752 struct strbuf sb_path = STRBUF_INIT;27532754 strbuf_attach(&sb_path, path, len, len);27552756 /*2757 * If this fails, commit_lock_file() will also fail2758 * and will report the problem.2759 */2760 remove_empty_directories(&sb_path);2761 strbuf_release(&sb_path);2762 } else {2763 free(path);2764 }27652766 if (commit_lock_file(lock->lk))2767 return -1;2768 return 0;2769}27702771static int open_or_create_logfile(const char *path, void *cb)2772{2773 int *fd = cb;27742775 *fd = open(path, O_APPEND | O_WRONLY | O_CREAT, 0666);2776 return (*fd < 0) ? -1 : 0;2777}27782779/*2780 * Create a reflog for a ref. If force_create = 0, only create the2781 * reflog for certain refs (those for which should_autocreate_reflog2782 * returns non-zero). Otherwise, create it regardless of the reference2783 * name. If the logfile already existed or was created, return 0 and2784 * set *logfd to the file descriptor opened for appending to the file.2785 * If no logfile exists and we decided not to create one, return 0 and2786 * set *logfd to -1. On failure, fill in *err, set *logfd to -1, and2787 * return -1.2788 */2789static int log_ref_setup(const char *refname, int force_create,2790 int *logfd, struct strbuf *err)2791{2792 char *logfile = git_pathdup("logs/%s", refname);27932794 if (force_create || should_autocreate_reflog(refname)) {2795 if (raceproof_create_file(logfile, open_or_create_logfile, logfd)) {2796 if (errno == ENOENT)2797 strbuf_addf(err, "unable to create directory for '%s': "2798 "%s", logfile, strerror(errno));2799 else if (errno == EISDIR)2800 strbuf_addf(err, "there are still logs under '%s'",2801 logfile);2802 else2803 strbuf_addf(err, "unable to append to '%s': %s",2804 logfile, strerror(errno));28052806 goto error;2807 }2808 } else {2809 *logfd = open(logfile, O_APPEND | O_WRONLY, 0666);2810 if (*logfd < 0) {2811 if (errno == ENOENT || errno == EISDIR) {2812 /*2813 * The logfile doesn't already exist,2814 * but that is not an error; it only2815 * means that we won't write log2816 * entries to it.2817 */2818 ;2819 } else {2820 strbuf_addf(err, "unable to append to '%s': %s",2821 logfile, strerror(errno));2822 goto error;2823 }2824 }2825 }28262827 if (*logfd >= 0)2828 adjust_shared_perm(logfile);28292830 free(logfile);2831 return 0;28322833error:2834 free(logfile);2835 return -1;2836}28372838static int files_create_reflog(struct ref_store *ref_store,2839 const char *refname, int force_create,2840 struct strbuf *err)2841{2842 int fd;28432844 /* Check validity (but we don't need the result): */2845 files_downcast(ref_store, 0, "create_reflog");28462847 if (log_ref_setup(refname, force_create, &fd, err))2848 return -1;28492850 if (fd >= 0)2851 close(fd);28522853 return 0;2854}28552856static int log_ref_write_fd(int fd, const unsigned char *old_sha1,2857 const unsigned char *new_sha1,2858 const char *committer, const char *msg)2859{2860 int msglen, written;2861 unsigned maxlen, len;2862 char *logrec;28632864 msglen = msg ? strlen(msg) : 0;2865 maxlen = strlen(committer) + msglen + 100;2866 logrec = xmalloc(maxlen);2867 len = xsnprintf(logrec, maxlen, "%s %s %s\n",2868 sha1_to_hex(old_sha1),2869 sha1_to_hex(new_sha1),2870 committer);2871 if (msglen)2872 len += copy_reflog_msg(logrec + len - 1, msg) - 1;28732874 written = len <= maxlen ? write_in_full(fd, logrec, len) : -1;2875 free(logrec);2876 if (written != len)2877 return -1;28782879 return 0;2880}28812882static int files_log_ref_write(const char *refname, const unsigned char *old_sha1,2883 const unsigned char *new_sha1, const char *msg,2884 int flags, struct strbuf *err)2885{2886 int logfd, result;28872888 if (log_all_ref_updates == LOG_REFS_UNSET)2889 log_all_ref_updates = is_bare_repository() ? LOG_REFS_NONE : LOG_REFS_NORMAL;28902891 result = log_ref_setup(refname, flags & REF_FORCE_CREATE_REFLOG,2892 &logfd, err);28932894 if (result)2895 return result;28962897 if (logfd < 0)2898 return 0;2899 result = log_ref_write_fd(logfd, old_sha1, new_sha1,2900 git_committer_info(0), msg);2901 if (result) {2902 struct strbuf sb = STRBUF_INIT;2903 int save_errno = errno;29042905 strbuf_git_path(&sb, "logs/%s", refname);2906 strbuf_addf(err, "unable to append to '%s': %s",2907 sb.buf, strerror(save_errno));2908 strbuf_release(&sb);2909 close(logfd);2910 return -1;2911 }2912 if (close(logfd)) {2913 struct strbuf sb = STRBUF_INIT;2914 int save_errno = errno;29152916 strbuf_git_path(&sb, "logs/%s", refname);2917 strbuf_addf(err, "unable to append to '%s': %s",2918 sb.buf, strerror(save_errno));2919 strbuf_release(&sb);2920 return -1;2921 }2922 return 0;2923}29242925/*2926 * Write sha1 into the open lockfile, then close the lockfile. On2927 * errors, rollback the lockfile, fill in *err and2928 * return -1.2929 */2930static int write_ref_to_lockfile(struct ref_lock *lock,2931 const unsigned char *sha1, struct strbuf *err)2932{2933 static char term = '\n';2934 struct object *o;2935 int fd;29362937 o = parse_object(sha1);2938 if (!o) {2939 strbuf_addf(err,2940 "trying to write ref '%s' with nonexistent object %s",2941 lock->ref_name, sha1_to_hex(sha1));2942 unlock_ref(lock);2943 return -1;2944 }2945 if (o->type != OBJ_COMMIT && is_branch(lock->ref_name)) {2946 strbuf_addf(err,2947 "trying to write non-commit object %s to branch '%s'",2948 sha1_to_hex(sha1), lock->ref_name);2949 unlock_ref(lock);2950 return -1;2951 }2952 fd = get_lock_file_fd(lock->lk);2953 if (write_in_full(fd, sha1_to_hex(sha1), 40) != 40 ||2954 write_in_full(fd, &term, 1) != 1 ||2955 close_ref(lock) < 0) {2956 strbuf_addf(err,2957 "couldn't write '%s'", get_lock_file_path(lock->lk));2958 unlock_ref(lock);2959 return -1;2960 }2961 return 0;2962}29632964/*2965 * Commit a change to a loose reference that has already been written2966 * to the loose reference lockfile. Also update the reflogs if2967 * necessary, using the specified lockmsg (which can be NULL).2968 */2969static int commit_ref_update(struct files_ref_store *refs,2970 struct ref_lock *lock,2971 const unsigned char *sha1, const char *logmsg,2972 struct strbuf *err)2973{2974 files_assert_main_repository(refs, "commit_ref_update");29752976 clear_loose_ref_cache(refs);2977 if (files_log_ref_write(lock->ref_name, lock->old_oid.hash, sha1,2978 logmsg, 0, err)) {2979 char *old_msg = strbuf_detach(err, NULL);2980 strbuf_addf(err, "cannot update the ref '%s': %s",2981 lock->ref_name, old_msg);2982 free(old_msg);2983 unlock_ref(lock);2984 return -1;2985 }29862987 if (strcmp(lock->ref_name, "HEAD") != 0) {2988 /*2989 * Special hack: If a branch is updated directly and HEAD2990 * points to it (may happen on the remote side of a push2991 * for example) then logically the HEAD reflog should be2992 * updated too.2993 * A generic solution implies reverse symref information,2994 * but finding all symrefs pointing to the given branch2995 * would be rather costly for this rare event (the direct2996 * update of a branch) to be worth it. So let's cheat and2997 * check with HEAD only which should cover 99% of all usage2998 * scenarios (even 100% of the default ones).2999 */3000 unsigned char head_sha1[20];3001 int head_flag;3002 const char *head_ref;30033004 head_ref = resolve_ref_unsafe("HEAD", RESOLVE_REF_READING,3005 head_sha1, &head_flag);3006 if (head_ref && (head_flag & REF_ISSYMREF) &&3007 !strcmp(head_ref, lock->ref_name)) {3008 struct strbuf log_err = STRBUF_INIT;3009 if (files_log_ref_write("HEAD", lock->old_oid.hash, sha1,3010 logmsg, 0, &log_err)) {3011 error("%s", log_err.buf);3012 strbuf_release(&log_err);3013 }3014 }3015 }30163017 if (commit_ref(lock)) {3018 strbuf_addf(err, "couldn't set '%s'", lock->ref_name);3019 unlock_ref(lock);3020 return -1;3021 }30223023 unlock_ref(lock);3024 return 0;3025}30263027static int create_ref_symlink(struct ref_lock *lock, const char *target)3028{3029 int ret = -1;3030#ifndef NO_SYMLINK_HEAD3031 char *ref_path = get_locked_file_path(lock->lk);3032 unlink(ref_path);3033 ret = symlink(target, ref_path);3034 free(ref_path);30353036 if (ret)3037 fprintf(stderr, "no symlink - falling back to symbolic ref\n");3038#endif3039 return ret;3040}30413042static void update_symref_reflog(struct ref_lock *lock, const char *refname,3043 const char *target, const char *logmsg)3044{3045 struct strbuf err = STRBUF_INIT;3046 unsigned char new_sha1[20];3047 if (logmsg && !read_ref(target, new_sha1) &&3048 files_log_ref_write(refname, lock->old_oid.hash, new_sha1,3049 logmsg, 0, &err)) {3050 error("%s", err.buf);3051 strbuf_release(&err);3052 }3053}30543055static int create_symref_locked(struct ref_lock *lock, const char *refname,3056 const char *target, const char *logmsg)3057{3058 if (prefer_symlink_refs && !create_ref_symlink(lock, target)) {3059 update_symref_reflog(lock, refname, target, logmsg);3060 return 0;3061 }30623063 if (!fdopen_lock_file(lock->lk, "w"))3064 return error("unable to fdopen %s: %s",3065 lock->lk->tempfile.filename.buf, strerror(errno));30663067 update_symref_reflog(lock, refname, target, logmsg);30683069 /* no error check; commit_ref will check ferror */3070 fprintf(lock->lk->tempfile.fp, "ref: %s\n", target);3071 if (commit_ref(lock) < 0)3072 return error("unable to write symref for %s: %s", refname,3073 strerror(errno));3074 return 0;3075}30763077static int files_create_symref(struct ref_store *ref_store,3078 const char *refname, const char *target,3079 const char *logmsg)3080{3081 struct files_ref_store *refs =3082 files_downcast(ref_store, 0, "create_symref");3083 struct strbuf err = STRBUF_INIT;3084 struct ref_lock *lock;3085 int ret;30863087 lock = lock_ref_sha1_basic(refs, refname, NULL,3088 NULL, NULL, REF_NODEREF, NULL,3089 &err);3090 if (!lock) {3091 error("%s", err.buf);3092 strbuf_release(&err);3093 return -1;3094 }30953096 ret = create_symref_locked(lock, refname, target, logmsg);3097 unlock_ref(lock);3098 return ret;3099}31003101int set_worktree_head_symref(const char *gitdir, const char *target, const char *logmsg)3102{3103 static struct lock_file head_lock;3104 struct ref_lock *lock;3105 struct strbuf head_path = STRBUF_INIT;3106 const char *head_rel;3107 int ret;31083109 strbuf_addf(&head_path, "%s/HEAD", absolute_path(gitdir));3110 if (hold_lock_file_for_update(&head_lock, head_path.buf,3111 LOCK_NO_DEREF) < 0) {3112 struct strbuf err = STRBUF_INIT;3113 unable_to_lock_message(head_path.buf, errno, &err);3114 error("%s", err.buf);3115 strbuf_release(&err);3116 strbuf_release(&head_path);3117 return -1;3118 }31193120 /* head_rel will be "HEAD" for the main tree, "worktrees/wt/HEAD" for3121 linked trees */3122 head_rel = remove_leading_path(head_path.buf,3123 absolute_path(get_git_common_dir()));3124 /* to make use of create_symref_locked(), initialize ref_lock */3125 lock = xcalloc(1, sizeof(struct ref_lock));3126 lock->lk = &head_lock;3127 lock->ref_name = xstrdup(head_rel);31283129 ret = create_symref_locked(lock, head_rel, target, logmsg);31303131 unlock_ref(lock); /* will free lock */3132 strbuf_release(&head_path);3133 return ret;3134}31353136static int files_reflog_exists(struct ref_store *ref_store,3137 const char *refname)3138{3139 struct strbuf sb = STRBUF_INIT;3140 struct stat st;3141 int ret;31423143 /* Check validity (but we don't need the result): */3144 files_downcast(ref_store, 0, "reflog_exists");31453146 strbuf_git_path(&sb, "logs/%s", refname);3147 ret = !lstat(sb.buf, &st) && S_ISREG(st.st_mode);3148 strbuf_release(&sb);3149 return ret;3150}31513152static int files_delete_reflog(struct ref_store *ref_store,3153 const char *refname)3154{3155 struct strbuf sb = STRBUF_INIT;3156 int ret;31573158 /* Check validity (but we don't need the result): */3159 files_downcast(ref_store, 0, "delete_reflog");31603161 strbuf_git_path(&sb, "logs/%s", refname);3162 ret = remove_path(sb.buf);3163 strbuf_release(&sb);3164 return ret;3165}31663167static int show_one_reflog_ent(struct strbuf *sb, each_reflog_ent_fn fn, void *cb_data)3168{3169 struct object_id ooid, noid;3170 char *email_end, *message;3171 unsigned long timestamp;3172 int tz;3173 const char *p = sb->buf;31743175 /* old SP new SP name <email> SP time TAB msg LF */3176 if (!sb->len || sb->buf[sb->len - 1] != '\n' ||3177 parse_oid_hex(p, &ooid, &p) || *p++ != ' ' ||3178 parse_oid_hex(p, &noid, &p) || *p++ != ' ' ||3179 !(email_end = strchr(p, '>')) ||3180 email_end[1] != ' ' ||3181 !(timestamp = strtoul(email_end + 2, &message, 10)) ||3182 !message || message[0] != ' ' ||3183 (message[1] != '+' && message[1] != '-') ||3184 !isdigit(message[2]) || !isdigit(message[3]) ||3185 !isdigit(message[4]) || !isdigit(message[5]))3186 return 0; /* corrupt? */3187 email_end[1] = '\0';3188 tz = strtol(message + 1, NULL, 10);3189 if (message[6] != '\t')3190 message += 6;3191 else3192 message += 7;3193 return fn(&ooid, &noid, p, timestamp, tz, message, cb_data);3194}31953196static char *find_beginning_of_line(char *bob, char *scan)3197{3198 while (bob < scan && *(--scan) != '\n')3199 ; /* keep scanning backwards */3200 /*3201 * Return either beginning of the buffer, or LF at the end of3202 * the previous line.3203 */3204 return scan;3205}32063207static int files_for_each_reflog_ent_reverse(struct ref_store *ref_store,3208 const char *refname,3209 each_reflog_ent_fn fn,3210 void *cb_data)3211{3212 struct strbuf sb = STRBUF_INIT;3213 FILE *logfp;3214 long pos;3215 int ret = 0, at_tail = 1;32163217 /* Check validity (but we don't need the result): */3218 files_downcast(ref_store, 0, "for_each_reflog_ent_reverse");32193220 strbuf_git_path(&sb, "logs/%s", refname);3221 logfp = fopen(sb.buf, "r");3222 strbuf_release(&sb);3223 if (!logfp)3224 return -1;32253226 /* Jump to the end */3227 if (fseek(logfp, 0, SEEK_END) < 0)3228 return error("cannot seek back reflog for %s: %s",3229 refname, strerror(errno));3230 pos = ftell(logfp);3231 while (!ret && 0 < pos) {3232 int cnt;3233 size_t nread;3234 char buf[BUFSIZ];3235 char *endp, *scanp;32363237 /* Fill next block from the end */3238 cnt = (sizeof(buf) < pos) ? sizeof(buf) : pos;3239 if (fseek(logfp, pos - cnt, SEEK_SET))3240 return error("cannot seek back reflog for %s: %s",3241 refname, strerror(errno));3242 nread = fread(buf, cnt, 1, logfp);3243 if (nread != 1)3244 return error("cannot read %d bytes from reflog for %s: %s",3245 cnt, refname, strerror(errno));3246 pos -= cnt;32473248 scanp = endp = buf + cnt;3249 if (at_tail && scanp[-1] == '\n')3250 /* Looking at the final LF at the end of the file */3251 scanp--;3252 at_tail = 0;32533254 while (buf < scanp) {3255 /*3256 * terminating LF of the previous line, or the beginning3257 * of the buffer.3258 */3259 char *bp;32603261 bp = find_beginning_of_line(buf, scanp);32623263 if (*bp == '\n') {3264 /*3265 * The newline is the end of the previous line,3266 * so we know we have complete line starting3267 * at (bp + 1). Prefix it onto any prior data3268 * we collected for the line and process it.3269 */3270 strbuf_splice(&sb, 0, 0, bp + 1, endp - (bp + 1));3271 scanp = bp;3272 endp = bp + 1;3273 ret = show_one_reflog_ent(&sb, fn, cb_data);3274 strbuf_reset(&sb);3275 if (ret)3276 break;3277 } else if (!pos) {3278 /*3279 * We are at the start of the buffer, and the3280 * start of the file; there is no previous3281 * line, and we have everything for this one.3282 * Process it, and we can end the loop.3283 */3284 strbuf_splice(&sb, 0, 0, buf, endp - buf);3285 ret = show_one_reflog_ent(&sb, fn, cb_data);3286 strbuf_reset(&sb);3287 break;3288 }32893290 if (bp == buf) {3291 /*3292 * We are at the start of the buffer, and there3293 * is more file to read backwards. Which means3294 * we are in the middle of a line. Note that we3295 * may get here even if *bp was a newline; that3296 * just means we are at the exact end of the3297 * previous line, rather than some spot in the3298 * middle.3299 *3300 * Save away what we have to be combined with3301 * the data from the next read.3302 */3303 strbuf_splice(&sb, 0, 0, buf, endp - buf);3304 break;3305 }3306 }33073308 }3309 if (!ret && sb.len)3310 die("BUG: reverse reflog parser had leftover data");33113312 fclose(logfp);3313 strbuf_release(&sb);3314 return ret;3315}33163317static int files_for_each_reflog_ent(struct ref_store *ref_store,3318 const char *refname,3319 each_reflog_ent_fn fn, void *cb_data)3320{3321 FILE *logfp;3322 struct strbuf sb = STRBUF_INIT;3323 int ret = 0;33243325 /* Check validity (but we don't need the result): */3326 files_downcast(ref_store, 0, "for_each_reflog_ent");33273328 strbuf_git_path(&sb, "logs/%s", refname);3329 logfp = fopen(sb.buf, "r");3330 strbuf_release(&sb);3331 if (!logfp)3332 return -1;33333334 while (!ret && !strbuf_getwholeline(&sb, logfp, '\n'))3335 ret = show_one_reflog_ent(&sb, fn, cb_data);3336 fclose(logfp);3337 strbuf_release(&sb);3338 return ret;3339}33403341struct files_reflog_iterator {3342 struct ref_iterator base;33433344 struct dir_iterator *dir_iterator;3345 struct object_id oid;3346};33473348static int files_reflog_iterator_advance(struct ref_iterator *ref_iterator)3349{3350 struct files_reflog_iterator *iter =3351 (struct files_reflog_iterator *)ref_iterator;3352 struct dir_iterator *diter = iter->dir_iterator;3353 int ok;33543355 while ((ok = dir_iterator_advance(diter)) == ITER_OK) {3356 int flags;33573358 if (!S_ISREG(diter->st.st_mode))3359 continue;3360 if (diter->basename[0] == '.')3361 continue;3362 if (ends_with(diter->basename, ".lock"))3363 continue;33643365 if (read_ref_full(diter->relative_path, 0,3366 iter->oid.hash, &flags)) {3367 error("bad ref for %s", diter->path.buf);3368 continue;3369 }33703371 iter->base.refname = diter->relative_path;3372 iter->base.oid = &iter->oid;3373 iter->base.flags = flags;3374 return ITER_OK;3375 }33763377 iter->dir_iterator = NULL;3378 if (ref_iterator_abort(ref_iterator) == ITER_ERROR)3379 ok = ITER_ERROR;3380 return ok;3381}33823383static int files_reflog_iterator_peel(struct ref_iterator *ref_iterator,3384 struct object_id *peeled)3385{3386 die("BUG: ref_iterator_peel() called for reflog_iterator");3387}33883389static int files_reflog_iterator_abort(struct ref_iterator *ref_iterator)3390{3391 struct files_reflog_iterator *iter =3392 (struct files_reflog_iterator *)ref_iterator;3393 int ok = ITER_DONE;33943395 if (iter->dir_iterator)3396 ok = dir_iterator_abort(iter->dir_iterator);33973398 base_ref_iterator_free(ref_iterator);3399 return ok;3400}34013402static struct ref_iterator_vtable files_reflog_iterator_vtable = {3403 files_reflog_iterator_advance,3404 files_reflog_iterator_peel,3405 files_reflog_iterator_abort3406};34073408static struct ref_iterator *files_reflog_iterator_begin(struct ref_store *ref_store)3409{3410 struct files_reflog_iterator *iter = xcalloc(1, sizeof(*iter));3411 struct ref_iterator *ref_iterator = &iter->base;3412 struct strbuf sb = STRBUF_INIT;34133414 /* Check validity (but we don't need the result): */3415 files_downcast(ref_store, 0, "reflog_iterator_begin");34163417 base_ref_iterator_init(ref_iterator, &files_reflog_iterator_vtable);3418 strbuf_git_path(&sb, "logs");3419 iter->dir_iterator = dir_iterator_begin(sb.buf);3420 strbuf_release(&sb);3421 return ref_iterator;3422}34233424static int ref_update_reject_duplicates(struct string_list *refnames,3425 struct strbuf *err)3426{3427 int i, n = refnames->nr;34283429 assert(err);34303431 for (i = 1; i < n; i++)3432 if (!strcmp(refnames->items[i - 1].string, refnames->items[i].string)) {3433 strbuf_addf(err,3434 "multiple updates for ref '%s' not allowed.",3435 refnames->items[i].string);3436 return 1;3437 }3438 return 0;3439}34403441/*3442 * If update is a direct update of head_ref (the reference pointed to3443 * by HEAD), then add an extra REF_LOG_ONLY update for HEAD.3444 */3445static int split_head_update(struct ref_update *update,3446 struct ref_transaction *transaction,3447 const char *head_ref,3448 struct string_list *affected_refnames,3449 struct strbuf *err)3450{3451 struct string_list_item *item;3452 struct ref_update *new_update;34533454 if ((update->flags & REF_LOG_ONLY) ||3455 (update->flags & REF_ISPRUNING) ||3456 (update->flags & REF_UPDATE_VIA_HEAD))3457 return 0;34583459 if (strcmp(update->refname, head_ref))3460 return 0;34613462 /*3463 * First make sure that HEAD is not already in the3464 * transaction. This insertion is O(N) in the transaction3465 * size, but it happens at most once per transaction.3466 */3467 item = string_list_insert(affected_refnames, "HEAD");3468 if (item->util) {3469 /* An entry already existed */3470 strbuf_addf(err,3471 "multiple updates for 'HEAD' (including one "3472 "via its referent '%s') are not allowed",3473 update->refname);3474 return TRANSACTION_NAME_CONFLICT;3475 }34763477 new_update = ref_transaction_add_update(3478 transaction, "HEAD",3479 update->flags | REF_LOG_ONLY | REF_NODEREF,3480 update->new_sha1, update->old_sha1,3481 update->msg);34823483 item->util = new_update;34843485 return 0;3486}34873488/*3489 * update is for a symref that points at referent and doesn't have3490 * REF_NODEREF set. Split it into two updates:3491 * - The original update, but with REF_LOG_ONLY and REF_NODEREF set3492 * - A new, separate update for the referent reference3493 * Note that the new update will itself be subject to splitting when3494 * the iteration gets to it.3495 */3496static int split_symref_update(struct files_ref_store *refs,3497 struct ref_update *update,3498 const char *referent,3499 struct ref_transaction *transaction,3500 struct string_list *affected_refnames,3501 struct strbuf *err)3502{3503 struct string_list_item *item;3504 struct ref_update *new_update;3505 unsigned int new_flags;35063507 /*3508 * First make sure that referent is not already in the3509 * transaction. This insertion is O(N) in the transaction3510 * size, but it happens at most once per symref in a3511 * transaction.3512 */3513 item = string_list_insert(affected_refnames, referent);3514 if (item->util) {3515 /* An entry already existed */3516 strbuf_addf(err,3517 "multiple updates for '%s' (including one "3518 "via symref '%s') are not allowed",3519 referent, update->refname);3520 return TRANSACTION_NAME_CONFLICT;3521 }35223523 new_flags = update->flags;3524 if (!strcmp(update->refname, "HEAD")) {3525 /*3526 * Record that the new update came via HEAD, so that3527 * when we process it, split_head_update() doesn't try3528 * to add another reflog update for HEAD. Note that3529 * this bit will be propagated if the new_update3530 * itself needs to be split.3531 */3532 new_flags |= REF_UPDATE_VIA_HEAD;3533 }35343535 new_update = ref_transaction_add_update(3536 transaction, referent, new_flags,3537 update->new_sha1, update->old_sha1,3538 update->msg);35393540 new_update->parent_update = update;35413542 /*3543 * Change the symbolic ref update to log only. Also, it3544 * doesn't need to check its old SHA-1 value, as that will be3545 * done when new_update is processed.3546 */3547 update->flags |= REF_LOG_ONLY | REF_NODEREF;3548 update->flags &= ~REF_HAVE_OLD;35493550 item->util = new_update;35513552 return 0;3553}35543555/*3556 * Return the refname under which update was originally requested.3557 */3558static const char *original_update_refname(struct ref_update *update)3559{3560 while (update->parent_update)3561 update = update->parent_update;35623563 return update->refname;3564}35653566/*3567 * Check whether the REF_HAVE_OLD and old_oid values stored in update3568 * are consistent with oid, which is the reference's current value. If3569 * everything is OK, return 0; otherwise, write an error message to3570 * err and return -1.3571 */3572static int check_old_oid(struct ref_update *update, struct object_id *oid,3573 struct strbuf *err)3574{3575 if (!(update->flags & REF_HAVE_OLD) ||3576 !hashcmp(oid->hash, update->old_sha1))3577 return 0;35783579 if (is_null_sha1(update->old_sha1))3580 strbuf_addf(err, "cannot lock ref '%s': "3581 "reference already exists",3582 original_update_refname(update));3583 else if (is_null_oid(oid))3584 strbuf_addf(err, "cannot lock ref '%s': "3585 "reference is missing but expected %s",3586 original_update_refname(update),3587 sha1_to_hex(update->old_sha1));3588 else3589 strbuf_addf(err, "cannot lock ref '%s': "3590 "is at %s but expected %s",3591 original_update_refname(update),3592 oid_to_hex(oid),3593 sha1_to_hex(update->old_sha1));35943595 return -1;3596}35973598/*3599 * Prepare for carrying out update:3600 * - Lock the reference referred to by update.3601 * - Read the reference under lock.3602 * - Check that its old SHA-1 value (if specified) is correct, and in3603 * any case record it in update->lock->old_oid for later use when3604 * writing the reflog.3605 * - If it is a symref update without REF_NODEREF, split it up into a3606 * REF_LOG_ONLY update of the symref and add a separate update for3607 * the referent to transaction.3608 * - If it is an update of head_ref, add a corresponding REF_LOG_ONLY3609 * update of HEAD.3610 */3611static int lock_ref_for_update(struct files_ref_store *refs,3612 struct ref_update *update,3613 struct ref_transaction *transaction,3614 const char *head_ref,3615 struct string_list *affected_refnames,3616 struct strbuf *err)3617{3618 struct strbuf referent = STRBUF_INIT;3619 int mustexist = (update->flags & REF_HAVE_OLD) &&3620 !is_null_sha1(update->old_sha1);3621 int ret;3622 struct ref_lock *lock;36233624 files_assert_main_repository(refs, "lock_ref_for_update");36253626 if ((update->flags & REF_HAVE_NEW) && is_null_sha1(update->new_sha1))3627 update->flags |= REF_DELETING;36283629 if (head_ref) {3630 ret = split_head_update(update, transaction, head_ref,3631 affected_refnames, err);3632 if (ret)3633 return ret;3634 }36353636 ret = lock_raw_ref(refs, update->refname, mustexist,3637 affected_refnames, NULL,3638 &lock, &referent,3639 &update->type, err);3640 if (ret) {3641 char *reason;36423643 reason = strbuf_detach(err, NULL);3644 strbuf_addf(err, "cannot lock ref '%s': %s",3645 original_update_refname(update), reason);3646 free(reason);3647 return ret;3648 }36493650 update->backend_data = lock;36513652 if (update->type & REF_ISSYMREF) {3653 if (update->flags & REF_NODEREF) {3654 /*3655 * We won't be reading the referent as part of3656 * the transaction, so we have to read it here3657 * to record and possibly check old_sha1:3658 */3659 if (read_ref_full(referent.buf, 0,3660 lock->old_oid.hash, NULL)) {3661 if (update->flags & REF_HAVE_OLD) {3662 strbuf_addf(err, "cannot lock ref '%s': "3663 "error reading reference",3664 original_update_refname(update));3665 return -1;3666 }3667 } else if (check_old_oid(update, &lock->old_oid, err)) {3668 return TRANSACTION_GENERIC_ERROR;3669 }3670 } else {3671 /*3672 * Create a new update for the reference this3673 * symref is pointing at. Also, we will record3674 * and verify old_sha1 for this update as part3675 * of processing the split-off update, so we3676 * don't have to do it here.3677 */3678 ret = split_symref_update(refs, update,3679 referent.buf, transaction,3680 affected_refnames, err);3681 if (ret)3682 return ret;3683 }3684 } else {3685 struct ref_update *parent_update;36863687 if (check_old_oid(update, &lock->old_oid, err))3688 return TRANSACTION_GENERIC_ERROR;36893690 /*3691 * If this update is happening indirectly because of a3692 * symref update, record the old SHA-1 in the parent3693 * update:3694 */3695 for (parent_update = update->parent_update;3696 parent_update;3697 parent_update = parent_update->parent_update) {3698 struct ref_lock *parent_lock = parent_update->backend_data;3699 oidcpy(&parent_lock->old_oid, &lock->old_oid);3700 }3701 }37023703 if ((update->flags & REF_HAVE_NEW) &&3704 !(update->flags & REF_DELETING) &&3705 !(update->flags & REF_LOG_ONLY)) {3706 if (!(update->type & REF_ISSYMREF) &&3707 !hashcmp(lock->old_oid.hash, update->new_sha1)) {3708 /*3709 * The reference already has the desired3710 * value, so we don't need to write it.3711 */3712 } else if (write_ref_to_lockfile(lock, update->new_sha1,3713 err)) {3714 char *write_err = strbuf_detach(err, NULL);37153716 /*3717 * The lock was freed upon failure of3718 * write_ref_to_lockfile():3719 */3720 update->backend_data = NULL;3721 strbuf_addf(err,3722 "cannot update ref '%s': %s",3723 update->refname, write_err);3724 free(write_err);3725 return TRANSACTION_GENERIC_ERROR;3726 } else {3727 update->flags |= REF_NEEDS_COMMIT;3728 }3729 }3730 if (!(update->flags & REF_NEEDS_COMMIT)) {3731 /*3732 * We didn't call write_ref_to_lockfile(), so3733 * the lockfile is still open. Close it to3734 * free up the file descriptor:3735 */3736 if (close_ref(lock)) {3737 strbuf_addf(err, "couldn't close '%s.lock'",3738 update->refname);3739 return TRANSACTION_GENERIC_ERROR;3740 }3741 }3742 return 0;3743}37443745static int files_transaction_commit(struct ref_store *ref_store,3746 struct ref_transaction *transaction,3747 struct strbuf *err)3748{3749 struct files_ref_store *refs =3750 files_downcast(ref_store, 0, "ref_transaction_commit");3751 int ret = 0, i;3752 struct string_list refs_to_delete = STRING_LIST_INIT_NODUP;3753 struct string_list_item *ref_to_delete;3754 struct string_list affected_refnames = STRING_LIST_INIT_NODUP;3755 char *head_ref = NULL;3756 int head_type;3757 struct object_id head_oid;3758 struct strbuf sb = STRBUF_INIT;37593760 assert(err);37613762 if (transaction->state != REF_TRANSACTION_OPEN)3763 die("BUG: commit called for transaction that is not open");37643765 if (!transaction->nr) {3766 transaction->state = REF_TRANSACTION_CLOSED;3767 return 0;3768 }37693770 /*3771 * Fail if a refname appears more than once in the3772 * transaction. (If we end up splitting up any updates using3773 * split_symref_update() or split_head_update(), those3774 * functions will check that the new updates don't have the3775 * same refname as any existing ones.)3776 */3777 for (i = 0; i < transaction->nr; i++) {3778 struct ref_update *update = transaction->updates[i];3779 struct string_list_item *item =3780 string_list_append(&affected_refnames, update->refname);37813782 /*3783 * We store a pointer to update in item->util, but at3784 * the moment we never use the value of this field3785 * except to check whether it is non-NULL.3786 */3787 item->util = update;3788 }3789 string_list_sort(&affected_refnames);3790 if (ref_update_reject_duplicates(&affected_refnames, err)) {3791 ret = TRANSACTION_GENERIC_ERROR;3792 goto cleanup;3793 }37943795 /*3796 * Special hack: If a branch is updated directly and HEAD3797 * points to it (may happen on the remote side of a push3798 * for example) then logically the HEAD reflog should be3799 * updated too.3800 *3801 * A generic solution would require reverse symref lookups,3802 * but finding all symrefs pointing to a given branch would be3803 * rather costly for this rare event (the direct update of a3804 * branch) to be worth it. So let's cheat and check with HEAD3805 * only, which should cover 99% of all usage scenarios (even3806 * 100% of the default ones).3807 *3808 * So if HEAD is a symbolic reference, then record the name of3809 * the reference that it points to. If we see an update of3810 * head_ref within the transaction, then split_head_update()3811 * arranges for the reflog of HEAD to be updated, too.3812 */3813 head_ref = resolve_refdup("HEAD", RESOLVE_REF_NO_RECURSE,3814 head_oid.hash, &head_type);38153816 if (head_ref && !(head_type & REF_ISSYMREF)) {3817 free(head_ref);3818 head_ref = NULL;3819 }38203821 /*3822 * Acquire all locks, verify old values if provided, check3823 * that new values are valid, and write new values to the3824 * lockfiles, ready to be activated. Only keep one lockfile3825 * open at a time to avoid running out of file descriptors.3826 */3827 for (i = 0; i < transaction->nr; i++) {3828 struct ref_update *update = transaction->updates[i];38293830 ret = lock_ref_for_update(refs, update, transaction,3831 head_ref, &affected_refnames, err);3832 if (ret)3833 goto cleanup;3834 }38353836 /* Perform updates first so live commits remain referenced */3837 for (i = 0; i < transaction->nr; i++) {3838 struct ref_update *update = transaction->updates[i];3839 struct ref_lock *lock = update->backend_data;38403841 if (update->flags & REF_NEEDS_COMMIT ||3842 update->flags & REF_LOG_ONLY) {3843 if (files_log_ref_write(lock->ref_name,3844 lock->old_oid.hash,3845 update->new_sha1,3846 update->msg, update->flags,3847 err)) {3848 char *old_msg = strbuf_detach(err, NULL);38493850 strbuf_addf(err, "cannot update the ref '%s': %s",3851 lock->ref_name, old_msg);3852 free(old_msg);3853 unlock_ref(lock);3854 update->backend_data = NULL;3855 ret = TRANSACTION_GENERIC_ERROR;3856 goto cleanup;3857 }3858 }3859 if (update->flags & REF_NEEDS_COMMIT) {3860 clear_loose_ref_cache(refs);3861 if (commit_ref(lock)) {3862 strbuf_addf(err, "couldn't set '%s'", lock->ref_name);3863 unlock_ref(lock);3864 update->backend_data = NULL;3865 ret = TRANSACTION_GENERIC_ERROR;3866 goto cleanup;3867 }3868 }3869 }3870 /* Perform deletes now that updates are safely completed */3871 for (i = 0; i < transaction->nr; i++) {3872 struct ref_update *update = transaction->updates[i];3873 struct ref_lock *lock = update->backend_data;38743875 if (update->flags & REF_DELETING &&3876 !(update->flags & REF_LOG_ONLY)) {3877 if (!(update->type & REF_ISPACKED) ||3878 update->type & REF_ISSYMREF) {3879 /* It is a loose reference. */3880 strbuf_reset(&sb);3881 strbuf_git_path(&sb, "%s", lock->ref_name);3882 if (unlink_or_msg(sb.buf, err)) {3883 ret = TRANSACTION_GENERIC_ERROR;3884 goto cleanup;3885 }3886 update->flags |= REF_DELETED_LOOSE;3887 }38883889 if (!(update->flags & REF_ISPRUNING))3890 string_list_append(&refs_to_delete,3891 lock->ref_name);3892 }3893 }38943895 if (repack_without_refs(refs, &refs_to_delete, err)) {3896 ret = TRANSACTION_GENERIC_ERROR;3897 goto cleanup;3898 }38993900 /* Delete the reflogs of any references that were deleted: */3901 for_each_string_list_item(ref_to_delete, &refs_to_delete) {3902 strbuf_reset(&sb);3903 strbuf_git_path(&sb, "logs/%s", ref_to_delete->string);3904 if (!unlink_or_warn(sb.buf))3905 try_remove_empty_parents(ref_to_delete->string,3906 REMOVE_EMPTY_PARENTS_REFLOG);3907 }39083909 clear_loose_ref_cache(refs);39103911cleanup:3912 strbuf_release(&sb);3913 transaction->state = REF_TRANSACTION_CLOSED;39143915 for (i = 0; i < transaction->nr; i++) {3916 struct ref_update *update = transaction->updates[i];3917 struct ref_lock *lock = update->backend_data;39183919 if (lock)3920 unlock_ref(lock);39213922 if (update->flags & REF_DELETED_LOOSE) {3923 /*3924 * The loose reference was deleted. Delete any3925 * empty parent directories. (Note that this3926 * can only work because we have already3927 * removed the lockfile.)3928 */3929 try_remove_empty_parents(update->refname,3930 REMOVE_EMPTY_PARENTS_REF);3931 }3932 }39333934 string_list_clear(&refs_to_delete, 0);3935 free(head_ref);3936 string_list_clear(&affected_refnames, 0);39373938 return ret;3939}39403941static int ref_present(const char *refname,3942 const struct object_id *oid, int flags, void *cb_data)3943{3944 struct string_list *affected_refnames = cb_data;39453946 return string_list_has_string(affected_refnames, refname);3947}39483949static int files_initial_transaction_commit(struct ref_store *ref_store,3950 struct ref_transaction *transaction,3951 struct strbuf *err)3952{3953 struct files_ref_store *refs =3954 files_downcast(ref_store, 0, "initial_ref_transaction_commit");3955 int ret = 0, i;3956 struct string_list affected_refnames = STRING_LIST_INIT_NODUP;39573958 assert(err);39593960 if (transaction->state != REF_TRANSACTION_OPEN)3961 die("BUG: commit called for transaction that is not open");39623963 /* Fail if a refname appears more than once in the transaction: */3964 for (i = 0; i < transaction->nr; i++)3965 string_list_append(&affected_refnames,3966 transaction->updates[i]->refname);3967 string_list_sort(&affected_refnames);3968 if (ref_update_reject_duplicates(&affected_refnames, err)) {3969 ret = TRANSACTION_GENERIC_ERROR;3970 goto cleanup;3971 }39723973 /*3974 * It's really undefined to call this function in an active3975 * repository or when there are existing references: we are3976 * only locking and changing packed-refs, so (1) any3977 * simultaneous processes might try to change a reference at3978 * the same time we do, and (2) any existing loose versions of3979 * the references that we are setting would have precedence3980 * over our values. But some remote helpers create the remote3981 * "HEAD" and "master" branches before calling this function,3982 * so here we really only check that none of the references3983 * that we are creating already exists.3984 */3985 if (for_each_rawref(ref_present, &affected_refnames))3986 die("BUG: initial ref transaction called with existing refs");39873988 for (i = 0; i < transaction->nr; i++) {3989 struct ref_update *update = transaction->updates[i];39903991 if ((update->flags & REF_HAVE_OLD) &&3992 !is_null_sha1(update->old_sha1))3993 die("BUG: initial ref transaction with old_sha1 set");3994 if (verify_refname_available(update->refname,3995 &affected_refnames, NULL,3996 err)) {3997 ret = TRANSACTION_NAME_CONFLICT;3998 goto cleanup;3999 }4000 }40014002 if (lock_packed_refs(refs, 0)) {4003 strbuf_addf(err, "unable to lock packed-refs file: %s",4004 strerror(errno));4005 ret = TRANSACTION_GENERIC_ERROR;4006 goto cleanup;4007 }40084009 for (i = 0; i < transaction->nr; i++) {4010 struct ref_update *update = transaction->updates[i];40114012 if ((update->flags & REF_HAVE_NEW) &&4013 !is_null_sha1(update->new_sha1))4014 add_packed_ref(refs, update->refname, update->new_sha1);4015 }40164017 if (commit_packed_refs(refs)) {4018 strbuf_addf(err, "unable to commit packed-refs file: %s",4019 strerror(errno));4020 ret = TRANSACTION_GENERIC_ERROR;4021 goto cleanup;4022 }40234024cleanup:4025 transaction->state = REF_TRANSACTION_CLOSED;4026 string_list_clear(&affected_refnames, 0);4027 return ret;4028}40294030struct expire_reflog_cb {4031 unsigned int flags;4032 reflog_expiry_should_prune_fn *should_prune_fn;4033 void *policy_cb;4034 FILE *newlog;4035 struct object_id last_kept_oid;4036};40374038static int expire_reflog_ent(struct object_id *ooid, struct object_id *noid,4039 const char *email, unsigned long timestamp, int tz,4040 const char *message, void *cb_data)4041{4042 struct expire_reflog_cb *cb = cb_data;4043 struct expire_reflog_policy_cb *policy_cb = cb->policy_cb;40444045 if (cb->flags & EXPIRE_REFLOGS_REWRITE)4046 ooid = &cb->last_kept_oid;40474048 if ((*cb->should_prune_fn)(ooid->hash, noid->hash, email, timestamp, tz,4049 message, policy_cb)) {4050 if (!cb->newlog)4051 printf("would prune %s", message);4052 else if (cb->flags & EXPIRE_REFLOGS_VERBOSE)4053 printf("prune %s", message);4054 } else {4055 if (cb->newlog) {4056 fprintf(cb->newlog, "%s %s %s %lu %+05d\t%s",4057 oid_to_hex(ooid), oid_to_hex(noid),4058 email, timestamp, tz, message);4059 oidcpy(&cb->last_kept_oid, noid);4060 }4061 if (cb->flags & EXPIRE_REFLOGS_VERBOSE)4062 printf("keep %s", message);4063 }4064 return 0;4065}40664067static int files_reflog_expire(struct ref_store *ref_store,4068 const char *refname, const unsigned char *sha1,4069 unsigned int flags,4070 reflog_expiry_prepare_fn prepare_fn,4071 reflog_expiry_should_prune_fn should_prune_fn,4072 reflog_expiry_cleanup_fn cleanup_fn,4073 void *policy_cb_data)4074{4075 struct files_ref_store *refs =4076 files_downcast(ref_store, 0, "reflog_expire");4077 static struct lock_file reflog_lock;4078 struct expire_reflog_cb cb;4079 struct ref_lock *lock;4080 char *log_file;4081 int status = 0;4082 int type;4083 struct strbuf err = STRBUF_INIT;40844085 memset(&cb, 0, sizeof(cb));4086 cb.flags = flags;4087 cb.policy_cb = policy_cb_data;4088 cb.should_prune_fn = should_prune_fn;40894090 /*4091 * The reflog file is locked by holding the lock on the4092 * reference itself, plus we might need to update the4093 * reference if --updateref was specified:4094 */4095 lock = lock_ref_sha1_basic(refs, refname, sha1,4096 NULL, NULL, REF_NODEREF,4097 &type, &err);4098 if (!lock) {4099 error("cannot lock ref '%s': %s", refname, err.buf);4100 strbuf_release(&err);4101 return -1;4102 }4103 if (!reflog_exists(refname)) {4104 unlock_ref(lock);4105 return 0;4106 }41074108 log_file = git_pathdup("logs/%s", refname);4109 if (!(flags & EXPIRE_REFLOGS_DRY_RUN)) {4110 /*4111 * Even though holding $GIT_DIR/logs/$reflog.lock has4112 * no locking implications, we use the lock_file4113 * machinery here anyway because it does a lot of the4114 * work we need, including cleaning up if the program4115 * exits unexpectedly.4116 */4117 if (hold_lock_file_for_update(&reflog_lock, log_file, 0) < 0) {4118 struct strbuf err = STRBUF_INIT;4119 unable_to_lock_message(log_file, errno, &err);4120 error("%s", err.buf);4121 strbuf_release(&err);4122 goto failure;4123 }4124 cb.newlog = fdopen_lock_file(&reflog_lock, "w");4125 if (!cb.newlog) {4126 error("cannot fdopen %s (%s)",4127 get_lock_file_path(&reflog_lock), strerror(errno));4128 goto failure;4129 }4130 }41314132 (*prepare_fn)(refname, sha1, cb.policy_cb);4133 for_each_reflog_ent(refname, expire_reflog_ent, &cb);4134 (*cleanup_fn)(cb.policy_cb);41354136 if (!(flags & EXPIRE_REFLOGS_DRY_RUN)) {4137 /*4138 * It doesn't make sense to adjust a reference pointed4139 * to by a symbolic ref based on expiring entries in4140 * the symbolic reference's reflog. Nor can we update4141 * a reference if there are no remaining reflog4142 * entries.4143 */4144 int update = (flags & EXPIRE_REFLOGS_UPDATE_REF) &&4145 !(type & REF_ISSYMREF) &&4146 !is_null_oid(&cb.last_kept_oid);41474148 if (close_lock_file(&reflog_lock)) {4149 status |= error("couldn't write %s: %s", log_file,4150 strerror(errno));4151 } else if (update &&4152 (write_in_full(get_lock_file_fd(lock->lk),4153 oid_to_hex(&cb.last_kept_oid), GIT_SHA1_HEXSZ) != GIT_SHA1_HEXSZ ||4154 write_str_in_full(get_lock_file_fd(lock->lk), "\n") != 1 ||4155 close_ref(lock) < 0)) {4156 status |= error("couldn't write %s",4157 get_lock_file_path(lock->lk));4158 rollback_lock_file(&reflog_lock);4159 } else if (commit_lock_file(&reflog_lock)) {4160 status |= error("unable to write reflog '%s' (%s)",4161 log_file, strerror(errno));4162 } else if (update && commit_ref(lock)) {4163 status |= error("couldn't set %s", lock->ref_name);4164 }4165 }4166 free(log_file);4167 unlock_ref(lock);4168 return status;41694170 failure:4171 rollback_lock_file(&reflog_lock);4172 free(log_file);4173 unlock_ref(lock);4174 return -1;4175}41764177static int files_init_db(struct ref_store *ref_store, struct strbuf *err)4178{4179 struct strbuf sb = STRBUF_INIT;41804181 /* Check validity (but we don't need the result): */4182 files_downcast(ref_store, 0, "init_db");41834184 /*4185 * Create .git/refs/{heads,tags}4186 */4187 strbuf_git_path(&sb, "refs/heads");4188 safe_create_dir(sb.buf, 1);41894190 strbuf_reset(&sb);4191 strbuf_git_path(&sb, "refs/tags");4192 safe_create_dir(sb.buf, 1);41934194 strbuf_release(&sb);4195 return 0;4196}41974198struct ref_storage_be refs_be_files = {4199 NULL,4200 "files",4201 files_ref_store_create,4202 files_init_db,4203 files_transaction_commit,4204 files_initial_transaction_commit,42054206 files_pack_refs,4207 files_peel_ref,4208 files_create_symref,4209 files_delete_refs,4210 files_rename_ref,42114212 files_ref_iterator_begin,4213 files_read_raw_ref,4214 files_verify_refname_available,42154216 files_reflog_iterator_begin,4217 files_for_each_reflog_ent,4218 files_for_each_reflog_ent_reverse,4219 files_reflog_exists,4220 files_create_reflog,4221 files_delete_reflog,4222 files_reflog_expire4223};