3 * Copyright 2005, Lukas Sandstrom <lukass@etek.chalmers.se>
5 * This file is licensed under the GPL v2.
14 static const char pack_redundant_usage
[] =
15 "git pack-redundant [ --verbose ] [ --alt-odb ] < --all | <.pack filename> ...>";
17 static int load_all_packs
, verbose
, alt_odb
;
20 struct llist_item
*next
;
21 const unsigned char *sha1
;
24 struct llist_item
*front
;
25 struct llist_item
*back
;
27 } *all_objects
; /* all objects which must be present in local packfiles */
29 static struct pack_list
{
30 struct pack_list
*next
;
31 struct packed_git
*pack
;
32 struct llist
*unique_objects
;
33 struct llist
*all_objects
;
34 } *local_packs
= NULL
, *altodb_packs
= NULL
;
41 static struct llist_item
*free_nodes
;
43 static inline void llist_item_put(struct llist_item
*item
)
45 item
->next
= free_nodes
;
49 static inline struct llist_item
*llist_item_get(void)
51 struct llist_item
*new;
54 free_nodes
= free_nodes
->next
;
57 new = xmalloc(sizeof(struct llist_item
) * BLKSIZE
);
58 for (; i
< BLKSIZE
; i
++)
59 llist_item_put(&new[i
]);
64 static void llist_free(struct llist
*list
)
66 while ((list
->back
= list
->front
)) {
67 list
->front
= list
->front
->next
;
68 llist_item_put(list
->back
);
73 static inline void llist_init(struct llist
**list
)
75 *list
= xmalloc(sizeof(struct llist
));
76 (*list
)->front
= (*list
)->back
= NULL
;
80 static struct llist
* llist_copy(struct llist
*list
)
83 struct llist_item
*new, *old
, *prev
;
87 if ((ret
->size
= list
->size
) == 0)
90 new = ret
->front
= llist_item_get();
91 new->sha1
= list
->front
->sha1
;
93 old
= list
->front
->next
;
96 new = llist_item_get();
98 new->sha1
= old
->sha1
;
107 static inline struct llist_item
*llist_insert(struct llist
*list
,
108 struct llist_item
*after
,
109 const unsigned char *sha1
)
111 struct llist_item
*new = llist_item_get();
116 new->next
= after
->next
;
118 if (after
== list
->back
)
120 } else {/* insert in front */
124 new->next
= list
->front
;
131 static inline struct llist_item
*llist_insert_back(struct llist
*list
,
132 const unsigned char *sha1
)
134 return llist_insert(list
, list
->back
, sha1
);
137 static inline struct llist_item
*llist_insert_sorted_unique(struct llist
*list
,
138 const unsigned char *sha1
, struct llist_item
*hint
)
140 struct llist_item
*prev
= NULL
, *l
;
142 l
= (hint
== NULL
) ? list
->front
: hint
;
144 int cmp
= hashcmp(l
->sha1
, sha1
);
145 if (cmp
> 0) { /* we insert before this entry */
146 return llist_insert(list
, prev
, sha1
);
148 if (!cmp
) { /* already exists */
154 /* insert at the end */
155 return llist_insert_back(list
, sha1
);
158 /* returns a pointer to an item in front of sha1 */
159 static inline struct llist_item
* llist_sorted_remove(struct llist
*list
, const unsigned char *sha1
, struct llist_item
*hint
)
161 struct llist_item
*prev
, *l
;
164 l
= (hint
== NULL
) ? list
->front
: hint
;
167 int cmp
= hashcmp(l
->sha1
, sha1
);
168 if (cmp
> 0) /* not in list, since sorted */
170 if (!cmp
) { /* found */
172 if (hint
!= NULL
&& hint
!= list
->front
) {
173 /* we don't know the previous element */
175 goto redo_from_start
;
177 list
->front
= l
->next
;
179 prev
->next
= l
->next
;
193 static void llist_sorted_difference_inplace(struct llist
*A
,
196 struct llist_item
*hint
, *b
;
202 hint
= llist_sorted_remove(A
, b
->sha1
, hint
);
207 static inline struct pack_list
* pack_list_insert(struct pack_list
**pl
,
208 struct pack_list
*entry
)
210 struct pack_list
*p
= xmalloc(sizeof(struct pack_list
));
211 memcpy(p
, entry
, sizeof(struct pack_list
));
217 static inline size_t pack_list_size(struct pack_list
*pl
)
227 static struct pack_list
* pack_list_difference(const struct pack_list
*A
,
228 const struct pack_list
*B
)
230 struct pack_list
*ret
;
231 const struct pack_list
*pl
;
238 if (A
->pack
== pl
->pack
)
239 return pack_list_difference(A
->next
, B
);
242 ret
= xmalloc(sizeof(struct pack_list
));
243 memcpy(ret
, A
, sizeof(struct pack_list
));
244 ret
->next
= pack_list_difference(A
->next
, B
);
248 static void cmp_two_packs(struct pack_list
*p1
, struct pack_list
*p2
)
250 unsigned long p1_off
= 0, p2_off
= 0, p1_step
, p2_step
;
251 const unsigned char *p1_base
, *p2_base
;
252 struct llist_item
*p1_hint
= NULL
, *p2_hint
= NULL
;
254 p1_base
= p1
->pack
->index_data
;
255 p2_base
= p2
->pack
->index_data
;
256 p1_base
+= 256 * 4 + ((p1
->pack
->index_version
< 2) ? 4 : 8);
257 p2_base
+= 256 * 4 + ((p2
->pack
->index_version
< 2) ? 4 : 8);
258 p1_step
= (p1
->pack
->index_version
< 2) ? 24 : 20;
259 p2_step
= (p2
->pack
->index_version
< 2) ? 24 : 20;
261 while (p1_off
< p1
->pack
->num_objects
* p1_step
&&
262 p2_off
< p2
->pack
->num_objects
* p2_step
)
264 int cmp
= hashcmp(p1_base
+ p1_off
, p2_base
+ p2_off
);
267 p1_hint
= llist_sorted_remove(p1
->unique_objects
,
268 p1_base
+ p1_off
, p1_hint
);
269 p2_hint
= llist_sorted_remove(p2
->unique_objects
,
270 p1_base
+ p1_off
, p2_hint
);
275 if (cmp
< 0) { /* p1 has the object, p2 doesn't */
277 } else { /* p2 has the object, p1 doesn't */
283 static void pll_free(struct pll
*l
)
286 struct pack_list
*opl
;
300 /* all the permutations have to be free()d at the same time,
301 * since they refer to each other
303 static struct pll
* get_permutations(struct pack_list
*list
, int n
)
305 struct pll
*subset
, *ret
= NULL
, *new_pll
= NULL
, *pll
;
307 if (list
== NULL
|| pack_list_size(list
) < n
|| n
== 0)
312 new_pll
= xmalloc(sizeof(pll
));
314 pack_list_insert(&new_pll
->pl
, list
);
323 subset
= get_permutations(list
->next
, n
- 1);
325 new_pll
= xmalloc(sizeof(pll
));
326 new_pll
->pl
= subset
->pl
;
327 pack_list_insert(&new_pll
->pl
, list
);
330 subset
= subset
->next
;
337 static int is_superset(struct pack_list
*pl
, struct llist
*list
)
341 diff
= llist_copy(list
);
344 llist_sorted_difference_inplace(diff
, pl
->all_objects
);
345 if (diff
->size
== 0) { /* we're done */
355 static size_t sizeof_union(struct packed_git
*p1
, struct packed_git
*p2
)
358 unsigned long p1_off
= 0, p2_off
= 0, p1_step
, p2_step
;
359 const unsigned char *p1_base
, *p2_base
;
361 p1_base
= p1
->index_data
;
362 p2_base
= p2
->index_data
;
363 p1_base
+= 256 * 4 + ((p1
->index_version
< 2) ? 4 : 8);
364 p2_base
+= 256 * 4 + ((p2
->index_version
< 2) ? 4 : 8);
365 p1_step
= (p1
->index_version
< 2) ? 24 : 20;
366 p2_step
= (p2
->index_version
< 2) ? 24 : 20;
368 while (p1_off
< p1
->num_objects
* p1_step
&&
369 p2_off
< p2
->num_objects
* p2_step
)
371 int cmp
= hashcmp(p1_base
+ p1_off
, p2_base
+ p2_off
);
379 if (cmp
< 0) { /* p1 has the object, p2 doesn't */
381 } else { /* p2 has the object, p1 doesn't */
388 /* another O(n^2) function ... */
389 static size_t get_pack_redundancy(struct pack_list
*pl
)
391 struct pack_list
*subset
;
397 while ((subset
= pl
->next
)) {
399 ret
+= sizeof_union(pl
->pack
, subset
->pack
);
400 subset
= subset
->next
;
407 static inline off_t
pack_set_bytecount(struct pack_list
*pl
)
411 ret
+= pl
->pack
->pack_size
;
412 ret
+= pl
->pack
->index_size
;
418 static void minimize(struct pack_list
**min
)
420 struct pack_list
*pl
, *unique
= NULL
,
421 *non_unique
= NULL
, *min_perm
= NULL
;
422 struct pll
*perm
, *perm_all
, *perm_ok
= NULL
, *new_perm
;
423 struct llist
*missing
;
424 off_t min_perm_size
= 0, perm_size
;
429 if (pl
->unique_objects
->size
)
430 pack_list_insert(&unique
, pl
);
432 pack_list_insert(&non_unique
, pl
);
435 /* find out which objects are missing from the set of unique packs */
436 missing
= llist_copy(all_objects
);
439 llist_sorted_difference_inplace(missing
, pl
->all_objects
);
443 /* return if there are no objects missing from the unique set */
444 if (missing
->size
== 0) {
449 /* find the permutations which contain all missing objects */
450 for (n
= 1; n
<= pack_list_size(non_unique
) && !perm_ok
; n
++) {
451 perm_all
= perm
= get_permutations(non_unique
, n
);
453 if (is_superset(perm
->pl
, missing
)) {
454 new_perm
= xmalloc(sizeof(struct pll
));
455 memcpy(new_perm
, perm
, sizeof(struct pll
));
456 new_perm
->next
= perm_ok
;
466 die("Internal error: No complete sets found!");
468 /* find the permutation with the smallest size */
471 perm_size
= pack_set_bytecount(perm
->pl
);
472 if (!min_perm_size
|| min_perm_size
> perm_size
) {
473 min_perm_size
= perm_size
;
479 /* add the unique packs to the list */
482 pack_list_insert(min
, pl
);
487 static void load_all_objects(void)
489 struct pack_list
*pl
= local_packs
;
490 struct llist_item
*hint
, *l
;
492 llist_init(&all_objects
);
496 l
= pl
->all_objects
->front
;
498 hint
= llist_insert_sorted_unique(all_objects
,
504 /* remove objects present in remote packs */
507 llist_sorted_difference_inplace(all_objects
, pl
->all_objects
);
512 /* this scales like O(n^2) */
513 static void cmp_local_packs(void)
515 struct pack_list
*subset
, *pl
= local_packs
;
517 while ((subset
= pl
)) {
518 while ((subset
= subset
->next
))
519 cmp_two_packs(pl
, subset
);
524 static void scan_alt_odb_packs(void)
526 struct pack_list
*local
, *alt
;
532 llist_sorted_difference_inplace(local
->unique_objects
,
536 llist_sorted_difference_inplace(all_objects
, alt
->all_objects
);
541 static struct pack_list
* add_pack(struct packed_git
*p
)
544 unsigned long off
= 0, step
;
545 const unsigned char *base
;
547 if (!p
->pack_local
&& !(alt_odb
|| verbose
))
551 llist_init(&l
.all_objects
);
553 if (open_pack_index(p
))
556 base
= p
->index_data
;
557 base
+= 256 * 4 + ((p
->index_version
< 2) ? 4 : 8);
558 step
= (p
->index_version
< 2) ? 24 : 20;
559 while (off
< p
->num_objects
* step
) {
560 llist_insert_back(l
.all_objects
, base
+ off
);
563 /* this list will be pruned in cmp_two_packs later */
564 l
.unique_objects
= llist_copy(l
.all_objects
);
566 return pack_list_insert(&local_packs
, &l
);
568 return pack_list_insert(&altodb_packs
, &l
);
571 static struct pack_list
* add_pack_file(char *filename
)
573 struct packed_git
*p
= packed_git
;
575 if (strlen(filename
) < 40)
576 die("Bad pack filename: %s", filename
);
579 if (strstr(p
->pack_name
, filename
))
583 die("Filename %s not found in packed_git", filename
);
586 static void load_all(void)
588 struct packed_git
*p
= packed_git
;
596 int main(int argc
, char **argv
)
599 struct pack_list
*min
, *red
, *pl
;
600 struct llist
*ignore
;
602 char buf
[42]; /* 40 byte sha1 + \n + \0 */
604 git_extract_argv0_path(argv
[0]);
606 setup_git_directory();
608 for (i
= 1; i
< argc
; i
++) {
609 const char *arg
= argv
[i
];
610 if (!strcmp(arg
, "--")) {
614 if (!strcmp(arg
, "--all")) {
618 if (!strcmp(arg
, "--verbose")) {
622 if (!strcmp(arg
, "--alt-odb")) {
627 usage(pack_redundant_usage
);
632 prepare_packed_git();
637 while (*(argv
+ i
) != NULL
)
638 add_pack_file(*(argv
+ i
++));
640 if (local_packs
== NULL
)
641 die("Zero packs found!");
647 scan_alt_odb_packs();
649 /* ignore objects given on stdin */
652 while (fgets(buf
, sizeof(buf
), stdin
)) {
654 if (get_sha1_hex(buf
, sha1
))
655 die("Bad sha1 on stdin: %s", buf
);
656 llist_insert_sorted_unique(ignore
, sha1
, NULL
);
659 llist_sorted_difference_inplace(all_objects
, ignore
);
662 llist_sorted_difference_inplace(pl
->unique_objects
, ignore
);
669 fprintf(stderr
, "There are %lu packs available in alt-odbs.\n",
670 (unsigned long)pack_list_size(altodb_packs
));
671 fprintf(stderr
, "The smallest (bytewise) set of packs is:\n");
674 fprintf(stderr
, "\t%s\n", pl
->pack
->pack_name
);
677 fprintf(stderr
, "containing %lu duplicate objects "
678 "with a total size of %lukb.\n",
679 (unsigned long)get_pack_redundancy(min
),
680 (unsigned long)pack_set_bytecount(min
)/1024);
681 fprintf(stderr
, "A total of %lu unique objects were considered.\n",
682 (unsigned long)all_objects
->size
);
683 fprintf(stderr
, "Redundant packs (with indexes):\n");
685 pl
= red
= pack_list_difference(local_packs
, min
);
688 sha1_pack_index_name(pl
->pack
->sha1
),
689 pl
->pack
->pack_name
);
693 fprintf(stderr
, "%luMB of redundant packs in total.\n",
694 (unsigned long)pack_set_bytecount(red
)/(1024*1024));