sha1_file.c 97.5 KB
Newer Older
1 2 3 4 5 6 7 8 9
/*
 * GIT - The information manager from hell
 *
 * Copyright (C) Linus Torvalds, 2005
 *
 * This handles basic git sha1 object files - packing, unpacking,
 * creation etc.
 */
#include "cache.h"
10
#include "string-list.h"
11
#include "lockfile.h"
12
#include "delta.h"
13
#include "pack.h"
14 15
#include "blob.h"
#include "commit.h"
16
#include "run-command.h"
17 18
#include "tag.h"
#include "tree.h"
19
#include "tree-walk.h"
20
#include "refs.h"
21
#include "pack-revindex.h"
22
#include "sha1-lookup.h"
23
#include "bulk-checkin.h"
24
#include "streaming.h"
25
#include "dir.h"
26
#include "mru.h"
J
Jeff King 已提交
27
#include "list.h"
28
#include "mergesort.h"
J
Jeff King 已提交
29
#include "quote.h"
30

31 32
#define SZ_FMT PRIuMAX
static inline uintmax_t sz_fmt(size_t s) { return s; }
33

34
const unsigned char null_sha1[20];
35
const struct object_id null_oid;
36 37 38 39 40 41
const struct object_id empty_tree_oid = {
	EMPTY_TREE_SHA1_BIN_LITERAL
};
const struct object_id empty_blob_oid = {
	EMPTY_BLOB_SHA1_BIN_LITERAL
};
J
Junio C Hamano 已提交
42

43 44 45 46 47 48 49 50 51 52 53 54 55 56 57
/*
 * This is meant to hold a *small* number of objects that you would
 * want read_sha1_file() to be able to return, but yet you do not want
 * to write them into the object store (e.g. a browse-only
 * application).
 */
static struct cached_object {
	unsigned char sha1[20];
	enum object_type type;
	void *buf;
	unsigned long size;
} *cached_objects;
static int cached_object_nr, cached_object_alloc;

static struct cached_object empty_tree = {
58
	EMPTY_TREE_SHA1_BIN_LITERAL,
59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77
	OBJ_TREE,
	"",
	0
};

static struct cached_object *find_cached_object(const unsigned char *sha1)
{
	int i;
	struct cached_object *co = cached_objects;

	for (i = 0; i < cached_object_nr; i++, co++) {
		if (!hashcmp(co->sha1, sha1))
			return co;
	}
	if (!hashcmp(sha1, empty_tree.sha1))
		return &empty_tree;
	return NULL;
}

78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106
int mkdir_in_gitdir(const char *path)
{
	if (mkdir(path, 0777)) {
		int saved_errno = errno;
		struct stat st;
		struct strbuf sb = STRBUF_INIT;

		if (errno != EEXIST)
			return -1;
		/*
		 * Are we looking at a path in a symlinked worktree
		 * whose original repository does not yet have it?
		 * e.g. .git/rr-cache pointing at its original
		 * repository in which the user hasn't performed any
		 * conflict resolution yet?
		 */
		if (lstat(path, &st) || !S_ISLNK(st.st_mode) ||
		    strbuf_readlink(&sb, path, st.st_size) ||
		    !is_absolute_path(sb.buf) ||
		    mkdir(sb.buf, 0777)) {
			strbuf_release(&sb);
			errno = saved_errno;
			return -1;
		}
		strbuf_release(&sb);
	}
	return adjust_shared_perm(path);
}

107
enum scld_error safe_create_leading_directories(char *path)
108
{
109
	char *next_component = path + offset_1st_component(path);
110
	enum scld_error ret = SCLD_OK;
111

112
	while (ret == SCLD_OK && next_component) {
113
		struct stat st;
114
		char *slash = next_component, slash_character;
115

116 117 118 119
		while (*slash && !is_dir_sep(*slash))
			slash++;

		if (!*slash)
120
			break;
121

122
		next_component = slash + 1;
123
		while (is_dir_sep(*next_component))
124
			next_component++;
125
		if (!*next_component)
126
			break;
127

128
		slash_character = *slash;
129
		*slash = '\0';
130 131
		if (!stat(path, &st)) {
			/* path exists */
132
			if (!S_ISDIR(st.st_mode))
133
				ret = SCLD_EXISTS;
134
		} else if (mkdir(path, 0777)) {
135
			if (errno == EEXIST &&
136
			    !stat(path, &st) && S_ISDIR(st.st_mode))
137
				; /* somebody created it since we checked */
138 139 140 141 142 143 144 145 146 147 148
			else if (errno == ENOENT)
				/*
				 * Either mkdir() failed because
				 * somebody just pruned the containing
				 * directory, or stat() failed because
				 * the file that was in our way was
				 * just removed.  Either way, inform
				 * the caller that it might be worth
				 * trying again:
				 */
				ret = SCLD_VANISHED;
149
			else
150
				ret = SCLD_FAILED;
151
		} else if (adjust_shared_perm(path)) {
152
			ret = SCLD_PERMS;
153
		}
154
		*slash = slash_character;
155
	}
156
	return ret;
157
}
158

159
enum scld_error safe_create_leading_directories_const(const char *path)
160 161 162
{
	/* path points to cache entries, so xstrdup before messing with it */
	char *buf = xstrdup(path);
163
	enum scld_error result = safe_create_leading_directories(buf);
164 165 166 167
	free(buf);
	return result;
}

J
Jeff King 已提交
168
static void fill_sha1_path(struct strbuf *buf, const unsigned char *sha1)
169 170 171 172 173
{
	int i;
	for (i = 0; i < 20; i++) {
		static char hex[] = "0123456789abcdef";
		unsigned int val = sha1[i];
J
Jeff King 已提交
174 175
		strbuf_addch(buf, hex[val >> 4]);
		strbuf_addch(buf, hex[val & 0xf]);
176
		if (!i)
J
Jeff King 已提交
177
			strbuf_addch(buf, '/');
178 179 180
	}
}

181
const char *sha1_file_name(const unsigned char *sha1)
182
{
J
Jeff King 已提交
183
	static struct strbuf buf = STRBUF_INIT;
184

J
Jeff King 已提交
185 186
	strbuf_reset(&buf);
	strbuf_addf(&buf, "%s/", get_object_directory());
187

J
Jeff King 已提交
188 189
	fill_sha1_path(&buf, sha1);
	return buf.buf;
190 191
}

192 193 194 195 196 197
struct strbuf *alt_scratch_buf(struct alternate_object_database *alt)
{
	strbuf_setlen(&alt->scratch, alt->base_len);
	return &alt->scratch;
}

198 199 200
static const char *alt_sha1_path(struct alternate_object_database *alt,
				 const unsigned char *sha1)
{
201
	struct strbuf *buf = alt_scratch_buf(alt);
J
Jeff King 已提交
202
	fill_sha1_path(buf, sha1);
203
	return buf->buf;
204 205
}

206 207 208 209 210
/*
 * Return the name of the pack or index file with the specified sha1
 * in its filename.  *base and *name are scratch space that must be
 * provided by the caller.  which should be "pack" or "idx".
 */
211
static char *sha1_get_pack_name(const unsigned char *sha1,
J
Jeff King 已提交
212 213
				struct strbuf *buf,
				const char *which)
214
{
J
Jeff King 已提交
215 216 217 218
	strbuf_reset(buf);
	strbuf_addf(buf, "%s/pack/pack-%s.%s", get_object_directory(),
		    sha1_to_hex(sha1), which);
	return buf->buf;
219 220
}

221
char *sha1_pack_name(const unsigned char *sha1)
222
{
J
Jeff King 已提交
223 224
	static struct strbuf buf = STRBUF_INIT;
	return sha1_get_pack_name(sha1, &buf, "pack");
225
}
226

227 228
char *sha1_pack_index_name(const unsigned char *sha1)
{
J
Jeff King 已提交
229 230
	static struct strbuf buf = STRBUF_INIT;
	return sha1_get_pack_name(sha1, &buf, "idx");
231 232
}

233 234
struct alternate_object_database *alt_odb_list;
static struct alternate_object_database **alt_odb_tail;
235

236 237 238 239 240 241 242 243 244 245 246 247 248 249 250 251 252 253 254 255
/*
 * Return non-zero iff the path is usable as an alternate object database.
 */
static int alt_odb_usable(struct strbuf *path, const char *normalized_objdir)
{
	struct alternate_object_database *alt;

	/* Detect cases where alternate disappeared */
	if (!is_directory(path->buf)) {
		error("object directory %s does not exist; "
		      "check .git/objects/info/alternates.",
		      path->buf);
		return 0;
	}

	/*
	 * Prevent the common mistake of listing the same
	 * thing twice, or object directory itself.
	 */
	for (alt = alt_odb_list; alt; alt = alt->next) {
256
		if (!fspathcmp(path->buf, alt->path))
257 258 259 260 261 262 263 264
			return 0;
	}
	if (!fspathcmp(path->buf, normalized_objdir))
		return 0;

	return 1;
}

J
Junio C Hamano 已提交
265 266
/*
 * Prepare alternate object database registry.
267 268 269 270 271
 *
 * The variable alt_odb_list points at the list of struct
 * alternate_object_database.  The elements on this list come from
 * non-empty elements from colon separated ALTERNATE_DB_ENVIRONMENT
 * environment variable, and $GIT_OBJECT_DIRECTORY/info/alternates,
272 273
 * whose contents is similar to that environment variable but can be
 * LF separated.  Its base points at a statically allocated buffer that
274 275 276 277 278
 * contains "/the/directory/corresponding/to/.git/objects/...", while
 * its name points just after the slash at the end of ".git/objects/"
 * in the example above, and has enough space to hold 40-byte hex
 * SHA1, an extra slash for the first level indirection, and the
 * terminating NUL.
J
Junio C Hamano 已提交
279
 */
280 281
static int link_alt_odb_entry(const char *entry, const char *relative_base,
	int depth, const char *normalized_objdir)
282
{
M
Martin Waitz 已提交
283
	struct alternate_object_database *ent;
284
	struct strbuf pathbuf = STRBUF_INIT;
285

286
	if (!is_absolute_path(entry) && relative_base) {
287
		strbuf_realpath(&pathbuf, relative_base, 1);
288
		strbuf_addch(&pathbuf, '/');
M
Martin Waitz 已提交
289
	}
290
	strbuf_addstr(&pathbuf, entry);
M
Martin Waitz 已提交
291

292
	if (strbuf_normalize_path(&pathbuf) < 0 && relative_base) {
293 294 295 296 297
		error("unable to normalize alternate object path: %s",
		      pathbuf.buf);
		strbuf_release(&pathbuf);
		return -1;
	}
298 299 300 301 302

	/*
	 * The trailing slash after the directory name is given by
	 * this function at the end. Remove duplicates.
	 */
303 304
	while (pathbuf.len && pathbuf.buf[pathbuf.len - 1] == '/')
		strbuf_setlen(&pathbuf, pathbuf.len - 1);
305

306 307
	if (!alt_odb_usable(&pathbuf, normalized_objdir)) {
		strbuf_release(&pathbuf);
M
Martin Waitz 已提交
308 309 310
		return -1;
	}

311
	ent = alloc_alt_odb(pathbuf.buf);
M
Martin Waitz 已提交
312 313 314 315 316 317 318

	/* add the alternate entry */
	*alt_odb_tail = ent;
	alt_odb_tail = &(ent->next);
	ent->next = NULL;

	/* recursively add alternates */
319
	read_info_alternates(pathbuf.buf, depth + 1);
M
Martin Waitz 已提交
320

321
	strbuf_release(&pathbuf);
M
Martin Waitz 已提交
322 323 324
	return 0;
}

J
Jeff King 已提交
325 326 327 328 329 330 331 332 333 334 335 336 337 338 339 340 341 342 343 344 345 346 347 348 349 350 351 352 353
static const char *parse_alt_odb_entry(const char *string,
				       int sep,
				       struct strbuf *out)
{
	const char *end;

	strbuf_reset(out);

	if (*string == '#') {
		/* comment; consume up to next separator */
		end = strchrnul(string, sep);
	} else if (*string == '"' && !unquote_c_style(out, string, &end)) {
		/*
		 * quoted path; unquote_c_style has copied the
		 * data for us and set "end". Broken quoting (e.g.,
		 * an entry that doesn't end with a quote) falls
		 * back to the unquoted case below.
		 */
	} else {
		/* normal, unquoted path */
		end = strchrnul(string, sep);
		strbuf_add(out, string, end - string);
	}

	if (*end)
		end++;
	return end;
}

354
static void link_alt_odb_entries(const char *alt, int len, int sep,
M
Martin Waitz 已提交
355 356
				 const char *relative_base, int depth)
{
357
	struct strbuf objdirbuf = STRBUF_INIT;
J
Jeff King 已提交
358
	struct strbuf entry = STRBUF_INIT;
M
Martin Waitz 已提交
359 360 361 362 363 364 365

	if (depth > 5) {
		error("%s: ignoring alternate object stores, nesting too deep.",
				relative_base);
		return;
	}

J
Junio C Hamano 已提交
366
	strbuf_add_absolute_path(&objdirbuf, get_object_directory());
367 368 369
	if (strbuf_normalize_path(&objdirbuf) < 0)
		die("unable to normalize object directory: %s",
		    objdirbuf.buf);
370

J
Jeff King 已提交
371 372 373
	while (*alt) {
		alt = parse_alt_odb_entry(alt, sep, &entry);
		if (!entry.len)
374
			continue;
J
Jeff King 已提交
375
		link_alt_odb_entry(entry.buf, relative_base, depth, objdirbuf.buf);
376
	}
J
Jeff King 已提交
377
	strbuf_release(&entry);
378
	strbuf_release(&objdirbuf);
379 380
}

381
void read_info_alternates(const char * relative_base, int depth)
382
{
383
	char *map;
384
	size_t mapsz;
385
	struct stat st;
386
	char *path;
M
Martin Waitz 已提交
387
	int fd;
388

389
	path = xstrfmt("%s/info/alternates", relative_base);
390
	fd = git_open(path);
391
	free(path);
392 393 394 395
	if (fd < 0)
		return;
	if (fstat(fd, &st) || (st.st_size == 0)) {
		close(fd);
396
		return;
397
	}
398 399
	mapsz = xsize_t(st.st_size);
	map = xmmap(NULL, mapsz, PROT_READ, MAP_PRIVATE, fd, 0);
400 401
	close(fd);

402
	link_alt_odb_entries(map, mapsz, '\n', relative_base, depth);
M
Martin Waitz 已提交
403

404
	munmap(map, mapsz);
405 406
}

407 408 409 410
struct alternate_object_database *alloc_alt_odb(const char *dir)
{
	struct alternate_object_database *ent;

411
	FLEX_ALLOC_STR(ent, path, dir);
412 413 414
	strbuf_init(&ent->scratch, 0);
	strbuf_addf(&ent->scratch, "%s/", dir);
	ent->base_len = ent->scratch.len;
415 416 417 418

	return ent;
}

419 420 421
void add_to_alternates_file(const char *reference)
{
	struct lock_file *lock = xcalloc(1, sizeof(struct lock_file));
422 423 424 425 426 427 428 429 430 431 432 433 434
	char *alts = git_pathdup("objects/info/alternates");
	FILE *in, *out;

	hold_lock_file_for_update(lock, alts, LOCK_DIE_ON_ERROR);
	out = fdopen_lock_file(lock, "w");
	if (!out)
		die_errno("unable to fdopen alternates lockfile");

	in = fopen(alts, "r");
	if (in) {
		struct strbuf line = STRBUF_INIT;
		int found = 0;

435
		while (strbuf_getline(&line, in) != EOF) {
436 437 438 439 440 441 442 443 444 445 446 447 448 449 450 451 452 453 454 455 456 457 458 459 460 461
			if (!strcmp(reference, line.buf)) {
				found = 1;
				break;
			}
			fprintf_or_die(out, "%s\n", line.buf);
		}

		strbuf_release(&line);
		fclose(in);

		if (found) {
			rollback_lock_file(lock);
			lock = NULL;
		}
	}
	else if (errno != ENOENT)
		die_errno("unable to read alternates file");

	if (lock) {
		fprintf_or_die(out, "%s\n", reference);
		if (commit_lock_file(lock))
			die_errno("unable to move new alternates file into place");
		if (alt_odb_tail)
			link_alt_odb_entries(reference, strlen(reference), '\n', NULL, 0);
	}
	free(alts);
462 463
}

464 465 466 467 468 469 470 471 472 473 474
void add_to_alternates_memory(const char *reference)
{
	/*
	 * Make sure alternates are initialized, or else our entry may be
	 * overwritten when they are.
	 */
	prepare_alt_odb();

	link_alt_odb_entries(reference, strlen(reference), '\n', NULL, 0);
}

475 476 477 478 479 480 481 482 483 484 485 486 487 488 489 490 491 492 493 494 495 496 497 498 499 500 501 502 503 504 505 506 507 508 509 510 511 512 513 514 515 516 517 518 519 520 521 522 523 524 525 526 527 528 529 530 531 532 533 534 535 536 537 538 539 540 541 542 543 544 545 546 547 548 549 550
/*
 * Compute the exact path an alternate is at and returns it. In case of
 * error NULL is returned and the human readable error is added to `err`
 * `path` may be relative and should point to $GITDIR.
 * `err` must not be null.
 */
char *compute_alternate_path(const char *path, struct strbuf *err)
{
	char *ref_git = NULL;
	const char *repo, *ref_git_s;
	int seen_error = 0;

	ref_git_s = real_path_if_valid(path);
	if (!ref_git_s) {
		seen_error = 1;
		strbuf_addf(err, _("path '%s' does not exist"), path);
		goto out;
	} else
		/*
		 * Beware: read_gitfile(), real_path() and mkpath()
		 * return static buffer
		 */
		ref_git = xstrdup(ref_git_s);

	repo = read_gitfile(ref_git);
	if (!repo)
		repo = read_gitfile(mkpath("%s/.git", ref_git));
	if (repo) {
		free(ref_git);
		ref_git = xstrdup(repo);
	}

	if (!repo && is_directory(mkpath("%s/.git/objects", ref_git))) {
		char *ref_git_git = mkpathdup("%s/.git", ref_git);
		free(ref_git);
		ref_git = ref_git_git;
	} else if (!is_directory(mkpath("%s/objects", ref_git))) {
		struct strbuf sb = STRBUF_INIT;
		seen_error = 1;
		if (get_common_dir(&sb, ref_git)) {
			strbuf_addf(err,
				    _("reference repository '%s' as a linked "
				      "checkout is not supported yet."),
				    path);
			goto out;
		}

		strbuf_addf(err, _("reference repository '%s' is not a "
					"local repository."), path);
		goto out;
	}

	if (!access(mkpath("%s/shallow", ref_git), F_OK)) {
		strbuf_addf(err, _("reference repository '%s' is shallow"),
			    path);
		seen_error = 1;
		goto out;
	}

	if (!access(mkpath("%s/info/grafts", ref_git), F_OK)) {
		strbuf_addf(err,
			    _("reference repository '%s' is grafted"),
			    path);
		seen_error = 1;
		goto out;
	}

out:
	if (seen_error) {
		free(ref_git);
		ref_git = NULL;
	}

	return ref_git;
}

