sha1_file.c 82.1 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 "config.h"
11
#include "string-list.h"
12
#include "lockfile.h"
13
#include "delta.h"
14
#include "pack.h"
15 16
#include "blob.h"
#include "commit.h"
17
#include "run-command.h"
18 19
#include "tag.h"
#include "tree.h"
20
#include "tree-walk.h"
21
#include "refs.h"
22
#include "pack-revindex.h"
23
#include "sha1-lookup.h"
24
#include "bulk-checkin.h"
25
#include "streaming.h"
26
#include "dir.h"
27
#include "mru.h"
J
Jeff King 已提交
28
#include "list.h"
29
#include "mergesort.h"
J
Jeff King 已提交
30
#include "quote.h"
31
#include "packfile.h"
32

33
const unsigned char null_sha1[20];
34
const struct object_id null_oid;
35 36 37 38 39 40
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 已提交
41

42 43 44 45 46 47 48 49 50 51 52 53 54 55 56
/*
 * 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 = {
57
	EMPTY_TREE_SHA1_BIN_LITERAL,
58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76
	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;
}

77 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
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);
}

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

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

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

		if (!*slash)
119
			break;
120

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

127
		slash_character = *slash;
128
		*slash = '\0';
129 130
		if (!stat(path, &st)) {
			/* path exists */
131 132
			if (!S_ISDIR(st.st_mode)) {
				errno = ENOTDIR;
133
				ret = SCLD_EXISTS;
134
			}
135
		} else if (mkdir(path, 0777)) {
136
			if (errno == EEXIST &&
137
			    !stat(path, &st) && S_ISDIR(st.st_mode))
138
				; /* somebody created it since we checked */
139 140 141 142 143 144 145 146 147 148 149
			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;
150
			else
151
				ret = SCLD_FAILED;
152
		} else if (adjust_shared_perm(path)) {
153
			ret = SCLD_PERMS;
154
		}
155
		*slash = slash_character;
156
	}
157
	return ret;
158
}
159

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

	save_errno = errno;
168
	free(buf);
169
	errno = save_errno;
170 171 172
	return result;
}

173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 231 232 233 234 235 236 237 238 239 240
int raceproof_create_file(const char *path, create_file_fn fn, void *cb)
{
	/*
	 * The number of times we will try to remove empty directories
	 * in the way of path. This is only 1 because if another
	 * process is racily creating directories that conflict with
	 * us, we don't want to fight against them.
	 */
	int remove_directories_remaining = 1;

	/*
	 * The number of times that we will try to create the
	 * directories containing path. We are willing to attempt this
	 * more than once, because another process could be trying to
	 * clean up empty directories at the same time as we are
	 * trying to create them.
	 */
	int create_directories_remaining = 3;

	/* A scratch copy of path, filled lazily if we need it: */
	struct strbuf path_copy = STRBUF_INIT;

	int ret, save_errno;

	/* Sanity check: */
	assert(*path);

retry_fn:
	ret = fn(path, cb);
	save_errno = errno;
	if (!ret)
		goto out;

	if (errno == EISDIR && remove_directories_remaining-- > 0) {
		/*
		 * A directory is in the way. Maybe it is empty; try
		 * to remove it:
		 */
		if (!path_copy.len)
			strbuf_addstr(&path_copy, path);

		if (!remove_dir_recursively(&path_copy, REMOVE_DIR_EMPTY_ONLY))
			goto retry_fn;
	} else if (errno == ENOENT && create_directories_remaining-- > 0) {
		/*
		 * Maybe the containing directory didn't exist, or
		 * maybe it was just deleted by a process that is
		 * racing with us to clean up empty directories. Try
		 * to create it:
		 */
		enum scld_error scld_result;

		if (!path_copy.len)
			strbuf_addstr(&path_copy, path);

		do {
			scld_result = safe_create_leading_directories(path_copy.buf);
			if (scld_result == SCLD_OK)
				goto retry_fn;
		} while (scld_result == SCLD_VANISHED && create_directories_remaining-- > 0);
	}

out:
	strbuf_release(&path_copy);
	errno = save_errno;
	return ret;
}

J
Jeff King 已提交
241
static void fill_sha1_path(struct strbuf *buf, const unsigned char *sha1)
242 243 244 245 246
{
	int i;
	for (i = 0; i < 20; i++) {
		static char hex[] = "0123456789abcdef";
		unsigned int val = sha1[i];
J
Jeff King 已提交
247 248
		strbuf_addch(buf, hex[val >> 4]);
		strbuf_addch(buf, hex[val & 0xf]);
249
		if (!i)
J
Jeff King 已提交
250
			strbuf_addch(buf, '/');
251 252 253
	}
}

254
const char *sha1_file_name(const unsigned char *sha1)
255
{
J
Jeff King 已提交
256
	static struct strbuf buf = STRBUF_INIT;
257

J
Jeff King 已提交
258 259
	strbuf_reset(&buf);
	strbuf_addf(&buf, "%s/", get_object_directory());
260

J
Jeff King 已提交
261 262
	fill_sha1_path(&buf, sha1);
	return buf.buf;
263 264
}

265 266 267 268 269 270
struct strbuf *alt_scratch_buf(struct alternate_object_database *alt)
{
	strbuf_setlen(&alt->scratch, alt->base_len);
	return &alt->scratch;
}

271 272 273
static const char *alt_sha1_path(struct alternate_object_database *alt,
				 const unsigned char *sha1)
{
274
	struct strbuf *buf = alt_scratch_buf(alt);
J
Jeff King 已提交
275
	fill_sha1_path(buf, sha1);
276
	return buf->buf;
277 278
}

279 280
struct alternate_object_database *alt_odb_list;
static struct alternate_object_database **alt_odb_tail;
281

282 283 284 285 286 287 288 289 290 291 292 293 294 295 296 297 298 299 300 301
/*
 * 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) {
302
		if (!fspathcmp(path->buf, alt->path))
303 304 305 306 307 308 309 310
			return 0;
	}
	if (!fspathcmp(path->buf, normalized_objdir))
		return 0;

	return 1;
}

J
Junio C Hamano 已提交
311 312
/*
 * Prepare alternate object database registry.
313 314 315 316 317
 *
 * 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,
318 319
 * whose contents is similar to that environment variable but can be
 * LF separated.  Its base points at a statically allocated buffer that
320 321 322 323 324
 * 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 已提交
325
 */
326
static void read_info_alternates(const char * relative_base, int depth);
327 328
static int link_alt_odb_entry(const char *entry, const char *relative_base,
	int depth, const char *normalized_objdir)
329
{
M
Martin Waitz 已提交
330
	struct alternate_object_database *ent;
331
	struct strbuf pathbuf = STRBUF_INIT;
332

333
	if (!is_absolute_path(entry) && relative_base) {
334
		strbuf_realpath(&pathbuf, relative_base, 1);
335
		strbuf_addch(&pathbuf, '/');
M
Martin Waitz 已提交
336
	}
337
	strbuf_addstr(&pathbuf, entry);
M
Martin Waitz 已提交
338

339
	if (strbuf_normalize_path(&pathbuf) < 0 && relative_base) {
340 341 342 343 344
		error("unable to normalize alternate object path: %s",
		      pathbuf.buf);
		strbuf_release(&pathbuf);
		return -1;
	}
345 346 347 348 349

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

353 354
	if (!alt_odb_usable(&pathbuf, normalized_objdir)) {
		strbuf_release(&pathbuf);
M
Martin Waitz 已提交
355 356 357
		return -1;
	}

358
	ent = alloc_alt_odb(pathbuf.buf);
M
Martin Waitz 已提交
359 360 361 362 363 364 365

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

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

368
	strbuf_release(&pathbuf);
M
Martin Waitz 已提交
369 370 371
	return 0;
}

J
Jeff King 已提交
372 373 374 375 376 377 378 379 380 381 382 383 384 385 386 387 388 389 390 391 392 393 394 395 396 397 398 399 400
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;
}

401
static void link_alt_odb_entries(const char *alt, int len, int sep,
M
Martin Waitz 已提交
402 403
				 const char *relative_base, int depth)
{
404
	struct strbuf objdirbuf = STRBUF_INIT;
J
Jeff King 已提交
405
	struct strbuf entry = STRBUF_INIT;
M
Martin Waitz 已提交
406 407 408 409 410 411 412

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

J
Junio C Hamano 已提交
413
	strbuf_add_absolute_path(&objdirbuf, get_object_directory());
414 415 416
	if (strbuf_normalize_path(&objdirbuf) < 0)
		die("unable to normalize object directory: %s",
		    objdirbuf.buf);
417

J
Jeff King 已提交
418 419 420
	while (*alt) {
		alt = parse_alt_odb_entry(alt, sep, &entry);
		if (!entry.len)
421
			continue;
J
Jeff King 已提交
422
		link_alt_odb_entry(entry.buf, relative_base, depth, objdirbuf.buf);
423
	}
J
Jeff King 已提交
424
	strbuf_release(&entry);
425
	strbuf_release(&objdirbuf);
426 427
}

428
static void read_info_alternates(const char * relative_base, int depth)
429
{
430
	char *map;
431
	size_t mapsz;
432
	struct stat st;
433
	char *path;
M
Martin Waitz 已提交
434
	int fd;
435

436
	path = xstrfmt("%s/info/alternates", relative_base);
437
	fd = git_open(path);
438
	free(path);
439 440 441 442
	if (fd < 0)
		return;
	if (fstat(fd, &st) || (st.st_size == 0)) {
		close(fd);
443
		return;
444
	}
445 446
	mapsz = xsize_t(st.st_size);
	map = xmmap(NULL, mapsz, PROT_READ, MAP_PRIVATE, fd, 0);
447 448
	close(fd);

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

451
	munmap(map, mapsz);
452 453
}

454 455 456 457
struct alternate_object_database *alloc_alt_odb(const char *dir)
{
	struct alternate_object_database *ent;

458
	FLEX_ALLOC_STR(ent, path, dir);
459 460 461
	strbuf_init(&ent->scratch, 0);
	strbuf_addf(&ent->scratch, "%s/", dir);
	ent->base_len = ent->scratch.len;
462 463 464 465

	return ent;
}

466 467 468
void add_to_alternates_file(const char *reference)
{
	struct lock_file *lock = xcalloc(1, sizeof(struct lock_file));
469 470 471 472 473 474 475 476 477 478 479 480 481
	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;

482
		while (strbuf_getline(&line, in) != EOF) {
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
			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);
509 510
}

