| 1 | #define USE_THE_REPOSITORY_VARIABLE |
| 2 | |
| 3 | #include "git-compat-util.h" |
| 4 | #include "gettext.h" |
| 5 | #include "hex.h" |
| 6 | #include "odb.h" |
| 7 | #include "run-command.h" |
| 8 | #include "sigchain.h" |
| 9 | #include "connected.h" |
| 10 | #include "transport.h" |
| 11 | #include "packfile.h" |
| 12 | #include "promisor-remote.h" |
| 13 | |
| 14 | /* |
| 15 | * If we feed all the commits we want to verify to this command |
| 16 | * |
| 17 | * $ git rev-list --objects --stdin --not --all |
| 18 | * |
| 19 | * and if it does not error out, that means everything reachable from |
| 20 | * these commits locally exists and is connected to our existing refs. |
| 21 | * Note that this does _not_ validate the individual objects. |
| 22 | * |
| 23 | * Returns 0 if everything is connected, non-zero otherwise. |
| 24 | */ |
| 25 | int check_connected(oid_iterate_fn fn, void *cb_data, |
| 26 | struct check_connected_options *opt) |
| 27 | { |
| 28 | struct child_process rev_list = CHILD_PROCESS_INIT; |
| 29 | FILE *rev_list_in; |
| 30 | struct check_connected_options defaults = CHECK_CONNECTED_INIT; |
| 31 | const struct object_id *oid; |
| 32 | int err = 0; |
| 33 | struct packed_git *new_pack = NULL; |
| 34 | struct transport *transport; |
| 35 | size_t base_len; |
| 36 | |
| 37 | if (!opt) |
| 38 | opt = &defaults; |
| 39 | transport = opt->transport; |
| 40 | |
| 41 | oid = fn(cb_data); |
| 42 | if (!oid) { |
| 43 | if (opt->err_fd) |
| 44 | close(opt->err_fd); |
| 45 | return err; |
| 46 | } |
| 47 | |
| 48 | if (repo_has_promisor_remote(the_repository)) { |
| 49 | /* |
| 50 | * For partial clones, we don't want to have to do a regular |
| 51 | * connectivity check because we have to enumerate and exclude |
| 52 | * all promisor objects (slow), and then the connectivity check |
| 53 | * itself becomes a no-op because in a partial clone every |
| 54 | * object is a promisor object. Instead, just make sure we |
| 55 | * received, in a promisor packfile, the objects pointed to by |
| 56 | * each wanted ref. |
| 57 | * |
| 58 | * Before checking for promisor packs, be sure we have the |
| 59 | * latest pack-files loaded into memory. |
| 60 | */ |
| 61 | odb_reprepare(the_repository->objects); |
| 62 | do { |
| 63 | struct packed_git *p; |
| 64 | |
| 65 | repo_for_each_pack(the_repository, p) { |
| 66 | if (!p->pack_promisor) |
| 67 | continue; |
| 68 | if (find_pack_entry_one(oid, p)) |
| 69 | goto promisor_pack_found; |
| 70 | } |
| 71 | /* |
| 72 | * Fallback to rev-list with oid and the rest of the |
| 73 | * object IDs provided by fn. |
| 74 | */ |
| 75 | goto no_promisor_pack_found; |
| 76 | promisor_pack_found: |
| 77 | ; |
| 78 | } while ((oid = fn(cb_data)) != NULL); |
| 79 | if (opt->err_fd) |
| 80 | close(opt->err_fd); |
| 81 | return 0; |
| 82 | } |
| 83 | |
| 84 | no_promisor_pack_found: |
| 85 | if (opt->shallow_file) { |
| 86 | strvec_push(&rev_list.args, "--shallow-file"); |
| 87 | strvec_push(&rev_list.args, opt->shallow_file); |
| 88 | } |
| 89 | strvec_push(&rev_list.args,"rev-list"); |
| 90 | strvec_push(&rev_list.args, "--objects"); |
| 91 | strvec_push(&rev_list.args, "--stdin"); |
| 92 | if (repo_has_promisor_remote(the_repository)) |
| 93 | strvec_push(&rev_list.args, "--exclude-promisor-objects"); |
| 94 | if (!opt->is_deepening_fetch) { |
| 95 | strvec_push(&rev_list.args, "--not"); |
| 96 | if (opt->exclude_hidden_refs_section) |
| 97 | strvec_pushf(&rev_list.args, "--exclude-hidden=%s", |
| 98 | opt->exclude_hidden_refs_section); |
| 99 | strvec_push(&rev_list.args, "--all"); |
| 100 | } |
| 101 | strvec_push(&rev_list.args, "--quiet"); |
| 102 | strvec_push(&rev_list.args, "--alternate-refs"); |
| 103 | if (opt->progress) |
| 104 | strvec_pushf(&rev_list.args, "--progress=%s", |
| 105 | _("Checking connectivity")); |
| 106 | |
| 107 | rev_list.git_cmd = 1; |
| 108 | if (opt->env) |
| 109 | strvec_pushv(&rev_list.env, opt->env); |
| 110 | rev_list.in = -1; |
| 111 | rev_list.no_stdout = 1; |
| 112 | if (opt->err_fd) |
| 113 | rev_list.err = opt->err_fd; |
| 114 | else |
| 115 | rev_list.no_stderr = opt->quiet; |
| 116 | |
| 117 | if (start_command(&rev_list)) |
| 118 | return error(_("Could not run 'git rev-list'")); |
| 119 | |
| 120 | sigchain_push(SIGPIPE, SIG_IGN); |
| 121 | |
| 122 | rev_list_in = xfdopen(rev_list.in, "w"); |
| 123 | |
| 124 | if (transport && transport->smart_options && |
| 125 | transport->smart_options->self_contained_and_connected && |
| 126 | transport->pack_lockfiles.nr == 1 && |
| 127 | strip_suffix(transport->pack_lockfiles.items[0].string, |
| 128 | ".keep", &base_len)) { |
| 129 | struct strbuf idx_file = STRBUF_INIT; |
| 130 | strbuf_add(&idx_file, transport->pack_lockfiles.items[0].string, |
| 131 | base_len); |
| 132 | strbuf_addstr(&idx_file, ".idx"); |
| 133 | new_pack = add_packed_git(the_repository, idx_file.buf, |
| 134 | idx_file.len, 1); |
| 135 | strbuf_release(&idx_file); |
| 136 | } |
| 137 | |
| 138 | do { |
| 139 | /* |
| 140 | * If index-pack already checked that: |
| 141 | * - there are no dangling pointers in the new pack |
| 142 | * - the pack is self contained |
| 143 | * Then if the updated ref is in the new pack, then we |
| 144 | * are sure the ref is good and not sending it to |
| 145 | * rev-list for verification. |
| 146 | */ |
| 147 | if (new_pack && find_pack_entry_one(oid, new_pack)) |
| 148 | continue; |
| 149 | |
| 150 | if (fprintf(rev_list_in, "%s\n", oid_to_hex(oid)) < 0) |
| 151 | break; |
| 152 | } while ((oid = fn(cb_data)) != NULL); |
| 153 | |
| 154 | if (ferror(rev_list_in) || fflush(rev_list_in)) { |
| 155 | if (errno != EPIPE && errno != EINVAL) |
| 156 | error_errno(_("failed write to rev-list")); |
| 157 | err = -1; |
| 158 | } |
| 159 | |
| 160 | if (fclose(rev_list_in)) |
| 161 | err = error_errno(_("failed to close rev-list's stdin")); |
| 162 | |
| 163 | sigchain_pop(SIGPIPE); |
| 164 | if (new_pack) { |
| 165 | close_pack(new_pack); |
| 166 | free(new_pack); |
| 167 | } |
| 168 | return finish_command(&rev_list) || err; |
| 169 | } |