551
int foreach_alt_odb(alt_odb_fn fn, void *cb)
552 553
{
	struct alternate_object_database *ent;
554
	int r = 0;
555 556

	prepare_alt_odb();
557 558 559 560 561 562
	for (ent = alt_odb_list; ent; ent = ent->next) {
		r = fn(ent, cb);
		if (r)
			break;
	}
	return r;
563 564
}

M
Martin Waitz 已提交
565 566
void prepare_alt_odb(void)
{
T
Timo Hirvonen 已提交
567
	const char *alt;
M
Martin Waitz 已提交
568

S
Shawn O. Pearce 已提交
569 570 571
	if (alt_odb_tail)
		return;

M
Martin Waitz 已提交
572 573 574 575
	alt = getenv(ALTERNATE_DB_ENVIRONMENT);
	if (!alt) alt = "";

	alt_odb_tail = &alt_odb_list;
576
	link_alt_odb_entries(alt, strlen(alt), PATH_SEP, NULL, 0);
M
Martin Waitz 已提交
577 578 579 580

	read_info_alternates(get_object_directory(), 0);
}

581
/* Returns 1 if we have successfully freshened the file, 0 otherwise. */
582
static int freshen_file(const char *fn)
583
{
584 585 586
	struct utimbuf t;
	t.actime = t.modtime = time(NULL);
	return !utime(fn, &t);
587
}
588

589 590 591 592 593 594 595
/*
 * All of the check_and_freshen functions return 1 if the file exists and was
 * freshened (if freshening was requested), 0 otherwise. If they return
 * 0, you should not assume that it is safe to skip a write of the object (it
 * either does not exist on disk, or has a stale mtime and may be subject to
 * pruning).
 */
596 597 598 599
static int check_and_freshen_file(const char *fn, int freshen)
{
	if (access(fn, F_OK))
		return 0;
600
	if (freshen && !freshen_file(fn))
601 602 603 604 605 606 607 608 609 610
		return 0;
	return 1;
}

static int check_and_freshen_local(const unsigned char *sha1, int freshen)
{
	return check_and_freshen_file(sha1_file_name(sha1), freshen);
}

static int check_and_freshen_nonlocal(const unsigned char *sha1, int freshen)
611 612
{
	struct alternate_object_database *alt;
613
	prepare_alt_odb();
614
	for (alt = alt_odb_list; alt; alt = alt->next) {
615 616
		const char *path = alt_sha1_path(alt, sha1);
		if (check_and_freshen_file(path, freshen))
617
			return 1;
618
	}
619
	return 0;
620 621
}

622 623 624 625 626 627 628 629 630 631 632
static int check_and_freshen(const unsigned char *sha1, int freshen)
{
	return check_and_freshen_local(sha1, freshen) ||
	       check_and_freshen_nonlocal(sha1, freshen);
}

int has_loose_object_nonlocal(const unsigned char *sha1)
{
	return check_and_freshen_nonlocal(sha1, 0);
}

633 634
static int has_loose_object(const unsigned char *sha1)
{
635
	return check_and_freshen(sha1, 0);
636 637
}

638
static unsigned int pack_used_ctr;
639 640 641
static unsigned int pack_mmap_calls;
static unsigned int peak_pack_open_windows;
static unsigned int pack_open_windows;
642 643
static unsigned int pack_open_fds;
static unsigned int pack_max_fds;
644
static size_t peak_pack_mapped;
645
static size_t pack_mapped;
646
struct packed_git *packed_git;
647

648 649 650
static struct mru packed_git_mru_storage;
struct mru *packed_git_mru = &packed_git_mru_storage;

J
Junio C Hamano 已提交
651
void pack_report(void)
652 653
{
	fprintf(stderr,
654 655 656
		"pack_report: getpagesize()            = %10" SZ_FMT "\n"
		"pack_report: core.packedGitWindowSize = %10" SZ_FMT "\n"
		"pack_report: core.packedGitLimit      = %10" SZ_FMT "\n",
657 658 659
		sz_fmt(getpagesize()),
		sz_fmt(packed_git_window_size),
		sz_fmt(packed_git_limit));
660 661 662 663
	fprintf(stderr,
		"pack_report: pack_used_ctr            = %10u\n"
		"pack_report: pack_mmap_calls          = %10u\n"
		"pack_report: pack_open_windows        = %10u / %10u\n"
664 665
		"pack_report: pack_mapped              = "
			"%10" SZ_FMT " / %10" SZ_FMT "\n",
666 667 668
		pack_used_ctr,
		pack_mmap_calls,
		pack_open_windows, peak_pack_open_windows,
669
		sz_fmt(pack_mapped), sz_fmt(peak_pack_mapped));
670 671
}

672 673 674 675 676 677
/*
 * Open and mmap the index file at path, perform a couple of
 * consistency checks, then record its information to p.  Return 0 on
 * success.
 */
static int check_packed_git_idx(const char *path, struct packed_git *p)
678 679
{
	void *idx_map;
680
	struct pack_idx_header *hdr;
681
	size_t idx_size;
682
	uint32_t version, nr, i, *index;
683
	int fd = git_open(path);
684
	struct stat st;
685

686 687 688 689 690 691
	if (fd < 0)
		return -1;
	if (fstat(fd, &st)) {
		close(fd);
		return -1;
	}
692
	idx_size = xsize_t(st.st_size);
693 694 695 696
	if (idx_size < 4 * 256 + 20 + 20) {
		close(fd);
		return error("index file %s is too small", path);
	}
697
	idx_map = xmmap(NULL, idx_size, PROT_READ, MAP_PRIVATE, fd, 0);
698 699
	close(fd);

700 701
	hdr = idx_map;
	if (hdr->idx_signature == htonl(PACK_IDX_SIGNATURE)) {
702 703 704
		version = ntohl(hdr->idx_version);
		if (version < 2 || version > 2) {
			munmap(idx_map, idx_size);
705
			return error("index file %s is version %"PRIu32
706 707 708 709 710 711
				     " and is not supported by this binary"
				     " (try upgrading GIT to a newer version)",
				     path, version);
		}
	} else
		version = 1;
712

713
	nr = 0;
714
	index = idx_map;
715 716
	if (version > 1)
		index += 2;  /* skip index header */
717
	for (i = 0; i < 256; i++) {
718
		uint32_t n = ntohl(index[i]);
719 720
		if (n < nr) {
			munmap(idx_map, idx_size);
721
			return error("non-monotonic index %s", path);
722
		}
723 724 725
		nr = n;
	}

726 727 728 729 730 731 732 733 734 735
	if (version == 1) {
		/*
		 * Total size:
		 *  - 256 index entries 4 bytes each
		 *  - 24-byte entries * nr (20-byte sha1 + 4-byte offset)
		 *  - 20-byte SHA1 of the packfile
		 *  - 20-byte SHA1 file checksum
		 */
		if (idx_size != 4*256 + nr * 24 + 20 + 20) {
			munmap(idx_map, idx_size);
736
			return error("wrong index v1 file size in %s", path);
737 738 739 740 741 742 743 744 745 746 747 748 749 750 751 752
		}
	} else if (version == 2) {
		/*
		 * Minimum size:
		 *  - 8 bytes of header
		 *  - 256 index entries 4 bytes each
		 *  - 20-byte sha1 entry * nr
		 *  - 4-byte crc entry * nr
		 *  - 4-byte offset entry * nr
		 *  - 20-byte SHA1 of the packfile
		 *  - 20-byte SHA1 file checksum
		 * And after the 4-byte offset table might be a
		 * variable sized table containing 8-byte entries
		 * for offsets larger than 2^31.
		 */
		unsigned long min_size = 8 + 4*256 + nr*(20 + 4 + 4) + 20 + 20;
L
Linus Torvalds 已提交
753 754 755 756
		unsigned long max_size = min_size;
		if (nr)
			max_size += (nr - 1)*8;
		if (idx_size < min_size || idx_size > max_size) {
757
			munmap(idx_map, idx_size);
758
			return error("wrong index v2 file size in %s", path);
759
		}
760 761 762 763 764 765 766 767 768
		if (idx_size != min_size &&
		    /*
		     * make sure we can deal with large pack offsets.
		     * 31-bit signed offset won't be enough, neither
		     * 32-bit unsigned one will be.
		     */
		    (sizeof(off_t) <= 4)) {
			munmap(idx_map, idx_size);
			return error("pack too large for current definition of off_t in %s", path);
769
		}
770
	}
771

772
	p->index_version = version;
773 774
	p->index_data = idx_map;
	p->index_size = idx_size;
N
Nicolas Pitre 已提交
775
	p->num_objects = nr;
776 777 778
	return 0;
}

779
int open_pack_index(struct packed_git *p)
780 781
{
	char *idx_name;
782
	size_t len;
783 784 785 786 787
	int ret;

	if (p->index_data)
		return 0;

788 789 790
	if (!strip_suffix(p->pack_name, ".pack", &len))
		die("BUG: pack_name does not end in .pack");
	idx_name = xstrfmt("%.*s.idx", (int)len, p->pack_name);
791 792 793 794 795
	ret = check_packed_git_idx(idx_name, p);
	free(idx_name);
	return ret;
}

796 797 798 799
static void scan_windows(struct packed_git *p,
	struct packed_git **lru_p,
	struct pack_window **lru_w,
	struct pack_window **lru_l)
800
{
801 802 803 804 805 806 807 808
	struct pack_window *w, *w_l;

	for (w_l = NULL, w = p->windows; w; w = w->next) {
		if (!w->inuse_cnt) {
			if (!*lru_w || w->last_used < (*lru_w)->last_used) {
				*lru_p = p;
				*lru_w = w;
				*lru_l = w_l;
809 810
			}
		}
811
		w_l = w;
812
	}
813 814
}

815
static int unuse_one_window(struct packed_git *current)
816 817 818 819 820 821 822 823
{
	struct packed_git *p, *lru_p = NULL;
	struct pack_window *lru_w = NULL, *lru_l = NULL;

	if (current)
		scan_windows(current, &lru_p, &lru_w, &lru_l);
	for (p = packed_git; p; p = p->next)
		scan_windows(p, &lru_p, &lru_w, &lru_l);
824 825 826 827 828
	if (lru_p) {
		munmap(lru_w->base, lru_w->len);
		pack_mapped -= lru_w->len;
		if (lru_l)
			lru_l->next = lru_w->next;
829
		else
830 831
			lru_p->windows = lru_w->next;
		free(lru_w);
832
		pack_open_windows--;
833 834 835
		return 1;
	}
	return 0;
836 837
}

838
void release_pack_memory(size_t need)
839 840
{
	size_t cur = pack_mapped;
841
	while (need >= (cur - pack_mapped) && unuse_one_window(NULL))
842 843 844
		; /* nothing */
}

845 846 847 848 849 850 851 852 853 854 855 856 857
static void mmap_limit_check(size_t length)
{
	static size_t limit = 0;
	if (!limit) {
		limit = git_env_ulong("GIT_MMAP_LIMIT", 0);
		if (!limit)
			limit = SIZE_MAX;
	}
	if (length > limit)
		die("attempting to mmap %"PRIuMAX" over limit %"PRIuMAX,
		    (uintmax_t)length, (uintmax_t)limit);
}

J
Jeff King 已提交
858 859
void *xmmap_gently(void *start, size_t length,
		  int prot, int flags, int fd, off_t offset)
860
{
861 862 863 864
	void *ret;

	mmap_limit_check(length);
	ret = mmap(start, length, prot, flags, fd, offset);
865 866 867
	if (ret == MAP_FAILED) {
		if (!length)
			return NULL;
868
		release_pack_memory(length);
869 870 871 872 873
		ret = mmap(start, length, prot, flags, fd, offset);
	}
	return ret;
}

J
Jeff King 已提交
874 875 876 877 878
void *xmmap(void *start, size_t length,
	int prot, int flags, int fd, off_t offset)
{
	void *ret = xmmap_gently(start, length, prot, flags, fd, offset);
	if (ret == MAP_FAILED)
J
Junio C Hamano 已提交
879
		die_errno("mmap failed");
J
Jeff King 已提交
880 881 882
	return ret;
}

883 884 885 886 887 888 889 890 891 892 893 894 895 896 897 898
void close_pack_windows(struct packed_git *p)
{
	while (p->windows) {
		struct pack_window *w = p->windows;

		if (w->inuse_cnt)
			die("pack '%s' still has open windows to it",
			    p->pack_name);
		munmap(w->base, w->len);
		pack_mapped -= w->len;
		pack_open_windows--;
		p->windows = w->next;
		free(w);
	}
}

899 900 901 902 903 904 905 906 907 908 909 910
static int close_pack_fd(struct packed_git *p)
{
	if (p->pack_fd < 0)
		return 0;

	close(p->pack_fd);
	pack_open_fds--;
	p->pack_fd = -1;

	return 1;
}

911 912 913 914 915 916 917 918 919 920 921 922 923
static void close_pack(struct packed_git *p)
{
	close_pack_windows(p);
	close_pack_fd(p);
	close_pack_index(p);
}

void close_all_packs(void)
{
	struct packed_git *p;

	for (p = packed_git; p; p = p->next)
		if (p->do_not_close)
924
			die("BUG: want to close pack marked 'do-not-close'");
925 926 927 928 929
		else
			close_pack(p);
}


930 931 932 933 934 935 936 937 938 939 940 941 942 943 944 945 946 947 948 949 950 951 952 953 954 955 956 957 958 959 960 961 962 963 964 965 966 967 968 969 970 971 972 973 974 975 976 977 978 979 980 981 982 983 984 985 986 987 988 989 990 991 992 993 994 995 996
/*
 * The LRU pack is the one with the oldest MRU window, preferring packs
 * with no used windows, or the oldest mtime if it has no windows allocated.
 */
static void find_lru_pack(struct packed_git *p, struct packed_git **lru_p, struct pack_window **mru_w, int *accept_windows_inuse)
{
	struct pack_window *w, *this_mru_w;
	int has_windows_inuse = 0;

	/*
	 * Reject this pack if it has windows and the previously selected
	 * one does not.  If this pack does not have windows, reject
	 * it if the pack file is newer than the previously selected one.
	 */
	if (*lru_p && !*mru_w && (p->windows || p->mtime > (*lru_p)->mtime))
		return;

	for (w = this_mru_w = p->windows; w; w = w->next) {
		/*
		 * Reject this pack if any of its windows are in use,
		 * but the previously selected pack did not have any
		 * inuse windows.  Otherwise, record that this pack
		 * has windows in use.
		 */
		if (w->inuse_cnt) {
			if (*accept_windows_inuse)
				has_windows_inuse = 1;
			else
				return;
		}

		if (w->last_used > this_mru_w->last_used)
			this_mru_w = w;

		/*
		 * Reject this pack if it has windows that have been
		 * used more recently than the previously selected pack.
		 * If the previously selected pack had windows inuse and
		 * we have not encountered a window in this pack that is
		 * inuse, skip this check since we prefer a pack with no
		 * inuse windows to one that has inuse windows.
		 */
		if (*mru_w && *accept_windows_inuse == has_windows_inuse &&
		    this_mru_w->last_used > (*mru_w)->last_used)
			return;
	}

	/*
	 * Select this pack.
	 */
	*mru_w = this_mru_w;
	*lru_p = p;
	*accept_windows_inuse = has_windows_inuse;
}

static int close_one_pack(void)
{
	struct packed_git *p, *lru_p = NULL;
	struct pack_window *mru_w = NULL;
	int accept_windows_inuse = 1;

	for (p = packed_git; p; p = p->next) {
		if (p->pack_fd == -1)
			continue;
		find_lru_pack(p, &lru_p, &mru_w, &accept_windows_inuse);
	}

997 998
	if (lru_p)
		return close_pack_fd(lru_p);
999 1000 1001 1002

	return 0;
}

1003
void unuse_pack(struct pack_window **w_cursor)
1004
{
1005 1006 1007 1008 1009
	struct pack_window *w = *w_cursor;
	if (w) {
		w->inuse_cnt--;
		*w_cursor = NULL;
	}
1010 1011
}

1012 1013 1014 1015 1016 1017 1018 1019
void close_pack_index(struct packed_git *p)
{
	if (p->index_data) {
		munmap((void *)p->index_data, p->index_size);
		p->index_data = NULL;
	}
}

1020 1021 1022
static unsigned int get_max_fd_limit(void)
{
#ifdef RLIMIT_NOFILE
1023 1024
	{
		struct rlimit lim;
1025

1026 1027 1028 1029 1030 1031 1032 1033 1034 1035 1036 1037 1038 1039 1040 1041 1042 1043 1044 1045 1046 1047 1048 1049 1050 1051 1052
		if (!getrlimit(RLIMIT_NOFILE, &lim))
			return lim.rlim_cur;
	}
#endif

#ifdef _SC_OPEN_MAX
	{
		long open_max = sysconf(_SC_OPEN_MAX);
		if (0 < open_max)
			return open_max;
		/*
		 * Otherwise, we got -1 for one of the two
		 * reasons:
		 *
		 * (1) sysconf() did not understand _SC_OPEN_MAX
		 *     and signaled an error with -1; or
		 * (2) sysconf() said there is no limit.
		 *
		 * We _could_ clear errno before calling sysconf() to
		 * tell these two cases apart and return a huge number
		 * in the latter case to let the caller cap it to a
		 * value that is not so selfish, but letting the
		 * fallback OPEN_MAX codepath take care of these cases
		 * is a lot simpler.
		 */
	}
#endif
1053

1054
#ifdef OPEN_MAX
1055 1056 1057 1058 1059 1060
	return OPEN_MAX;
#else
	return 1; /* see the caller ;-) */
#endif
}

1061 1062 1063 1064 1065
/*
 * Do not call this directly as this leaks p->pack_fd on error return;
 * call open_packed_git() instead.
 */