511 512 513 514 515 516 517 518 519 520 521
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);
}

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 551 552 553 554 555 556 557 558 559 560 561 562 563 564 565 566 567 568 569 570 571 572 573 574 575 576 577 578 579 580 581 582 583 584 585 586 587 588 589 590
/*
 * 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) {
591
		FREE_AND_NULL(ref_git);
592 593 594 595 596
	}

	return ref_git;
}

597
int foreach_alt_odb(alt_odb_fn fn, void *cb)
598 599
{
	struct alternate_object_database *ent;
600
	int r = 0;
601 602

	prepare_alt_odb();
603 604 605 606 607 608
	for (ent = alt_odb_list; ent; ent = ent->next) {
		r = fn(ent, cb);
		if (r)
			break;
	}
	return r;
609 610
}

M
Martin Waitz 已提交
611 612
void prepare_alt_odb(void)
{
T
Timo Hirvonen 已提交
613
	const char *alt;
M
Martin Waitz 已提交
614

S
Shawn O. Pearce 已提交
615 616 617
	if (alt_odb_tail)
		return;

M
Martin Waitz 已提交
618 619 620 621
	alt = getenv(ALTERNATE_DB_ENVIRONMENT);
	if (!alt) alt = "";

	alt_odb_tail = &alt_odb_list;
622
	link_alt_odb_entries(alt, strlen(alt), PATH_SEP, NULL, 0);
M
Martin Waitz 已提交
623 624 625 626

	read_info_alternates(get_object_directory(), 0);
}

627
/* Returns 1 if we have successfully freshened the file, 0 otherwise. */
628
static int freshen_file(const char *fn)
629
{
630 631 632
	struct utimbuf t;
	t.actime = t.modtime = time(NULL);
	return !utime(fn, &t);
633
}
634

635 636 637 638 639 640 641
/*
 * 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).
 */
642
int check_and_freshen_file(const char *fn, int freshen)
643 644 645
{
	if (access(fn, F_OK))
		return 0;
646
	if (freshen && !freshen_file(fn))
647 648 649 650 651 652 653 654 655 656
		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)
657 658
{
	struct alternate_object_database *alt;
659
	prepare_alt_odb();
660
	for (alt = alt_odb_list; alt; alt = alt->next) {
661 662
		const char *path = alt_sha1_path(alt, sha1);
		if (check_and_freshen_file(path, freshen))
663
			return 1;
664
	}
665
	return 0;
666 667
}

668 669 670 671 672 673 674 675 676 677 678
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);
}

679 680
static int has_loose_object(const unsigned char *sha1)
{
681
	return check_and_freshen(sha1, 0);
682 683
}

684 685 686 687 688 689 690 691 692 693 694 695 696
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 已提交
697 698
void *xmmap_gently(void *start, size_t length,
		  int prot, int flags, int fd, off_t offset)
699
{
700 701 702 703
	void *ret;

	mmap_limit_check(length);
	ret = mmap(start, length, prot, flags, fd, offset);
704 705 706
	if (ret == MAP_FAILED) {
		if (!length)
			return NULL;
707
		release_pack_memory(length);
708 709 710 711 712
		ret = mmap(start, length, prot, flags, fd, offset);
	}
	return ret;
}

J
Jeff King 已提交
713 714 715 716 717
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 已提交
718
		die_errno("mmap failed");
J
Jeff King 已提交
719 720 721
	return ret;
}

722 723
void install_packed_git(struct packed_git *pack)
{
724 725 726
	if (pack->pack_fd != -1)
		pack_open_fds++;

727 728 729 730
	pack->next = packed_git;
	packed_git = pack;
}

731
void (*report_garbage)(unsigned seen_bits, const char *path);
732 733 734 735

static void report_helper(const struct string_list *list,
			  int seen_bits, int first, int last)
{
736
	if (seen_bits == (PACKDIR_FILE_PACK|PACKDIR_FILE_IDX))
737
		return;
738

739
	for (; first < last; first++)
740
		report_garbage(seen_bits, list->items[first].string);
741 742 743 744 745 746 747 748 749
}

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

	if (!report_garbage)
		return;

750
	string_list_sort(list);
751 752 753 754 755 756 757 758 759 760 761 762

	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) {
763
				report_garbage(PACKDIR_FILE_GARBAGE, path);
764 765 766 767 768 769 770 771 772 773 774 775 776
				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);
}

777
static void prepare_packed_git_one(char *objdir, int local)
778
{
779 780
	struct strbuf path = STRBUF_INIT;
	size_t dirnamelen;
781 782
	DIR *dir;
	struct dirent *de;
783
	struct string_list garbage = STRING_LIST_INIT_DUP;
784

785 786 787
	strbuf_addstr(&path, objdir);
	strbuf_addstr(&path, "/pack");
	dir = opendir(path.buf);
788
	if (!dir) {
J
Junio C Hamano 已提交
789
		if (errno != ENOENT)
790 791
			error_errno("unable to open object pack directory: %s",
				    path.buf);
792
		strbuf_release(&path);
793
		return;
794
	}
795 796
	strbuf_addch(&path, '/');
	dirnamelen = path.len;
797 798
	while ((de = readdir(dir)) != NULL) {
		struct packed_git *p;
799
		size_t base_len;
800 801

		if (is_dot_or_dotdot(de->d_name))
802 803
			continue;

804 805
		strbuf_setlen(&path, dirnamelen);
		strbuf_addstr(&path, de->d_name);
806

807 808
		base_len = path.len;
		if (strip_suffix_mem(path.buf, &base_len, ".idx")) {
809 810
			/* Don't reopen a pack we already have. */
			for (p = packed_git; p; p = p->next) {
811 812 813 814
				size_t len;
				if (strip_suffix(p->pack_name, ".pack", &len) &&
				    len == base_len &&
				    !memcmp(p->pack_name, path.buf, len))
815 816 817 818 819 820 821
					break;
			}
			if (p == NULL &&
			    /*
			     * See if it really is a valid .idx file with
			     * corresponding .pack file that we can map.
			     */
822
			    (p = add_packed_git(path.buf, path.len, local)) != NULL)
823
				install_packed_git(p);
824
		}
825 826 827 828

		if (!report_garbage)
			continue;

J
Jeff King 已提交
829 830 831 832
		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"))
833
			string_list_append(&garbage, path.buf);
834
		else
835
			report_garbage(PACKDIR_FILE_GARBAGE, path.buf);
836
	}
837
	closedir(dir);
838 839
	report_pack_garbage(&garbage);
	string_list_clear(&garbage, 0);
840
	strbuf_release(&path);
841 842
}

843 844 845 846 847 848 849 850 851 852 853 854 855 856 857 858 859 860 861 862 863 864 865 866 867 868
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;
}

869 870 871 872 873 874 875 876 877 878
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;
}

879 880
static int sort_pack(const void *a_, const void *b_)
{
881 882
	const struct packed_git *a = a_;
	const struct packed_git *b = b_;
883 884 885 886 887 888 889 890 891 892 893 894 895 896 897 898 899 900 901 902 903 904 905 906 907 908
	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)
{
909 910
	packed_git = llist_mergesort(packed_git, get_next_packed_git,
				     set_next_packed_git, sort_pack);
911 912
}

913 914 915 916 917 918 919 920 921
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);
}

922
static int prepare_packed_git_run_once = 0;
923
void prepare_packed_git(void)
924
{
925
	struct alternate_object_database *alt;
926

927
	if (prepare_packed_git_run_once)
928
		return;
929
	prepare_packed_git_one(get_object_directory(), 1);
930
	prepare_alt_odb();
931 932
	for (alt = alt_odb_list; alt; alt = alt->next)
		prepare_packed_git_one(alt->path, 0);
933
	rearrange_packed_git();
934
	prepare_packed_git_mru();
935 936 937
	prepare_packed_git_run_once = 1;
}

938
void reprepare_packed_git(void)
939
{
940
	approximate_object_count_valid = 0;
941 942
	prepare_packed_git_run_once = 0;
	prepare_packed_git();
943 944
}

945 946 947 948 949
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++)
950
		if (!hashcmp(sha1, p->bad_object_sha1 + GIT_SHA1_RAWSZ * i))
951
			return;
952
	p->bad_object_sha1 = xrealloc(p->bad_object_sha1,
953
				      st_mult(GIT_MAX_RAWSZ,
954 955
					      st_add(p->num_bad_objects, 1)));
	hashcpy(p->bad_object_sha1 + GIT_SHA1_RAWSZ * p->num_bad_objects, sha1);
956 957 958
	p->num_bad_objects++;
}

959
static const struct packed_git *has_packed_and_bad(const unsigned char *sha1)
960 961 962 963 964 965 966
{
	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))
967 968
				return p;
	return NULL;
969 970
}

971 972 973 974 975 976 977 978
/*
 * 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)
979 980
{
	unsigned char real_sha1[20];
981 982 983 984 985 986 987 988 989 990 991 992 993 994 995 996
	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 */
997
	hdrlen = xsnprintf(hdr, sizeof(hdr), "%s %lu", typename(obj_type), size) + 1;
998 999 1000 1001 1002 1003 1004 1005

	/* 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));

1006 1007 1008 1009
		if (readlen < 0) {
			close_istream(st);
			return -1;
		}
1010 1011 1012 1013 1014 1015
		if (!readlen)
			break;
		git_SHA1_Update(&c, buf, readlen);
	}
	git_SHA1_Final(real_sha1, &c);
	close_istream(st);
1016
	return hashcmp(sha1, real_sha1) ? -1 : 0;
1017 1018
}

1019
int git_open_cloexec(const char *name, int flags)
1020
{
1021 1022
	int fd;
	static int o_cloexec = O_CLOEXEC;
1023

1024 1025
	fd = open(name, flags | o_cloexec);
	if ((o_cloexec & O_CLOEXEC) && fd < 0 && errno == EINVAL) {
1026
		/* Try again w/o O_CLOEXEC: the kernel might not support it */
1027 1028
		o_cloexec &= ~O_CLOEXEC;
		fd = open(name, flags | o_cloexec);
1029
	}
1030

1031
#if defined(F_GETFD) && defined(F_SETFD) && defined(FD_CLOEXEC)
1032 1033 1034 1035 1036
	{
		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 */
1037 1038
			int flags = fcntl(fd, F_GETFD);
			if (fcntl(fd, F_SETFD, flags | fd_cloexec))
1039
				fd_cloexec = 0;
1040
		}
