]> git.ipfire.org Git - thirdparty/git.git/blob - fetch-pack.c
Merge branch 'jt/fetch-pack-loosen-validation-with-packfile-uri'
[thirdparty/git.git] / fetch-pack.c
1 #include "cache.h"
2 #include "repository.h"
3 #include "config.h"
4 #include "lockfile.h"
5 #include "refs.h"
6 #include "pkt-line.h"
7 #include "commit.h"
8 #include "tag.h"
9 #include "exec-cmd.h"
10 #include "pack.h"
11 #include "sideband.h"
12 #include "fetch-pack.h"
13 #include "remote.h"
14 #include "run-command.h"
15 #include "connect.h"
16 #include "transport.h"
17 #include "version.h"
18 #include "oid-array.h"
19 #include "oidset.h"
20 #include "packfile.h"
21 #include "object-store.h"
22 #include "connected.h"
23 #include "fetch-negotiator.h"
24 #include "fsck.h"
25 #include "shallow.h"
26
27 static int transfer_unpack_limit = -1;
28 static int fetch_unpack_limit = -1;
29 static int unpack_limit = 100;
30 static int prefer_ofs_delta = 1;
31 static int no_done;
32 static int deepen_since_ok;
33 static int deepen_not_ok;
34 static int fetch_fsck_objects = -1;
35 static int transfer_fsck_objects = -1;
36 static int agent_supported;
37 static int server_supports_filtering;
38 static struct shallow_lock shallow_lock;
39 static const char *alternate_shallow_file;
40 static struct strbuf fsck_msg_types = STRBUF_INIT;
41 static struct string_list uri_protocols = STRING_LIST_INIT_DUP;
42
43 /* Remember to update object flag allocation in object.h */
44 #define COMPLETE (1U << 0)
45 #define ALTERNATE (1U << 1)
46
47 /*
48 * After sending this many "have"s if we do not get any new ACK , we
49 * give up traversing our history.
50 */
51 #define MAX_IN_VAIN 256
52
53 static int multi_ack, use_sideband;
54 /* Allow specifying sha1 if it is a ref tip. */
55 #define ALLOW_TIP_SHA1 01
56 /* Allow request of a sha1 if it is reachable from a ref (possibly hidden ref). */
57 #define ALLOW_REACHABLE_SHA1 02
58 static unsigned int allow_unadvertised_object_request;
59
60 __attribute__((format (printf, 2, 3)))
61 static inline void print_verbose(const struct fetch_pack_args *args,
62 const char *fmt, ...)
63 {
64 va_list params;
65
66 if (!args->verbose)
67 return;
68
69 va_start(params, fmt);
70 vfprintf(stderr, fmt, params);
71 va_end(params);
72 fputc('\n', stderr);
73 }
74
75 struct alternate_object_cache {
76 struct object **items;
77 size_t nr, alloc;
78 };
79
80 static void cache_one_alternate(const struct object_id *oid,
81 void *vcache)
82 {
83 struct alternate_object_cache *cache = vcache;
84 struct object *obj = parse_object(the_repository, oid);
85
86 if (!obj || (obj->flags & ALTERNATE))
87 return;
88
89 obj->flags |= ALTERNATE;
90 ALLOC_GROW(cache->items, cache->nr + 1, cache->alloc);
91 cache->items[cache->nr++] = obj;
92 }
93
94 static void for_each_cached_alternate(struct fetch_negotiator *negotiator,
95 void (*cb)(struct fetch_negotiator *,
96 struct object *))
97 {
98 static int initialized;
99 static struct alternate_object_cache cache;
100 size_t i;
101
102 if (!initialized) {
103 for_each_alternate_ref(cache_one_alternate, &cache);
104 initialized = 1;
105 }
106
107 for (i = 0; i < cache.nr; i++)
108 cb(negotiator, cache.items[i]);
109 }
110
111 static int rev_list_insert_ref(struct fetch_negotiator *negotiator,
112 const char *refname,
113 const struct object_id *oid)
114 {
115 struct object *o = deref_tag(the_repository,
116 parse_object(the_repository, oid),
117 refname, 0);
118
119 if (o && o->type == OBJ_COMMIT)
120 negotiator->add_tip(negotiator, (struct commit *)o);
121
122 return 0;
123 }
124
125 static int rev_list_insert_ref_oid(const char *refname, const struct object_id *oid,
126 int flag, void *cb_data)
127 {
128 return rev_list_insert_ref(cb_data, refname, oid);
129 }
130
131 enum ack_type {
132 NAK = 0,
133 ACK,
134 ACK_continue,
135 ACK_common,
136 ACK_ready
137 };
138
139 static void consume_shallow_list(struct fetch_pack_args *args,
140 struct packet_reader *reader)
141 {
142 if (args->stateless_rpc && args->deepen) {
143 /* If we sent a depth we will get back "duplicate"
144 * shallow and unshallow commands every time there
145 * is a block of have lines exchanged.
146 */
147 while (packet_reader_read(reader) == PACKET_READ_NORMAL) {
148 if (starts_with(reader->line, "shallow "))
149 continue;
150 if (starts_with(reader->line, "unshallow "))
151 continue;
152 die(_("git fetch-pack: expected shallow list"));
153 }
154 if (reader->status != PACKET_READ_FLUSH)
155 die(_("git fetch-pack: expected a flush packet after shallow list"));
156 }
157 }
158
159 static enum ack_type get_ack(struct packet_reader *reader,
160 struct object_id *result_oid)
161 {
162 int len;
163 const char *arg;
164
165 if (packet_reader_read(reader) != PACKET_READ_NORMAL)
166 die(_("git fetch-pack: expected ACK/NAK, got a flush packet"));
167 len = reader->pktlen;
168
169 if (!strcmp(reader->line, "NAK"))
170 return NAK;
171 if (skip_prefix(reader->line, "ACK ", &arg)) {
172 const char *p;
173 if (!parse_oid_hex(arg, result_oid, &p)) {
174 len -= p - reader->line;
175 if (len < 1)
176 return ACK;
177 if (strstr(p, "continue"))
178 return ACK_continue;
179 if (strstr(p, "common"))
180 return ACK_common;
181 if (strstr(p, "ready"))
182 return ACK_ready;
183 return ACK;
184 }
185 }
186 die(_("git fetch-pack: expected ACK/NAK, got '%s'"), reader->line);
187 }
188
189 static void send_request(struct fetch_pack_args *args,
190 int fd, struct strbuf *buf)
191 {
192 if (args->stateless_rpc) {
193 send_sideband(fd, -1, buf->buf, buf->len, LARGE_PACKET_MAX);
194 packet_flush(fd);
195 } else {
196 if (write_in_full(fd, buf->buf, buf->len) < 0)
197 die_errno(_("unable to write to remote"));
198 }
199 }
200
201 static void insert_one_alternate_object(struct fetch_negotiator *negotiator,
202 struct object *obj)
203 {
204 rev_list_insert_ref(negotiator, NULL, &obj->oid);
205 }
206
207 #define INITIAL_FLUSH 16
208 #define PIPESAFE_FLUSH 32
209 #define LARGE_FLUSH 16384
210
211 static int next_flush(int stateless_rpc, int count)
212 {
213 if (stateless_rpc) {
214 if (count < LARGE_FLUSH)
215 count <<= 1;
216 else
217 count = count * 11 / 10;
218 } else {
219 if (count < PIPESAFE_FLUSH)
220 count <<= 1;
221 else
222 count += PIPESAFE_FLUSH;
223 }
224 return count;
225 }
226
227 static void mark_tips(struct fetch_negotiator *negotiator,
228 const struct oid_array *negotiation_tips)
229 {
230 int i;
231
232 if (!negotiation_tips) {
233 for_each_ref(rev_list_insert_ref_oid, negotiator);
234 return;
235 }
236
237 for (i = 0; i < negotiation_tips->nr; i++)
238 rev_list_insert_ref(negotiator, NULL,
239 &negotiation_tips->oid[i]);
240 return;
241 }
242
243 static int find_common(struct fetch_negotiator *negotiator,
244 struct fetch_pack_args *args,
245 int fd[2], struct object_id *result_oid,
246 struct ref *refs)
247 {
248 int fetching;
249 int count = 0, flushes = 0, flush_at = INITIAL_FLUSH, retval;
250 const struct object_id *oid;
251 unsigned in_vain = 0;
252 int got_continue = 0;
253 int got_ready = 0;
254 struct strbuf req_buf = STRBUF_INIT;
255 size_t state_len = 0;
256 struct packet_reader reader;
257
258 if (args->stateless_rpc && multi_ack == 1)
259 die(_("--stateless-rpc requires multi_ack_detailed"));
260
261 packet_reader_init(&reader, fd[0], NULL, 0,
262 PACKET_READ_CHOMP_NEWLINE |
263 PACKET_READ_DIE_ON_ERR_PACKET);
264
265 if (!args->no_dependents) {
266 mark_tips(negotiator, args->negotiation_tips);
267 for_each_cached_alternate(negotiator, insert_one_alternate_object);
268 }
269
270 fetching = 0;
271 for ( ; refs ; refs = refs->next) {
272 struct object_id *remote = &refs->old_oid;
273 const char *remote_hex;
274 struct object *o;
275
276 /*
277 * If that object is complete (i.e. it is an ancestor of a
278 * local ref), we tell them we have it but do not have to
279 * tell them about its ancestors, which they already know
280 * about.
281 *
282 * We use lookup_object here because we are only
283 * interested in the case we *know* the object is
284 * reachable and we have already scanned it.
285 *
286 * Do this only if args->no_dependents is false (if it is true,
287 * we cannot trust the object flags).
288 */
289 if (!args->no_dependents &&
290 ((o = lookup_object(the_repository, remote)) != NULL) &&
291 (o->flags & COMPLETE)) {
292 continue;
293 }
294
295 remote_hex = oid_to_hex(remote);
296 if (!fetching) {
297 struct strbuf c = STRBUF_INIT;
298 if (multi_ack == 2) strbuf_addstr(&c, " multi_ack_detailed");
299 if (multi_ack == 1) strbuf_addstr(&c, " multi_ack");
300 if (no_done) strbuf_addstr(&c, " no-done");
301 if (use_sideband == 2) strbuf_addstr(&c, " side-band-64k");
302 if (use_sideband == 1) strbuf_addstr(&c, " side-band");
303 if (args->deepen_relative) strbuf_addstr(&c, " deepen-relative");
304 if (args->use_thin_pack) strbuf_addstr(&c, " thin-pack");
305 if (args->no_progress) strbuf_addstr(&c, " no-progress");
306 if (args->include_tag) strbuf_addstr(&c, " include-tag");
307 if (prefer_ofs_delta) strbuf_addstr(&c, " ofs-delta");
308 if (deepen_since_ok) strbuf_addstr(&c, " deepen-since");
309 if (deepen_not_ok) strbuf_addstr(&c, " deepen-not");
310 if (agent_supported) strbuf_addf(&c, " agent=%s",
311 git_user_agent_sanitized());
312 if (args->filter_options.choice)
313 strbuf_addstr(&c, " filter");
314 packet_buf_write(&req_buf, "want %s%s\n", remote_hex, c.buf);
315 strbuf_release(&c);
316 } else
317 packet_buf_write(&req_buf, "want %s\n", remote_hex);
318 fetching++;
319 }
320
321 if (!fetching) {
322 strbuf_release(&req_buf);
323 packet_flush(fd[1]);
324 return 1;
325 }
326
327 if (is_repository_shallow(the_repository))
328 write_shallow_commits(&req_buf, 1, NULL);
329 if (args->depth > 0)
330 packet_buf_write(&req_buf, "deepen %d", args->depth);
331 if (args->deepen_since) {
332 timestamp_t max_age = approxidate(args->deepen_since);
333 packet_buf_write(&req_buf, "deepen-since %"PRItime, max_age);
334 }
335 if (args->deepen_not) {
336 int i;
337 for (i = 0; i < args->deepen_not->nr; i++) {
338 struct string_list_item *s = args->deepen_not->items + i;
339 packet_buf_write(&req_buf, "deepen-not %s", s->string);
340 }
341 }
342 if (server_supports_filtering && args->filter_options.choice) {
343 const char *spec =
344 expand_list_objects_filter_spec(&args->filter_options);
345 packet_buf_write(&req_buf, "filter %s", spec);
346 }
347 packet_buf_flush(&req_buf);
348 state_len = req_buf.len;
349
350 if (args->deepen) {
351 const char *arg;
352 struct object_id oid;
353
354 send_request(args, fd[1], &req_buf);
355 while (packet_reader_read(&reader) == PACKET_READ_NORMAL) {
356 if (skip_prefix(reader.line, "shallow ", &arg)) {
357 if (get_oid_hex(arg, &oid))
358 die(_("invalid shallow line: %s"), reader.line);
359 register_shallow(the_repository, &oid);
360 continue;
361 }
362 if (skip_prefix(reader.line, "unshallow ", &arg)) {
363 if (get_oid_hex(arg, &oid))
364 die(_("invalid unshallow line: %s"), reader.line);
365 if (!lookup_object(the_repository, &oid))
366 die(_("object not found: %s"), reader.line);
367 /* make sure that it is parsed as shallow */
368 if (!parse_object(the_repository, &oid))
369 die(_("error in object: %s"), reader.line);
370 if (unregister_shallow(&oid))
371 die(_("no shallow found: %s"), reader.line);
372 continue;
373 }
374 die(_("expected shallow/unshallow, got %s"), reader.line);
375 }
376 } else if (!args->stateless_rpc)
377 send_request(args, fd[1], &req_buf);
378
379 if (!args->stateless_rpc) {
380 /* If we aren't using the stateless-rpc interface
381 * we don't need to retain the headers.
382 */
383 strbuf_setlen(&req_buf, 0);
384 state_len = 0;
385 }
386
387 trace2_region_enter("fetch-pack", "negotiation_v0_v1", the_repository);
388 flushes = 0;
389 retval = -1;
390 if (args->no_dependents)
391 goto done;
392 while ((oid = negotiator->next(negotiator))) {
393 packet_buf_write(&req_buf, "have %s\n", oid_to_hex(oid));
394 print_verbose(args, "have %s", oid_to_hex(oid));
395 in_vain++;
396 if (flush_at <= ++count) {
397 int ack;
398
399 packet_buf_flush(&req_buf);
400 send_request(args, fd[1], &req_buf);
401 strbuf_setlen(&req_buf, state_len);
402 flushes++;
403 flush_at = next_flush(args->stateless_rpc, count);
404
405 /*
406 * We keep one window "ahead" of the other side, and
407 * will wait for an ACK only on the next one
408 */
409 if (!args->stateless_rpc && count == INITIAL_FLUSH)
410 continue;
411
412 consume_shallow_list(args, &reader);
413 do {
414 ack = get_ack(&reader, result_oid);
415 if (ack)
416 print_verbose(args, _("got %s %d %s"), "ack",
417 ack, oid_to_hex(result_oid));
418 switch (ack) {
419 case ACK:
420 flushes = 0;
421 multi_ack = 0;
422 retval = 0;
423 goto done;
424 case ACK_common:
425 case ACK_ready:
426 case ACK_continue: {
427 struct commit *commit =
428 lookup_commit(the_repository,
429 result_oid);
430 int was_common;
431
432 if (!commit)
433 die(_("invalid commit %s"), oid_to_hex(result_oid));
434 was_common = negotiator->ack(negotiator, commit);
435 if (args->stateless_rpc
436 && ack == ACK_common
437 && !was_common) {
438 /* We need to replay the have for this object
439 * on the next RPC request so the peer knows
440 * it is in common with us.
441 */
442 const char *hex = oid_to_hex(result_oid);
443 packet_buf_write(&req_buf, "have %s\n", hex);
444 state_len = req_buf.len;
445 /*
446 * Reset in_vain because an ack
447 * for this commit has not been
448 * seen.
449 */
450 in_vain = 0;
451 } else if (!args->stateless_rpc
452 || ack != ACK_common)
453 in_vain = 0;
454 retval = 0;
455 got_continue = 1;
456 if (ack == ACK_ready)
457 got_ready = 1;
458 break;
459 }
460 }
461 } while (ack);
462 flushes--;
463 if (got_continue && MAX_IN_VAIN < in_vain) {
464 print_verbose(args, _("giving up"));
465 break; /* give up */
466 }
467 if (got_ready)
468 break;
469 }
470 }
471 done:
472 trace2_region_leave("fetch-pack", "negotiation_v0_v1", the_repository);
473 if (!got_ready || !no_done) {
474 packet_buf_write(&req_buf, "done\n");
475 send_request(args, fd[1], &req_buf);
476 }
477 print_verbose(args, _("done"));
478 if (retval != 0) {
479 multi_ack = 0;
480 flushes++;
481 }
482 strbuf_release(&req_buf);
483
484 if (!got_ready || !no_done)
485 consume_shallow_list(args, &reader);
486 while (flushes || multi_ack) {
487 int ack = get_ack(&reader, result_oid);
488 if (ack) {
489 print_verbose(args, _("got %s (%d) %s"), "ack",
490 ack, oid_to_hex(result_oid));
491 if (ack == ACK)
492 return 0;
493 multi_ack = 1;
494 continue;
495 }
496 flushes--;
497 }
498 /* it is no error to fetch into a completely empty repo */
499 return count ? retval : 0;
500 }
501
502 static struct commit_list *complete;
503
504 static int mark_complete(const struct object_id *oid)
505 {
506 struct object *o = parse_object(the_repository, oid);
507
508 while (o && o->type == OBJ_TAG) {
509 struct tag *t = (struct tag *) o;
510 if (!t->tagged)
511 break; /* broken repository */
512 o->flags |= COMPLETE;
513 o = parse_object(the_repository, &t->tagged->oid);
514 }
515 if (o && o->type == OBJ_COMMIT) {
516 struct commit *commit = (struct commit *)o;
517 if (!(commit->object.flags & COMPLETE)) {
518 commit->object.flags |= COMPLETE;
519 commit_list_insert(commit, &complete);
520 }
521 }
522 return 0;
523 }
524
525 static int mark_complete_oid(const char *refname, const struct object_id *oid,
526 int flag, void *cb_data)
527 {
528 return mark_complete(oid);
529 }
530
531 static void mark_recent_complete_commits(struct fetch_pack_args *args,
532 timestamp_t cutoff)
533 {
534 while (complete && cutoff <= complete->item->date) {
535 print_verbose(args, _("Marking %s as complete"),
536 oid_to_hex(&complete->item->object.oid));
537 pop_most_recent_commit(&complete, COMPLETE);
538 }
539 }
540
541 static void add_refs_to_oidset(struct oidset *oids, struct ref *refs)
542 {
543 for (; refs; refs = refs->next)
544 oidset_insert(oids, &refs->old_oid);
545 }
546
547 static int is_unmatched_ref(const struct ref *ref)
548 {
549 struct object_id oid;
550 const char *p;
551 return ref->match_status == REF_NOT_MATCHED &&
552 !parse_oid_hex(ref->name, &oid, &p) &&
553 *p == '\0' &&
554 oideq(&oid, &ref->old_oid);
555 }
556
557 static void filter_refs(struct fetch_pack_args *args,
558 struct ref **refs,
559 struct ref **sought, int nr_sought)
560 {
561 struct ref *newlist = NULL;
562 struct ref **newtail = &newlist;
563 struct ref *unmatched = NULL;
564 struct ref *ref, *next;
565 struct oidset tip_oids = OIDSET_INIT;
566 int i;
567 int strict = !(allow_unadvertised_object_request &
568 (ALLOW_TIP_SHA1 | ALLOW_REACHABLE_SHA1));
569
570 i = 0;
571 for (ref = *refs; ref; ref = next) {
572 int keep = 0;
573 next = ref->next;
574
575 if (starts_with(ref->name, "refs/") &&
576 check_refname_format(ref->name, 0)) {
577 /*
578 * trash or a peeled value; do not even add it to
579 * unmatched list
580 */
581 free_one_ref(ref);
582 continue;
583 } else {
584 while (i < nr_sought) {
585 int cmp = strcmp(ref->name, sought[i]->name);
586 if (cmp < 0)
587 break; /* definitely do not have it */
588 else if (cmp == 0) {
589 keep = 1; /* definitely have it */
590 sought[i]->match_status = REF_MATCHED;
591 }
592 i++;
593 }
594
595 if (!keep && args->fetch_all &&
596 (!args->deepen || !starts_with(ref->name, "refs/tags/")))
597 keep = 1;
598 }
599
600 if (keep) {
601 *newtail = ref;
602 ref->next = NULL;
603 newtail = &ref->next;
604 } else {
605 ref->next = unmatched;
606 unmatched = ref;
607 }
608 }
609
610 if (strict) {
611 for (i = 0; i < nr_sought; i++) {
612 ref = sought[i];
613 if (!is_unmatched_ref(ref))
614 continue;
615
616 add_refs_to_oidset(&tip_oids, unmatched);
617 add_refs_to_oidset(&tip_oids, newlist);
618 break;
619 }
620 }
621
622 /* Append unmatched requests to the list */
623 for (i = 0; i < nr_sought; i++) {
624 ref = sought[i];
625 if (!is_unmatched_ref(ref))
626 continue;
627
628 if (!strict || oidset_contains(&tip_oids, &ref->old_oid)) {
629 ref->match_status = REF_MATCHED;
630 *newtail = copy_ref(ref);
631 newtail = &(*newtail)->next;
632 } else {
633 ref->match_status = REF_UNADVERTISED_NOT_ALLOWED;
634 }
635 }
636
637 oidset_clear(&tip_oids);
638 free_refs(unmatched);
639
640 *refs = newlist;
641 }
642
643 static void mark_alternate_complete(struct fetch_negotiator *unused,
644 struct object *obj)
645 {
646 mark_complete(&obj->oid);
647 }
648
649 struct loose_object_iter {
650 struct oidset *loose_object_set;
651 struct ref *refs;
652 };
653
654 /*
655 * Mark recent commits available locally and reachable from a local ref as
656 * COMPLETE. If args->no_dependents is false, also mark COMPLETE remote refs as
657 * COMMON_REF (otherwise, we are not planning to participate in negotiation, and
658 * thus do not need COMMON_REF marks).
659 *
660 * The cutoff time for recency is determined by this heuristic: it is the
661 * earliest commit time of the objects in refs that are commits and that we know
662 * the commit time of.
663 */
664 static void mark_complete_and_common_ref(struct fetch_negotiator *negotiator,
665 struct fetch_pack_args *args,
666 struct ref **refs)
667 {
668 struct ref *ref;
669 int old_save_commit_buffer = save_commit_buffer;
670 timestamp_t cutoff = 0;
671
672 save_commit_buffer = 0;
673
674 trace2_region_enter("fetch-pack", "parse_remote_refs_and_find_cutoff", NULL);
675 for (ref = *refs; ref; ref = ref->next) {
676 struct object *o;
677
678 if (!has_object_file_with_flags(&ref->old_oid,
679 OBJECT_INFO_QUICK |
680 OBJECT_INFO_SKIP_FETCH_OBJECT))
681 continue;
682 o = parse_object(the_repository, &ref->old_oid);
683 if (!o)
684 continue;
685
686 /*
687 * We already have it -- which may mean that we were
688 * in sync with the other side at some time after
689 * that (it is OK if we guess wrong here).
690 */
691 if (o->type == OBJ_COMMIT) {
692 struct commit *commit = (struct commit *)o;
693 if (!cutoff || cutoff < commit->date)
694 cutoff = commit->date;
695 }
696 }
697 trace2_region_leave("fetch-pack", "parse_remote_refs_and_find_cutoff", NULL);
698
699 /*
700 * This block marks all local refs as COMPLETE, and then recursively marks all
701 * parents of those refs as COMPLETE.
702 */
703 trace2_region_enter("fetch-pack", "mark_complete_local_refs", NULL);
704 if (!args->deepen) {
705 for_each_ref(mark_complete_oid, NULL);
706 for_each_cached_alternate(NULL, mark_alternate_complete);
707 commit_list_sort_by_date(&complete);
708 if (cutoff)
709 mark_recent_complete_commits(args, cutoff);
710 }
711 trace2_region_leave("fetch-pack", "mark_complete_local_refs", NULL);
712
713 /*
714 * Mark all complete remote refs as common refs.
715 * Don't mark them common yet; the server has to be told so first.
716 */
717 trace2_region_enter("fetch-pack", "mark_common_remote_refs", NULL);
718 for (ref = *refs; ref; ref = ref->next) {
719 struct object *o = deref_tag(the_repository,
720 lookup_object(the_repository,
721 &ref->old_oid),
722 NULL, 0);
723
724 if (!o || o->type != OBJ_COMMIT || !(o->flags & COMPLETE))
725 continue;
726
727 negotiator->known_common(negotiator,
728 (struct commit *)o);
729 }
730 trace2_region_leave("fetch-pack", "mark_common_remote_refs", NULL);
731
732 save_commit_buffer = old_save_commit_buffer;
733 }
734
735 /*
736 * Returns 1 if every object pointed to by the given remote refs is available
737 * locally and reachable from a local ref, and 0 otherwise.
738 */
739 static int everything_local(struct fetch_pack_args *args,
740 struct ref **refs)
741 {
742 struct ref *ref;
743 int retval;
744
745 for (retval = 1, ref = *refs; ref ; ref = ref->next) {
746 const struct object_id *remote = &ref->old_oid;
747 struct object *o;
748
749 o = lookup_object(the_repository, remote);
750 if (!o || !(o->flags & COMPLETE)) {
751 retval = 0;
752 print_verbose(args, "want %s (%s)", oid_to_hex(remote),
753 ref->name);
754 continue;
755 }
756 print_verbose(args, _("already have %s (%s)"), oid_to_hex(remote),
757 ref->name);
758 }
759
760 return retval;
761 }
762
763 static int sideband_demux(int in, int out, void *data)
764 {
765 int *xd = data;
766 int ret;
767
768 ret = recv_sideband("fetch-pack", xd[0], out);
769 close(out);
770 return ret;
771 }
772
773 static void write_promisor_file(const char *keep_name,
774 struct ref **sought, int nr_sought)
775 {
776 struct strbuf promisor_name = STRBUF_INIT;
777 int suffix_stripped;
778 FILE *output;
779 int i;
780
781 strbuf_addstr(&promisor_name, keep_name);
782 suffix_stripped = strbuf_strip_suffix(&promisor_name, ".keep");
783 if (!suffix_stripped)
784 BUG("name of pack lockfile should end with .keep (was '%s')",
785 keep_name);
786 strbuf_addstr(&promisor_name, ".promisor");
787
788 output = xfopen(promisor_name.buf, "w");
789 for (i = 0; i < nr_sought; i++)
790 fprintf(output, "%s %s\n", oid_to_hex(&sought[i]->old_oid),
791 sought[i]->name);
792 fclose(output);
793
794 strbuf_release(&promisor_name);
795 }
796
797 /*
798 * Pass 1 as "only_packfile" if the pack received is the only pack in this
799 * fetch request (that is, if there were no packfile URIs provided).
800 */
801 static int get_pack(struct fetch_pack_args *args,
802 int xd[2], struct string_list *pack_lockfiles,
803 int only_packfile,
804 struct ref **sought, int nr_sought)
805 {
806 struct async demux;
807 int do_keep = args->keep_pack;
808 const char *cmd_name;
809 struct pack_header header;
810 int pass_header = 0;
811 struct child_process cmd = CHILD_PROCESS_INIT;
812 int ret;
813
814 memset(&demux, 0, sizeof(demux));
815 if (use_sideband) {
816 /* xd[] is talking with upload-pack; subprocess reads from
817 * xd[0], spits out band#2 to stderr, and feeds us band#1
818 * through demux->out.
819 */
820 demux.proc = sideband_demux;
821 demux.data = xd;
822 demux.out = -1;
823 demux.isolate_sigpipe = 1;
824 if (start_async(&demux))
825 die(_("fetch-pack: unable to fork off sideband demultiplexer"));
826 }
827 else
828 demux.out = xd[0];
829
830 if (!args->keep_pack && unpack_limit) {
831
832 if (read_pack_header(demux.out, &header))
833 die(_("protocol error: bad pack header"));
834 pass_header = 1;
835 if (ntohl(header.hdr_entries) < unpack_limit)
836 do_keep = 0;
837 else
838 do_keep = 1;
839 }
840
841 if (alternate_shallow_file) {
842 strvec_push(&cmd.args, "--shallow-file");
843 strvec_push(&cmd.args, alternate_shallow_file);
844 }
845
846 if (do_keep || args->from_promisor) {
847 if (pack_lockfiles)
848 cmd.out = -1;
849 cmd_name = "index-pack";
850 strvec_push(&cmd.args, cmd_name);
851 strvec_push(&cmd.args, "--stdin");
852 if (!args->quiet && !args->no_progress)
853 strvec_push(&cmd.args, "-v");
854 if (args->use_thin_pack)
855 strvec_push(&cmd.args, "--fix-thin");
856 if (do_keep && (args->lock_pack || unpack_limit)) {
857 char hostname[HOST_NAME_MAX + 1];
858 if (xgethostname(hostname, sizeof(hostname)))
859 xsnprintf(hostname, sizeof(hostname), "localhost");
860 strvec_pushf(&cmd.args,
861 "--keep=fetch-pack %"PRIuMAX " on %s",
862 (uintmax_t)getpid(), hostname);
863 }
864 if (only_packfile && args->check_self_contained_and_connected)
865 strvec_push(&cmd.args, "--check-self-contained-and-connected");
866 else
867 /*
868 * We cannot perform any connectivity checks because
869 * not all packs have been downloaded; let the caller
870 * have this responsibility.
871 */
872 args->check_self_contained_and_connected = 0;
873
874 if (args->from_promisor)
875 /*
876 * write_promisor_file() may be called afterwards but
877 * we still need index-pack to know that this is a
878 * promisor pack. For example, if transfer.fsckobjects
879 * is true, index-pack needs to know that .gitmodules
880 * is a promisor object (so that it won't complain if
881 * it is missing).
882 */
883 strvec_push(&cmd.args, "--promisor");
884 }
885 else {
886 cmd_name = "unpack-objects";
887 strvec_push(&cmd.args, cmd_name);
888 if (args->quiet || args->no_progress)
889 strvec_push(&cmd.args, "-q");
890 args->check_self_contained_and_connected = 0;
891 }
892
893 if (pass_header)
894 strvec_pushf(&cmd.args, "--pack_header=%"PRIu32",%"PRIu32,
895 ntohl(header.hdr_version),
896 ntohl(header.hdr_entries));
897 if (fetch_fsck_objects >= 0
898 ? fetch_fsck_objects
899 : transfer_fsck_objects >= 0
900 ? transfer_fsck_objects
901 : 0) {
902 if (args->from_promisor || !only_packfile)
903 /*
904 * We cannot use --strict in index-pack because it
905 * checks both broken objects and links, but we only
906 * want to check for broken objects.
907 */
908 strvec_push(&cmd.args, "--fsck-objects");
909 else
910 strvec_pushf(&cmd.args, "--strict%s",
911 fsck_msg_types.buf);
912 }
913
914 cmd.in = demux.out;
915 cmd.git_cmd = 1;
916 if (start_command(&cmd))
917 die(_("fetch-pack: unable to fork off %s"), cmd_name);
918 if (do_keep && pack_lockfiles) {
919 string_list_append_nodup(pack_lockfiles,
920 index_pack_lockfile(cmd.out));
921 close(cmd.out);
922 }
923
924 if (!use_sideband)
925 /* Closed by start_command() */
926 xd[0] = -1;
927
928 ret = finish_command(&cmd);
929 if (!ret || (args->check_self_contained_and_connected && ret == 1))
930 args->self_contained_and_connected =
931 args->check_self_contained_and_connected &&
932 ret == 0;
933 else
934 die(_("%s failed"), cmd_name);
935 if (use_sideband && finish_async(&demux))
936 die(_("error in sideband demultiplexer"));
937
938 /*
939 * Now that index-pack has succeeded, write the promisor file using the
940 * obtained .keep filename if necessary
941 */
942 if (do_keep && pack_lockfiles && pack_lockfiles->nr && args->from_promisor)
943 write_promisor_file(pack_lockfiles->items[0].string, sought, nr_sought);
944
945 return 0;
946 }
947
948 static int cmp_ref_by_name(const void *a_, const void *b_)
949 {
950 const struct ref *a = *((const struct ref **)a_);
951 const struct ref *b = *((const struct ref **)b_);
952 return strcmp(a->name, b->name);
953 }
954
955 static struct ref *do_fetch_pack(struct fetch_pack_args *args,
956 int fd[2],
957 const struct ref *orig_ref,
958 struct ref **sought, int nr_sought,
959 struct shallow_info *si,
960 struct string_list *pack_lockfiles)
961 {
962 struct repository *r = the_repository;
963 struct ref *ref = copy_ref_list(orig_ref);
964 struct object_id oid;
965 const char *agent_feature;
966 int agent_len;
967 struct fetch_negotiator negotiator_alloc;
968 struct fetch_negotiator *negotiator;
969
970 if (args->no_dependents) {
971 negotiator = NULL;
972 } else {
973 negotiator = &negotiator_alloc;
974 fetch_negotiator_init(r, negotiator);
975 }
976
977 sort_ref_list(&ref, ref_compare_name);
978 QSORT(sought, nr_sought, cmp_ref_by_name);
979
980 if ((agent_feature = server_feature_value("agent", &agent_len))) {
981 agent_supported = 1;
982 if (agent_len)
983 print_verbose(args, _("Server version is %.*s"),
984 agent_len, agent_feature);
985 }
986
987 if (server_supports("shallow"))
988 print_verbose(args, _("Server supports %s"), "shallow");
989 else if (args->depth > 0 || is_repository_shallow(r))
990 die(_("Server does not support shallow clients"));
991 if (args->depth > 0 || args->deepen_since || args->deepen_not)
992 args->deepen = 1;
993 if (server_supports("multi_ack_detailed")) {
994 print_verbose(args, _("Server supports %s"), "multi_ack_detailed");
995 multi_ack = 2;
996 if (server_supports("no-done")) {
997 print_verbose(args, _("Server supports %s"), "no-done");
998 if (args->stateless_rpc)
999 no_done = 1;
1000 }
1001 }
1002 else if (server_supports("multi_ack")) {
1003 print_verbose(args, _("Server supports %s"), "multi_ack");
1004 multi_ack = 1;
1005 }
1006 if (server_supports("side-band-64k")) {
1007 print_verbose(args, _("Server supports %s"), "side-band-64k");
1008 use_sideband = 2;
1009 }
1010 else if (server_supports("side-band")) {
1011 print_verbose(args, _("Server supports %s"), "side-band");
1012 use_sideband = 1;
1013 }
1014 if (server_supports("allow-tip-sha1-in-want")) {
1015 print_verbose(args, _("Server supports %s"), "allow-tip-sha1-in-want");
1016 allow_unadvertised_object_request |= ALLOW_TIP_SHA1;
1017 }
1018 if (server_supports("allow-reachable-sha1-in-want")) {
1019 print_verbose(args, _("Server supports %s"), "allow-reachable-sha1-in-want");
1020 allow_unadvertised_object_request |= ALLOW_REACHABLE_SHA1;
1021 }
1022 if (server_supports("thin-pack"))
1023 print_verbose(args, _("Server supports %s"), "thin-pack");
1024 else
1025 args->use_thin_pack = 0;
1026 if (server_supports("no-progress"))
1027 print_verbose(args, _("Server supports %s"), "no-progress");
1028 else
1029 args->no_progress = 0;
1030 if (server_supports("include-tag"))
1031 print_verbose(args, _("Server supports %s"), "include-tag");
1032 else
1033 args->include_tag = 0;
1034 if (server_supports("ofs-delta"))
1035 print_verbose(args, _("Server supports %s"), "ofs-delta");
1036 else
1037 prefer_ofs_delta = 0;
1038
1039 if (server_supports("filter")) {
1040 server_supports_filtering = 1;
1041 print_verbose(args, _("Server supports %s"), "filter");
1042 } else if (args->filter_options.choice) {
1043 warning("filtering not recognized by server, ignoring");
1044 }
1045
1046 if (server_supports("deepen-since")) {
1047 print_verbose(args, _("Server supports %s"), "deepen-since");
1048 deepen_since_ok = 1;
1049 } else if (args->deepen_since)
1050 die(_("Server does not support --shallow-since"));
1051 if (server_supports("deepen-not")) {
1052 print_verbose(args, _("Server supports %s"), "deepen-not");
1053 deepen_not_ok = 1;
1054 } else if (args->deepen_not)
1055 die(_("Server does not support --shallow-exclude"));
1056 if (server_supports("deepen-relative"))
1057 print_verbose(args, _("Server supports %s"), "deepen-relative");
1058 else if (args->deepen_relative)
1059 die(_("Server does not support --deepen"));
1060 if (!server_supports_hash(the_hash_algo->name, NULL))
1061 die(_("Server does not support this repository's object format"));
1062
1063 if (!args->no_dependents) {
1064 mark_complete_and_common_ref(negotiator, args, &ref);
1065 filter_refs(args, &ref, sought, nr_sought);
1066 if (everything_local(args, &ref)) {
1067 packet_flush(fd[1]);
1068 goto all_done;
1069 }
1070 } else {
1071 filter_refs(args, &ref, sought, nr_sought);
1072 }
1073 if (find_common(negotiator, args, fd, &oid, ref) < 0)
1074 if (!args->keep_pack)
1075 /* When cloning, it is not unusual to have
1076 * no common commit.
1077 */
1078 warning(_("no common commits"));
1079
1080 if (args->stateless_rpc)
1081 packet_flush(fd[1]);
1082 if (args->deepen)
1083 setup_alternate_shallow(&shallow_lock, &alternate_shallow_file,
1084 NULL);
1085 else if (si->nr_ours || si->nr_theirs)
1086 alternate_shallow_file = setup_temporary_shallow(si->shallow);
1087 else
1088 alternate_shallow_file = NULL;
1089 if (get_pack(args, fd, pack_lockfiles, 1, sought, nr_sought))
1090 die(_("git fetch-pack: fetch failed."));
1091
1092 all_done:
1093 if (negotiator)
1094 negotiator->release(negotiator);
1095 return ref;
1096 }
1097
1098 static void add_shallow_requests(struct strbuf *req_buf,
1099 const struct fetch_pack_args *args)
1100 {
1101 if (is_repository_shallow(the_repository))
1102 write_shallow_commits(req_buf, 1, NULL);
1103 if (args->depth > 0)
1104 packet_buf_write(req_buf, "deepen %d", args->depth);
1105 if (args->deepen_since) {
1106 timestamp_t max_age = approxidate(args->deepen_since);
1107 packet_buf_write(req_buf, "deepen-since %"PRItime, max_age);
1108 }
1109 if (args->deepen_not) {
1110 int i;
1111 for (i = 0; i < args->deepen_not->nr; i++) {
1112 struct string_list_item *s = args->deepen_not->items + i;
1113 packet_buf_write(req_buf, "deepen-not %s", s->string);
1114 }
1115 }
1116 if (args->deepen_relative)
1117 packet_buf_write(req_buf, "deepen-relative\n");
1118 }
1119
1120 static void add_wants(int no_dependents, const struct ref *wants, struct strbuf *req_buf)
1121 {
1122 int use_ref_in_want = server_supports_feature("fetch", "ref-in-want", 0);
1123
1124 for ( ; wants ; wants = wants->next) {
1125 const struct object_id *remote = &wants->old_oid;
1126 struct object *o;
1127
1128 /*
1129 * If that object is complete (i.e. it is an ancestor of a
1130 * local ref), we tell them we have it but do not have to
1131 * tell them about its ancestors, which they already know
1132 * about.
1133 *
1134 * We use lookup_object here because we are only
1135 * interested in the case we *know* the object is
1136 * reachable and we have already scanned it.
1137 *
1138 * Do this only if args->no_dependents is false (if it is true,
1139 * we cannot trust the object flags).
1140 */
1141 if (!no_dependents &&
1142 ((o = lookup_object(the_repository, remote)) != NULL) &&
1143 (o->flags & COMPLETE)) {
1144 continue;
1145 }
1146
1147 if (!use_ref_in_want || wants->exact_oid)
1148 packet_buf_write(req_buf, "want %s\n", oid_to_hex(remote));
1149 else
1150 packet_buf_write(req_buf, "want-ref %s\n", wants->name);
1151 }
1152 }
1153
1154 static void add_common(struct strbuf *req_buf, struct oidset *common)
1155 {
1156 struct oidset_iter iter;
1157 const struct object_id *oid;
1158 oidset_iter_init(common, &iter);
1159
1160 while ((oid = oidset_iter_next(&iter))) {
1161 packet_buf_write(req_buf, "have %s\n", oid_to_hex(oid));
1162 }
1163 }
1164
1165 static int add_haves(struct fetch_negotiator *negotiator,
1166 int seen_ack,
1167 struct strbuf *req_buf,
1168 int *haves_to_send, int *in_vain)
1169 {
1170 int ret = 0;
1171 int haves_added = 0;
1172 const struct object_id *oid;
1173
1174 while ((oid = negotiator->next(negotiator))) {
1175 packet_buf_write(req_buf, "have %s\n", oid_to_hex(oid));
1176 if (++haves_added >= *haves_to_send)
1177 break;
1178 }
1179
1180 *in_vain += haves_added;
1181 if (!haves_added || (seen_ack && *in_vain >= MAX_IN_VAIN)) {
1182 /* Send Done */
1183 packet_buf_write(req_buf, "done\n");
1184 ret = 1;
1185 }
1186
1187 /* Increase haves to send on next round */
1188 *haves_to_send = next_flush(1, *haves_to_send);
1189
1190 return ret;
1191 }
1192
1193 static int send_fetch_request(struct fetch_negotiator *negotiator, int fd_out,
1194 struct fetch_pack_args *args,
1195 const struct ref *wants, struct oidset *common,
1196 int *haves_to_send, int *in_vain,
1197 int sideband_all, int seen_ack)
1198 {
1199 int ret = 0;
1200 const char *hash_name;
1201 struct strbuf req_buf = STRBUF_INIT;
1202
1203 if (server_supports_v2("fetch", 1))
1204 packet_buf_write(&req_buf, "command=fetch");
1205 if (server_supports_v2("agent", 0))
1206 packet_buf_write(&req_buf, "agent=%s", git_user_agent_sanitized());
1207 if (args->server_options && args->server_options->nr &&
1208 server_supports_v2("server-option", 1)) {
1209 int i;
1210 for (i = 0; i < args->server_options->nr; i++)
1211 packet_buf_write(&req_buf, "server-option=%s",
1212 args->server_options->items[i].string);
1213 }
1214
1215 if (server_feature_v2("object-format", &hash_name)) {
1216 int hash_algo = hash_algo_by_name(hash_name);
1217 if (hash_algo_by_ptr(the_hash_algo) != hash_algo)
1218 die(_("mismatched algorithms: client %s; server %s"),
1219 the_hash_algo->name, hash_name);
1220 packet_write_fmt(fd_out, "object-format=%s", the_hash_algo->name);
1221 } else if (hash_algo_by_ptr(the_hash_algo) != GIT_HASH_SHA1) {
1222 die(_("the server does not support algorithm '%s'"),
1223 the_hash_algo->name);
1224 }
1225
1226 packet_buf_delim(&req_buf);
1227 if (args->use_thin_pack)
1228 packet_buf_write(&req_buf, "thin-pack");
1229 if (args->no_progress)
1230 packet_buf_write(&req_buf, "no-progress");
1231 if (args->include_tag)
1232 packet_buf_write(&req_buf, "include-tag");
1233 if (prefer_ofs_delta)
1234 packet_buf_write(&req_buf, "ofs-delta");
1235 if (sideband_all)
1236 packet_buf_write(&req_buf, "sideband-all");
1237
1238 /* Add shallow-info and deepen request */
1239 if (server_supports_feature("fetch", "shallow", 0))
1240 add_shallow_requests(&req_buf, args);
1241 else if (is_repository_shallow(the_repository) || args->deepen)
1242 die(_("Server does not support shallow requests"));
1243
1244 /* Add filter */
1245 if (server_supports_feature("fetch", "filter", 0) &&
1246 args->filter_options.choice) {
1247 const char *spec =
1248 expand_list_objects_filter_spec(&args->filter_options);
1249 print_verbose(args, _("Server supports filter"));
1250 packet_buf_write(&req_buf, "filter %s", spec);
1251 } else if (args->filter_options.choice) {
1252 warning("filtering not recognized by server, ignoring");
1253 }
1254
1255 if (server_supports_feature("fetch", "packfile-uris", 0)) {
1256 int i;
1257 struct strbuf to_send = STRBUF_INIT;
1258
1259 for (i = 0; i < uri_protocols.nr; i++) {
1260 const char *s = uri_protocols.items[i].string;
1261
1262 if (!strcmp(s, "https") || !strcmp(s, "http")) {
1263 if (to_send.len)
1264 strbuf_addch(&to_send, ',');
1265 strbuf_addstr(&to_send, s);
1266 }
1267 }
1268 if (to_send.len) {
1269 packet_buf_write(&req_buf, "packfile-uris %s",
1270 to_send.buf);
1271 strbuf_release(&to_send);
1272 }
1273 }
1274
1275 /* add wants */
1276 add_wants(args->no_dependents, wants, &req_buf);
1277
1278 if (args->no_dependents) {
1279 packet_buf_write(&req_buf, "done");
1280 ret = 1;
1281 } else {
1282 /* Add all of the common commits we've found in previous rounds */
1283 add_common(&req_buf, common);
1284
1285 /* Add initial haves */
1286 ret = add_haves(negotiator, seen_ack, &req_buf,
1287 haves_to_send, in_vain);
1288 }
1289
1290 /* Send request */
1291 packet_buf_flush(&req_buf);
1292 if (write_in_full(fd_out, req_buf.buf, req_buf.len) < 0)
1293 die_errno(_("unable to write request to remote"));
1294
1295 strbuf_release(&req_buf);
1296 return ret;
1297 }
1298
1299 /*
1300 * Processes a section header in a server's response and checks if it matches
1301 * `section`. If the value of `peek` is 1, the header line will be peeked (and
1302 * not consumed); if 0, the line will be consumed and the function will die if
1303 * the section header doesn't match what was expected.
1304 */
1305 static int process_section_header(struct packet_reader *reader,
1306 const char *section, int peek)
1307 {
1308 int ret;
1309
1310 if (packet_reader_peek(reader) != PACKET_READ_NORMAL)
1311 die(_("error reading section header '%s'"), section);
1312
1313 ret = !strcmp(reader->line, section);
1314
1315 if (!peek) {
1316 if (!ret)
1317 die(_("expected '%s', received '%s'"),
1318 section, reader->line);
1319 packet_reader_read(reader);
1320 }
1321
1322 return ret;
1323 }
1324
1325 enum common_found {
1326 /*
1327 * No commit was found to be possessed by both the client and the
1328 * server, and "ready" was not received.
1329 */
1330 NO_COMMON_FOUND,
1331
1332 /*
1333 * At least one commit was found to be possessed by both the client and
1334 * the server, and "ready" was not received.
1335 */
1336 COMMON_FOUND,
1337
1338 /*
1339 * "ready" was received, indicating that the server is ready to send
1340 * the packfile without any further negotiation.
1341 */
1342 READY
1343 };
1344
1345 static enum common_found process_acks(struct fetch_negotiator *negotiator,
1346 struct packet_reader *reader,
1347 struct oidset *common)
1348 {
1349 /* received */
1350 int received_ready = 0;
1351 int received_ack = 0;
1352
1353 process_section_header(reader, "acknowledgments", 0);
1354 while (packet_reader_read(reader) == PACKET_READ_NORMAL) {
1355 const char *arg;
1356
1357 if (!strcmp(reader->line, "NAK"))
1358 continue;
1359
1360 if (skip_prefix(reader->line, "ACK ", &arg)) {
1361 struct object_id oid;
1362 received_ack = 1;
1363 if (!get_oid_hex(arg, &oid)) {
1364 struct commit *commit;
1365 oidset_insert(common, &oid);
1366 commit = lookup_commit(the_repository, &oid);
1367 if (negotiator)
1368 negotiator->ack(negotiator, commit);
1369 }
1370 continue;
1371 }
1372
1373 if (!strcmp(reader->line, "ready")) {
1374 received_ready = 1;
1375 continue;
1376 }
1377
1378 die(_("unexpected acknowledgment line: '%s'"), reader->line);
1379 }
1380
1381 if (reader->status != PACKET_READ_FLUSH &&
1382 reader->status != PACKET_READ_DELIM)
1383 die(_("error processing acks: %d"), reader->status);
1384
1385 /*
1386 * If an "acknowledgments" section is sent, a packfile is sent if and
1387 * only if "ready" was sent in this section. The other sections
1388 * ("shallow-info" and "wanted-refs") are sent only if a packfile is
1389 * sent. Therefore, a DELIM is expected if "ready" is sent, and a FLUSH
1390 * otherwise.
1391 */
1392 if (received_ready && reader->status != PACKET_READ_DELIM)
1393 die(_("expected packfile to be sent after 'ready'"));
1394 if (!received_ready && reader->status != PACKET_READ_FLUSH)
1395 die(_("expected no other sections to be sent after no 'ready'"));
1396
1397 return received_ready ? READY :
1398 (received_ack ? COMMON_FOUND : NO_COMMON_FOUND);
1399 }
1400
1401 static void receive_shallow_info(struct fetch_pack_args *args,
1402 struct packet_reader *reader,
1403 struct oid_array *shallows,
1404 struct shallow_info *si)
1405 {
1406 int unshallow_received = 0;
1407
1408 process_section_header(reader, "shallow-info", 0);
1409 while (packet_reader_read(reader) == PACKET_READ_NORMAL) {
1410 const char *arg;
1411 struct object_id oid;
1412
1413 if (skip_prefix(reader->line, "shallow ", &arg)) {
1414 if (get_oid_hex(arg, &oid))
1415 die(_("invalid shallow line: %s"), reader->line);
1416 oid_array_append(shallows, &oid);
1417 continue;
1418 }
1419 if (skip_prefix(reader->line, "unshallow ", &arg)) {
1420 if (get_oid_hex(arg, &oid))
1421 die(_("invalid unshallow line: %s"), reader->line);
1422 if (!lookup_object(the_repository, &oid))
1423 die(_("object not found: %s"), reader->line);
1424 /* make sure that it is parsed as shallow */
1425 if (!parse_object(the_repository, &oid))
1426 die(_("error in object: %s"), reader->line);
1427 if (unregister_shallow(&oid))
1428 die(_("no shallow found: %s"), reader->line);
1429 unshallow_received = 1;
1430 continue;
1431 }
1432 die(_("expected shallow/unshallow, got %s"), reader->line);
1433 }
1434
1435 if (reader->status != PACKET_READ_FLUSH &&
1436 reader->status != PACKET_READ_DELIM)
1437 die(_("error processing shallow info: %d"), reader->status);
1438
1439 if (args->deepen || unshallow_received) {
1440 /*
1441 * Treat these as shallow lines caused by our depth settings.
1442 * In v0, these lines cannot cause refs to be rejected; do the
1443 * same.
1444 */
1445 int i;
1446
1447 for (i = 0; i < shallows->nr; i++)
1448 register_shallow(the_repository, &shallows->oid[i]);
1449 setup_alternate_shallow(&shallow_lock, &alternate_shallow_file,
1450 NULL);
1451 args->deepen = 1;
1452 } else if (shallows->nr) {
1453 /*
1454 * Treat these as shallow lines caused by the remote being
1455 * shallow. In v0, remote refs that reach these objects are
1456 * rejected (unless --update-shallow is set); do the same.
1457 */
1458 prepare_shallow_info(si, shallows);
1459 if (si->nr_ours || si->nr_theirs)
1460 alternate_shallow_file =
1461 setup_temporary_shallow(si->shallow);
1462 else
1463 alternate_shallow_file = NULL;
1464 } else {
1465 alternate_shallow_file = NULL;
1466 }
1467 }
1468
1469 static int cmp_name_ref(const void *name, const void *ref)
1470 {
1471 return strcmp(name, (*(struct ref **)ref)->name);
1472 }
1473
1474 static void receive_wanted_refs(struct packet_reader *reader,
1475 struct ref **sought, int nr_sought)
1476 {
1477 process_section_header(reader, "wanted-refs", 0);
1478 while (packet_reader_read(reader) == PACKET_READ_NORMAL) {
1479 struct object_id oid;
1480 const char *end;
1481 struct ref **found;
1482
1483 if (parse_oid_hex(reader->line, &oid, &end) || *end++ != ' ')
1484 die(_("expected wanted-ref, got '%s'"), reader->line);
1485
1486 found = bsearch(end, sought, nr_sought, sizeof(*sought),
1487 cmp_name_ref);
1488 if (!found)
1489 die(_("unexpected wanted-ref: '%s'"), reader->line);
1490 oidcpy(&(*found)->old_oid, &oid);
1491 }
1492
1493 if (reader->status != PACKET_READ_DELIM)
1494 die(_("error processing wanted refs: %d"), reader->status);
1495 }
1496
1497 static void receive_packfile_uris(struct packet_reader *reader,
1498 struct string_list *uris)
1499 {
1500 process_section_header(reader, "packfile-uris", 0);
1501 while (packet_reader_read(reader) == PACKET_READ_NORMAL) {
1502 if (reader->pktlen < the_hash_algo->hexsz ||
1503 reader->line[the_hash_algo->hexsz] != ' ')
1504 die("expected '<hash> <uri>', got: %s\n", reader->line);
1505
1506 string_list_append(uris, reader->line);
1507 }
1508 if (reader->status != PACKET_READ_DELIM)
1509 die("expected DELIM");
1510 }
1511
1512 enum fetch_state {
1513 FETCH_CHECK_LOCAL = 0,
1514 FETCH_SEND_REQUEST,
1515 FETCH_PROCESS_ACKS,
1516 FETCH_GET_PACK,
1517 FETCH_DONE,
1518 };
1519
1520 static void do_check_stateless_delimiter(const struct fetch_pack_args *args,
1521 struct packet_reader *reader)
1522 {
1523 check_stateless_delimiter(args->stateless_rpc, reader,
1524 _("git fetch-pack: expected response end packet"));
1525 }
1526
1527 static struct ref *do_fetch_pack_v2(struct fetch_pack_args *args,
1528 int fd[2],
1529 const struct ref *orig_ref,
1530 struct ref **sought, int nr_sought,
1531 struct oid_array *shallows,
1532 struct shallow_info *si,
1533 struct string_list *pack_lockfiles)
1534 {
1535 struct repository *r = the_repository;
1536 struct ref *ref = copy_ref_list(orig_ref);
1537 enum fetch_state state = FETCH_CHECK_LOCAL;
1538 struct oidset common = OIDSET_INIT;
1539 struct packet_reader reader;
1540 int in_vain = 0, negotiation_started = 0;
1541 int haves_to_send = INITIAL_FLUSH;
1542 struct fetch_negotiator negotiator_alloc;
1543 struct fetch_negotiator *negotiator;
1544 int seen_ack = 0;
1545 struct string_list packfile_uris = STRING_LIST_INIT_DUP;
1546 int i;
1547
1548 if (args->no_dependents) {
1549 negotiator = NULL;
1550 } else {
1551 negotiator = &negotiator_alloc;
1552 fetch_negotiator_init(r, negotiator);
1553 }
1554
1555 packet_reader_init(&reader, fd[0], NULL, 0,
1556 PACKET_READ_CHOMP_NEWLINE |
1557 PACKET_READ_DIE_ON_ERR_PACKET);
1558 if (git_env_bool("GIT_TEST_SIDEBAND_ALL", 1) &&
1559 server_supports_feature("fetch", "sideband-all", 0)) {
1560 reader.use_sideband = 1;
1561 reader.me = "fetch-pack";
1562 }
1563
1564 while (state != FETCH_DONE) {
1565 switch (state) {
1566 case FETCH_CHECK_LOCAL:
1567 sort_ref_list(&ref, ref_compare_name);
1568 QSORT(sought, nr_sought, cmp_ref_by_name);
1569
1570 /* v2 supports these by default */
1571 allow_unadvertised_object_request |= ALLOW_REACHABLE_SHA1;
1572 use_sideband = 2;
1573 if (args->depth > 0 || args->deepen_since || args->deepen_not)
1574 args->deepen = 1;
1575
1576 /* Filter 'ref' by 'sought' and those that aren't local */
1577 if (!args->no_dependents) {
1578 mark_complete_and_common_ref(negotiator, args, &ref);
1579 filter_refs(args, &ref, sought, nr_sought);
1580 if (everything_local(args, &ref))
1581 state = FETCH_DONE;
1582 else
1583 state = FETCH_SEND_REQUEST;
1584
1585 mark_tips(negotiator, args->negotiation_tips);
1586 for_each_cached_alternate(negotiator,
1587 insert_one_alternate_object);
1588 } else {
1589 filter_refs(args, &ref, sought, nr_sought);
1590 state = FETCH_SEND_REQUEST;
1591 }
1592 break;
1593 case FETCH_SEND_REQUEST:
1594 if (!negotiation_started) {
1595 negotiation_started = 1;
1596 trace2_region_enter("fetch-pack",
1597 "negotiation_v2",
1598 the_repository);
1599 }
1600 if (send_fetch_request(negotiator, fd[1], args, ref,
1601 &common,
1602 &haves_to_send, &in_vain,
1603 reader.use_sideband,
1604 seen_ack))
1605 state = FETCH_GET_PACK;
1606 else
1607 state = FETCH_PROCESS_ACKS;
1608 break;
1609 case FETCH_PROCESS_ACKS:
1610 /* Process ACKs/NAKs */
1611 switch (process_acks(negotiator, &reader, &common)) {
1612 case READY:
1613 /*
1614 * Don't check for response delimiter; get_pack() will
1615 * read the rest of this response.
1616 */
1617 state = FETCH_GET_PACK;
1618 break;
1619 case COMMON_FOUND:
1620 in_vain = 0;
1621 seen_ack = 1;
1622 /* fallthrough */
1623 case NO_COMMON_FOUND:
1624 do_check_stateless_delimiter(args, &reader);
1625 state = FETCH_SEND_REQUEST;
1626 break;
1627 }
1628 break;
1629 case FETCH_GET_PACK:
1630 trace2_region_leave("fetch-pack",
1631 "negotiation_v2",
1632 the_repository);
1633 /* Check for shallow-info section */
1634 if (process_section_header(&reader, "shallow-info", 1))
1635 receive_shallow_info(args, &reader, shallows, si);
1636
1637 if (process_section_header(&reader, "wanted-refs", 1))
1638 receive_wanted_refs(&reader, sought, nr_sought);
1639
1640 /* get the pack(s) */
1641 if (process_section_header(&reader, "packfile-uris", 1))
1642 receive_packfile_uris(&reader, &packfile_uris);
1643 process_section_header(&reader, "packfile", 0);
1644 if (get_pack(args, fd, pack_lockfiles,
1645 !packfile_uris.nr, sought, nr_sought))
1646 die(_("git fetch-pack: fetch failed."));
1647 do_check_stateless_delimiter(args, &reader);
1648
1649 state = FETCH_DONE;
1650 break;
1651 case FETCH_DONE:
1652 continue;
1653 }
1654 }
1655
1656 for (i = 0; i < packfile_uris.nr; i++) {
1657 struct child_process cmd = CHILD_PROCESS_INIT;
1658 char packname[GIT_MAX_HEXSZ + 1];
1659 const char *uri = packfile_uris.items[i].string +
1660 the_hash_algo->hexsz + 1;
1661
1662 strvec_push(&cmd.args, "http-fetch");
1663 strvec_pushf(&cmd.args, "--packfile=%.*s",
1664 (int) the_hash_algo->hexsz,
1665 packfile_uris.items[i].string);
1666 strvec_push(&cmd.args, uri);
1667 cmd.git_cmd = 1;
1668 cmd.no_stdin = 1;
1669 cmd.out = -1;
1670 if (start_command(&cmd))
1671 die("fetch-pack: unable to spawn http-fetch");
1672
1673 if (read_in_full(cmd.out, packname, 5) < 0 ||
1674 memcmp(packname, "keep\t", 5))
1675 die("fetch-pack: expected keep then TAB at start of http-fetch output");
1676
1677 if (read_in_full(cmd.out, packname,
1678 the_hash_algo->hexsz + 1) < 0 ||
1679 packname[the_hash_algo->hexsz] != '\n')
1680 die("fetch-pack: expected hash then LF at end of http-fetch output");
1681
1682 packname[the_hash_algo->hexsz] = '\0';
1683
1684 close(cmd.out);
1685
1686 if (finish_command(&cmd))
1687 die("fetch-pack: unable to finish http-fetch");
1688
1689 if (memcmp(packfile_uris.items[i].string, packname,
1690 the_hash_algo->hexsz))
1691 die("fetch-pack: pack downloaded from %s does not match expected hash %.*s",
1692 uri, (int) the_hash_algo->hexsz,
1693 packfile_uris.items[i].string);
1694
1695 string_list_append_nodup(pack_lockfiles,
1696 xstrfmt("%s/pack/pack-%s.keep",
1697 get_object_directory(),
1698 packname));
1699 }
1700 string_list_clear(&packfile_uris, 0);
1701
1702 if (negotiator)
1703 negotiator->release(negotiator);
1704
1705 oidset_clear(&common);
1706 return ref;
1707 }
1708
1709 static int fetch_pack_config_cb(const char *var, const char *value, void *cb)
1710 {
1711 if (strcmp(var, "fetch.fsck.skiplist") == 0) {
1712 const char *path;
1713
1714 if (git_config_pathname(&path, var, value))
1715 return 1;
1716 strbuf_addf(&fsck_msg_types, "%cskiplist=%s",
1717 fsck_msg_types.len ? ',' : '=', path);
1718 free((char *)path);
1719 return 0;
1720 }
1721
1722 if (skip_prefix(var, "fetch.fsck.", &var)) {
1723 if (is_valid_msg_type(var, value))
1724 strbuf_addf(&fsck_msg_types, "%c%s=%s",
1725 fsck_msg_types.len ? ',' : '=', var, value);
1726 else
1727 warning("Skipping unknown msg id '%s'", var);
1728 return 0;
1729 }
1730
1731 return git_default_config(var, value, cb);
1732 }
1733
1734 static void fetch_pack_config(void)
1735 {
1736 git_config_get_int("fetch.unpacklimit", &fetch_unpack_limit);
1737 git_config_get_int("transfer.unpacklimit", &transfer_unpack_limit);
1738 git_config_get_bool("repack.usedeltabaseoffset", &prefer_ofs_delta);
1739 git_config_get_bool("fetch.fsckobjects", &fetch_fsck_objects);
1740 git_config_get_bool("transfer.fsckobjects", &transfer_fsck_objects);
1741 if (!uri_protocols.nr) {
1742 char *str;
1743
1744 if (!git_config_get_string("fetch.uriprotocols", &str) && str) {
1745 string_list_split(&uri_protocols, str, ',', -1);
1746 free(str);
1747 }
1748 }
1749
1750 git_config(fetch_pack_config_cb, NULL);
1751 }
1752
1753 static void fetch_pack_setup(void)
1754 {
1755 static int did_setup;
1756 if (did_setup)
1757 return;
1758 fetch_pack_config();
1759 if (0 <= transfer_unpack_limit)
1760 unpack_limit = transfer_unpack_limit;
1761 else if (0 <= fetch_unpack_limit)
1762 unpack_limit = fetch_unpack_limit;
1763 did_setup = 1;
1764 }
1765
1766 static int remove_duplicates_in_refs(struct ref **ref, int nr)
1767 {
1768 struct string_list names = STRING_LIST_INIT_NODUP;
1769 int src, dst;
1770
1771 for (src = dst = 0; src < nr; src++) {
1772 struct string_list_item *item;
1773 item = string_list_insert(&names, ref[src]->name);
1774 if (item->util)
1775 continue; /* already have it */
1776 item->util = ref[src];
1777 if (src != dst)
1778 ref[dst] = ref[src];
1779 dst++;
1780 }
1781 for (src = dst; src < nr; src++)
1782 ref[src] = NULL;
1783 string_list_clear(&names, 0);
1784 return dst;
1785 }
1786
1787 static void update_shallow(struct fetch_pack_args *args,
1788 struct ref **sought, int nr_sought,
1789 struct shallow_info *si)
1790 {
1791 struct oid_array ref = OID_ARRAY_INIT;
1792 int *status;
1793 int i;
1794
1795 if (args->deepen && alternate_shallow_file) {
1796 if (*alternate_shallow_file == '\0') { /* --unshallow */
1797 unlink_or_warn(git_path_shallow(the_repository));
1798 rollback_shallow_file(the_repository, &shallow_lock);
1799 } else
1800 commit_shallow_file(the_repository, &shallow_lock);
1801 alternate_shallow_file = NULL;
1802 return;
1803 }
1804
1805 if (!si->shallow || !si->shallow->nr)
1806 return;
1807
1808 if (args->cloning) {
1809 /*
1810 * remote is shallow, but this is a clone, there are
1811 * no objects in repo to worry about. Accept any
1812 * shallow points that exist in the pack (iow in repo
1813 * after get_pack() and reprepare_packed_git())
1814 */
1815 struct oid_array extra = OID_ARRAY_INIT;
1816 struct object_id *oid = si->shallow->oid;
1817 for (i = 0; i < si->shallow->nr; i++)
1818 if (has_object_file(&oid[i]))
1819 oid_array_append(&extra, &oid[i]);
1820 if (extra.nr) {
1821 setup_alternate_shallow(&shallow_lock,
1822 &alternate_shallow_file,
1823 &extra);
1824 commit_shallow_file(the_repository, &shallow_lock);
1825 alternate_shallow_file = NULL;
1826 }
1827 oid_array_clear(&extra);
1828 return;
1829 }
1830
1831 if (!si->nr_ours && !si->nr_theirs)
1832 return;
1833
1834 remove_nonexistent_theirs_shallow(si);
1835 if (!si->nr_ours && !si->nr_theirs)
1836 return;
1837 for (i = 0; i < nr_sought; i++)
1838 oid_array_append(&ref, &sought[i]->old_oid);
1839 si->ref = &ref;
1840
1841 if (args->update_shallow) {
1842 /*
1843 * remote is also shallow, .git/shallow may be updated
1844 * so all refs can be accepted. Make sure we only add
1845 * shallow roots that are actually reachable from new
1846 * refs.
1847 */
1848 struct oid_array extra = OID_ARRAY_INIT;
1849 struct object_id *oid = si->shallow->oid;
1850 assign_shallow_commits_to_refs(si, NULL, NULL);
1851 if (!si->nr_ours && !si->nr_theirs) {
1852 oid_array_clear(&ref);
1853 return;
1854 }
1855 for (i = 0; i < si->nr_ours; i++)
1856 oid_array_append(&extra, &oid[si->ours[i]]);
1857 for (i = 0; i < si->nr_theirs; i++)
1858 oid_array_append(&extra, &oid[si->theirs[i]]);
1859 setup_alternate_shallow(&shallow_lock,
1860 &alternate_shallow_file,
1861 &extra);
1862 commit_shallow_file(the_repository, &shallow_lock);
1863 oid_array_clear(&extra);
1864 oid_array_clear(&ref);
1865 alternate_shallow_file = NULL;
1866 return;
1867 }
1868
1869 /*
1870 * remote is also shallow, check what ref is safe to update
1871 * without updating .git/shallow
1872 */
1873 status = xcalloc(nr_sought, sizeof(*status));
1874 assign_shallow_commits_to_refs(si, NULL, status);
1875 if (si->nr_ours || si->nr_theirs) {
1876 for (i = 0; i < nr_sought; i++)
1877 if (status[i])
1878 sought[i]->status = REF_STATUS_REJECT_SHALLOW;
1879 }
1880 free(status);
1881 oid_array_clear(&ref);
1882 }
1883
1884 static int iterate_ref_map(void *cb_data, struct object_id *oid)
1885 {
1886 struct ref **rm = cb_data;
1887 struct ref *ref = *rm;
1888
1889 if (!ref)
1890 return -1; /* end of the list */
1891 *rm = ref->next;
1892 oidcpy(oid, &ref->old_oid);
1893 return 0;
1894 }
1895
1896 struct ref *fetch_pack(struct fetch_pack_args *args,
1897 int fd[],
1898 const struct ref *ref,
1899 struct ref **sought, int nr_sought,
1900 struct oid_array *shallow,
1901 struct string_list *pack_lockfiles,
1902 enum protocol_version version)
1903 {
1904 struct ref *ref_cpy;
1905 struct shallow_info si;
1906 struct oid_array shallows_scratch = OID_ARRAY_INIT;
1907
1908 fetch_pack_setup();
1909 if (nr_sought)
1910 nr_sought = remove_duplicates_in_refs(sought, nr_sought);
1911
1912 if (args->no_dependents && !args->filter_options.choice) {
1913 /*
1914 * The protocol does not support requesting that only the
1915 * wanted objects be sent, so approximate this by setting a
1916 * "blob:none" filter if no filter is already set. This works
1917 * for all object types: note that wanted blobs will still be
1918 * sent because they are directly specified as a "want".
1919 *
1920 * NEEDSWORK: Add an option in the protocol to request that
1921 * only the wanted objects be sent, and implement it.
1922 */
1923 parse_list_objects_filter(&args->filter_options, "blob:none");
1924 }
1925
1926 if (version != protocol_v2 && !ref) {
1927 packet_flush(fd[1]);
1928 die(_("no matching remote head"));
1929 }
1930 if (version == protocol_v2) {
1931 if (shallow->nr)
1932 BUG("Protocol V2 does not provide shallows at this point in the fetch");
1933 memset(&si, 0, sizeof(si));
1934 ref_cpy = do_fetch_pack_v2(args, fd, ref, sought, nr_sought,
1935 &shallows_scratch, &si,
1936 pack_lockfiles);
1937 } else {
1938 prepare_shallow_info(&si, shallow);
1939 ref_cpy = do_fetch_pack(args, fd, ref, sought, nr_sought,
1940 &si, pack_lockfiles);
1941 }
1942 reprepare_packed_git(the_repository);
1943
1944 if (!args->cloning && args->deepen) {
1945 struct check_connected_options opt = CHECK_CONNECTED_INIT;
1946 struct ref *iterator = ref_cpy;
1947 opt.shallow_file = alternate_shallow_file;
1948 if (args->deepen)
1949 opt.is_deepening_fetch = 1;
1950 if (check_connected(iterate_ref_map, &iterator, &opt)) {
1951 error(_("remote did not send all necessary objects"));
1952 free_refs(ref_cpy);
1953 ref_cpy = NULL;
1954 rollback_shallow_file(the_repository, &shallow_lock);
1955 goto cleanup;
1956 }
1957 args->connectivity_checked = 1;
1958 }
1959
1960 update_shallow(args, sought, nr_sought, &si);
1961 cleanup:
1962 clear_shallow_info(&si);
1963 oid_array_clear(&shallows_scratch);
1964 return ref_cpy;
1965 }
1966
1967 int report_unmatched_refs(struct ref **sought, int nr_sought)
1968 {
1969 int i, ret = 0;
1970
1971 for (i = 0; i < nr_sought; i++) {
1972 if (!sought[i])
1973 continue;
1974 switch (sought[i]->match_status) {
1975 case REF_MATCHED:
1976 continue;
1977 case REF_NOT_MATCHED:
1978 error(_("no such remote ref %s"), sought[i]->name);
1979 break;
1980 case REF_UNADVERTISED_NOT_ALLOWED:
1981 error(_("Server does not allow request for unadvertised object %s"),
1982 sought[i]->name);
1983 break;
1984 }
1985 ret = 1;
1986 }
1987 return ret;
1988 }