static int open_packed_git_1(struct packed_git *p)
1066
{
1067 1068 1069 1070
	struct stat st;
	struct pack_header hdr;
	unsigned char sha1[20];
	unsigned char *idx_sha1;
1071
	long fd_flag;
1072

1073 1074 1075
	if (!p->index_data && open_pack_index(p))
		return error("packfile %s index unavailable", p->pack_name);

1076
	if (!pack_max_fds) {
1077
		unsigned int max_fds = get_max_fd_limit();
1078 1079 1080 1081 1082 1083 1084 1085

		/* Save 3 for stdin/stdout/stderr, 22 for work */
		if (25 < max_fds)
			pack_max_fds = max_fds - 25;
		else
			pack_max_fds = 1;
	}

1086
	while (pack_max_fds <= pack_open_fds && close_one_pack())
1087 1088
		; /* nothing */

1089
	p->pack_fd = git_open(p->pack_name);
1090
	if (p->pack_fd < 0 || fstat(p->pack_fd, &st))
1091
		return -1;
1092
	pack_open_fds++;
1093 1094

	/* If we created the struct before we had the pack we lack size. */
1095 1096
	if (!p->pack_size) {
		if (!S_ISREG(st.st_mode))
1097
			return error("packfile %s not a regular file", p->pack_name);
1098
		p->pack_size = st.st_size;
1099
	} else if (p->pack_size != st.st_size)
1100
		return error("packfile %s size changed", p->pack_name);
1101

1102 1103 1104 1105 1106
	/* We leave these file descriptors open with sliding mmap;
	 * there is no point keeping them open across exec(), though.
	 */
	fd_flag = fcntl(p->pack_fd, F_GETFD, 0);
	if (fd_flag < 0)
1107
		return error("cannot determine file descriptor flags");
1108 1109
	fd_flag |= FD_CLOEXEC;
	if (fcntl(p->pack_fd, F_SETFD, fd_flag) == -1)
1110
		return error("cannot set FD_CLOEXEC");
1111

1112
	/* Verify we recognize this pack file format. */
1113
	if (read_in_full(p->pack_fd, &hdr, sizeof(hdr)) != sizeof(hdr))
1114
		return error("file %s is far too short to be a packfile", p->pack_name);
1115
	if (hdr.hdr_signature != htonl(PACK_SIGNATURE))
1116
		return error("file %s is not a GIT packfile", p->pack_name);
1117
	if (!pack_version_ok(hdr.hdr_version))
1118 1119
		return error("packfile %s is version %"PRIu32" and not"
			" supported (try upgrading GIT to a newer version)",
1120 1121 1122
			p->pack_name, ntohl(hdr.hdr_version));

	/* Verify the pack matches its index. */
N
Nicolas Pitre 已提交
1123
	if (p->num_objects != ntohl(hdr.hdr_entries))
1124 1125
		return error("packfile %s claims to have %"PRIu32" objects"
			     " while index indicates %"PRIu32" objects",
N
Nicolas Pitre 已提交
1126 1127
			     p->pack_name, ntohl(hdr.hdr_entries),
			     p->num_objects);
1128
	if (lseek(p->pack_fd, p->pack_size - sizeof(sha1), SEEK_SET) == -1)
1129
		return error("end of packfile %s is unavailable", p->pack_name);
1130
	if (read_in_full(p->pack_fd, sha1, sizeof(sha1)) != sizeof(sha1))
1131
		return error("packfile %s signature is unavailable", p->pack_name);
1132
	idx_sha1 = ((unsigned char *)p->index_data) + p->index_size - 40;
1133
	if (hashcmp(sha1, idx_sha1))
1134 1135
		return error("packfile %s does not match index", p->pack_name);
	return 0;
1136 1137
}

1138 1139 1140 1141
static int open_packed_git(struct packed_git *p)
{
	if (!open_packed_git_1(p))
		return 0;
1142
	close_pack_fd(p);
1143 1144 1145
	return -1;
}

1146
static int in_window(struct pack_window *win, off_t offset)
1147 1148 1149 1150 1151 1152 1153 1154 1155 1156 1157 1158
{
	/* We must promise at least 20 bytes (one hash) after the
	 * offset is available from this window, otherwise the offset
	 * is not actually in this window and a different window (which
	 * has that one hash excess) must be used.  This is to support
	 * the object header and delta base parsing routines below.
	 */
	off_t win_off = win->offset;
	return win_off <= offset
		&& (offset + 20) <= (win_off + win->len);
}

1159
unsigned char *use_pack(struct packed_git *p,
1160
		struct pack_window **w_cursor,
1161
		off_t offset,
1162
		unsigned long *left)
1163
{
1164
	struct pack_window *win = *w_cursor;
1165

F
Felipe Contreras 已提交
1166
	/* Since packfiles end in a hash of their content and it's
1167 1168 1169 1170
	 * pointless to ask for an offset into the middle of that
	 * hash, and the in_window function above wouldn't match
	 * don't allow an offset too close to the end of the file.
	 */
1171 1172
	if (!p->pack_size && p->pack_fd == -1 && open_packed_git(p))
		die("packfile %s cannot be accessed", p->pack_name);
1173 1174
	if (offset > (p->pack_size - 20))
		die("offset beyond end of packfile (truncated pack?)");
1175
	if (offset < 0)
1176
		die(_("offset before end of packfile (broken .idx?)"));
1177 1178 1179 1180 1181 1182 1183 1184 1185

	if (!win || !in_window(win, offset)) {
		if (win)
			win->inuse_cnt--;
		for (win = p->windows; win; win = win->next) {
			if (in_window(win, offset))
				break;
		}
		if (!win) {
1186
			size_t window_align = packed_git_window_size / 2;
1187
			off_t len;
1188 1189 1190 1191

			if (p->pack_fd == -1 && open_packed_git(p))
				die("packfile %s cannot be accessed", p->pack_name);

1192
			win = xcalloc(1, sizeof(*win));
1193
			win->offset = (offset / window_align) * window_align;
1194 1195 1196 1197
			len = p->pack_size - win->offset;
			if (len > packed_git_window_size)
				len = packed_git_window_size;
			win->len = (size_t)len;
1198
			pack_mapped += win->len;
1199
			while (packed_git_limit < pack_mapped
1200
				&& unuse_one_window(p))
1201
				; /* nothing */
1202
			win->base = xmmap(NULL, win->len,
1203 1204 1205
				PROT_READ, MAP_PRIVATE,
				p->pack_fd, win->offset);
			if (win->base == MAP_FAILED)
1206 1207
				die_errno("packfile %s cannot be mapped",
					  p->pack_name);
1208
			if (!win->offset && win->len == p->pack_size
1209 1210
				&& !p->do_not_close)
				close_pack_fd(p);
1211 1212 1213 1214 1215 1216
			pack_mmap_calls++;
			pack_open_windows++;
			if (pack_mapped > peak_pack_mapped)
				peak_pack_mapped = pack_mapped;
			if (pack_open_windows > peak_pack_open_windows)
				peak_pack_open_windows = pack_open_windows;
1217 1218 1219
			win->next = p->windows;
			p->windows = win;
		}
1220
	}
1221 1222 1223 1224 1225
	if (win != *w_cursor) {
		win->last_used = pack_used_ctr++;
		win->inuse_cnt++;
		*w_cursor = win;
	}
1226
	offset -= win->offset;
1227
	if (left)
1228
		*left = win->len - xsize_t(offset);
1229
	return win->base + offset;
1230 1231
}

1232 1233
static struct packed_git *alloc_packed_git(int extra)
{
1234
	struct packed_git *p = xmalloc(st_add(sizeof(*p), extra));
1235 1236 1237 1238 1239
	memset(p, 0, sizeof(*p));
	p->pack_fd = -1;
	return p;
}

1240 1241
static void try_to_free_pack_memory(size_t size)
{
1242
	release_pack_memory(size);
1243 1244
}

1245
struct packed_git *add_packed_git(const char *path, size_t path_len, int local)
1246
{
1247
	static int have_set_try_to_free_routine;
1248
	struct stat st;
1249 1250
	size_t alloc;
	struct packed_git *p;
1251

1252 1253 1254 1255 1256
	if (!have_set_try_to_free_routine) {
		have_set_try_to_free_routine = 1;
		set_try_to_free_routine(try_to_free_pack_memory);
	}

1257 1258 1259 1260
	/*
	 * Make sure a corresponding .pack file exists and that
	 * the index looks sane.
	 */
1261
	if (!strip_suffix_mem(path, &path_len, ".idx"))
1262
		return NULL;
1263 1264 1265 1266 1267

	/*
	 * ".pack" is long enough to hold any suffix we're adding (and
	 * the use xsnprintf double-checks that)
	 */
1268
	alloc = st_add3(path_len, strlen(".pack"), 1);
1269
	p = alloc_packed_git(alloc);
1270
	memcpy(p->pack_name, path, path_len);
1271

1272
	xsnprintf(p->pack_name + path_len, alloc - path_len, ".keep");
1273 1274 1275
	if (!access(p->pack_name, F_OK))
		p->pack_keep = 1;

1276
	xsnprintf(p->pack_name + path_len, alloc - path_len, ".pack");
1277
	if (stat(p->pack_name, &st) || !S_ISREG(st.st_mode)) {
1278
		free(p);
1279 1280
		return NULL;
	}
1281

1282 1283 1284 1285
	/* ok, it looks sane as far as we can check without
	 * actually mapping the pack file.
	 */
	p->pack_size = st.st_size;
1286
	p->pack_local = local;
1287
	p->mtime = st.st_mtime;
1288 1289
	if (path_len < 40 || get_sha1_hex(path + path_len - 40, p->sha1))
		hashclr(p->sha1);
1290 1291 1292
	return p;
}

1293
struct packed_git *parse_pack_index(unsigned char *sha1, const char *idx_path)
1294
{
1295
	const char *path = sha1_pack_name(sha1);
1296
	size_t alloc = st_add(strlen(path), 1);
1297
	struct packed_git *p = alloc_packed_git(alloc);
1298

1299
	memcpy(p->pack_name, path, alloc); /* includes NUL */
1300
	hashcpy(p->sha1, sha1);
1301 1302
	if (check_packed_git_idx(idx_path, p)) {
		free(p);
1303
		return NULL;
1304
	}
1305 1306 1307 1308 1309 1310

	return p;
}

void install_packed_git(struct packed_git *pack)
{
1311 1312 1313
	if (pack->pack_fd != -1)
		pack_open_fds++;

1314 1315 1316 1317
	pack->next = packed_git;
	packed_git = pack;
}

1318
void (*report_garbage)(unsigned seen_bits, const char *path);
1319 1320 1321 1322

static void report_helper(const struct string_list *list,
			  int seen_bits, int first, int last)
{
1323
	if (seen_bits == (PACKDIR_FILE_PACK|PACKDIR_FILE_IDX))
1324
		return;
1325

1326
	for (; first < last; first++)
1327
		report_garbage(seen_bits, list->items[first].string);
1328 1329 1330 1331 1332 1333 1334 1335 1336
}

static void report_pack_garbage(struct string_list *list)
{
	int i, baselen = -1, first = 0, seen_bits = 0;

	if (!report_garbage)
		return;

1337
	string_list_sort(list);
1338 1339 1340 1341 1342 1343 1344 1345 1346 1347 1348 1349

	for (i = 0; i < list->nr; i++) {
		const char *path = list->items[i].string;
		if (baselen != -1 &&
		    strncmp(path, list->items[first].string, baselen)) {
			report_helper(list, seen_bits, first, i);
			baselen = -1;
			seen_bits = 0;
		}
		if (baselen == -1) {
			const char *dot = strrchr(path, '.');
			if (!dot) {
1350
				report_garbage(PACKDIR_FILE_GARBAGE, path);
1351 1352 1353 1354 1355 1356 1357 1358 1359 1360 1361 1362 1363
				continue;
			}
			baselen = dot - path + 1;
			first = i;
		}
		if (!strcmp(path + baselen, "pack"))
			seen_bits |= 1;
		else if (!strcmp(path + baselen, "idx"))
			seen_bits |= 2;
	}
	report_helper(list, seen_bits, first, list->nr);
}

1364
static void prepare_packed_git_one(char *objdir, int local)
1365
{
1366 1367
	struct strbuf path = STRBUF_INIT;
	size_t dirnamelen;
1368 1369
	DIR *dir;
	struct dirent *de;
1370
	struct string_list garbage = STRING_LIST_INIT_DUP;
1371

1372 1373 1374
	strbuf_addstr(&path, objdir);
	strbuf_addstr(&path, "/pack");
	dir = opendir(path.buf);
1375
	if (!dir) {
J
Junio C Hamano 已提交
1376
		if (errno != ENOENT)
1377 1378
			error_errno("unable to open object pack directory: %s",
				    path.buf);
1379
		strbuf_release(&path);
1380
		return;
1381
	}
1382 1383
	strbuf_addch(&path, '/');
	dirnamelen = path.len;
1384 1385
	while ((de = readdir(dir)) != NULL) {
		struct packed_git *p;
1386
		size_t base_len;
1387 1388

		if (is_dot_or_dotdot(de->d_name))
1389 1390
			continue;

1391 1392
		strbuf_setlen(&path, dirnamelen);
		strbuf_addstr(&path, de->d_name);
1393

1394 1395
		base_len = path.len;
		if (strip_suffix_mem(path.buf, &base_len, ".idx")) {
1396 1397
			/* Don't reopen a pack we already have. */
			for (p = packed_git; p; p = p->next) {
1398 1399 1400 1401
				size_t len;
				if (strip_suffix(p->pack_name, ".pack", &len) &&
				    len == base_len &&
				    !memcmp(p->pack_name, path.buf, len))
1402 1403 1404 1405 1406 1407 1408
					break;
			}
			if (p == NULL &&
			    /*
			     * See if it really is a valid .idx file with
			     * corresponding .pack file that we can map.
			     */
1409
			    (p = add_packed_git(path.buf, path.len, local)) != NULL)
1410
				install_packed_git(p);
1411
		}
1412 1413 1414 1415

		if (!report_garbage)
			continue;

J
Jeff King 已提交
1416 1417 1418 1419
		if (ends_with(de->d_name, ".idx") ||
		    ends_with(de->d_name, ".pack") ||
		    ends_with(de->d_name, ".bitmap") ||
		    ends_with(de->d_name, ".keep"))
1420
			string_list_append(&garbage, path.buf);
1421
		else
1422
			report_garbage(PACKDIR_FILE_GARBAGE, path.buf);
1423
	}
1424
	closedir(dir);
1425 1426
	report_pack_garbage(&garbage);
	string_list_clear(&garbage, 0);
1427
	strbuf_release(&path);
1428 1429
}

1430 1431 1432 1433 1434 1435 1436 1437 1438 1439 1440 1441 1442 1443 1444 1445 1446 1447 1448 1449 1450 1451 1452 1453 1454 1455
static int approximate_object_count_valid;

/*
 * Give a fast, rough count of the number of objects in the repository. This
 * ignores loose objects completely. If you have a lot of them, then either
 * you should repack because your performance will be awful, or they are
 * all unreachable objects about to be pruned, in which case they're not really
 * interesting as a measure of repo size in the first place.
 */
unsigned long approximate_object_count(void)
{
	static unsigned long count;
	if (!approximate_object_count_valid) {
		struct packed_git *p;

		prepare_packed_git();
		count = 0;
		for (p = packed_git; p; p = p->next) {
			if (open_pack_index(p))
				continue;
			count += p->num_objects;
		}
	}
	return count;
}

1456 1457 1458 1459 1460 1461 1462 1463 1464 1465
static void *get_next_packed_git(const void *p)
{
	return ((const struct packed_git *)p)->next;
}

static void set_next_packed_git(void *p, void *next)
{
	((struct packed_git *)p)->next = next;
}

1466 1467
static int sort_pack(const void *a_, const void *b_)
{
1468 1469
	const struct packed_git *a = a_;
	const struct packed_git *b = b_;
1470 1471 1472 1473 1474 1475 1476 1477 1478 1479 1480 1481 1482 1483 1484 1485 1486 1487 1488 1489 1490 1491 1492 1493 1494 1495
	int st;

	/*
	 * Local packs tend to contain objects specific to our
	 * variant of the project than remote ones.  In addition,
	 * remote ones could be on a network mounted filesystem.
	 * Favor local ones for these reasons.
	 */
	st = a->pack_local - b->pack_local;
	if (st)
		return -st;

	/*
	 * Younger packs tend to contain more recent objects,
	 * and more recent objects tend to get accessed more
	 * often.
	 */
	if (a->mtime < b->mtime)
		return 1;
	else if (a->mtime == b->mtime)
		return 0;
	return -1;
}

static void rearrange_packed_git(void)
{
1496 1497
	packed_git = llist_mergesort(packed_git, get_next_packed_git,
				     set_next_packed_git, sort_pack);
1498 1499
}

1500 1501 1502 1503 1504 1505 1506 1507 1508
static void prepare_packed_git_mru(void)
{
	struct packed_git *p;

	mru_clear(packed_git_mru);
	for (p = packed_git; p; p = p->next)
		mru_append(packed_git_mru, p);
}

1509
static int prepare_packed_git_run_once = 0;
1510
void prepare_packed_git(void)
1511
{
1512
	struct alternate_object_database *alt;
1513

1514
	if (prepare_packed_git_run_once)
1515
		return;
1516
	prepare_packed_git_one(get_object_directory(), 1);
1517
	prepare_alt_odb();
1518 1519
	for (alt = alt_odb_list; alt; alt = alt->next)
		prepare_packed_git_one(alt->path, 0);
1520
	rearrange_packed_git();
1521
	prepare_packed_git_mru();
1522 1523 1524
	prepare_packed_git_run_once = 1;
}

1525
void reprepare_packed_git(void)
1526
{
1527
	approximate_object_count_valid = 0;
1528 1529
	prepare_packed_git_run_once = 0;
	prepare_packed_git();
1530 1531
}

1532 1533 1534 1535 1536
static void mark_bad_packed_object(struct packed_git *p,
				   const unsigned char *sha1)
{
	unsigned i;
	for (i = 0; i < p->num_bad_objects; i++)
1537
		if (!hashcmp(sha1, p->bad_object_sha1 + GIT_SHA1_RAWSZ * i))
1538
			return;
1539 1540 1541 1542
	p->bad_object_sha1 = xrealloc(p->bad_object_sha1,
				      st_mult(GIT_SHA1_RAWSZ,
					      st_add(p->num_bad_objects, 1)));
	hashcpy(p->bad_object_sha1 + GIT_SHA1_RAWSZ * p->num_bad_objects, sha1);
1543 1544 1545
	p->num_bad_objects++;
}