1041
	}
1042
#endif
1043
	return fd;
1044 1045
}

1046 1047 1048 1049 1050 1051 1052 1053 1054 1055
/*
 * 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)
1056 1057 1058
{
	struct alternate_object_database *alt;

1059 1060
	*path = sha1_file_name(sha1);
	if (!lstat(*path, st))
1061 1062 1063 1064 1065
		return 0;

	prepare_alt_odb();
	errno = ENOENT;
	for (alt = alt_odb_list; alt; alt = alt->next) {
1066 1067
		*path = alt_sha1_path(alt, sha1);
		if (!lstat(*path, st))
1068 1069 1070 1071 1072 1073
			return 0;
	}

	return -1;
}

1074 1075 1076 1077 1078
/*
 * 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)
1079 1080 1081
{
	int fd;
	struct alternate_object_database *alt;
1082
	int most_interesting_errno;
1083

1084 1085
	*path = sha1_file_name(sha1);
	fd = git_open(*path);
1086 1087
	if (fd >= 0)
		return fd;
1088
	most_interesting_errno = errno;
1089 1090 1091

	prepare_alt_odb();
	for (alt = alt_odb_list; alt; alt = alt->next) {
1092 1093
		*path = alt_sha1_path(alt, sha1);
		fd = git_open(*path);
1094 1095
		if (fd >= 0)
			return fd;
1096 1097
		if (most_interesting_errno == ENOENT)
			most_interesting_errno = errno;
1098
	}
1099
	errno = most_interesting_errno;
1100 1101 1102
	return -1;
}

1103 1104 1105 1106 1107 1108 1109
/*
 * 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)
1110 1111
{
	void *map;
1112
	int fd;
1113

1114 1115 1116 1117
	if (path)
		fd = git_open(path);
	else
		fd = open_sha1_file(sha1, &path);
1118 1119 1120
	map = NULL;
	if (fd >= 0) {
		struct stat st;
1121

1122 1123
		if (!fstat(fd, &st)) {
			*size = xsize_t(st.st_size);
1124 1125
			if (!*size) {
				/* mmap() is forbidden on empty files */
1126
				error("object file %s is empty", path);
1127 1128
				return NULL;
			}
1129
			map = xmmap(NULL, *size, PROT_READ, MAP_PRIVATE, fd, 0);
1130
		}
1131
		close(fd);
1132 1133 1134 1135
	}
	return map;
}

1136 1137 1138 1139 1140
void *map_sha1_file(const unsigned char *sha1, unsigned long *size)
{
	return map_sha1_file_1(NULL, sha1, size);
}

1141 1142
unsigned long unpack_object_header_buffer(const unsigned char *buf,
		unsigned long len, enum object_type *type, unsigned long *sizep)
1143
{
1144
	unsigned shift;
1145
	unsigned long size, c;
1146 1147 1148 1149 1150 1151 1152
	unsigned long used = 0;

	c = buf[used++];
	*type = (c >> 4) & 7;
	size = c & 15;
	shift = 4;
	while (c & 0x80) {
1153
		if (len <= used || bitsizeof(long) <= shift) {
1154
			error("bad object header");
1155 1156
			size = used = 0;
			break;
1157
		}
1158 1159 1160 1161 1162 1163 1164 1165
		c = buf[used++];
		size += (c & 0x7f) << shift;
		shift += 7;
	}
	*sizep = size;
	return used;
}

1166 1167 1168
static int unpack_sha1_short_header(git_zstream *stream,
				    unsigned char *map, unsigned long mapsize,
				    void *buffer, unsigned long bufsiz)
1169
{
1170 1171 1172 1173 1174
	/* Get the data stream */
	memset(stream, 0, sizeof(*stream));
	stream->next_in = map;
	stream->avail_in = mapsize;
	stream->next_out = buffer;
1175 1176
	stream->avail_out = bufsiz;

1177
	git_inflate_init(stream);
1178
	return git_inflate(stream, 0);
1179 1180
}

1181 1182 1183 1184 1185 1186 1187 1188 1189 1190 1191 1192 1193 1194 1195 1196
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;
}

1197 1198 1199 1200 1201 1202
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;

1203 1204 1205
	status = unpack_sha1_short_header(stream, map, mapsize, buffer, bufsiz);
	if (status < Z_OK)
		return -1;
1206 1207 1208 1209 1210 1211 1212 1213 1214 1215 1216 1217 1218 1219 1220 1221 1222 1223 1224 1225 1226 1227 1228 1229 1230 1231 1232

	/*
	 * 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;
}

1233
static void *unpack_sha1_rest(git_zstream *stream, void *buffer, unsigned long size, const unsigned char *sha1)
1234 1235
{
	int bytes = strlen(buffer) + 1;
1236
	unsigned char *buf = xmallocz(size);
1237
	unsigned long n;
1238
	int status = Z_OK;
1239

1240 1241 1242 1243 1244
	n = stream->total_out - bytes;
	if (n > size)
		n = size;
	memcpy(buf, (char *) buffer + bytes, n);
	bytes = n;
1245 1246 1247 1248
	if (bytes <= size) {
		/*
		 * The above condition must be (bytes <= size), not
		 * (bytes < size).  In other words, even though we
J
Junio C Hamano 已提交
1249
		 * expect no more output and set avail_out to zero,
1250 1251 1252 1253 1254 1255 1256 1257 1258
		 * 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.
		 */
1259 1260
		stream->next_out = buf + bytes;
		stream->avail_out = size - bytes;
1261
		while (status == Z_OK)
1262
			status = git_inflate(stream, Z_FINISH);
1263
	}
1264
	if (status == Z_STREAM_END && !stream->avail_in) {
1265
		git_inflate_end(stream);
1266 1267 1268 1269 1270 1271 1272 1273 1274 1275
		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;
1276 1277 1278 1279 1280 1281 1282
}

/*
 * 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.
 */
1283 1284
static int parse_sha1_header_extended(const char *hdr, struct object_info *oi,
			       unsigned int flags)
1285
{
1286
	const char *type_buf = hdr;
1287
	unsigned long size;
1288
	int type, type_len = 0;
1289 1290

	/*
1291
	 * The type can be of any size but is followed by
1292
	 * a space.
1293 1294 1295
	 */
	for (;;) {
		char c = *hdr++;
1296 1297
		if (!c)
			return -1;
1298 1299
		if (c == ' ')
			break;
1300
		type_len++;
1301
	}
1302 1303 1304 1305 1306 1307

	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ä 已提交
1308
	 * we're obtaining the type using '--allow-unknown-type'
1309 1310
	 * option.
	 */
1311
	if ((flags & OBJECT_INFO_ALLOW_UNKNOWN_TYPE) && (type < 0))
1312 1313 1314 1315 1316
		type = 0;
	else if (type < 0)
		die("invalid object type");
	if (oi->typep)
		*oi->typep = type;
1317 1318 1319 1320 1321 1322 1323 1324 1325 1326 1327 1328 1329 1330 1331 1332 1333

	/*
	 * 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;
		}
	}
1334 1335 1336

	if (oi->sizep)
		*oi->sizep = size;
1337 1338 1339 1340

	/*
	 * The length must be followed by a zero byte
	 */
1341 1342 1343 1344 1345
	return *hdr ? -1 : type;
}

int parse_sha1_header(const char *hdr, unsigned long *sizep)
{
1346
	struct object_info oi = OBJECT_INFO_INIT;
1347 1348

	oi.sizep = sizep;
1349
	return parse_sha1_header_extended(hdr, &oi, 0);
1350 1351
}

N
Nicolas Pitre 已提交
1352 1353 1354 1355 1356 1357
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;
1358
	git_zstream stream;
N
Nicolas Pitre 已提交
1359 1360 1361 1362 1363 1364
	int st;

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

1365
	git_inflate_init(&stream);
N
Nicolas Pitre 已提交
1366 1367 1368
	do {
		in = use_pack(p, w_curs, curpos, &stream.avail_in);
		stream.next_in = in;
1369
		st = git_inflate(&stream, Z_FINISH);
N
Nicolas Pitre 已提交
1370 1371 1372
		curpos += stream.next_in - in;
	} while ((st == Z_OK || st == Z_BUF_ERROR) &&
		 stream.total_out < sizeof(delta_head));
1373
	git_inflate_end(&stream);
1374 1375 1376 1377
	if ((st != Z_STREAM_END) && stream.total_out != sizeof(delta_head)) {
		error("delta data unpack-initial failed");
		return 0;
	}
N
Nicolas Pitre 已提交
1378 1379 1380 1381 1382 1383 1384 1385 1386 1387 1388 1389 1390

	/* 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));
}

1391
static off_t get_delta_base(struct packed_git *p,
1392
				    struct pack_window **w_curs,
1393
				    off_t *curpos,
1394
				    enum object_type type,
1395
				    off_t delta_obj_offset)
1396
{
1397
	unsigned char *base_info = use_pack(p, w_curs, *curpos, NULL);
1398
	off_t base_offset;
1399

1400 1401 1402 1403 1404 1405
	/* 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.
	 */
1406
	if (type == OBJ_OFS_DELTA) {
1407 1408 1409 1410 1411
		unsigned used = 0;
		unsigned char c = base_info[used++];
		base_offset = c & 127;
		while (c & 128) {
			base_offset += 1;
1412
			if (!base_offset || MSB(base_offset, 7))
1413
				return 0;  /* overflow */
1414 1415 1416 1417
			c = base_info[used++];
			base_offset = (base_offset << 7) + (c & 127);
		}
		base_offset = delta_obj_offset - base_offset;
1418
		if (base_offset <= 0 || base_offset >= delta_obj_offset)
1419
			return 0;  /* out of bound */
1420
		*curpos += used;
1421
	} else if (type == OBJ_REF_DELTA) {
1422 1423
		/* The base entry _must_ be in the same pack */
		base_offset = find_pack_entry_one(base_info, p);
1424
		*curpos += 20;
1425 1426
	} else
		die("I am totally screwed");
