connected.c

   1 #define USE_THE_REPOSITORY_VARIABLE
   2
   3 #include "git-compat-util.h"
   4 #include "gettext.h"
   5 #include "hex.h"
   6 #include "object-store-ll.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 (transport && transport->smart_options &&
  49             transport->smart_options->self_contained_and_connected &&
  50             transport->pack_lockfiles.nr == 1 &&
  51             strip_suffix(transport->pack_lockfiles.items[0].string,
  52                          ".keep", &base_len)) {
  53                 struct strbuf idx_file = STRBUF_INIT;
  54                 strbuf_add(&idx_file, transport->pack_lockfiles.items[0].string,
  55                            base_len);
  56                 strbuf_addstr(&idx_file, ".idx");
  57                 new_pack = add_packed_git(idx_file.buf, idx_file.len, 1);
  58                 strbuf_release(&idx_file);
  59         }
  60
  61         if (repo_has_promisor_remote(the_repository)) {
  62                 /*
  63                  * For partial clones, we don't want to have to do a regular
  64                  * connectivity check because we have to enumerate and exclude
  65                  * all promisor objects (slow), and then the connectivity check
  66                  * itself becomes a no-op because in a partial clone every
  67                  * object is a promisor object. Instead, just make sure we
  68                  * received, in a promisor packfile, the objects pointed to by
  69                  * each wanted ref.
  70                  *
  71                  * Before checking for promisor packs, be sure we have the
  72                  * latest pack-files loaded into memory.
  73                  */
  74                 reprepare_packed_git(the_repository);
  75                 do {
  76                         struct packed_git *p;
  77
  78                         for (p = get_all_packs(the_repository); p; p = p->next) {
  79                                 if (!p->pack_promisor)
  80                                         continue;
  81                                 if (find_pack_entry_one(oid, p))
  82                                         goto promisor_pack_found;
  83                         }
  84                         /*
  85                          * Fallback to rev-list with oid and the rest of the
  86                          * object IDs provided by fn.
  87                          */
  88                         goto no_promisor_pack_found;
  89 promisor_pack_found:
  90                         ;
  91                 } while ((oid = fn(cb_data)) != NULL);
  92                 free(new_pack);
  93                 return 0;
  94         }
  95
  96 no_promisor_pack_found:
  97         if (opt->shallow_file) {
  98                 strvec_push(&rev_list.args, "--shallow-file");
  99                 strvec_push(&rev_list.args, opt->shallow_file);
 100         }
 101         strvec_push(&rev_list.args,"rev-list");
 102         strvec_push(&rev_list.args, "--objects");
 103         strvec_push(&rev_list.args, "--stdin");
 104         if (repo_has_promisor_remote(the_repository))
 105                 strvec_push(&rev_list.args, "--exclude-promisor-objects");
 106         if (!opt->is_deepening_fetch) {
 107                 strvec_push(&rev_list.args, "--not");
 108                 if (opt->exclude_hidden_refs_section)
 109                         strvec_pushf(&rev_list.args, "--exclude-hidden=%s",
 110                                      opt->exclude_hidden_refs_section);
 111                 strvec_push(&rev_list.args, "--all");
 112         }
 113         strvec_push(&rev_list.args, "--quiet");
 114         strvec_push(&rev_list.args, "--alternate-refs");
 115         if (opt->progress)
 116                 strvec_pushf(&rev_list.args, "--progress=%s",
 117                              _("Checking connectivity"));
 118
 119         rev_list.git_cmd = 1;
 120         if (opt->env)
 121                 strvec_pushv(&rev_list.env, opt->env);
 122         rev_list.in = -1;
 123         rev_list.no_stdout = 1;
 124         if (opt->err_fd)
 125                 rev_list.err = opt->err_fd;
 126         else
 127                 rev_list.no_stderr = opt->quiet;
 128
 129         if (start_command(&rev_list)) {
 130                 free(new_pack);
 131                 return error(_("Could not run 'git rev-list'"));
 132         }
 133
 134         sigchain_push(SIGPIPE, SIG_IGN);
 135
 136         rev_list_in = xfdopen(rev_list.in, "w");
 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         free(new_pack);
 165         return finish_command(&rev_list) || err;
 166 }