1546
static const struct packed_git *has_packed_and_bad(const unsigned char *sha1)
1547 1548 1549 1550 1551 1552 1553
{
	struct packed_git *p;
	unsigned i;

	for (p = packed_git; p; p = p->next)
		for (i = 0; i < p->num_bad_objects; i++)
			if (!hashcmp(sha1, p->bad_object_sha1 + 20 * i))
1554 1555
				return p;
	return NULL;
1556 1557
}

1558 1559 1560 1561 1562 1563 1564 1565
/*
 * With an in-core object data in "map", rehash it to make sure the
 * object name actually matches "sha1" to detect object corruption.
 * With "map" == NULL, try reading the object named with "sha1" using
 * the streaming interface and rehash it to do the same.
 */
int check_sha1_signature(const unsigned char *sha1, void *map,
			 unsigned long size, const char *type)
1566 1567
{
	unsigned char real_sha1[20];
1568 1569 1570 1571 1572 1573 1574 1575 1576 1577 1578 1579 1580 1581 1582 1583
	enum object_type obj_type;
	struct git_istream *st;
	git_SHA_CTX c;
	char hdr[32];
	int hdrlen;

	if (map) {
		hash_sha1_file(map, size, type, real_sha1);
		return hashcmp(sha1, real_sha1) ? -1 : 0;
	}

	st = open_istream(sha1, &obj_type, &size, NULL);
	if (!st)
		return -1;

	/* Generate the header */
1584
	hdrlen = xsnprintf(hdr, sizeof(hdr), "%s %lu", typename(obj_type), size) + 1;
1585 1586 1587 1588 1589 1590 1591 1592

	/* Sha1.. */
	git_SHA1_Init(&c);
	git_SHA1_Update(&c, hdr, hdrlen);
	for (;;) {
		char buf[1024 * 16];
		ssize_t readlen = read_istream(st, buf, sizeof(buf));

1593 1594 1595 1596
		if (readlen < 0) {
			close_istream(st);
			return -1;
		}
1597 1598 1599 1600 1601 1602
		if (!readlen)
			break;
		git_SHA1_Update(&c, buf, readlen);
	}
	git_SHA1_Final(real_sha1, &c);
	close_istream(st);
1603
	return hashcmp(sha1, real_sha1) ? -1 : 0;
1604 1605
}

1606
int git_open_cloexec(const char *name, int flags)
1607
{
1608 1609
	int fd;
	static int o_cloexec = O_CLOEXEC;
1610

1611 1612
	fd = open(name, flags | o_cloexec);
	if ((o_cloexec & O_CLOEXEC) && fd < 0 && errno == EINVAL) {
1613
		/* Try again w/o O_CLOEXEC: the kernel might not support it */
1614 1615
		o_cloexec &= ~O_CLOEXEC;
		fd = open(name, flags | o_cloexec);
1616
	}
1617

1618 1619 1620 1621 1622 1623 1624 1625 1626
#if defined(F_GETFL) && defined(F_SETFL) && defined(FD_CLOEXEC)
	{
		static int fd_cloexec = FD_CLOEXEC;

		if (!o_cloexec && 0 <= fd && fd_cloexec) {
			/* Opened w/o O_CLOEXEC?  try with fcntl(2) to add it */
			int flags = fcntl(fd, F_GETFL);
			if (fcntl(fd, F_SETFL, flags | fd_cloexec))
				fd_cloexec = 0;
1627
		}
1628
	}
1629
#endif
1630
	return fd;
1631 1632
}

1633 1634 1635 1636 1637 1638 1639 1640 1641 1642
/*
 * Find "sha1" as a loose object in the local repository or in an alternate.
 * Returns 0 on success, negative on failure.
 *
 * The "path" out-parameter will give the path of the object we found (if any).
 * Note that it may point to static storage and is only valid until another
 * call to sha1_file_name(), etc.
 */
static int stat_sha1_file(const unsigned char *sha1, struct stat *st,
			  const char **path)
1643 1644 1645
{
	struct alternate_object_database *alt;

1646 1647
	*path = sha1_file_name(sha1);
	if (!lstat(*path, st))
1648 1649 1650 1651 1652
		return 0;

	prepare_alt_odb();
	errno = ENOENT;
	for (alt = alt_odb_list; alt; alt = alt->next) {
1653 1654
		*path = alt_sha1_path(alt, sha1);
		if (!lstat(*path, st))
1655 1656 1657 1658 1659 1660
			return 0;
	}

	return -1;
}

1661 1662 1663 1664 1665
/*
 * Like stat_sha1_file(), but actually open the object and return the
 * descriptor. See the caveats on the "path" parameter above.
 */
static int open_sha1_file(const unsigned char *sha1, const char **path)
1666 1667 1668
{
	int fd;
	struct alternate_object_database *alt;
1669
	int most_interesting_errno;
1670

1671 1672
	*path = sha1_file_name(sha1);
	fd = git_open(*path);
1673 1674
	if (fd >= 0)
		return fd;
1675
	most_interesting_errno = errno;
1676 1677 1678

	prepare_alt_odb();
	for (alt = alt_odb_list; alt; alt = alt->next) {
1679 1680
		*path = alt_sha1_path(alt, sha1);
		fd = git_open(*path);
1681 1682
		if (fd >= 0)
			return fd;
1683 1684
		if (most_interesting_errno == ENOENT)
			most_interesting_errno = errno;
1685
	}
1686
	errno = most_interesting_errno;
1687 1688 1689
	return -1;
}

1690 1691 1692 1693 1694 1695 1696
/*
 * Map the loose object at "path" if it is not NULL, or the path found by
 * searching for a loose object named "sha1".
 */
static void *map_sha1_file_1(const char *path,
			     const unsigned char *sha1,
			     unsigned long *size)
1697 1698
{
	void *map;
1699
	int fd;
1700

1701 1702 1703 1704
	if (path)
		fd = git_open(path);
	else
		fd = open_sha1_file(sha1, &path);
1705 1706 1707
	map = NULL;
	if (fd >= 0) {
		struct stat st;
1708

1709 1710
		if (!fstat(fd, &st)) {
			*size = xsize_t(st.st_size);
1711 1712
			if (!*size) {
				/* mmap() is forbidden on empty files */
1713
				error("object file %s is empty", path);
1714 1715
				return NULL;
			}
1716
			map = xmmap(NULL, *size, PROT_READ, MAP_PRIVATE, fd, 0);
1717
		}
1718
		close(fd);
1719 1720 1721 1722
	}
	return map;
}

1723 1724 1725 1726 1727
void *map_sha1_file(const unsigned char *sha1, unsigned long *size)
{
	return map_sha1_file_1(NULL, sha1, size);
}

1728 1729
unsigned long unpack_object_header_buffer(const unsigned char *buf,
		unsigned long len, enum object_type *type, unsigned long *sizep)
1730
{
1731
	unsigned shift;
1732
	unsigned long size, c;
1733 1734 1735 1736 1737 1738 1739
	unsigned long used = 0;

	c = buf[used++];
	*type = (c >> 4) & 7;
	size = c & 15;
	shift = 4;
	while (c & 0x80) {
1740
		if (len <= used || bitsizeof(long) <= shift) {
1741
			error("bad object header");
1742 1743
			size = used = 0;
			break;
1744
		}
1745 1746 1747 1748 1749 1750 1751 1752
		c = buf[used++];
		size += (c & 0x7f) << shift;
		shift += 7;
	}
	*sizep = size;
	return used;
}

1753 1754 1755
static int unpack_sha1_short_header(git_zstream *stream,
				    unsigned char *map, unsigned long mapsize,
				    void *buffer, unsigned long bufsiz)
1756
{
1757 1758 1759 1760 1761
	/* Get the data stream */
	memset(stream, 0, sizeof(*stream));
	stream->next_in = map;
	stream->avail_in = mapsize;
	stream->next_out = buffer;
1762 1763
	stream->avail_out = bufsiz;

1764
	git_inflate_init(stream);
1765
	return git_inflate(stream, 0);
1766 1767
}

1768 1769 1770 1771 1772 1773 1774 1775 1776 1777 1778 1779 1780 1781 1782 1783
int unpack_sha1_header(git_zstream *stream,
		       unsigned char *map, unsigned long mapsize,
		       void *buffer, unsigned long bufsiz)
{
	int status = unpack_sha1_short_header(stream, map, mapsize,
					      buffer, bufsiz);

	if (status < Z_OK)
		return status;

	/* Make sure we have the terminating NUL */
	if (!memchr(buffer, '\0', stream->next_out - (unsigned char *)buffer))
		return -1;
	return 0;
}

1784 1785 1786 1787 1788 1789
static int unpack_sha1_header_to_strbuf(git_zstream *stream, unsigned char *map,
					unsigned long mapsize, void *buffer,
					unsigned long bufsiz, struct strbuf *header)
{
	int status;

1790 1791 1792
	status = unpack_sha1_short_header(stream, map, mapsize, buffer, bufsiz);
	if (status < Z_OK)
		return -1;
1793 1794 1795 1796 1797 1798 1799 1800 1801 1802 1803 1804 1805 1806 1807 1808 1809 1810 1811 1812 1813 1814 1815 1816 1817 1818 1819

	/*
	 * Check if entire header is unpacked in the first iteration.
	 */
	if (memchr(buffer, '\0', stream->next_out - (unsigned char *)buffer))
		return 0;

	/*
	 * buffer[0..bufsiz] was not large enough.  Copy the partial
	 * result out to header, and then append the result of further
	 * reading the stream.
	 */
	strbuf_add(header, buffer, stream->next_out - (unsigned char *)buffer);
	stream->next_out = buffer;
	stream->avail_out = bufsiz;

	do {
		status = git_inflate(stream, 0);
		strbuf_add(header, buffer, stream->next_out - (unsigned char *)buffer);
		if (memchr(buffer, '\0', stream->next_out - (unsigned char *)buffer))
			return 0;
		stream->next_out = buffer;
		stream->avail_out = bufsiz;
	} while (status != Z_STREAM_END);
	return -1;
}

1820
static void *unpack_sha1_rest(git_zstream *stream, void *buffer, unsigned long size, const unsigned char *sha1)
1821 1822
{
	int bytes = strlen(buffer) + 1;
1823
	unsigned char *buf = xmallocz(size);
1824
	unsigned long n;
1825
	int status = Z_OK;
1826

1827 1828 1829 1830 1831
	n = stream->total_out - bytes;
	if (n > size)
		n = size;
	memcpy(buf, (char *) buffer + bytes, n);
	bytes = n;
1832 1833 1834 1835
	if (bytes <= size) {
		/*
		 * The above condition must be (bytes <= size), not
		 * (bytes < size).  In other words, even though we
J
Junio C Hamano 已提交
1836
		 * expect no more output and set avail_out to zero,
1837 1838 1839 1840 1841 1842 1843 1844 1845
		 * the input zlib stream may have bytes that express
		 * "this concludes the stream", and we *do* want to
		 * eat that input.
		 *
		 * Otherwise we would not be able to test that we
		 * consumed all the input to reach the expected size;
		 * we also want to check that zlib tells us that all
		 * went well with status == Z_STREAM_END at the end.
		 */
1846 1847
		stream->next_out = buf + bytes;
		stream->avail_out = size - bytes;
1848
		while (status == Z_OK)
1849
			status = git_inflate(stream, Z_FINISH);
1850
	}
1851
	if (status == Z_STREAM_END && !stream->avail_in) {
1852
		git_inflate_end(stream);
1853 1854 1855 1856 1857 1858 1859 1860 1861 1862
		return buf;
	}

	if (status < 0)
		error("corrupt loose object '%s'", sha1_to_hex(sha1));
	else if (stream->avail_in)
		error("garbage at end of loose object '%s'",
		      sha1_to_hex(sha1));
	free(buf);
	return NULL;
1863 1864 1865 1866 1867 1868 1869
}

/*
 * We used to just use "sscanf()", but that's actually way
 * too permissive for what we want to check. So do an anal
 * object header parse by hand.
 */
1870 1871
static int parse_sha1_header_extended(const char *hdr, struct object_info *oi,
			       unsigned int flags)
1872
{
1873
	const char *type_buf = hdr;
1874
	unsigned long size;
1875
	int type, type_len = 0;
1876 1877

	/*
1878
	 * The type can be of any size but is followed by
1879
	 * a space.
1880 1881 1882
	 */
	for (;;) {
		char c = *hdr++;
1883 1884
		if (!c)
			return -1;
1885 1886
		if (c == ' ')
			break;
1887
		type_len++;
1888
	}
1889 1890 1891 1892 1893 1894

	type = type_from_string_gently(type_buf, type_len, 1);
	if (oi->typename)
		strbuf_add(oi->typename, type_buf, type_len);
	/*
	 * Set type to 0 if its an unknown object and
V
Ville Skyttä 已提交
1895
	 * we're obtaining the type using '--allow-unknown-type'
1896 1897 1898 1899 1900 1901 1902 1903
	 * option.
	 */
	if ((flags & LOOKUP_UNKNOWN_OBJECT) && (type < 0))
		type = 0;
	else if (type < 0)
		die("invalid object type");
	if (oi->typep)
		*oi->typep = type;
1904 1905 1906 1907 1908 1909 1910 1911 1912 1913 1914 1915 1916 1917 1918 1919 1920

	/*
	 * The length must follow immediately, and be in canonical
	 * decimal format (ie "010" is not valid).
	 */
	size = *hdr++ - '0';
	if (size > 9)
		return -1;
	if (size) {
		for (;;) {
			unsigned long c = *hdr - '0';
			if (c > 9)
				break;
			hdr++;
			size = size * 10 + c;
		}
	}
1921 1922 1923

	if (oi->sizep)
		*oi->sizep = size;
1924 1925 1926 1927

	/*
	 * The length must be followed by a zero byte
	 */
1928 1929 1930 1931 1932
	return *hdr ? -1 : type;
}

int parse_sha1_header(const char *hdr, unsigned long *sizep)
{
1933
	struct object_info oi = OBJECT_INFO_INIT;
1934 1935 1936

	oi.sizep = sizep;
	return parse_sha1_header_extended(hdr, &oi, LOOKUP_REPLACE_OBJECT);
1937 1938
}

1939
static void *unpack_sha1_file(void *map, unsigned long mapsize, enum object_type *type, unsigned long *size, const unsigned char *sha1)
1940
{
1941
	int ret;
1942
	git_zstream stream;
1943
	char hdr[8192];
1944

1945
	ret = unpack_sha1_header(&stream, map, mapsize, hdr, sizeof(hdr));
1946
	if (ret < Z_OK || (*type = parse_sha1_header(hdr, size)) < 0)
1947 1948
		return NULL;

1949
	return unpack_sha1_rest(&stream, hdr, *size, sha1);
1950 1951
}

N
Nicolas Pitre 已提交
1952 1953 1954 1955 1956 1957
unsigned long get_size_from_delta(struct packed_git *p,
				  struct pack_window **w_curs,
			          off_t curpos)
{
	const unsigned char *data;
	unsigned char delta_head[20], *in;
1958
	git_zstream stream;
N
Nicolas Pitre 已提交
1959 1960 1961 1962 1963 1964
	int st;

	memset(&stream, 0, sizeof(stream));
	stream.next_out = delta_head;
	stream.avail_out = sizeof(delta_head);

1965
	git_inflate_init(&stream);
N
Nicolas Pitre 已提交
1966 1967 1968
	do {
		in = use_pack(p, w_curs, curpos, &stream.avail_in);
		stream.next_in = in;
1969
		st = git_inflate(&stream, Z_FINISH);
N
Nicolas Pitre 已提交
1970 1971 1972
		curpos += stream.next_in - in;
	} while ((st == Z_OK || st == Z_BUF_ERROR) &&
		 stream.total_out < sizeof(delta_head));
1973
	git_inflate_end(&stream);
1974 1975 1976 1977
	if ((st != Z_STREAM_END) && stream.total_out != sizeof(delta_head)) {
		error("delta data unpack-initial failed");
		return 0;
	}
N
Nicolas Pitre 已提交
1978 1979 1980 1981 1982 1983 1984 1985 1986 1987 1988 1989 1990

	/* Examine the initial part of the delta to figure out
	 * the result size.
	 */
	data = delta_head;

	/* ignore base size */
	get_delta_hdr_size(&data, delta_head+sizeof(delta_head));

	/* Read the result size */
	return get_delta_hdr_size(&data, delta_head+sizeof(delta_head));
}

1991
static off_t get_delta_base(struct packed_git *p,
1992
				    struct pack_window **w_curs,
1993
				    off_t *curpos,
1994
				    enum object_type type,
1995
				    off_t delta_obj_offset)
1996
{
1997
	unsigned char *base_info = use_pack(p, w_curs, *curpos, NULL);
1998
	off_t base_offset;
1999

2000 2001 2002 2003 2004 2005
	/* use_pack() assured us we have [base_info, base_info + 20)
	 * as a range that we can look at without walking off the
	 * end of the mapped window.  Its actually the hash size
	 * that is assured.  An OFS_DELTA longer than the hash size
	 * is stupid, as then a REF_DELTA would be smaller to store.
	 */
2006
	if (type == OBJ_OFS_DELTA) {
2007 2008 2009 2010 2011
		unsigned used = 0;
		unsigned char c = base_info[used++];
		base_offset = c & 127;
		while (c & 128) {
			base_offset += 1;
2012
			if (!base_offset || MSB(base_offset, 7))
2013
				return 0;  /* overflow */
2014 2015 2016 2017
			c = base_info[used++];
			base_offset = (base_offset << 7) + (c & 127);
		}
		base_offset = delta_obj_offset - base_offset;
2018
		if (base_offset <= 0 || base_offset >= delta_obj_offset)
2019
			return 0;  /* out of bound */
2020
		*curpos += used;
2021
	} else if (type == OBJ_REF_DELTA) {
2022 2023
		/* The base entry _must_ be in the same pack */
		base_offset = find_pack_entry_one(base_info, p);
2024
		*curpos += 20;
2025 2026
	} else
		die("I am totally screwed");
2027
	return base_offset;
2028 2029
}