1427
	return base_offset;
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 1456 1457 1458 1459 1460 1461
/*
 * 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;
}

1462 1463 1464 1465
int unpack_object_header(struct packed_git *p,
			 struct pack_window **w_curs,
			 off_t *curpos,
			 unsigned long *sizep)
1466
{
1467
	unsigned char *base;
1468
	unsigned long left;
1469
	unsigned long used;
1470
	enum object_type type;
1471

1472
	/* use_pack() assures us we have [base, base + 20) available
1473
	 * as a range that we can look at.  (Its actually the hash
P
Pavel Roskin 已提交
1474
	 * size that is assured.)  With our object header encoding
1475 1476 1477
	 * the maximum deflated object size is 2^137, which is just
	 * insane, so we know won't exceed what we have been given.
	 */
1478
	base = use_pack(p, w_curs, *curpos, &left);
1479 1480 1481 1482 1483
	used = unpack_object_header_buffer(base, left, &type, sizep);
	if (!used) {
		type = OBJ_BAD;
	} else
		*curpos += used;
1484

1485
	return type;
1486 1487
}

1488 1489 1490 1491 1492 1493 1494 1495 1496 1497 1498 1499 1500 1501 1502 1503 1504 1505
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

1506 1507 1508 1509 1510
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)
1511
{
1512 1513 1514
	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;
1515

1516 1517
	while (type == OBJ_OFS_DELTA || type == OBJ_REF_DELTA) {
		off_t base_offset;
1518
		unsigned long size;
1519 1520 1521
		/* 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 已提交
1522
			ALLOC_ARRAY(poi_stack, poi_stack_alloc);
1523 1524 1525 1526 1527 1528
			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 */
1529
		base_offset = get_delta_base(p, w_curs, &curpos, type, obj_offset);
1530 1531 1532
		if (!base_offset)
			goto unwind;
		curpos = obj_offset = base_offset;
1533
		type = unpack_object_header(p, w_curs, &curpos, &size);
1534 1535 1536 1537 1538 1539 1540 1541 1542 1543
		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;
		}
	}

1544
	switch (type) {
1545
	case OBJ_BAD:
1546 1547 1548 1549
	case OBJ_COMMIT:
	case OBJ_TREE:
	case OBJ_BLOB:
	case OBJ_TAG:
1550
		break;
1551
	default:
1552 1553 1554
		error("unknown object type %i at offset %"PRIuMAX" in %s",
		      type, (uintmax_t)obj_offset, p->pack_name);
		type = OBJ_BAD;
1555
	}
1556 1557 1558 1559

out:
	if (poi_stack != small_poi_stack)
		free(poi_stack);
1560
	return type;
1561 1562 1563 1564 1565 1566 1567 1568 1569 1570

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;
1571 1572
}

J
Jeff King 已提交
1573
static struct hashmap delta_base_cache;
1574
static size_t delta_base_cached;
1575

J
Jeff King 已提交
1576
static LIST_HEAD(delta_base_cache_lru);
1577

J
Jeff King 已提交
1578
struct delta_base_cache_key {
1579 1580
	struct packed_git *p;
	off_t base_offset;
J
Jeff King 已提交
1581 1582 1583 1584 1585 1586 1587
};

struct delta_base_cache_entry {
	struct hashmap hash;
	struct delta_base_cache_key key;
	struct list_head lru;
	void *data;
1588 1589
	unsigned long size;
	enum object_type type;
J
Jeff King 已提交
1590
};
1591

J
Jeff King 已提交
1592
static unsigned int pack_entry_hash(struct packed_git *p, off_t base_offset)
1593
{
J
Jeff King 已提交
1594
	unsigned int hash;
1595

J
Jeff King 已提交
1596
	hash = (unsigned int)(intptr_t)p + (unsigned int)base_offset;
1597
	hash += (hash >> 8) + (hash >> 16);
J
Jeff King 已提交
1598
	return hash;
1599 1600
}

1601 1602
static struct delta_base_cache_entry *
get_delta_base_cache_entry(struct packed_git *p, off_t base_offset)
1603
{
J
Jeff King 已提交
1604 1605 1606 1607 1608 1609 1610 1611 1612 1613 1614 1615 1616 1617 1618 1619
	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;
1620 1621
}

1622 1623
static int delta_base_cache_hash_cmp(const void *unused_cmp_data,
				     const void *va, const void *vb,
J
Jeff King 已提交
1624
				     const void *vkey)
1625
{
J
Jeff King 已提交
1626 1627 1628 1629 1630 1631
	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);
1632 1633
}

1634 1635
static int in_delta_base_cache(struct packed_git *p, off_t base_offset)
{
J
Jeff King 已提交
1636
	return !!get_delta_base_cache_entry(p, base_offset);
1637 1638
}

1639 1640 1641 1642 1643 1644
/*
 * 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)
1645
{
J
Jeff King 已提交
1646
	hashmap_remove(&delta_base_cache, ent, &ent->key);
J
Jeff King 已提交
1647
	list_del(&ent->lru);
1648
	delta_base_cached -= ent->size;
J
Jeff King 已提交
1649
	free(ent);
1650 1651
}

1652
static void *cache_or_unpack_entry(struct packed_git *p, off_t base_offset,
1653
	unsigned long *base_size, enum object_type *type)
1654
{
1655
	struct delta_base_cache_entry *ent;
1656

1657
	ent = get_delta_base_cache_entry(p, base_offset);
J
Jeff King 已提交
1658
	if (!ent)
1659
		return unpack_entry(p, base_offset, type, base_size);
1660

J
Jonathan Tan 已提交
1661 1662 1663 1664
	if (type)
		*type = ent->type;
	if (base_size)
		*base_size = ent->size;
1665
	return xmemdupz(ent->data, ent->size);
1666 1667
}

1668 1669
static inline void release_delta_base_cache(struct delta_base_cache_entry *ent)
{
J
Jeff King 已提交
1670 1671
	free(ent->data);
	detach_delta_base_cache_entry(ent);
1672 1673
}

1674 1675
void clear_delta_base_cache(void)
{
1676 1677 1678 1679
	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 已提交
1680 1681
		release_delta_base_cache(entry);
	}
1682 1683
}

1684 1685 1686
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 已提交
1687
	struct delta_base_cache_entry *ent = xmalloc(sizeof(*ent));
1688
	struct list_head *lru, *tmp;
1689

1690
	delta_base_cached += base_size;
1691

1692
	list_for_each_safe(lru, tmp, &delta_base_cache_lru) {
J
Jeff King 已提交
1693 1694 1695 1696
		struct delta_base_cache_entry *f =
			list_entry(lru, struct delta_base_cache_entry, lru);
		if (delta_base_cached <= delta_base_cache_limit)
			break;
1697 1698
		release_delta_base_cache(f);
	}
1699

J
Jeff King 已提交
1700 1701
	ent->key.p = p;
	ent->key.base_offset = base_offset;
1702 1703 1704
	ent->type = type;
	ent->data = base;
	ent->size = base_size;
J
Jeff King 已提交
1705
	list_add_tail(&ent->lru, &delta_base_cache_lru);
J
Jeff King 已提交
1706 1707

	if (!delta_base_cache.cmpfn)
1708
		hashmap_init(&delta_base_cache, delta_base_cache_hash_cmp, NULL, 0);
J
Jeff King 已提交
1709 1710
	hashmap_entry_init(ent, pack_entry_hash(p, base_offset));
	hashmap_add(&delta_base_cache, ent);
1711 1712
}

1713 1714 1715 1716 1717 1718 1719 1720 1721 1722 1723 1724
int packed_object_info(struct packed_git *p, off_t obj_offset,
		       struct object_info *oi)
{
	struct pack_window *w_curs = NULL;
	unsigned long size;
	off_t curpos = obj_offset;
	enum object_type type;

	/*
	 * We always get the representation type, but only convert it to
	 * a "real" type later if the caller is interested.
	 */
J
Jonathan Tan 已提交
1725 1726 1727 1728 1729 1730 1731 1732
	if (oi->contentp) {
		*oi->contentp = cache_or_unpack_entry(p, obj_offset, oi->sizep,
						      &type);
		if (!*oi->contentp)
			type = OBJ_BAD;
	} else {
		type = unpack_object_header(p, &w_curs, &curpos, &size);
	}
1733

J
Jonathan Tan 已提交
1734
	if (!oi->contentp && oi->sizep) {
1735 1736 1737 1738 1739 1740 1741 1742 1743 1744 1745 1746 1747 1748 1749 1750 1751 1752 1753 1754 1755 1756 1757 1758 1759 1760 1761 1762 1763 1764 1765 1766 1767 1768 1769 1770 1771 1772 1773 1774 1775 1776 1777 1778 1779 1780 1781 1782 1783 1784 1785 1786 1787 1788 1789 1790
		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;
			}
			*oi->sizep = get_size_from_delta(p, &w_curs, tmp_pos);
			if (*oi->sizep == 0) {
				type = OBJ_BAD;
				goto out;
			}
		} else {
			*oi->sizep = size;
		}
	}

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

	if (oi->typep || oi->typename) {
		enum object_type ptot;
		ptot = packed_to_object_type(p, obj_offset, type, &w_curs,
					     curpos);
		if (oi->typep)
			*oi->typep = ptot;
		if (oi->typename) {
			const char *tn = typename(ptot);
			if (tn)
				strbuf_addstr(oi->typename, tn);
		}
		if (ptot < 0) {
			type = OBJ_BAD;
			goto out;
		}
	}

	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);
	}

1791 1792 1793
	oi->whence = in_delta_base_cache(p, obj_offset) ? OI_DBCACHED :
							  OI_PACKED;

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 1820 1821 1822 1823 1824 1825 1826 1827 1828 1829 1830 1831 1832
out:
	unuse_pack(&w_curs);
	return type;
}

static void *unpack_compressed_entry(struct packed_git *p,
				    struct pack_window **w_curs,
				    off_t curpos,
				    unsigned long size)
{
	int st;
	git_zstream stream;
	unsigned char *buffer, *in;

	buffer = xmallocz_gently(size);
	if (!buffer)
		return NULL;
	memset(&stream, 0, sizeof(stream));
	stream.next_out = buffer;
	stream.avail_out = size + 1;

	git_inflate_init(&stream);
	do {
		in = use_pack(p, w_curs, curpos, &stream.avail_in);
		stream.next_in = in;
		st = git_inflate(&stream, Z_FINISH);
		if (!stream.avail_out)
			break; /* the payload is larger than it should be */
		curpos += stream.next_in - in;
	} while (st == Z_OK || st == Z_BUF_ERROR);
	git_inflate_end(&stream);
	if ((st != Z_STREAM_END) || stream.total_out != size) {
		free(buffer);
		return NULL;
	}

	return buffer;
}

1833 1834 1835
static void *read_object(const unsigned char *sha1, enum object_type *type,
			 unsigned long *size);

1836 1837
static void write_pack_access_log(struct packed_git *p, off_t obj_offset)
{
1838 1839 1840
	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);
1841 1842
}

1843 1844
int do_check_packed_object_crc;

1845 1846 1847 1848 1849 1850 1851
#define UNPACK_ENTRY_STACK_PREALLOC 64
struct unpack_entry_stack_ent {
	off_t obj_offset;
	off_t curpos;
	unsigned long size;
};

1852
void *unpack_entry(struct packed_git *p, off_t obj_offset,
1853
		   enum object_type *final_type, unsigned long *final_size)
1854
{
1855
	struct pack_window *w_curs = NULL;
1856
	off_t curpos = obj_offset;
1857 1858 1859 1860 1861 1862 1863
	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;
1864

1865
	write_pack_access_log(p, obj_offset);
1866

1867 1868 1869 1870 1871 1872
	/* PHASE 1: drill down to the innermost base object */
	for (;;) {
		off_t base_offset;
		int i;
		struct delta_base_cache_entry *ent;

1873
		ent = get_delta_base_cache_entry(p, curpos);
J
Jeff King 已提交
1874
		if (ent) {
1875 1876 1877
			type = ent->type;
			data = ent->data;
			size = ent->size;
1878
			detach_delta_base_cache_entry(ent);
1879 1880 1881 1882
			base_from_cache = 1;
			break;
		}

1883 1884
		if (do_check_packed_object_crc && p->index_version > 1) {
			struct revindex_entry *revidx = find_pack_revindex(p, obj_offset);
1885
			off_t len = revidx[1].offset - obj_offset;
1886 1887 1888 1889 1890 1891
			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);
1892 1893
				data = NULL;
				goto out;
1894 1895 1896 1897 1898 1899 1900 1901 1902 1903 1904 1905 1906 1907 1908 1909 1910 1911 1912 1913 1914
			}
		}

		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 已提交
1915
			ALLOC_ARRAY(delta_stack, delta_stack_alloc);
1916 1917 1918 1919 1920 1921 1922 1923 1924 1925 1926
			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;
1927 1928
	}

1929 1930
	/* PHASE 2: handle the base */
	switch (type) {
1931 1932
	case OBJ_OFS_DELTA:
	case OBJ_REF_DELTA:
1933
		if (data)
1934
			die("BUG: unpack_entry: left loop at a valid delta");
1935
		break;
1936 1937 1938 1939
	case OBJ_COMMIT:
	case OBJ_TREE:
	case OBJ_BLOB:
	case OBJ_TAG:
1940 1941
		if (!base_from_cache)
			data = unpack_compressed_entry(p, &w_curs, curpos, size);
1942
		break;
1943
	default:
1944 1945
		data = NULL;
		error("unknown object type %i at offset %"PRIuMAX" in %s",
1946 1947 1948 1949 1950 1951 1952 1953 1954 1955 1956
		      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;
1957
		void *external_base = NULL;
1958 1959 1960 1961 1962 1963 1964 1965 1966 1967 1968 1969 1970 1971 1972 1973 1974 1975 1976 1977 1978 1979 1980 1981 1982 1983
		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);
1984
				external_base = base;
1985 1986 1987 1988 1989 1990 1991 1992 1993 1994 1995 1996 1997 1998 1999 2000 2001 2002
			}
		}

		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;
2003
			free(external_base);
2004 2005 2006 2007 2008 2009
			continue;
		}

		data = patch_delta(base, base_size,
				   delta_data, delta_size,
				   &size);
2010 2011 2012 2013 2014 2015 2016 2017 2018

		/*
		 * 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.
		 */
2019
		if (!data)
2020
			error("failed to apply delta");
2021

2022
		free(delta_data);
2023
		free(external_base);
2024
	}
2025

J
Jonathan Tan 已提交
2026 2027 2028 2029
	if (final_type)
		*final_type = type;
	if (final_size)
		*final_size = size;
2030

2031
out:
2032
	unuse_pack(&w_curs);
2033 2034 2035 2036

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

2037
	return data;
2038 2039
}

2040
const unsigned char *nth_packed_object_sha1(struct packed_git *p,
2041
					    uint32_t n)
2042
{
2043
	const unsigned char *index = p->index_data;
2044 2045 2046 2047 2048
	if (!index) {
		if (open_pack_index(p))
			return NULL;
		index = p->index_data;
	}
N
Nicolas Pitre 已提交
2049
	if (n >= p->num_objects)
2050
		return NULL;
2051 2052 2053 2054 2055 2056 2057 2058 2059
	index += 4 * 256;
	if (p->index_version == 1) {
		return index + 24 * n + 4;
	} else {
		index += 8;
		return index + 20 * n;
	}
}

2060 2061 2062 2063 2064 2065 2066 2067 2068 2069 2070
const struct object_id *nth_packed_object_oid(struct object_id *oid,
					      struct packed_git *p,
					      uint32_t n)
{
	const unsigned char *hash = nth_packed_object_sha1(p, n);
	if (!hash)
		return NULL;
	hashcpy(oid->hash, hash);
	return oid;
}

2071 2072 2073 2074 2075 2076
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)
2077
		die(_("offset before start of pack index for %s (corrupt index?)"),
2078 2079 2080
		    p->pack_name);
	/* No need to check for underflow; .idx files must be at least 8 bytes */
	if (ptr >= end - 8)
2081
		die(_("offset beyond end of pack index for %s (truncated index?)"),
2082 2083 2084
		    p->pack_name);
}

N
Nicolas Pitre 已提交
2085
off_t nth_packed_object_offset(const struct packed_git *p, uint32_t n)
2086 2087 2088 2089 2090 2091 2092 2093 2094 2095 2096 2097
{
	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;
2098
		check_pack_index_ptr(p, index);
2099 2100 2101
		return (((uint64_t)ntohl(*((uint32_t *)(index + 0)))) << 32) |
				   ntohl(*((uint32_t *)(index + 4)));
	}
2102 2103
}

2104
off_t find_pack_entry_one(const unsigned char *sha1,
N
Nicolas Pitre 已提交
2105
				  struct packed_git *p)
2106
{
2107 2108
	const uint32_t *level1_ofs = p->index_data;
	const unsigned char *index = p->index_data;
2109 2110 2111 2112 2113
	unsigned hi, lo, stride;
	static int debug_lookup = -1;

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

2115 2116 2117 2118 2119 2120
	if (!index) {
		if (open_pack_index(p))
			return 0;
		level1_ofs = p->index_data;
		index = p->index_data;
	}
2121 2122 2123 2124
	if (p->index_version > 1) {
		level1_ofs += 2;
		index += 8;
	}
2125
	index += 4 * 256;
2126 2127
	hi = ntohl(level1_ofs[*sha1]);
	lo = ((*sha1 == 0x0) ? 0 : ntohl(level1_ofs[*sha1 - 1]));
2128 2129 2130 2131 2132 2133 2134 2135
	if (p->index_version > 1) {
		stride = 20;
	} else {
		stride = 24;
		index += 4;
	}

	if (debug_lookup)
2136
		printf("%02x%02x%02x... lo %u hi %u nr %"PRIu32"\n",
2137 2138
		       sha1[0], sha1[1], sha1[2], lo, hi, p->num_objects);

2139
	while (lo < hi) {
2140
		unsigned mi = (lo + hi) / 2;
2141 2142 2143 2144 2145
		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 已提交
2146
		if (!cmp)
2147
			return nth_packed_object_offset(p, mi);
2148 2149 2150 2151
		if (cmp > 0)
			hi = mi;
		else
			lo = mi+1;
2152
	}
2153 2154 2155
	return 0;
}

2156
int is_pack_valid(struct packed_git *p)
2157 2158 2159 2160 2161 2162 2163 2164 2165 2166 2167 2168 2169 2170 2171 2172 2173 2174 2175 2176
{
	/* 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);
}

2177 2178 2179 2180 2181 2182 2183 2184 2185 2186 2187 2188 2189 2190 2191 2192 2193 2194 2195 2196 2197 2198 2199 2200
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!
	 */
2201
	if (!is_pack_valid(p))
2202 2203 2204 2205 2206 2207 2208
		return 0;
	e->offset = offset;
	e->p = p;
	hashcpy(e->sha1, sha1);
	return 1;
}

2209 2210 2211 2212
/*
 * Iff a pack file contains the object named by sha1, return true and
 * store its location to e.
 */
2213
static int find_pack_entry(const unsigned char *sha1, struct pack_entry *e)
2214
{
2215
	struct mru_entry *p;
N
Nicolas Pitre 已提交
2216

2217
	prepare_packed_git();
2218 2219
	if (!packed_git)
		return 0;
2220

2221 2222 2223
	for (p = packed_git_mru->head; p; p = p->next) {
		if (fill_pack_entry(sha1, e, p->item)) {
			mru_mark(packed_git_mru, p);
2224 2225
			return 1;
		}
2226
	}
2227 2228 2229
	return 0;
}

J
Junio C Hamano 已提交
2230
struct packed_git *find_sha1_pack(const unsigned char *sha1,
2231 2232 2233 2234 2235
				  struct packed_git *packs)
{
	struct packed_git *p;

	for (p = packs; p; p = p->next) {
N
Nicolas Pitre 已提交
2236
		if (find_pack_entry_one(sha1, p))
2237 2238 2239
			return p;
	}
	return NULL;
2240

2241 2242
}

2243
static int sha1_loose_object_info(const unsigned char *sha1,
2244 2245
				  struct object_info *oi,
				  int flags)