2030 2031 2032 2033 2034 2035 2036 2037 2038 2039 2040 2041 2042 2043 2044 2045 2046 2047 2048 2049 2050 2051 2052 2053 2054 2055 2056 2057 2058 2059 2060 2061
/*
 * Like get_delta_base above, but we return the sha1 instead of the pack
 * offset. This means it is cheaper for REF deltas (we do not have to do
 * the final object lookup), but more expensive for OFS deltas (we
 * have to load the revidx to convert the offset back into a sha1).
 */
static const unsigned char *get_delta_base_sha1(struct packed_git *p,
						struct pack_window **w_curs,
						off_t curpos,
						enum object_type type,
						off_t delta_obj_offset)
{
	if (type == OBJ_REF_DELTA) {
		unsigned char *base = use_pack(p, w_curs, curpos, NULL);
		return base;
	} else if (type == OBJ_OFS_DELTA) {
		struct revindex_entry *revidx;
		off_t base_offset = get_delta_base(p, w_curs, &curpos,
						   type, delta_obj_offset);

		if (!base_offset)
			return NULL;

		revidx = find_pack_revindex(p, base_offset);
		if (!revidx)
			return NULL;

		return nth_packed_object_sha1(p, revidx->nr);
	} else
		return NULL;
}

2062 2063 2064 2065
int unpack_object_header(struct packed_git *p,
			 struct pack_window **w_curs,
			 off_t *curpos,
			 unsigned long *sizep)
2066
{
2067
	unsigned char *base;
2068
	unsigned long left;
2069
	unsigned long used;
2070
	enum object_type type;
2071

2072
	/* use_pack() assures us we have [base, base + 20) available
2073
	 * as a range that we can look at.  (Its actually the hash
P
Pavel Roskin 已提交
2074
	 * size that is assured.)  With our object header encoding
2075 2076 2077
	 * the maximum deflated object size is 2^137, which is just
	 * insane, so we know won't exceed what we have been given.
	 */
2078
	base = use_pack(p, w_curs, *curpos, &left);
2079 2080 2081 2082 2083
	used = unpack_object_header_buffer(base, left, &type, sizep);
	if (!used) {
		type = OBJ_BAD;
	} else
		*curpos += used;
2084

2085
	return type;
2086 2087
}

2088 2089 2090 2091 2092 2093 2094 2095 2096 2097 2098 2099 2100 2101 2102 2103 2104 2105
static int retry_bad_packed_offset(struct packed_git *p, off_t obj_offset)
{
	int type;
	struct revindex_entry *revidx;
	const unsigned char *sha1;
	revidx = find_pack_revindex(p, obj_offset);
	if (!revidx)
		return OBJ_BAD;
	sha1 = nth_packed_object_sha1(p, revidx->nr);
	mark_bad_packed_object(p, sha1);
	type = sha1_object_info(sha1, NULL);
	if (type <= OBJ_NONE)
		return OBJ_BAD;
	return type;
}

#define POI_STACK_PREALLOC 64

2106 2107 2108 2109 2110
static enum object_type packed_to_object_type(struct packed_git *p,
					      off_t obj_offset,
					      enum object_type type,
					      struct pack_window **w_curs,
					      off_t curpos)
2111
{
2112 2113 2114
	off_t small_poi_stack[POI_STACK_PREALLOC];
	off_t *poi_stack = small_poi_stack;
	int poi_stack_nr = 0, poi_stack_alloc = POI_STACK_PREALLOC;
2115

2116 2117
	while (type == OBJ_OFS_DELTA || type == OBJ_REF_DELTA) {
		off_t base_offset;
2118
		unsigned long size;
2119 2120 2121
		/* Push the object we're going to leave behind */
		if (poi_stack_nr >= poi_stack_alloc && poi_stack == small_poi_stack) {
			poi_stack_alloc = alloc_nr(poi_stack_nr);
J
Jeff King 已提交
2122
			ALLOC_ARRAY(poi_stack, poi_stack_alloc);
2123 2124 2125 2126 2127 2128
			memcpy(poi_stack, small_poi_stack, sizeof(off_t)*poi_stack_nr);
		} else {
			ALLOC_GROW(poi_stack, poi_stack_nr+1, poi_stack_alloc);
		}
		poi_stack[poi_stack_nr++] = obj_offset;
		/* If parsing the base offset fails, just unwind */
2129
		base_offset = get_delta_base(p, w_curs, &curpos, type, obj_offset);
2130 2131 2132
		if (!base_offset)
			goto unwind;
		curpos = obj_offset = base_offset;
2133
		type = unpack_object_header(p, w_curs, &curpos, &size);
2134 2135 2136 2137 2138 2139 2140 2141 2142 2143
		if (type <= OBJ_NONE) {
			/* If getting the base itself fails, we first
			 * retry the base, otherwise unwind */
			type = retry_bad_packed_offset(p, base_offset);
			if (type > OBJ_NONE)
				goto out;
			goto unwind;
		}
	}

2144
	switch (type) {
2145
	case OBJ_BAD:
2146 2147 2148 2149
	case OBJ_COMMIT:
	case OBJ_TREE:
	case OBJ_BLOB:
	case OBJ_TAG:
2150
		break;
2151
	default:
2152 2153 2154
		error("unknown object type %i at offset %"PRIuMAX" in %s",
		      type, (uintmax_t)obj_offset, p->pack_name);
		type = OBJ_BAD;
2155
	}
2156 2157 2158 2159

out:
	if (poi_stack != small_poi_stack)
		free(poi_stack);
2160
	return type;
2161 2162 2163 2164 2165 2166 2167 2168 2169 2170

unwind:
	while (poi_stack_nr) {
		obj_offset = poi_stack[--poi_stack_nr];
		type = retry_bad_packed_offset(p, obj_offset);
		if (type > OBJ_NONE)
			goto out;
	}
	type = OBJ_BAD;
	goto out;
2171 2172
}

2173 2174
int packed_object_info(struct packed_git *p, off_t obj_offset,
		       struct object_info *oi)
2175 2176 2177 2178 2179 2180
{
	struct pack_window *w_curs = NULL;
	unsigned long size;
	off_t curpos = obj_offset;
	enum object_type type;

2181 2182 2183 2184
	/*
	 * We always get the representation type, but only convert it to
	 * a "real" type later if the caller is interested.
	 */
2185 2186
	type = unpack_object_header(p, &w_curs, &curpos, &size);

2187
	if (oi->sizep) {
2188 2189 2190 2191 2192 2193 2194 2195
		if (type == OBJ_OFS_DELTA || type == OBJ_REF_DELTA) {
			off_t tmp_pos = curpos;
			off_t base_offset = get_delta_base(p, &w_curs, &tmp_pos,
							   type, obj_offset);
			if (!base_offset) {
				type = OBJ_BAD;
				goto out;
			}
2196 2197
			*oi->sizep = get_size_from_delta(p, &w_curs, tmp_pos);
			if (*oi->sizep == 0) {
2198 2199 2200 2201
				type = OBJ_BAD;
				goto out;
			}
		} else {
2202
			*oi->sizep = size;
2203 2204 2205
		}
	}

2206
	if (oi->disk_sizep) {
2207
		struct revindex_entry *revidx = find_pack_revindex(p, obj_offset);
2208
		*oi->disk_sizep = revidx[1].offset - obj_offset;
2209 2210
	}

2211 2212 2213
	if (oi->typep) {
		*oi->typep = packed_to_object_type(p, obj_offset, type, &w_curs, curpos);
		if (*oi->typep < 0) {
2214 2215 2216 2217
			type = OBJ_BAD;
			goto out;
		}
	}
2218

2219 2220 2221 2222 2223 2224 2225 2226 2227 2228 2229 2230 2231 2232 2233 2234
	if (oi->delta_base_sha1) {
		if (type == OBJ_OFS_DELTA || type == OBJ_REF_DELTA) {
			const unsigned char *base;

			base = get_delta_base_sha1(p, &w_curs, curpos,
						   type, obj_offset);
			if (!base) {
				type = OBJ_BAD;
				goto out;
			}

			hashcpy(oi->delta_base_sha1, base);
		} else
			hashclr(oi->delta_base_sha1);
	}

2235 2236 2237 2238 2239
out:
	unuse_pack(&w_curs);
	return type;
}

2240
static void *unpack_compressed_entry(struct packed_git *p,
2241
				    struct pack_window **w_curs,
2242
				    off_t curpos,
2243
				    unsigned long size)
2244 2245
{
	int st;
2246
	git_zstream stream;
2247
	unsigned char *buffer, *in;
2248

2249 2250 2251
	buffer = xmallocz_gently(size);
	if (!buffer)
		return NULL;
2252 2253
	memset(&stream, 0, sizeof(stream));
	stream.next_out = buffer;
2254
	stream.avail_out = size + 1;
2255

2256
	git_inflate_init(&stream);
2257
	do {
2258
		in = use_pack(p, w_curs, curpos, &stream.avail_in);
2259
		stream.next_in = in;
2260
		st = git_inflate(&stream, Z_FINISH);
2261 2262
		if (!stream.avail_out)
			break; /* the payload is larger than it should be */
2263
		curpos += stream.next_in - in;
2264
	} while (st == Z_OK || st == Z_BUF_ERROR);
2265
	git_inflate_end(&stream);
2266 2267 2268 2269 2270 2271 2272 2273
	if ((st != Z_STREAM_END) || stream.total_out != size) {
		free(buffer);
		return NULL;
	}

	return buffer;
}

J
Jeff King 已提交
2274
static struct hashmap delta_base_cache;
2275
static size_t delta_base_cached;
2276

J
Jeff King 已提交
2277
static LIST_HEAD(delta_base_cache_lru);
2278

J
Jeff King 已提交
2279
struct delta_base_cache_key {
2280 2281
	struct packed_git *p;
	off_t base_offset;
J
Jeff King 已提交
2282 2283 2284 2285 2286 2287 2288
};

struct delta_base_cache_entry {
	struct hashmap hash;
	struct delta_base_cache_key key;
	struct list_head lru;
	void *data;
2289 2290
	unsigned long size;
	enum object_type type;
J
Jeff King 已提交
2291
};
2292

J
Jeff King 已提交
2293
static unsigned int pack_entry_hash(struct packed_git *p, off_t base_offset)
2294
{
J
Jeff King 已提交
2295
	unsigned int hash;
2296

J
Jeff King 已提交
2297
	hash = (unsigned int)(intptr_t)p + (unsigned int)base_offset;
2298
	hash += (hash >> 8) + (hash >> 16);
J
Jeff King 已提交
2299
	return hash;
2300 2301
}

2302 2303
static struct delta_base_cache_entry *
get_delta_base_cache_entry(struct packed_git *p, off_t base_offset)
2304
{
J
Jeff King 已提交
2305 2306 2307 2308 2309 2310 2311 2312 2313 2314 2315 2316 2317 2318 2319 2320
	struct hashmap_entry entry;
	struct delta_base_cache_key key;

	if (!delta_base_cache.cmpfn)
		return NULL;

	hashmap_entry_init(&entry, pack_entry_hash(p, base_offset));
	key.p = p;
	key.base_offset = base_offset;
	return hashmap_get(&delta_base_cache, &entry, &key);
}

static int delta_base_cache_key_eq(const struct delta_base_cache_key *a,
				   const struct delta_base_cache_key *b)
{
	return a->p == b->p && a->base_offset == b->base_offset;
2321 2322
}

J
Jeff King 已提交
2323 2324
static int delta_base_cache_hash_cmp(const void *va, const void *vb,
				     const void *vkey)
2325
{
J
Jeff King 已提交
2326 2327 2328 2329 2330 2331
	const struct delta_base_cache_entry *a = va, *b = vb;
	const struct delta_base_cache_key *key = vkey;
	if (key)
		return !delta_base_cache_key_eq(&a->key, key);
	else
		return !delta_base_cache_key_eq(&a->key, &b->key);
2332 2333
}

2334 2335
static int in_delta_base_cache(struct packed_git *p, off_t base_offset)
{
J
Jeff King 已提交
2336
	return !!get_delta_base_cache_entry(p, base_offset);
2337 2338
}

2339 2340 2341 2342 2343 2344
/*
 * Remove the entry from the cache, but do _not_ free the associated
 * entry data. The caller takes ownership of the "data" buffer, and
 * should copy out any fields it wants before detaching.
 */
static void detach_delta_base_cache_entry(struct delta_base_cache_entry *ent)
2345
{
J
Jeff King 已提交
2346
	hashmap_remove(&delta_base_cache, ent, &ent->key);
J
Jeff King 已提交
2347
	list_del(&ent->lru);
2348
	delta_base_cached -= ent->size;
J
Jeff King 已提交
2349
	free(ent);
2350 2351
}

2352
static void *cache_or_unpack_entry(struct packed_git *p, off_t base_offset,
2353
	unsigned long *base_size, enum object_type *type)
2354
{
2355
	struct delta_base_cache_entry *ent;
2356

2357
	ent = get_delta_base_cache_entry(p, base_offset);
J
Jeff King 已提交
2358
	if (!ent)
2359
		return unpack_entry(p, base_offset, type, base_size);
2360 2361 2362

	*type = ent->type;
	*base_size = ent->size;
2363
	return xmemdupz(ent->data, ent->size);
2364 2365
}

2366 2367
static inline void release_delta_base_cache(struct delta_base_cache_entry *ent)
{
J
Jeff King 已提交
2368 2369
	free(ent->data);
	detach_delta_base_cache_entry(ent);
2370 2371
}

2372 2373
void clear_delta_base_cache(void)
{
2374 2375 2376 2377
	struct list_head *lru, *tmp;
	list_for_each_safe(lru, tmp, &delta_base_cache_lru) {
		struct delta_base_cache_entry *entry =
			list_entry(lru, struct delta_base_cache_entry, lru);
J
Jeff King 已提交
2378 2379
		release_delta_base_cache(entry);
	}
2380 2381
}

2382 2383 2384
static void add_delta_base_cache(struct packed_git *p, off_t base_offset,
	void *base, unsigned long base_size, enum object_type type)
{
J
Jeff King 已提交
2385
	struct delta_base_cache_entry *ent = xmalloc(sizeof(*ent));
2386
	struct list_head *lru, *tmp;
2387

2388
	delta_base_cached += base_size;
2389

2390
	list_for_each_safe(lru, tmp, &delta_base_cache_lru) {
J
Jeff King 已提交
2391 2392 2393 2394
		struct delta_base_cache_entry *f =
			list_entry(lru, struct delta_base_cache_entry, lru);
		if (delta_base_cached <= delta_base_cache_limit)
			break;
2395 2396
		release_delta_base_cache(f);
	}
2397

J
Jeff King 已提交
2398 2399
	ent->key.p = p;
	ent->key.base_offset = base_offset;
2400 2401 2402
	ent->type = type;
	ent->data = base;
	ent->size = base_size;
J
Jeff King 已提交
2403
	list_add_tail(&ent->lru, &delta_base_cache_lru);
J
Jeff King 已提交
2404 2405 2406 2407 2408

	if (!delta_base_cache.cmpfn)
		hashmap_init(&delta_base_cache, delta_base_cache_hash_cmp, 0);
	hashmap_entry_init(ent, pack_entry_hash(p, base_offset));
	hashmap_add(&delta_base_cache, ent);
2409 2410
}

2411 2412 2413
static void *read_object(const unsigned char *sha1, enum object_type *type,
			 unsigned long *size);

2414 2415
static void write_pack_access_log(struct packed_git *p, off_t obj_offset)
{
2416 2417 2418
	static struct trace_key pack_access = TRACE_KEY_INIT(PACK_ACCESS);
	trace_printf_key(&pack_access, "%s %"PRIuMAX"\n",
			 p->pack_name, (uintmax_t)obj_offset);
2419 2420
}

2421 2422
int do_check_packed_object_crc;

2423 2424 2425 2426 2427 2428 2429
#define UNPACK_ENTRY_STACK_PREALLOC 64
struct unpack_entry_stack_ent {
	off_t obj_offset;
	off_t curpos;
	unsigned long size;
};

2430
void *unpack_entry(struct packed_git *p, off_t obj_offset,
2431
		   enum object_type *final_type, unsigned long *final_size)