2246
{
2247 2248
	int status = 0;
	unsigned long mapsize;
2249
	void *map;
2250
	git_zstream stream;
N
Nicolas Pitre 已提交
2251
	char hdr[32];
2252
	struct strbuf hdrbuf = STRBUF_INIT;
J
Jonathan Tan 已提交
2253
	unsigned long size_scratch;
2254

2255 2256 2257
	if (oi->delta_base_sha1)
		hashclr(oi->delta_base_sha1);

2258 2259
	/*
	 * If we don't care about type or size, then we don't
2260 2261 2262 2263 2264
	 * 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.
2265
	 */
J
Jonathan Tan 已提交
2266
	if (!oi->typep && !oi->typename && !oi->sizep && !oi->contentp) {
2267
		const char *path;
2268
		struct stat st;
2269
		if (stat_sha1_file(sha1, &st, &path) < 0)
2270 2271
			return -1;
		if (oi->disk_sizep)
2272
			*oi->disk_sizep = st.st_size;
2273 2274 2275
		return 0;
	}

2276
	map = map_sha1_file(sha1, &mapsize);
2277
	if (!map)
2278
		return -1;
J
Jonathan Tan 已提交
2279 2280 2281 2282

	if (!oi->sizep)
		oi->sizep = &size_scratch;

2283 2284
	if (oi->disk_sizep)
		*oi->disk_sizep = mapsize;
2285
	if ((flags & OBJECT_INFO_ALLOW_UNKNOWN_TYPE)) {
2286 2287 2288 2289
		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)
2290 2291
		status = error("unable to unpack %s header",
			       sha1_to_hex(sha1));
2292 2293 2294 2295 2296 2297 2298
	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)
2299
		status = error("unable to parse %s header", sha1_to_hex(sha1));
J
Jonathan Tan 已提交
2300 2301 2302 2303 2304 2305 2306

	if (status >= 0 && oi->contentp)
		*oi->contentp = unpack_sha1_rest(&stream, hdr,
						 *oi->sizep, sha1);
	else
		git_inflate_end(&stream);

2307
	munmap(map, mapsize);
2308
	if (status && oi->typep)
2309
		*oi->typep = status;
J
Jonathan Tan 已提交
2310 2311
	if (oi->sizep == &size_scratch)
		oi->sizep = NULL;
2312
	strbuf_release(&hdrbuf);
2313
	oi->whence = OI_LOOSE;
2314
	return (status < 0) ? status : 0;
2315 2316
}

2317
int sha1_object_info_extended(const unsigned char *sha1, struct object_info *oi, unsigned flags)
2318
{
2319
	static struct object_info blank_oi = OBJECT_INFO_INIT;
2320
	struct pack_entry e;
2321
	int rtype;
2322 2323 2324
	const unsigned char *real = (flags & OBJECT_INFO_LOOKUP_REPLACE) ?
				    lookup_replace_object(sha1) :
				    sha1;
2325

2326 2327 2328
	if (!oi)
		oi = &blank_oi;

2329 2330 2331 2332 2333 2334 2335 2336 2337 2338 2339 2340 2341 2342 2343 2344 2345 2346
	if (!(flags & OBJECT_INFO_SKIP_CACHED)) {
		struct cached_object *co = find_cached_object(real);
		if (co) {
			if (oi->typep)
				*(oi->typep) = co->type;
			if (oi->sizep)
				*(oi->sizep) = co->size;
			if (oi->disk_sizep)
				*(oi->disk_sizep) = 0;
			if (oi->delta_base_sha1)
				hashclr(oi->delta_base_sha1);
			if (oi->typename)
				strbuf_addstr(oi->typename, typename(co->type));
			if (oi->contentp)
				*oi->contentp = xmemdupz(co->buf, co->size);
			oi->whence = OI_CACHED;
			return 0;
		}
2347 2348
	}

2349
	if (!find_pack_entry(real, &e)) {
2350
		/* Most likely it's a loose object. */
2351
		if (!sha1_loose_object_info(real, oi, flags))
2352
			return 0;
2353 2354

		/* Not a loose object; someone else may have just packed it. */
2355
		if (flags & OBJECT_INFO_QUICK) {
2356
			return -1;
2357 2358 2359 2360 2361
		} else {
			reprepare_packed_git();
			if (!find_pack_entry(real, &e))
				return -1;
		}
2362
	}
2363

2364 2365 2366 2367 2368 2369
	if (oi == &blank_oi)
		/*
		 * We know that the caller doesn't actually need the
		 * information below, so return early.
		 */
		return 0;
2370

2371
	rtype = packed_object_info(e.p, e.offset, oi);
2372
	if (rtype < 0) {
2373 2374
		mark_bad_packed_object(e.p, real);
		return sha1_object_info_extended(real, oi, 0);
2375
	} else if (oi->whence == OI_PACKED) {
2376 2377 2378 2379
		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);
2380 2381
	}

2382
	return 0;
2383 2384
}

2385
/* returns enum object_type or negative */
2386 2387
int sha1_object_info(const unsigned char *sha1, unsigned long *sizep)
{
2388
	enum object_type type;
2389
	struct object_info oi = OBJECT_INFO_INIT;
2390

2391
	oi.typep = &type;
2392
	oi.sizep = sizep;
2393 2394
	if (sha1_object_info_extended(sha1, &oi,
				      OBJECT_INFO_LOOKUP_REPLACE) < 0)
2395 2396
		return -1;
	return type;
2397 2398
}

2399 2400
int pretend_sha1_file(void *buf, unsigned long len, enum object_type type,
		      unsigned char *sha1)
2401 2402 2403
{
	struct cached_object *co;

2404
	hash_sha1_file(buf, len, typename(type), sha1);
2405 2406
	if (has_sha1_file(sha1) || find_cached_object(sha1))
		return 0;
2407
	ALLOC_GROW(cached_objects, cached_object_nr + 1, cached_object_alloc);
2408 2409
	co = &cached_objects[cached_object_nr++];
	co->size = len;
2410
	co->type = type;
J
Junio C Hamano 已提交
2411 2412
	co->buf = xmalloc(len);
	memcpy(co->buf, buf, len);
2413 2414 2415 2416
	hashcpy(co->sha1, sha1);
	return 0;
}

2417 2418
static void *read_object(const unsigned char *sha1, enum object_type *type,
			 unsigned long *size)
2419
{
J
Jonathan Tan 已提交
2420 2421 2422 2423 2424
	struct object_info oi = OBJECT_INFO_INIT;
	void *content;
	oi.typep = type;
	oi.sizep = size;
	oi.contentp = &content;
2425

J
Jonathan Tan 已提交
2426 2427 2428
	if (sha1_object_info_extended(sha1, &oi, 0) < 0)
		return NULL;
	return content;
2429 2430
}

2431 2432 2433 2434 2435
/*
 * 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.
 */
2436 2437 2438
void *read_sha1_file_extended(const unsigned char *sha1,
			      enum object_type *type,
			      unsigned long *size,
2439
			      int lookup_replace)
2440
{
2441
	void *data;
2442
	const struct packed_git *p;
2443 2444
	const char *path;
	struct stat st;
2445 2446
	const unsigned char *repl = lookup_replace ? lookup_replace_object(sha1)
						   : sha1;
2447

2448 2449
	errno = 0;
	data = read_object(repl, type, size);
2450
	if (data)
2451
		return data;
2452

2453
	if (errno && errno != ENOENT)
2454 2455
		die_errno("failed to read object %s", sha1_to_hex(sha1));

2456
	/* die if we replaced an object with one that does not exist */
2457
	if (repl != sha1)
2458 2459 2460
		die("replacement %s not found for %s",
		    sha1_to_hex(repl), sha1_to_hex(sha1));

2461
	if (!stat_sha1_file(repl, &st, &path))
2462 2463
		die("loose object %s (stored in %s) is corrupt",
		    sha1_to_hex(repl), path);
2464

2465 2466 2467
	if ((p = has_packed_and_bad(repl)) != NULL)
		die("packed object %s (stored in %s) is corrupt",
		    sha1_to_hex(repl), p->pack_name);
2468

2469
	return NULL;
2470 2471
}

2472
void *read_object_with_reference(const unsigned char *sha1,
2473
				 const char *required_type_name,
2474 2475
				 unsigned long *size,
				 unsigned char *actual_sha1_return)
2476
{
2477
	enum object_type type, required_type;
2478 2479
	void *buffer;
	unsigned long isize;
2480
	unsigned char actual_sha1[20];
2481

2482
	required_type = type_from_string(required_type_name);
2483
	hashcpy(actual_sha1, sha1);
2484 2485 2486
	while (1) {
		int ref_length = -1;
		const char *ref_type = NULL;
2487

2488
		buffer = read_sha1_file(actual_sha1, &type, &isize);
2489 2490
		if (!buffer)
			return NULL;
2491
		if (type == required_type) {
2492 2493
			*size = isize;
			if (actual_sha1_return)
2494
				hashcpy(actual_sha1_return, actual_sha1);
2495 2496 2497
			return buffer;
		}
		/* Handle references */
2498
		else if (type == OBJ_COMMIT)
2499
			ref_type = "tree ";
2500
		else if (type == OBJ_TAG)
2501 2502 2503 2504 2505 2506
			ref_type = "object ";
		else {
			free(buffer);
			return NULL;
		}
		ref_length = strlen(ref_type);
2507

2508 2509
		if (ref_length + 40 > isize ||
		    memcmp(buffer, ref_type, ref_length) ||
2510
		    get_sha1_hex((char *) buffer + ref_length, actual_sha1)) {
2511 2512 2513
			free(buffer);
			return NULL;
		}
2514
		free(buffer);
2515 2516
		/* Now we have the ID of the referred-to object in
		 * actual_sha1.  Check again. */
2517 2518 2519
	}
}

N
Nicolas Pitre 已提交
2520
static void write_sha1_file_prepare(const void *buf, unsigned long len,
R
Rene Scharfe 已提交
2521
                                    const char *type, unsigned char *sha1,
N
Nicolas Pitre 已提交
2522
                                    char *hdr, int *hdrlen)
2523
{
2524
	git_SHA_CTX c;
2525 2526

	/* Generate the header */
2527
	*hdrlen = xsnprintf(hdr, *hdrlen, "%s %lu", type, len)+1;
2528 2529

	/* Sha1.. */
2530 2531 2532 2533
	git_SHA1_Init(&c);
	git_SHA1_Update(&c, hdr, *hdrlen);
	git_SHA1_Update(&c, buf, len);
	git_SHA1_Final(sha1, &c);
2534 2535
}

2536
/*
2537
 * Move the just written object into its final resting place.
2538
 */
2539
int finalize_object_file(const char *tmpfile, const char *filename)
2540
{
2541
	int ret = 0;
2542

2543
	if (object_creation_mode == OBJECT_CREATION_USES_RENAMES)
2544 2545
		goto try_rename;
	else if (link(tmpfile, filename))
2546
		ret = errno;
2547 2548 2549 2550 2551 2552 2553 2554 2555

	/*
	 * 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.
	 *
2556
	 * When this succeeds, we just return.  We have nothing
2557 2558 2559
	 * left to unlink.
	 */
	if (ret && ret != EEXIST) {
2560
	try_rename:
2561
		if (!rename(tmpfile, filename))
2562
			goto out;
2563
		ret = errno;
2564
	}
2565
	unlink_or_warn(tmpfile);
2566 2567
	if (ret) {
		if (ret != EEXIST) {
2568
			return error_errno("unable to write sha1 filename %s", filename);
2569 2570 2571 2572
		}
		/* FIXME!!! Collision check here ? */
	}

2573
out:
2574
	if (adjust_shared_perm(filename))
2575
		return error("unable to set permission to '%s'", filename);
2576 2577 2578
	return 0;
}

L
Linus Torvalds 已提交
2579 2580
static int write_buffer(int fd, const void *buf, size_t len)
{
L
Linus Torvalds 已提交
2581
	if (write_in_full(fd, buf, len) < 0)
2582
		return error_errno("file write error");
L
Linus Torvalds 已提交
2583 2584 2585
	return 0;
}

N
Nicolas Pitre 已提交
2586
int hash_sha1_file(const void *buf, unsigned long len, const char *type,
R
Rene Scharfe 已提交
2587 2588
                   unsigned char *sha1)
{
N
Nicolas Pitre 已提交
2589
	char hdr[32];
2590
	int hdrlen = sizeof(hdr);
R
Rene Scharfe 已提交
2591 2592 2593 2594
	write_sha1_file_prepare(buf, len, type, sha1, hdr, &hdrlen);
	return 0;
}

2595 2596 2597
/* Finalize a file on disk, and close it. */
static void close_sha1_file(int fd)
{
2598 2599
	if (fsync_object_files)
		fsync_or_die(fd, "sha1 file");
2600
	if (close(fd) != 0)
2601
		die_errno("error when closing sha1 file");
2602 2603
}

2604 2605 2606 2607 2608 2609 2610 2611 2612 2613 2614 2615 2616 2617 2618 2619
/* 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 已提交
2620
static int create_tmpfile(struct strbuf *tmp, const char *filename)
2621 2622 2623
{
	int fd, dirlen = directory_size(filename);

J
Jeff King 已提交
2624 2625 2626 2627
	strbuf_reset(tmp);
	strbuf_add(tmp, filename, dirlen);
	strbuf_addstr(tmp, "tmp_obj_XXXXXX");
	fd = git_mkstemp_mode(tmp->buf, 0444);
2628
	if (fd < 0 && dirlen && errno == ENOENT) {
J
Jeff King 已提交
2629 2630 2631 2632 2633 2634 2635 2636 2637
		/*
		 * 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)
2638
			return -1;
J
Jeff King 已提交
2639
		if (adjust_shared_perm(tmp->buf))
2640 2641 2642
			return -1;

		/* Try again */
J
Jeff King 已提交
2643 2644
		strbuf_addstr(tmp, "/tmp_obj_XXXXXX");
		fd = git_mkstemp_mode(tmp->buf, 0444);
2645 2646 2647 2648
	}
	return fd;
}

2649
static int write_loose_object(const unsigned char *sha1, char *hdr, int hdrlen,
2650
			      const void *buf, unsigned long len, time_t mtime)
2651
{
2652
	int fd, ret;
2653
	unsigned char compressed[4096];
2654
	git_zstream stream;
2655 2656
	git_SHA_CTX c;
	unsigned char parano_sha1[20];
J
Jeff King 已提交
2657
	static struct strbuf tmp_file = STRBUF_INIT;
2658
	const char *filename = sha1_file_name(sha1);
2659

J
Jeff King 已提交
2660
	fd = create_tmpfile(&tmp_file, filename);
2661
	if (fd < 0) {
2662
		if (errno == EACCES)
2663
			return error("insufficient permission for adding an object to repository database %s", get_object_directory());
2664
		else
2665
			return error_errno("unable to create temporary file");
2666 2667
	}

2668
	/* Set it up */
2669
	git_deflate_init(&stream, zlib_compression_level);
2670
	stream.next_out = compressed;
2671
	stream.avail_out = sizeof(compressed);
2672
	git_SHA1_Init(&c);
2673 2674

	/* First header.. */
N
Nicolas Pitre 已提交
2675
	stream.next_in = (unsigned char *)hdr;
2676
	stream.avail_in = hdrlen;
2677 2678
	while (git_deflate(&stream, 0) == Z_OK)
		; /* nothing */
2679
	git_SHA1_Update(&c, hdr, hdrlen);
2680 2681

	/* Then the data itself.. */
2682
	stream.next_in = (void *)buf;
2683
	stream.avail_in = len;
2684
	do {
2685
		unsigned char *in0 = stream.next_in;
2686
		ret = git_deflate(&stream, Z_FINISH);
2687
		git_SHA1_Update(&c, in0, stream.next_in - in0);
2688 2689 2690 2691 2692 2693
		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);

2694 2695
	if (ret != Z_STREAM_END)
		die("unable to deflate new object %s (%d)", sha1_to_hex(sha1), ret);
2696
	ret = git_deflate_end_gently(&stream);
2697 2698
	if (ret != Z_OK)
		die("deflateEnd on object %s failed (%d)", sha1_to_hex(sha1), ret);
2699 2700 2701
	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));
2702

2703
	close_sha1_file(fd);
2704

2705 2706 2707 2708
	if (mtime) {
		struct utimbuf utb;
		utb.actime = mtime;
		utb.modtime = mtime;
J
Jeff King 已提交
2709
		if (utime(tmp_file.buf, &utb) < 0)
2710
			warning_errno("failed utime() on %s", tmp_file.buf);
2711 2712
	}

J
Jeff King 已提交
2713
	return finalize_object_file(tmp_file.buf, filename);
2714
}
2715

2716 2717 2718 2719 2720 2721 2722 2723
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;
2724 2725 2726 2727 2728 2729 2730 2731
	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;
2732 2733
}

2734
int write_sha1_file(const void *buf, unsigned long len, const char *type, unsigned char *sha1)
2735 2736
{
	char hdr[32];
2737
	int hdrlen = sizeof(hdr);
2738 2739 2740 2741 2742

	/* 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);
2743
	if (freshen_packed_object(sha1) || freshen_loose_object(sha1))
2744 2745 2746 2747
		return 0;
	return write_loose_object(sha1, hdr, hdrlen, buf, len, 0);
}

2748 2749 2750 2751 2752 2753 2754
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 */
2755 2756
	hdrlen = strlen(type) + 32;
	header = xmalloc(hdrlen);
2757 2758 2759 2760
	write_sha1_file_prepare(buf, len, type, sha1, header, &hdrlen);

	if (!(flags & HASH_WRITE_OBJECT))
		goto cleanup;
J
Junio C Hamano 已提交
2761
	if (freshen_packed_object(sha1) || freshen_loose_object(sha1))
2762 2763 2764 2765 2766 2767 2768 2769
		goto cleanup;
	status = write_loose_object(sha1, header, hdrlen, buf, len, 0);

cleanup:
	free(header);
	return status;
}

2770 2771 2772 2773 2774 2775 2776
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;
2777
	int ret;
2778

2779
	if (has_loose_object(sha1))
2780
		return 0;
2781
	buf = read_object(sha1, &type, &len);
2782 2783
	if (!buf)
		return error("cannot read sha1_file for %s", sha1_to_hex(sha1));
2784
	hdrlen = xsnprintf(hdr, sizeof(hdr), "%s %lu", typename(type), len) + 1;
2785 2786 2787 2788
	ret = write_loose_object(sha1, hdr, hdrlen, buf, len, mtime);
	free(buf);

	return ret;
2789 2790
}

2791 2792 2793 2794 2795 2796 2797 2798
int has_pack_index(const unsigned char *sha1)
{
	struct stat st;
	if (stat(sha1_pack_index_name(sha1), &st))
		return 0;
	return 1;
}

2799 2800 2801 2802 2803 2804
int has_sha1_pack(const unsigned char *sha1)
{
	struct pack_entry e;
	return find_pack_entry(sha1, &e);
}

2805
int has_sha1_file_with_flags(const unsigned char *sha1, int flags)
2806
{
2807 2808
	if (!startup_info->have_repository)
		return 0;
2809 2810
	return sha1_object_info_extended(sha1, NULL,
					 flags | OBJECT_INFO_SKIP_CACHED) >= 0;
2811 2812 2813 2814 2815
}

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

2818 2819 2820 2821 2822
int has_object_file_with_flags(const struct object_id *oid, int flags)
{
	return has_sha1_file_with_flags(oid->hash, flags);
}

2823 2824 2825 2826 2827 2828 2829 2830 2831 2832 2833 2834 2835 2836 2837 2838 2839 2840 2841 2842 2843 2844 2845 2846 2847 2848 2849 2850
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");
}

2851
static int index_mem(unsigned char *sha1, void *buf, size_t size,
2852 2853
		     enum object_type type,
		     const char *path, unsigned flags)
2854
{
L
Linus Torvalds 已提交
2855
	int ret, re_allocated = 0;
2856
	int write_object = flags & HASH_WRITE_OBJECT;
J
Junio C Hamano 已提交
2857

2858
	if (!type)
2859
		type = OBJ_BLOB;
L
Linus Torvalds 已提交
2860 2861 2862 2863

	/*
	 * Convert blobs to git internal format
	 */
2864
	if ((type == OBJ_BLOB) && path) {
2865
		struct strbuf nbuf = STRBUF_INIT;
2866
		if (convert_to_git(&the_index, path, buf, size, &nbuf,
2867
				   write_object ? safe_crlf : SAFE_CRLF_FALSE)) {
2868
			buf = strbuf_detach(&nbuf, &size);
L
Linus Torvalds 已提交
2869 2870 2871
			re_allocated = 1;
		}
	}
2872
	if (flags & HASH_FORMAT_CHECK) {
2873 2874 2875 2876 2877 2878 2879
		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 已提交
2880

2881
	if (write_object)
2882
		ret = write_sha1_file(buf, size, typename(type), sha1);
R
Rene Scharfe 已提交
2883
	else
2884
		ret = hash_sha1_file(buf, size, typename(type), sha1);
2885
	if (re_allocated)
L
Linus Torvalds 已提交
2886
		free(buf);
2887 2888 2889
	return ret;
}

2890 2891 2892 2893 2894 2895 2896 2897 2898 2899
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));