2432
{
2433
	struct pack_window *w_curs = NULL;
2434
	off_t curpos = obj_offset;
2435 2436 2437 2438 2439 2440 2441
	void *data = NULL;
	unsigned long size;
	enum object_type type;
	struct unpack_entry_stack_ent small_delta_stack[UNPACK_ENTRY_STACK_PREALLOC];
	struct unpack_entry_stack_ent *delta_stack = small_delta_stack;
	int delta_stack_nr = 0, delta_stack_alloc = UNPACK_ENTRY_STACK_PREALLOC;
	int base_from_cache = 0;
2442

2443
	write_pack_access_log(p, obj_offset);
2444

2445 2446 2447 2448 2449 2450
	/* PHASE 1: drill down to the innermost base object */
	for (;;) {
		off_t base_offset;
		int i;
		struct delta_base_cache_entry *ent;

2451
		ent = get_delta_base_cache_entry(p, curpos);
J
Jeff King 已提交
2452
		if (ent) {
2453 2454 2455
			type = ent->type;
			data = ent->data;
			size = ent->size;
2456
			detach_delta_base_cache_entry(ent);
2457 2458 2459 2460
			base_from_cache = 1;
			break;
		}

2461 2462
		if (do_check_packed_object_crc && p->index_version > 1) {
			struct revindex_entry *revidx = find_pack_revindex(p, obj_offset);
2463
			off_t len = revidx[1].offset - obj_offset;
2464 2465 2466 2467 2468 2469 2470 2471 2472 2473 2474 2475 2476 2477 2478 2479 2480 2481 2482 2483 2484 2485 2486 2487 2488 2489 2490 2491 2492
			if (check_pack_crc(p, &w_curs, obj_offset, len, revidx->nr)) {
				const unsigned char *sha1 =
					nth_packed_object_sha1(p, revidx->nr);
				error("bad packed object CRC for %s",
				      sha1_to_hex(sha1));
				mark_bad_packed_object(p, sha1);
				unuse_pack(&w_curs);
				return NULL;
			}
		}

		type = unpack_object_header(p, &w_curs, &curpos, &size);
		if (type != OBJ_OFS_DELTA && type != OBJ_REF_DELTA)
			break;

		base_offset = get_delta_base(p, &w_curs, &curpos, type, obj_offset);
		if (!base_offset) {
			error("failed to validate delta base reference "
			      "at offset %"PRIuMAX" from %s",
			      (uintmax_t)curpos, p->pack_name);
			/* bail to phase 2, in hopes of recovery */
			data = NULL;
			break;
		}

		/* push object, proceed to base */
		if (delta_stack_nr >= delta_stack_alloc
		    && delta_stack == small_delta_stack) {
			delta_stack_alloc = alloc_nr(delta_stack_nr);
J
Jeff King 已提交
2493
			ALLOC_ARRAY(delta_stack, delta_stack_alloc);
2494 2495 2496 2497 2498 2499 2500 2501 2502 2503 2504
			memcpy(delta_stack, small_delta_stack,
			       sizeof(*delta_stack)*delta_stack_nr);
		} else {
			ALLOC_GROW(delta_stack, delta_stack_nr+1, delta_stack_alloc);
		}
		i = delta_stack_nr++;
		delta_stack[i].obj_offset = obj_offset;
		delta_stack[i].curpos = curpos;
		delta_stack[i].size = size;

		curpos = obj_offset = base_offset;
2505 2506
	}

2507 2508
	/* PHASE 2: handle the base */
	switch (type) {
2509 2510
	case OBJ_OFS_DELTA:
	case OBJ_REF_DELTA:
2511
		if (data)
2512
			die("BUG: unpack_entry: left loop at a valid delta");
2513
		break;
2514 2515 2516 2517
	case OBJ_COMMIT:
	case OBJ_TREE:
	case OBJ_BLOB:
	case OBJ_TAG:
2518 2519
		if (!base_from_cache)
			data = unpack_compressed_entry(p, &w_curs, curpos, size);
2520
		break;
2521
	default:
2522 2523
		data = NULL;
		error("unknown object type %i at offset %"PRIuMAX" in %s",
2524 2525 2526 2527 2528 2529 2530 2531 2532 2533 2534 2535 2536 2537 2538 2539 2540 2541 2542 2543 2544 2545 2546 2547 2548 2549 2550 2551 2552 2553 2554 2555 2556 2557 2558 2559 2560 2561 2562 2563 2564 2565 2566 2567 2568 2569 2570 2571 2572 2573 2574 2575 2576 2577 2578 2579 2580 2581 2582 2583 2584
		      type, (uintmax_t)obj_offset, p->pack_name);
	}

	/* PHASE 3: apply deltas in order */

	/* invariants:
	 *   'data' holds the base data, or NULL if there was corruption
	 */
	while (delta_stack_nr) {
		void *delta_data;
		void *base = data;
		unsigned long delta_size, base_size = size;
		int i;

		data = NULL;

		if (base)
			add_delta_base_cache(p, obj_offset, base, base_size, type);

		if (!base) {
			/*
			 * We're probably in deep shit, but let's try to fetch
			 * the required base anyway from another pack or loose.
			 * This is costly but should happen only in the presence
			 * of a corrupted pack, and is better than failing outright.
			 */
			struct revindex_entry *revidx;
			const unsigned char *base_sha1;
			revidx = find_pack_revindex(p, obj_offset);
			if (revidx) {
				base_sha1 = nth_packed_object_sha1(p, revidx->nr);
				error("failed to read delta base object %s"
				      " at offset %"PRIuMAX" from %s",
				      sha1_to_hex(base_sha1), (uintmax_t)obj_offset,
				      p->pack_name);
				mark_bad_packed_object(p, base_sha1);
				base = read_object(base_sha1, &type, &base_size);
			}
		}

		i = --delta_stack_nr;
		obj_offset = delta_stack[i].obj_offset;
		curpos = delta_stack[i].curpos;
		delta_size = delta_stack[i].size;

		if (!base)
			continue;

		delta_data = unpack_compressed_entry(p, &w_curs, curpos, delta_size);

		if (!delta_data) {
			error("failed to unpack compressed delta "
			      "at offset %"PRIuMAX" from %s",
			      (uintmax_t)curpos, p->pack_name);
			data = NULL;
			continue;
		}

		data = patch_delta(base, base_size,
				   delta_data, delta_size,
				   &size);
2585 2586 2587 2588 2589 2590 2591 2592 2593

		/*
		 * We could not apply the delta; warn the user, but keep going.
		 * Our failure will be noticed either in the next iteration of
		 * the loop, or if this is the final delta, in the caller when
		 * we return NULL. Those code paths will take care of making
		 * a more explicit warning and retrying with another copy of
		 * the object.
		 */
2594
		if (!data)
2595
			error("failed to apply delta");
2596

2597
		free(delta_data);
2598
	}
2599 2600 2601 2602

	*final_type = type;
	*final_size = size;

2603
	unuse_pack(&w_curs);
2604 2605 2606 2607

	if (delta_stack != small_delta_stack)
		free(delta_stack);

2608
	return data;
2609 2610
}

2611
const unsigned char *nth_packed_object_sha1(struct packed_git *p,
2612
					    uint32_t n)
2613
{
2614
	const unsigned char *index = p->index_data;
2615 2616 2617 2618 2619
	if (!index) {
		if (open_pack_index(p))
			return NULL;
		index = p->index_data;
	}
N
Nicolas Pitre 已提交
2620
	if (n >= p->num_objects)
2621
		return NULL;
2622 2623 2624 2625 2626 2627 2628 2629 2630
	index += 4 * 256;
	if (p->index_version == 1) {
		return index + 24 * n + 4;
	} else {
		index += 8;
		return index + 20 * n;
	}
}

2631 2632 2633 2634 2635 2636
void check_pack_index_ptr(const struct packed_git *p, const void *vptr)
{
	const unsigned char *ptr = vptr;
	const unsigned char *start = p->index_data;
	const unsigned char *end = start + p->index_size;
	if (ptr < start)
2637
		die(_("offset before start of pack index for %s (corrupt index?)"),
2638 2639 2640
		    p->pack_name);
	/* No need to check for underflow; .idx files must be at least 8 bytes */
	if (ptr >= end - 8)
2641
		die(_("offset beyond end of pack index for %s (truncated index?)"),
2642 2643 2644
		    p->pack_name);
}

N
Nicolas Pitre 已提交
2645
off_t nth_packed_object_offset(const struct packed_git *p, uint32_t n)
2646 2647 2648 2649 2650 2651 2652 2653 2654 2655 2656 2657
{
	const unsigned char *index = p->index_data;
	index += 4 * 256;
	if (p->index_version == 1) {
		return ntohl(*((uint32_t *)(index + 24 * n)));
	} else {
		uint32_t off;
		index += 8 + p->num_objects * (20 + 4);
		off = ntohl(*((uint32_t *)(index + 4 * n)));
		if (!(off & 0x80000000))
			return off;
		index += p->num_objects * 4 + (off & 0x7fffffff) * 8;
2658
		check_pack_index_ptr(p, index);
2659 2660 2661
		return (((uint64_t)ntohl(*((uint32_t *)(index + 0)))) << 32) |
				   ntohl(*((uint32_t *)(index + 4)));
	}
2662 2663
}

2664
off_t find_pack_entry_one(const unsigned char *sha1,
N
Nicolas Pitre 已提交
2665
				  struct packed_git *p)
2666
{
2667 2668
	const uint32_t *level1_ofs = p->index_data;
	const unsigned char *index = p->index_data;
2669 2670 2671 2672 2673 2674
	unsigned hi, lo, stride;
	static int use_lookup = -1;
	static int debug_lookup = -1;

	if (debug_lookup < 0)
		debug_lookup = !!getenv("GIT_DEBUG_LOOKUP");
2675

2676 2677 2678 2679 2680 2681
	if (!index) {
		if (open_pack_index(p))
			return 0;
		level1_ofs = p->index_data;
		index = p->index_data;
	}
2682 2683 2684 2685
	if (p->index_version > 1) {
		level1_ofs += 2;
		index += 8;
	}
2686
	index += 4 * 256;
2687 2688
	hi = ntohl(level1_ofs[*sha1]);
	lo = ((*sha1 == 0x0) ? 0 : ntohl(level1_ofs[*sha1 - 1]));
2689 2690 2691 2692 2693 2694 2695 2696
	if (p->index_version > 1) {
		stride = 20;
	} else {
		stride = 24;
		index += 4;
	}

	if (debug_lookup)
2697
		printf("%02x%02x%02x... lo %u hi %u nr %"PRIu32"\n",
2698 2699 2700 2701 2702 2703 2704 2705 2706 2707 2708
		       sha1[0], sha1[1], sha1[2], lo, hi, p->num_objects);

	if (use_lookup < 0)
		use_lookup = !!getenv("GIT_USE_LOOKUP");
	if (use_lookup) {
		int pos = sha1_entry_pos(index, stride, 0,
					 lo, hi, p->num_objects, sha1);
		if (pos < 0)
			return 0;
		return nth_packed_object_offset(p, pos);
	}
2709 2710

	do {
2711
		unsigned mi = (lo + hi) / 2;
2712 2713 2714 2715 2716
		int cmp = hashcmp(index + mi * stride, sha1);

		if (debug_lookup)
			printf("lo %u hi %u rg %u mi %u\n",
			       lo, hi, hi - lo, mi);
N
Nicolas Pitre 已提交
2717
		if (!cmp)
2718
			return nth_packed_object_offset(p, mi);
2719 2720 2721 2722 2723 2724 2725 2726
		if (cmp > 0)
			hi = mi;
		else
			lo = mi+1;
	} while (lo < hi);
	return 0;
}

2727
int is_pack_valid(struct packed_git *p)
2728 2729 2730 2731 2732 2733 2734 2735 2736 2737 2738 2739 2740 2741 2742 2743 2744 2745 2746 2747
{
	/* An already open pack is known to be valid. */
	if (p->pack_fd != -1)
		return 1;

	/* If the pack has one window completely covering the
	 * file size, the pack is known to be valid even if
	 * the descriptor is not currently open.
	 */
	if (p->windows) {
		struct pack_window *w = p->windows;

		if (!w->offset && w->len == p->pack_size)
			return 1;
	}

	/* Force the pack to open to prove its valid. */
	return !open_packed_git(p);
}

2748 2749 2750 2751 2752 2753 2754 2755 2756 2757 2758 2759 2760 2761 2762 2763 2764 2765 2766 2767 2768 2769 2770 2771
static int fill_pack_entry(const unsigned char *sha1,
			   struct pack_entry *e,
			   struct packed_git *p)
{
	off_t offset;

	if (p->num_bad_objects) {
		unsigned i;
		for (i = 0; i < p->num_bad_objects; i++)
			if (!hashcmp(sha1, p->bad_object_sha1 + 20 * i))
				return 0;
	}

	offset = find_pack_entry_one(sha1, p);
	if (!offset)
		return 0;

	/*
	 * We are about to tell the caller where they can locate the
	 * requested object.  We better make sure the packfile is
	 * still here and can be accessed before supplying that
	 * answer, as it may have been deleted since the index was
	 * loaded!
	 */
2772
	if (!is_pack_valid(p))
2773 2774 2775 2776 2777 2778 2779
		return 0;
	e->offset = offset;
	e->p = p;
	hashcpy(e->sha1, sha1);
	return 1;
}

2780 2781 2782 2783
/*
 * Iff a pack file contains the object named by sha1, return true and
 * store its location to e.
 */
2784
static int find_pack_entry(const unsigned char *sha1, struct pack_entry *e)
2785
{
2786
	struct mru_entry *p;
N
Nicolas Pitre 已提交
2787

2788
	prepare_packed_git();
2789 2790
	if (!packed_git)
		return 0;
2791

2792 2793 2794
	for (p = packed_git_mru->head; p; p = p->next) {
		if (fill_pack_entry(sha1, e, p->item)) {
			mru_mark(packed_git_mru, p);
2795 2796
			return 1;
		}
2797
	}
2798 2799 2800
	return 0;
}

J
Junio C Hamano 已提交
2801
struct packed_git *find_sha1_pack(const unsigned char *sha1,
2802 2803 2804 2805 2806
				  struct packed_git *packs)
{
	struct packed_git *p;

	for (p = packs; p; p = p->next) {
N
Nicolas Pitre 已提交
2807
		if (find_pack_entry_one(sha1, p))
2808 2809 2810
			return p;
	}
	return NULL;
2811

2812 2813
}

2814
static int sha1_loose_object_info(const unsigned char *sha1,
2815 2816
				  struct object_info *oi,
				  int flags)
2817
{
2818 2819
	int status = 0;
	unsigned long mapsize;
2820
	void *map;
2821
	git_zstream stream;
N
Nicolas Pitre 已提交
2822
	char hdr[32];
2823
	struct strbuf hdrbuf = STRBUF_INIT;
2824

2825 2826 2827
	if (oi->delta_base_sha1)
		hashclr(oi->delta_base_sha1);

2828 2829
	/*
	 * If we don't care about type or size, then we don't
2830 2831 2832 2833 2834
	 * need to look inside the object at all. Note that we
	 * do not optimize out the stat call, even if the
	 * caller doesn't care about the disk-size, since our
	 * return value implicitly indicates whether the
	 * object even exists.
2835
	 */
2836
	if (!oi->typep && !oi->typename && !oi->sizep) {
2837
		const char *path;
2838
		struct stat st;
2839
		if (stat_sha1_file(sha1, &st, &path) < 0)
2840 2841
			return -1;
		if (oi->disk_sizep)
2842
			*oi->disk_sizep = st.st_size;
2843 2844 2845
		return 0;
	}

2846
	map = map_sha1_file(sha1, &mapsize);
2847
	if (!map)
2848
		return -1;
2849 2850
	if (oi->disk_sizep)
		*oi->disk_sizep = mapsize;
2851 2852 2853 2854 2855
	if ((flags & LOOKUP_UNKNOWN_OBJECT)) {
		if (unpack_sha1_header_to_strbuf(&stream, map, mapsize, hdr, sizeof(hdr), &hdrbuf) < 0)
			status = error("unable to unpack %s header with --allow-unknown-type",
				       sha1_to_hex(sha1));
	} else if (unpack_sha1_header(&stream, map, mapsize, hdr, sizeof(hdr)) < 0)
2856 2857
		status = error("unable to unpack %s header",
			       sha1_to_hex(sha1));
2858 2859 2860 2861 2862 2863 2864
	if (status < 0)
		; /* Do nothing */
	else if (hdrbuf.len) {
		if ((status = parse_sha1_header_extended(hdrbuf.buf, oi, flags)) < 0)
			status = error("unable to parse %s header with --allow-unknown-type",
				       sha1_to_hex(sha1));
	} else if ((status = parse_sha1_header_extended(hdr, oi, flags)) < 0)
2865
		status = error("unable to parse %s header", sha1_to_hex(sha1));
2866
	git_inflate_end(&stream);
2867
	munmap(map, mapsize);
2868
	if (status && oi->typep)
2869
		*oi->typep = status;
2870
	strbuf_release(&hdrbuf);
2871
	return 0;
2872 2873
}

2874
int sha1_object_info_extended(const unsigned char *sha1, struct object_info *oi, unsigned flags)
2875
{
2876
	struct cached_object *co;
2877
	struct pack_entry e;
2878
	int rtype;
2879
	enum object_type real_type;
2880
	const unsigned char *real = lookup_replace_object_extended(sha1, flags);
2881

2882
	co = find_cached_object(real);
2883
	if (co) {
2884 2885
		if (oi->typep)
			*(oi->typep) = co->type;
2886 2887
		if (oi->sizep)
			*(oi->sizep) = co->size;
2888 2889
		if (oi->disk_sizep)
			*(oi->disk_sizep) = 0;
2890 2891
		if (oi->delta_base_sha1)
			hashclr(oi->delta_base_sha1);
2892 2893
		if (oi->typename)
			strbuf_addstr(oi->typename, typename(co->type));
2894
		oi->whence = OI_CACHED;
2895
		return 0;
2896 2897
	}

2898
	if (!find_pack_entry(real, &e)) {
2899
		/* Most likely it's a loose object. */
2900
		if (!sha1_loose_object_info(real, oi, flags)) {
2901
			oi->whence = OI_LOOSE;
2902
			return 0;
2903
		}
2904 2905

		/* Not a loose object; someone else may have just packed it. */
2906
		reprepare_packed_git();
2907
		if (!find_pack_entry(real, &e))
2908
			return -1;
2909
	}
2910

2911 2912 2913 2914 2915 2916 2917
	/*
	 * packed_object_info() does not follow the delta chain to
	 * find out the real type, unless it is given oi->typep.
	 */
	if (oi->typename && !oi->typep)
		oi->typep = &real_type;

2918
	rtype = packed_object_info(e.p, e.offset, oi);
2919
	if (rtype < 0) {
2920
		mark_bad_packed_object(e.p, real);
2921 2922
		if (oi->typep == &real_type)
			oi->typep = NULL;
2923
		return sha1_object_info_extended(real, oi, 0);
2924 2925
	} else if (in_delta_base_cache(e.p, e.offset)) {
		oi->whence = OI_DBCACHED;
2926 2927 2928 2929 2930 2931
	} else {
		oi->whence = OI_PACKED;
		oi->u.packed.offset = e.offset;
		oi->u.packed.pack = e.p;
		oi->u.packed.is_delta = (rtype == OBJ_REF_DELTA ||
					 rtype == OBJ_OFS_DELTA);
2932
	}
2933 2934 2935 2936
	if (oi->typename)
		strbuf_addstr(oi->typename, typename(*oi->typep));
	if (oi->typep == &real_type)
		oi->typep = NULL;
2937

2938
	return 0;
2939 2940
}

2941
/* returns enum object_type or negative */
2942 2943
int sha1_object_info(const unsigned char *sha1, unsigned long *sizep)
{
2944
	enum object_type type;
2945
	struct object_info oi = OBJECT_INFO_INIT;
2946

2947
	oi.typep = &type;
2948
	oi.sizep = sizep;
2949
	if (sha1_object_info_extended(sha1, &oi, LOOKUP_REPLACE_OBJECT) < 0)
2950 2951
		return -1;
	return type;
2952 2953
}

2954 2955
static void *read_packed_sha1(const unsigned char *sha1,
			      enum object_type *type, unsigned long *size)
2956 2957
{
	struct pack_entry e;
2958
	void *data;
2959

2960
	if (!find_pack_entry(sha1, &e))
2961
		return NULL;
2962
	data = cache_or_unpack_entry(e.p, e.offset, size, type);
2963 2964 2965 2966 2967 2968 2969 2970 2971 2972
	if (!data) {
		/*
		 * We're probably in deep shit, but let's try to fetch
		 * the required object anyway from another pack or loose.
		 * This should happen only in the presence of a corrupted
		 * pack, and is better than failing outright.
		 */
		error("failed to read object %s at offset %"PRIuMAX" from %s",
		      sha1_to_hex(sha1), (uintmax_t)e.offset, e.p->pack_name);
		mark_bad_packed_object(e.p, sha1);
2973
		data = read_object(sha1, type, size);
2974 2975
	}
	return data;
2976 2977
}