2900
	convert_to_git_filter_fd(&the_index, path, fd, &sbuf,
2901 2902 2903 2904 2905 2906 2907 2908 2909 2910 2911 2912
				 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;
}

2913 2914 2915 2916 2917 2918 2919 2920 2921 2922 2923 2924 2925 2926
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;
}

2927 2928
#define SMALL_FILE_SIZE (32*1024)

2929 2930 2931
static int index_core(unsigned char *sha1, int fd, size_t size,
		      enum object_type type, const char *path,
		      unsigned flags)
2932 2933 2934
{
	int ret;

2935
	if (!size) {
2936
		ret = index_mem(sha1, "", size, type, path, flags);
2937 2938 2939
	} else if (size <= SMALL_FILE_SIZE) {
		char *buf = xmalloc(size);
		if (size == read_in_full(fd, buf, size))
2940
			ret = index_mem(sha1, buf, size, type, path, flags);
2941
		else
2942
			ret = error_errno("short read");
2943
		free(buf);
2944
	} else {
2945
		void *buf = xmmap(NULL, size, PROT_READ, MAP_PRIVATE, fd, 0);
2946
		ret = index_mem(sha1, buf, size, type, path, flags);
2947
		munmap(buf, size);
2948
	}
2949 2950 2951
	return ret;
}

2952
/*
2953 2954
 * This creates one packfile per large blob unless bulk-checkin
 * machinery is "plugged".
2955 2956 2957 2958
 *
 * 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
2959 2960 2961 2962 2963 2964 2965
 * (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.
2966 2967 2968 2969 2970
 */
static int index_stream(unsigned char *sha1, int fd, size_t size,
			enum object_type type, const char *path,
			unsigned flags)
{
2971
	return index_bulk_checkin(sha1, fd, size, type, path, flags);
2972 2973
}

2974 2975 2976 2977 2978
int index_fd(unsigned char *sha1, int fd, struct stat *st,
	     enum object_type type, const char *path, unsigned flags)
{
	int ret;

2979 2980 2981 2982
	/*
	 * Call xsize_t() only when needed to avoid potentially unnecessary
	 * die() for large files.
	 */
2983 2984 2985
	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))
2986
		ret = index_pipe(sha1, fd, type, path, flags);
2987
	else if (st->st_size <= big_file_threshold || type != OBJ_BLOB ||
2988
		 (path && would_convert_to_git(&the_index, path)))
2989 2990
		ret = index_core(sha1, fd, xsize_t(st->st_size), type, path,
				 flags);
2991
	else
2992 2993
		ret = index_stream(sha1, fd, xsize_t(st->st_size), type, path,
				   flags);
2994
	close(fd);
2995
	return ret;
J
Junio C Hamano 已提交
2996
}
2997

2998
int index_path(unsigned char *sha1, const char *path, struct stat *st, unsigned flags)
2999 3000
{
	int fd;
3001
	struct strbuf sb = STRBUF_INIT;
3002 3003 3004 3005 3006

	switch (st->st_mode & S_IFMT) {
	case S_IFREG:
		fd = open(path, O_RDONLY);
		if (fd < 0)
3007
			return error_errno("open(\"%s\")", path);
3008
		if (index_fd(sha1, fd, st, OBJ_BLOB, path, flags) < 0)
3009 3010 3011 3012
			return error("%s: failed to insert into database",
				     path);
		break;
	case S_IFLNK:
3013 3014
		if (strbuf_readlink(&sb, path, st->st_size))
			return error_errno("readlink(\"%s\")", path);
3015
		if (!(flags & HASH_WRITE_OBJECT))
3016 3017
			hash_sha1_file(sb.buf, sb.len, blob_type, sha1);
		else if (write_sha1_file(sb.buf, sb.len, blob_type, sha1))
3018 3019
			return error("%s: failed to insert into database",
				     path);
3020
		strbuf_release(&sb);
3021
		break;
3022 3023
	case S_IFDIR:
		return resolve_gitlink_ref(path, "HEAD", sha1);
3024 3025 3026 3027 3028
	default:
		return error("%s: unsupported file type", path);
	}
	return 0;
}
3029 3030 3031

int read_pack_header(int fd, struct pack_header *header)
{
3032 3033 3034 3035
	if (read_in_full(fd, header, sizeof(*header)) < sizeof(*header))
		/* "eof before pack header was fully read" */
		return PH_ERROR_EOF;

3036 3037 3038 3039 3040 3041 3042 3043
	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 已提交
3044 3045 3046 3047 3048 3049 3050 3051 3052 3053

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));
}
3054

3055
int for_each_file_in_obj_subdir(unsigned int subdir_nr,
3056 3057 3058 3059 3060
				struct strbuf *path,
				each_loose_object_fn obj_cb,
				each_loose_cruft_fn cruft_cb,
				each_loose_subdir_fn subdir_cb,
				void *data)
3061
{
3062 3063
	size_t origlen, baselen;
	DIR *dir;
3064 3065 3066
	struct dirent *de;
	int r = 0;

3067 3068 3069
	if (subdir_nr > 0xff)
		BUG("invalid loose object subdirectory: %x", subdir_nr);

3070 3071 3072 3073 3074 3075
	origlen = path->len;
	strbuf_complete(path, '/');
	strbuf_addf(path, "%02x", subdir_nr);
	baselen = path->len;

	dir = opendir(path->buf);
3076
	if (!dir) {
3077 3078 3079 3080
		if (errno != ENOENT)
			r = error_errno("unable to open %s", path->buf);
		strbuf_setlen(path, origlen);
		return r;
3081 3082 3083 3084 3085 3086 3087 3088 3089
	}

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

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

3090
		if (strlen(de->d_name) == GIT_SHA1_HEXSZ - 2)  {
3091
			char hex[GIT_MAX_HEXSZ+1];
3092
			struct object_id oid;
3093

3094 3095
			xsnprintf(hex, sizeof(hex), "%02x%s",
				  subdir_nr, de->d_name);
3096
			if (!get_oid_hex(hex, &oid)) {
3097
				if (obj_cb) {
3098
					r = obj_cb(&oid, path->buf, data);
3099 3100 3101 3102 3103 3104 3105 3106 3107 3108 3109 3110 3111
					if (r)
						break;
				}
				continue;
			}
		}

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

3114
	strbuf_setlen(path, baselen);
3115 3116 3117
	if (!r && subdir_cb)
		r = subdir_cb(subdir_nr, path->buf, data);

3118 3119
	strbuf_setlen(path, origlen);

3120 3121 3122
	return r;
}

3123
int for_each_loose_file_in_objdir_buf(struct strbuf *path,
3124 3125 3126 3127 3128 3129 3130 3131 3132
			    each_loose_object_fn obj_cb,
			    each_loose_cruft_fn cruft_cb,
			    each_loose_subdir_fn subdir_cb,
			    void *data)
{
	int r = 0;
	int i;

	for (i = 0; i < 256; i++) {
3133
		r = for_each_file_in_obj_subdir(i, path, obj_cb, cruft_cb,
3134 3135 3136 3137 3138
						subdir_cb, data);
		if (r)
			break;
	}

3139 3140 3141 3142 3143 3144 3145 3146 3147 3148 3149 3150 3151 3152 3153
	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);
3154
	strbuf_release(&buf);
3155

3156 3157
	return r;
}
3158 3159 3160 3161 3162 3163 3164 3165 3166 3167

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;
3168 3169 3170
	struct strbuf buf = STRBUF_INIT;
	int r;

3171
	strbuf_addstr(&buf, alt->path);
3172 3173 3174 3175 3176
	r = for_each_loose_file_in_objdir_buf(&buf,
					      data->cb, NULL, NULL,
					      data->data);
	strbuf_release(&buf);
	return r;
3177 3178
}

3179
int for_each_loose_object(each_loose_object_fn cb, void *data, unsigned flags)
3180 3181 3182 3183 3184 3185 3186 3187 3188
{
	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;

3189 3190 3191
	if (flags & FOR_EACH_OBJECT_LOCAL_ONLY)
		return 0;

3192 3193 3194 3195 3196 3197 3198 3199 3200 3201 3202
	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++) {
3203
		struct object_id oid;
3204

3205
		if (!nth_packed_object_oid(&oid, p, i))
3206 3207 3208
			return error("unable to get sha1 of object %u in %s",
				     i, p->pack_name);

3209
		r = cb(&oid, p, i, data);
3210 3211 3212 3213 3214 3215
		if (r)
			break;
	}
	return r;
}

3216
int for_each_packed_object(each_packed_object_fn cb, void *data, unsigned flags)
3217 3218 3219
{
	struct packed_git *p;
	int r = 0;
3220
	int pack_errors = 0;
3221 3222 3223

	prepare_packed_git();
	for (p = packed_git; p; p = p->next) {
3224 3225
		if ((flags & FOR_EACH_OBJECT_LOCAL_ONLY) && !p->pack_local)
			continue;
3226 3227 3228 3229
		if (open_pack_index(p)) {
			pack_errors = 1;
			continue;
		}
3230 3231 3232 3233
		r = for_each_object_in_pack(p, cb, data);
		if (r)
			break;
	}
3234
	return r ? r : pack_errors;
3235
}
3236 3237 3238 3239 3240 3241 3242 3243

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;
3244
	unsigned char real_sha1[GIT_MAX_RAWSZ];
3245 3246 3247 3248 3249 3250 3251 3252 3253 3254 3255 3256 3257 3258 3259 3260 3261 3262 3263 3264 3265 3266 3267 3268 3269 3270 3271 3272 3273 3274 3275 3276 3277
	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;
	}
3278 3279 3280 3281 3282
	if (stream->avail_in) {
		error("garbage at end of loose object '%s'",
		      sha1_to_hex(expected_sha1));
		return -1;
	}
3283 3284 3285 3286 3287 3288 3289 3290 3291 3292 3293 3294 3295 3296 3297 3298 3299 3300 3301 3302 3303 3304 3305 3306 3307 3308 3309 3310 3311 3312 3313 3314 3315 3316 3317 3318 3319 3320 3321 3322 3323 3324 3325 3326 3327 3328 3329 3330 3331 3332 3333 3334 3335 3336 3337 3338 3339 3340 3341 3342 3343 3344 3345 3346 3347 3348 3349 3350 3351

	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;
	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);
	return ret;
}