2978 2979
int pretend_sha1_file(void *buf, unsigned long len, enum object_type type,
		      unsigned char *sha1)
2980 2981 2982
{
	struct cached_object *co;

2983
	hash_sha1_file(buf, len, typename(type), sha1);
2984 2985
	if (has_sha1_file(sha1) || find_cached_object(sha1))
		return 0;
2986
	ALLOC_GROW(cached_objects, cached_object_nr + 1, cached_object_alloc);
2987 2988
	co = &cached_objects[cached_object_nr++];
	co->size = len;
2989
	co->type = type;
J
Junio C Hamano 已提交
2990 2991
	co->buf = xmalloc(len);
	memcpy(co->buf, buf, len);
2992 2993 2994 2995
	hashcpy(co->sha1, sha1);
	return 0;
}

2996 2997
static void *read_object(const unsigned char *sha1, enum object_type *type,
			 unsigned long *size)
2998 2999 3000
{
	unsigned long mapsize;
	void *map, *buf;
3001 3002 3003 3004
	struct cached_object *co;

	co = find_cached_object(sha1);
	if (co) {
3005
		*type = co->type;
3006
		*size = co->size;
P
Pierre Habouzit 已提交
3007
		return xmemdupz(co->buf, co->size);
3008
	}
3009

3010 3011 3012
	buf = read_packed_sha1(sha1, type, size);
	if (buf)
		return buf;
3013
	map = map_sha1_file(sha1, &mapsize);
3014
	if (map) {
3015
		buf = unpack_sha1_file(map, mapsize, type, size, sha1);
3016 3017 3018
		munmap(map, mapsize);
		return buf;
	}
3019
	reprepare_packed_git();
3020
	return read_packed_sha1(sha1, type, size);
3021 3022
}

3023 3024 3025 3026 3027
/*
 * This function dies on corrupt objects; the callers who want to
 * deal with them should arrange to call read_object() and give error
 * messages themselves.
 */
3028 3029 3030 3031
void *read_sha1_file_extended(const unsigned char *sha1,
			      enum object_type *type,
			      unsigned long *size,
			      unsigned flag)
3032
{
3033
	void *data;
3034
	const struct packed_git *p;
3035 3036
	const char *path;
	struct stat st;
3037
	const unsigned char *repl = lookup_replace_object_extended(sha1, flag);
3038

3039 3040
	errno = 0;
	data = read_object(repl, type, size);
3041
	if (data)
3042
		return data;
3043

3044
	if (errno && errno != ENOENT)
3045 3046
		die_errno("failed to read object %s", sha1_to_hex(sha1));

3047
	/* die if we replaced an object with one that does not exist */
3048
	if (repl != sha1)
3049 3050 3051
		die("replacement %s not found for %s",
		    sha1_to_hex(repl), sha1_to_hex(sha1));

3052
	if (!stat_sha1_file(repl, &st, &path))
3053 3054
		die("loose object %s (stored in %s) is corrupt",
		    sha1_to_hex(repl), path);
3055

3056 3057 3058
	if ((p = has_packed_and_bad(repl)) != NULL)
		die("packed object %s (stored in %s) is corrupt",
		    sha1_to_hex(repl), p->pack_name);
3059

3060
	return NULL;
3061 3062
}

3063
void *read_object_with_reference(const unsigned char *sha1,
3064
				 const char *required_type_name,
3065 3066
				 unsigned long *size,
				 unsigned char *actual_sha1_return)
3067
{
3068
	enum object_type type, required_type;
3069 3070
	void *buffer;
	unsigned long isize;
3071
	unsigned char actual_sha1[20];
3072

3073
	required_type = type_from_string(required_type_name);
3074
	hashcpy(actual_sha1, sha1);
3075 3076 3077
	while (1) {
		int ref_length = -1;
		const char *ref_type = NULL;
3078

3079
		buffer = read_sha1_file(actual_sha1, &type, &isize);
3080 3081
		if (!buffer)
			return NULL;
3082
		if (type == required_type) {
3083 3084
			*size = isize;
			if (actual_sha1_return)
3085
				hashcpy(actual_sha1_return, actual_sha1);
3086 3087 3088
			return buffer;
		}
		/* Handle references */
3089
		else if (type == OBJ_COMMIT)
3090
			ref_type = "tree ";
3091
		else if (type == OBJ_TAG)
3092 3093 3094 3095 3096 3097
			ref_type = "object ";
		else {
			free(buffer);
			return NULL;
		}
		ref_length = strlen(ref_type);
3098

3099 3100
		if (ref_length + 40 > isize ||
		    memcmp(buffer, ref_type, ref_length) ||
3101
		    get_sha1_hex((char *) buffer + ref_length, actual_sha1)) {
3102 3103 3104
			free(buffer);
			return NULL;
		}
3105
		free(buffer);
3106 3107
		/* Now we have the ID of the referred-to object in
		 * actual_sha1.  Check again. */
3108 3109 3110
	}
}

N
Nicolas Pitre 已提交
3111
static void write_sha1_file_prepare(const void *buf, unsigned long len,
R
Rene Scharfe 已提交
3112
                                    const char *type, unsigned char *sha1,
N
Nicolas Pitre 已提交
3113
                                    char *hdr, int *hdrlen)
3114
{
3115
	git_SHA_CTX c;
3116 3117

	/* Generate the header */
3118
	*hdrlen = xsnprintf(hdr, *hdrlen, "%s %lu", type, len)+1;
3119 3120

	/* Sha1.. */
3121 3122 3123 3124
	git_SHA1_Init(&c);
	git_SHA1_Update(&c, hdr, *hdrlen);
	git_SHA1_Update(&c, buf, len);
	git_SHA1_Final(sha1, &c);
3125 3126
}

3127
/*
3128
 * Move the just written object into its final resting place.
3129
 */
3130
int finalize_object_file(const char *tmpfile, const char *filename)
3131
{
3132
	int ret = 0;
3133

3134
	if (object_creation_mode == OBJECT_CREATION_USES_RENAMES)
3135 3136
		goto try_rename;
	else if (link(tmpfile, filename))
3137
		ret = errno;
3138 3139 3140 3141 3142 3143 3144 3145 3146

	/*
	 * Coda hack - coda doesn't like cross-directory links,
	 * so we fall back to a rename, which will mean that it
	 * won't be able to check collisions, but that's not a
	 * big deal.
	 *
	 * The same holds for FAT formatted media.
	 *
3147
	 * When this succeeds, we just return.  We have nothing
3148 3149 3150
	 * left to unlink.
	 */
	if (ret && ret != EEXIST) {
3151
	try_rename:
3152
		if (!rename(tmpfile, filename))
3153
			goto out;
3154
		ret = errno;
3155
	}
3156
	unlink_or_warn(tmpfile);
3157 3158
	if (ret) {
		if (ret != EEXIST) {
3159
			return error_errno("unable to write sha1 filename %s", filename);
3160 3161 3162 3163
		}
		/* FIXME!!! Collision check here ? */
	}

3164
out:
3165
	if (adjust_shared_perm(filename))
3166
		return error("unable to set permission to '%s'", filename);
3167 3168 3169
	return 0;
}

L
Linus Torvalds 已提交
3170 3171
static int write_buffer(int fd, const void *buf, size_t len)
{
L
Linus Torvalds 已提交
3172
	if (write_in_full(fd, buf, len) < 0)
3173
		return error_errno("file write error");
L
Linus Torvalds 已提交
3174 3175 3176
	return 0;
}

N
Nicolas Pitre 已提交
3177
int hash_sha1_file(const void *buf, unsigned long len, const char *type,
R
Rene Scharfe 已提交
3178 3179
                   unsigned char *sha1)
{
N
Nicolas Pitre 已提交
3180
	char hdr[32];
3181
	int hdrlen = sizeof(hdr);
R
Rene Scharfe 已提交
3182 3183 3184 3185
	write_sha1_file_prepare(buf, len, type, sha1, hdr, &hdrlen);
	return 0;
}

3186 3187 3188
/* Finalize a file on disk, and close it. */
static void close_sha1_file(int fd)
{
3189 3190
	if (fsync_object_files)
		fsync_or_die(fd, "sha1 file");
3191
	if (close(fd) != 0)
3192
		die_errno("error when closing sha1 file");
3193 3194
}

3195 3196 3197 3198 3199 3200 3201 3202 3203 3204 3205 3206 3207 3208 3209 3210
/* Size of directory component, including the ending '/' */
static inline int directory_size(const char *filename)
{
	const char *s = strrchr(filename, '/');
	if (!s)
		return 0;
	return s - filename + 1;
}

/*
 * This creates a temporary file in the same directory as the final
 * 'filename'
 *
 * We want to avoid cross-directory filename renames, because those
 * can have problems on various filesystems (FAT, NFS, Coda).
 */
J
Jeff King 已提交
3211
static int create_tmpfile(struct strbuf *tmp, const char *filename)
3212 3213 3214
{
	int fd, dirlen = directory_size(filename);

J
Jeff King 已提交
3215 3216 3217 3218
	strbuf_reset(tmp);
	strbuf_add(tmp, filename, dirlen);
	strbuf_addstr(tmp, "tmp_obj_XXXXXX");
	fd = git_mkstemp_mode(tmp->buf, 0444);
3219
	if (fd < 0 && dirlen && errno == ENOENT) {
J
Jeff King 已提交
3220 3221 3222 3223 3224 3225 3226 3227 3228
		/*
		 * Make sure the directory exists; note that the contents
		 * of the buffer are undefined after mkstemp returns an
		 * error, so we have to rewrite the whole buffer from
		 * scratch.
		 */
		strbuf_reset(tmp);
		strbuf_add(tmp, filename, dirlen - 1);
		if (mkdir(tmp->buf, 0777) && errno != EEXIST)
3229
			return -1;
J
Jeff King 已提交
3230
		if (adjust_shared_perm(tmp->buf))
3231 3232 3233
			return -1;

		/* Try again */
J
Jeff King 已提交
3234 3235
		strbuf_addstr(tmp, "/tmp_obj_XXXXXX");
		fd = git_mkstemp_mode(tmp->buf, 0444);
3236 3237 3238 3239
	}
	return fd;
}

3240
static int write_loose_object(const unsigned char *sha1, char *hdr, int hdrlen,
3241
			      const void *buf, unsigned long len, time_t mtime)
3242
{
3243
	int fd, ret;
3244
	unsigned char compressed[4096];
3245
	git_zstream stream;
3246 3247
	git_SHA_CTX c;
	unsigned char parano_sha1[20];
J
Jeff King 已提交
3248
	static struct strbuf tmp_file = STRBUF_INIT;
3249
	const char *filename = sha1_file_name(sha1);
3250

J
Jeff King 已提交
3251
	fd = create_tmpfile(&tmp_file, filename);
3252
	if (fd < 0) {
3253
		if (errno == EACCES)
3254
			return error("insufficient permission for adding an object to repository database %s", get_object_directory());
3255
		else
3256
			return error_errno("unable to create temporary file");
3257 3258
	}

3259
	/* Set it up */
3260
	git_deflate_init(&stream, zlib_compression_level);
3261
	stream.next_out = compressed;
3262
	stream.avail_out = sizeof(compressed);
3263
	git_SHA1_Init(&c);
3264 3265

	/* First header.. */
N
Nicolas Pitre 已提交
3266
	stream.next_in = (unsigned char *)hdr;
3267
	stream.avail_in = hdrlen;
3268 3269
	while (git_deflate(&stream, 0) == Z_OK)
		; /* nothing */
3270
	git_SHA1_Update(&c, hdr, hdrlen);
3271 3272

	/* Then the data itself.. */
3273
	stream.next_in = (void *)buf;
3274
	stream.avail_in = len;
3275
	do {
3276
		unsigned char *in0 = stream.next_in;
3277
		ret = git_deflate(&stream, Z_FINISH);
3278
		git_SHA1_Update(&c, in0, stream.next_in - in0);
3279 3280 3281 3282 3283 3284
		if (write_buffer(fd, compressed, stream.next_out - compressed) < 0)
			die("unable to write sha1 file");
		stream.next_out = compressed;
		stream.avail_out = sizeof(compressed);
	} while (ret == Z_OK);

3285 3286
	if (ret != Z_STREAM_END)
		die("unable to deflate new object %s (%d)", sha1_to_hex(sha1), ret);
3287
	ret = git_deflate_end_gently(&stream);
3288 3289
	if (ret != Z_OK)
		die("deflateEnd on object %s failed (%d)", sha1_to_hex(sha1), ret);
3290 3291 3292
	git_SHA1_Final(parano_sha1, &c);
	if (hashcmp(sha1, parano_sha1) != 0)
		die("confused by unstable object source data for %s", sha1_to_hex(sha1));
3293

3294
	close_sha1_file(fd);
3295

3296 3297 3298 3299
	if (mtime) {
		struct utimbuf utb;
		utb.actime = mtime;
		utb.modtime = mtime;
J
Jeff King 已提交
3300
		if (utime(tmp_file.buf, &utb) < 0)
3301
			warning_errno("failed utime() on %s", tmp_file.buf);
3302 3303
	}

J
Jeff King 已提交
3304
	return finalize_object_file(tmp_file.buf, filename);
3305
}
3306

3307 3308 3309 3310 3311 3312 3313 3314
static int freshen_loose_object(const unsigned char *sha1)
{
	return check_and_freshen(sha1, 1);
}

static int freshen_packed_object(const unsigned char *sha1)
{
	struct pack_entry e;
3315 3316 3317 3318 3319 3320 3321 3322
	if (!find_pack_entry(sha1, &e))
		return 0;
	if (e.p->freshened)
		return 1;
	if (!freshen_file(e.p->pack_name))
		return 0;
	e.p->freshened = 1;
	return 1;
3323 3324
}

3325
int write_sha1_file(const void *buf, unsigned long len, const char *type, unsigned char *sha1)
3326 3327
{
	char hdr[32];
3328
	int hdrlen = sizeof(hdr);
3329 3330 3331 3332 3333

	/* Normally if we have it in the pack then we do not bother writing
	 * it out into .git/objects/??/?{38} file.
	 */
	write_sha1_file_prepare(buf, len, type, sha1, hdr, &hdrlen);
3334
	if (freshen_packed_object(sha1) || freshen_loose_object(sha1))
3335 3336 3337 3338
		return 0;
	return write_loose_object(sha1, hdr, hdrlen, buf, len, 0);
}

3339 3340 3341 3342 3343 3344 3345
int hash_sha1_file_literally(const void *buf, unsigned long len, const char *type,
			     unsigned char *sha1, unsigned flags)
{
	char *header;
	int hdrlen, status = 0;

	/* type string, SP, %lu of the length plus NUL must fit this */
3346 3347
	hdrlen = strlen(type) + 32;
	header = xmalloc(hdrlen);
3348 3349 3350 3351
	write_sha1_file_prepare(buf, len, type, sha1, header, &hdrlen);

	if (!(flags & HASH_WRITE_OBJECT))
		goto cleanup;
J
Junio C Hamano 已提交
3352
	if (freshen_packed_object(sha1) || freshen_loose_object(sha1))
3353 3354 3355 3356 3357 3358 3359 3360
		goto cleanup;
	status = write_loose_object(sha1, header, hdrlen, buf, len, 0);

cleanup:
	free(header);
	return status;
}

3361 3362 3363 3364 3365 3366 3367
int force_object_loose(const unsigned char *sha1, time_t mtime)
{
	void *buf;
	unsigned long len;
	enum object_type type;
	char hdr[32];
	int hdrlen;
3368
	int ret;
3369

3370
	if (has_loose_object(sha1))
3371 3372 3373 3374
		return 0;
	buf = read_packed_sha1(sha1, &type, &len);
	if (!buf)
		return error("cannot read sha1_file for %s", sha1_to_hex(sha1));
3375
	hdrlen = xsnprintf(hdr, sizeof(hdr), "%s %lu", typename(type), len) + 1;
3376 3377 3378 3379
	ret = write_loose_object(sha1, hdr, hdrlen, buf, len, mtime);
	free(buf);

	return ret;
3380 3381
}

3382 3383 3384 3385 3386 3387 3388 3389
int has_pack_index(const unsigned char *sha1)
{
	struct stat st;
	if (stat(sha1_pack_index_name(sha1), &st))
		return 0;
	return 1;
}

3390 3391 3392 3393 3394 3395
int has_sha1_pack(const unsigned char *sha1)
{
	struct pack_entry e;
	return find_pack_entry(sha1, &e);
}

3396
int has_sha1_file_with_flags(const unsigned char *sha1, int flags)
3397
{
3398 3399
	struct pack_entry e;

3400
	if (find_pack_entry(sha1, &e))
3401
		return 1;
3402 3403
	if (has_loose_object(sha1))
		return 1;
3404 3405
	if (flags & HAS_SHA1_QUICK)
		return 0;
3406 3407
	reprepare_packed_git();
	return find_pack_entry(sha1, &e);
3408 3409 3410 3411 3412
}

int has_object_file(const struct object_id *oid)
{
	return has_sha1_file(oid->hash);
3413
}
J
Junio C Hamano 已提交
3414

3415 3416 3417 3418 3419
int has_object_file_with_flags(const struct object_id *oid, int flags)
{
	return has_sha1_file_with_flags(oid->hash, flags);
}

3420 3421 3422 3423 3424 3425 3426 3427 3428 3429 3430 3431 3432 3433 3434 3435 3436 3437 3438 3439 3440 3441 3442 3443 3444 3445 3446 3447
static void check_tree(const void *buf, size_t size)
{
	struct tree_desc desc;
	struct name_entry entry;

	init_tree_desc(&desc, buf, size);
	while (tree_entry(&desc, &entry))
		/* do nothing
		 * tree_entry() will die() on malformed entries */
		;
}

static void check_commit(const void *buf, size_t size)
{
	struct commit c;
	memset(&c, 0, sizeof(c));
	if (parse_commit_buffer(&c, buf, size))
		die("corrupt commit");
}

static void check_tag(const void *buf, size_t size)
{
	struct tag t;
	memset(&t, 0, sizeof(t));
	if (parse_tag_buffer(&t, buf, size))
		die("corrupt tag");
}

3448
static int index_mem(unsigned char *sha1, void *buf, size_t size,
3449 3450
		     enum object_type type,
		     const char *path, unsigned flags)
3451
{
L
Linus Torvalds 已提交
3452
	int ret, re_allocated = 0;
3453
	int write_object = flags & HASH_WRITE_OBJECT;
J
Junio C Hamano 已提交
3454

3455
	if (!type)
3456
		type = OBJ_BLOB;
L
Linus Torvalds 已提交
3457 3458 3459 3460

	/*
	 * Convert blobs to git internal format
	 */
3461
	if ((type == OBJ_BLOB) && path) {
3462
		struct strbuf nbuf = STRBUF_INIT;
3463
		if (convert_to_git(path, buf, size, &nbuf,
3464
				   write_object ? safe_crlf : SAFE_CRLF_FALSE)) {
3465
			buf = strbuf_detach(&nbuf, &size);
L
Linus Torvalds 已提交
3466 3467 3468
			re_allocated = 1;
		}
	}
3469
	if (flags & HASH_FORMAT_CHECK) {
3470 3471 3472 3473 3474 3475 3476
		if (type == OBJ_TREE)
			check_tree(buf, size);
		if (type == OBJ_COMMIT)
			check_commit(buf, size);
		if (type == OBJ_TAG)
			check_tag(buf, size);
	}
L
Linus Torvalds 已提交
3477

3478
	if (write_object)
3479
		ret = write_sha1_file(buf, size, typename(type), sha1);
R
Rene Scharfe 已提交
3480
	else
3481
		ret = hash_sha1_file(buf, size, typename(type), sha1);
3482
	if (re_allocated)
L
Linus Torvalds 已提交
3483
		free(buf);
3484 3485 3486
	return ret;
}

3487 3488 3489 3490 3491 3492 3493 3494 3495 3496 3497 3498 3499 3500 3501 3502 3503 3504 3505 3506 3507 3508 3509
static int index_stream_convert_blob(unsigned char *sha1, int fd,
				     const char *path, unsigned flags)
{
	int ret;
	const int write_object = flags & HASH_WRITE_OBJECT;
	struct strbuf sbuf = STRBUF_INIT;

	assert(path);
	assert(would_convert_to_git_filter_fd(path));

	convert_to_git_filter_fd(path, fd, &sbuf,
				 write_object ? safe_crlf : SAFE_CRLF_FALSE);

	if (write_object)
		ret = write_sha1_file(sbuf.buf, sbuf.len, typename(OBJ_BLOB),
				      sha1);
	else
		ret = hash_sha1_file(sbuf.buf, sbuf.len, typename(OBJ_BLOB),
				     sha1);
	strbuf_release(&sbuf);
	return ret;
}

3510 3511 3512 3513 3514 3515 3516 3517 3518 3519 3520 3521 3522 3523
static int index_pipe(unsigned char *sha1, int fd, enum object_type type,
		      const char *path, unsigned flags)
{
	struct strbuf sbuf = STRBUF_INIT;
	int ret;

	if (strbuf_read(&sbuf, fd, 4096) >= 0)
		ret = index_mem(sha1, sbuf.buf, sbuf.len, type,	path, flags);
	else
		ret = -1;
	strbuf_release(&sbuf);
	return ret;
}

3524 3525
#define SMALL_FILE_SIZE (32*1024)

3526 3527 3528
static int index_core(unsigned char *sha1, int fd, size_t size,
		      enum object_type type, const char *path,
		      unsigned flags)
3529 3530 3531
{
	int ret;

3532
	if (!size) {
3533
		ret = index_mem(sha1, "", size, type, path, flags);
3534 3535 3536
	} else if (size <= SMALL_FILE_SIZE) {
		char *buf = xmalloc(size);
		if (size == read_in_full(fd, buf, size))
3537
			ret = index_mem(sha1, buf, size, type, path, flags);
3538
		else
3539
			ret = error_errno("short read");
3540
		free(buf);
3541
	} else {
3542
		void *buf = xmmap(NULL, size, PROT_READ, MAP_PRIVATE, fd, 0);
3543
		ret = index_mem(sha1, buf, size, type, path, flags);
3544
		munmap(buf, size);
3545
	}
3546 3547 3548
	return ret;
}

3549
/*
3550 3551
 * This creates one packfile per large blob unless bulk-checkin
 * machinery is "plugged".
3552 3553 3554 3555
 *
 * This also bypasses the usual "convert-to-git" dance, and that is on
 * purpose. We could write a streaming version of the converting
 * functions and insert that before feeding the data to fast-import
3556 3557 3558 3559 3560 3561 3562
 * (or equivalent in-core API described above). However, that is
 * somewhat complicated, as we do not know the size of the filter
 * result, which we need to know beforehand when writing a git object.
 * Since the primary motivation for trying to stream from the working
 * tree file and to avoid mmaping it in core is to deal with large
 * binary blobs, they generally do not want to get any conversion, and
 * callers should avoid this code path when filters are requested.
3563 3564 3565 3566 3567
 */
static int index_stream(unsigned char *sha1, int fd, size_t size,
			enum object_type type, const char *path,
			unsigned flags)
{
3568
	return index_bulk_checkin(sha1, fd, size, type, path, flags);
3569 3570
}

3571 3572 3573 3574 3575
int index_fd(unsigned char *sha1, int fd, struct stat *st,
	     enum object_type type, const char *path, unsigned flags)
{
	int ret;

3576 3577 3578 3579
	/*
	 * Call xsize_t() only when needed to avoid potentially unnecessary
	 * die() for large files.
	 */
3580 3581 3582
	if (type == OBJ_BLOB && path && would_convert_to_git_filter_fd(path))
		ret = index_stream_convert_blob(sha1, fd, path, flags);
	else if (!S_ISREG(st->st_mode))
3583
		ret = index_pipe(sha1, fd, type, path, flags);
3584
	else if (st->st_size <= big_file_threshold || type != OBJ_BLOB ||
3585
		 (path && would_convert_to_git(path)))
3586 3587
		ret = index_core(sha1, fd, xsize_t(st->st_size), type, path,
				 flags);
3588
	else
3589 3590
		ret = index_stream(sha1, fd, xsize_t(st->st_size), type, path,
				   flags);
3591
	close(fd);
3592
	return ret;
J
Junio C Hamano 已提交
3593
}
3594

3595
int index_path(unsigned char *sha1, const char *path, struct stat *st, unsigned flags)
3596 3597
{
	int fd;
3598
	struct strbuf sb = STRBUF_INIT;
3599 3600 3601 3602 3603

	switch (st->st_mode & S_IFMT) {
	case S_IFREG:
		fd = open(path, O_RDONLY);
		if (fd < 0)
3604
			return error_errno("open(\"%s\")", path);
3605
		if (index_fd(sha1, fd, st, OBJ_BLOB, path, flags) < 0)
3606 3607 3608 3609
			return error("%s: failed to insert into database",
				     path);
		break;
	case S_IFLNK:
3610 3611
		if (strbuf_readlink(&sb, path, st->st_size))
			return error_errno("readlink(\"%s\")", path);
3612
		if (!(flags & HASH_WRITE_OBJECT))
3613 3614
			hash_sha1_file(sb.buf, sb.len, blob_type, sha1);
		else if (write_sha1_file(sb.buf, sb.len, blob_type, sha1))
3615 3616
			return error("%s: failed to insert into database",
				     path);
3617
		strbuf_release(&sb);
3618
		break;
3619 3620
	case S_IFDIR:
		return resolve_gitlink_ref(path, "HEAD", sha1);
3621 3622 3623 3624 3625
	default:
		return error("%s: unsupported file type", path);
	}
	return 0;
}
3626 3627 3628

int read_pack_header(int fd, struct pack_header *header)
{
3629 3630 3631 3632
	if (read_in_full(fd, header, sizeof(*header)) < sizeof(*header))
		/* "eof before pack header was fully read" */
		return PH_ERROR_EOF;

3633 3634 3635 3636 3637 3638 3639 3640
	if (header->hdr_signature != htonl(PACK_SIGNATURE))
		/* "protocol error (pack signature mismatch detected)" */
		return PH_ERROR_PACK_SIGNATURE;
	if (!pack_version_ok(header->hdr_version))
		/* "protocol error (pack version unsupported)" */
		return PH_ERROR_PROTOCOL;
	return 0;
}
J
Jeff King 已提交
3641 3642 3643 3644 3645 3646 3647 3648 3649 3650

void assert_sha1_type(const unsigned char *sha1, enum object_type expect)
{
	enum object_type type = sha1_object_info(sha1, NULL);
	if (type < 0)
		die("%s is not a valid object", sha1_to_hex(sha1));
	if (type != expect)
		die("%s is not a valid '%s' object", sha1_to_hex(sha1),
		    typename(expect));
}
3651 3652 3653 3654 3655 3656 3657 3658 3659 3660 3661 3662 3663 3664 3665 3666

static int for_each_file_in_obj_subdir(int subdir_nr,
				       struct strbuf *path,
				       each_loose_object_fn obj_cb,
				       each_loose_cruft_fn cruft_cb,
				       each_loose_subdir_fn subdir_cb,
				       void *data)
{
	size_t baselen = path->len;
	DIR *dir = opendir(path->buf);
	struct dirent *de;
	int r = 0;

	if (!dir) {
		if (errno == ENOENT)
			return 0;
3667
		return error_errno("unable to open %s", path->buf);
3668 3669 3670 3671 3672 3673 3674 3675 3676 3677 3678 3679 3680 3681 3682 3683 3684 3685 3686 3687 3688 3689 3690 3691 3692 3693 3694 3695 3696 3697 3698
	}

	while ((de = readdir(dir))) {
		if (is_dot_or_dotdot(de->d_name))
			continue;

		strbuf_setlen(path, baselen);
		strbuf_addf(path, "/%s", de->d_name);

		if (strlen(de->d_name) == 38)  {
			char hex[41];
			unsigned char sha1[20];

			snprintf(hex, sizeof(hex), "%02x%s",
				 subdir_nr, de->d_name);
			if (!get_sha1_hex(hex, sha1)) {
				if (obj_cb) {
					r = obj_cb(sha1, path->buf, data);
					if (r)
						break;
				}
				continue;
			}
		}

		if (cruft_cb) {
			r = cruft_cb(de->d_name, path->buf, data);
			if (r)
				break;
		}
	}
3699
	closedir(dir);
3700

3701
	strbuf_setlen(path, baselen);
3702 3703 3704 3705 3706 3707
	if (!r && subdir_cb)
		r = subdir_cb(subdir_nr, path->buf, data);

	return r;
}

3708
int for_each_loose_file_in_objdir_buf(struct strbuf *path,
3709 3710 3711 3712 3713
			    each_loose_object_fn obj_cb,
			    each_loose_cruft_fn cruft_cb,
			    each_loose_subdir_fn subdir_cb,
			    void *data)
{
3714
	size_t baselen = path->len;
3715 3716 3717 3718
	int r = 0;
	int i;

	for (i = 0; i < 256; i++) {
3719 3720
		strbuf_addf(path, "/%02x", i);
		r = for_each_file_in_obj_subdir(i, path, obj_cb, cruft_cb,
3721
						subdir_cb, data);
3722
		strbuf_setlen(path, baselen);
3723 3724 3725 3726
		if (r)
			break;
	}

3727 3728 3729 3730 3731 3732 3733 3734 3735 3736 3737 3738 3739 3740 3741
	return r;
}

int for_each_loose_file_in_objdir(const char *path,
				  each_loose_object_fn obj_cb,
				  each_loose_cruft_fn cruft_cb,
				  each_loose_subdir_fn subdir_cb,
				  void *data)
{
	struct strbuf buf = STRBUF_INIT;
	int r;

	strbuf_addstr(&buf, path);
	r = for_each_loose_file_in_objdir_buf(&buf, obj_cb, cruft_cb,
					      subdir_cb, data);
3742
	strbuf_release(&buf);
3743

3744 3745
	return r;
}
3746 3747 3748 3749 3750 3751 3752 3753 3754 3755

struct loose_alt_odb_data {
	each_loose_object_fn *cb;
	void *data;
};

static int loose_from_alt_odb(struct alternate_object_database *alt,
			      void *vdata)
{
	struct loose_alt_odb_data *data = vdata;
3756 3757 3758
	struct strbuf buf = STRBUF_INIT;
	int r;

3759
	strbuf_addstr(&buf, alt->path);
3760 3761 3762 3763 3764
	r = for_each_loose_file_in_objdir_buf(&buf,
					      data->cb, NULL, NULL,
					      data->data);
	strbuf_release(&buf);
	return r;
3765 3766
}

3767
int for_each_loose_object(each_loose_object_fn cb, void *data, unsigned flags)
3768 3769 3770 3771 3772 3773 3774 3775 3776
{
	struct loose_alt_odb_data alt;
	int r;

	r = for_each_loose_file_in_objdir(get_object_directory(),
					  cb, NULL, NULL, data);
	if (r)
		return r;

3777 3778 3779
	if (flags & FOR_EACH_OBJECT_LOCAL_ONLY)
		return 0;

3780 3781 3782 3783 3784 3785 3786 3787 3788 3789 3790 3791 3792 3793 3794 3795 3796 3797 3798 3799 3800 3801 3802 3803
	alt.cb = cb;
	alt.data = data;
	return foreach_alt_odb(loose_from_alt_odb, &alt);
}

static int for_each_object_in_pack(struct packed_git *p, each_packed_object_fn cb, void *data)
{
	uint32_t i;
	int r = 0;

	for (i = 0; i < p->num_objects; i++) {
		const unsigned char *sha1 = nth_packed_object_sha1(p, i);

		if (!sha1)
			return error("unable to get sha1 of object %u in %s",
				     i, p->pack_name);

		r = cb(sha1, p, i, data);
		if (r)
			break;
	}
	return r;
}

3804
int for_each_packed_object(each_packed_object_fn cb, void *data, unsigned flags)
3805 3806 3807
{
	struct packed_git *p;
	int r = 0;
3808
	int pack_errors = 0;
3809 3810 3811

	prepare_packed_git();
	for (p = packed_git; p; p = p->next) {
3812 3813
		if ((flags & FOR_EACH_OBJECT_LOCAL_ONLY) && !p->pack_local)
			continue;
3814 3815 3816 3817
		if (open_pack_index(p)) {
			pack_errors = 1;
			continue;
		}
3818 3819 3820 3821
		r = for_each_object_in_pack(p, cb, data);
		if (r)
			break;
	}
3822
	return r ? r : pack_errors;
3823
}
3824 3825 3826 3827 3828 3829 3830 3831 3832 3833 3834 3835 3836 3837 3838 3839 3840 3841 3842 3843 3844 3845 3846 3847 3848 3849 3850 3851 3852 3853 3854 3855 3856 3857 3858 3859 3860 3861 3862 3863 3864 3865

static int check_stream_sha1(git_zstream *stream,
			     const char *hdr,
			     unsigned long size,
			     const char *path,
			     const unsigned char *expected_sha1)
{
	git_SHA_CTX c;
	unsigned char real_sha1[GIT_SHA1_RAWSZ];
	unsigned char buf[4096];
	unsigned long total_read;
	int status = Z_OK;

	git_SHA1_Init(&c);
	git_SHA1_Update(&c, hdr, stream->total_out);

	/*
	 * We already read some bytes into hdr, but the ones up to the NUL
	 * do not count against the object's content size.
	 */
	total_read = stream->total_out - strlen(hdr) - 1;

	/*
	 * This size comparison must be "<=" to read the final zlib packets;
	 * see the comment in unpack_sha1_rest for details.
	 */
	while (total_read <= size &&
	       (status == Z_OK || status == Z_BUF_ERROR)) {
		stream->next_out = buf;
		stream->avail_out = sizeof(buf);
		if (size - total_read < stream->avail_out)
			stream->avail_out = size - total_read;
		status = git_inflate(stream, Z_FINISH);
		git_SHA1_Update(&c, buf, stream->next_out - buf);
		total_read += stream->next_out - buf;
	}
	git_inflate_end(stream);

	if (status != Z_STREAM_END) {
		error("corrupt loose object '%s'", sha1_to_hex(expected_sha1));
		return -1;
	}
3866 3867 3868 3869 3870
	if (stream->avail_in) {
		error("garbage at end of loose object '%s'",
		      sha1_to_hex(expected_sha1));
		return -1;
	}
3871 3872 3873 3874 3875 3876 3877 3878 3879 3880 3881 3882 3883 3884 3885 3886 3887 3888 3889 3890 3891 3892 3893 3894 3895 3896 3897 3898 3899 3900 3901 3902 3903 3904 3905 3906 3907 3908 3909 3910 3911 3912 3913 3914 3915 3916 3917 3918 3919 3920 3921 3922 3923 3924 3925 3926 3927 3928 3929 3930 3931 3932 3933 3934 3935 3936 3937 3938 3939 3940 3941 3942

	git_SHA1_Final(real_sha1, &c);
	if (hashcmp(expected_sha1, real_sha1)) {
		error("sha1 mismatch for %s (expected %s)", path,
		      sha1_to_hex(expected_sha1));
		return -1;
	}

	return 0;
}

int read_loose_object(const char *path,
		      const unsigned char *expected_sha1,
		      enum object_type *type,
		      unsigned long *size,
		      void **contents)
{
	int ret = -1;
	int fd = -1;
	void *map = NULL;
	unsigned long mapsize;
	git_zstream stream;
	char hdr[32];

	*contents = NULL;

	map = map_sha1_file_1(path, NULL, &mapsize);
	if (!map) {
		error_errno("unable to mmap %s", path);
		goto out;
	}

	if (unpack_sha1_header(&stream, map, mapsize, hdr, sizeof(hdr)) < 0) {
		error("unable to unpack header of %s", path);
		goto out;
	}

	*type = parse_sha1_header(hdr, size);
	if (*type < 0) {
		error("unable to parse header of %s", path);
		git_inflate_end(&stream);
		goto out;
	}

	if (*type == OBJ_BLOB) {
		if (check_stream_sha1(&stream, hdr, *size, path, expected_sha1) < 0)
			goto out;
	} else {
		*contents = unpack_sha1_rest(&stream, hdr, *size, expected_sha1);
		if (!*contents) {
			error("unable to unpack contents of %s", path);
			git_inflate_end(&stream);
			goto out;
		}
		if (check_sha1_signature(expected_sha1, *contents,
					 *size, typename(*type))) {
			error("sha1 mismatch for %s (expected %s)", path,
			      sha1_to_hex(expected_sha1));
			free(*contents);
			goto out;
		}
	}

	ret = 0; /* everything checks out */

out:
	if (map)
		munmap(map, mapsize);
	if (fd >= 0)
		close(fd);
	return ret;
}