Skip to content

Commit 957e990

Browse files
committed
Merge branch 'ps/ref-backend-migration-optim' into seen
Optimize migration procedure between two ref backends. * ps/ref-backend-migration-optim: reftable/block: optimize allocations by using scratch buffer reftable/block: rename `block_writer::buf` variable reftable/writer: optimize allocations by using a scratch buffer refs: don't normalize log messages with `REF_SKIP_CREATE_REFLOG` refs: skip collision checks in initial transactions refs: use "initial" transaction semantics to migrate refs refs/files: support symbolic and root refs in initial transaction refs: introduce "initial" transaction flag refs/files: move logic to commit initial transaction refs: allow passing flags when setting up a transaction
2 parents 683b231 + 56580e5 commit 957e990

23 files changed

+247
-253
lines changed

branch.c

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -627,7 +627,7 @@ void create_branch(struct repository *r,
627627
else
628628
msg = xstrfmt("branch: Created from %s", start_name);
629629
transaction = ref_store_transaction_begin(get_main_ref_store(the_repository),
630-
&err);
630+
0, &err);
631631
if (!transaction ||
632632
ref_transaction_update(transaction, ref.buf,
633633
&oid, forcing ? NULL : null_oid(),

builtin/clone.c

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -574,7 +574,7 @@ static void write_remote_refs(const struct ref *local_refs)
574574
struct strbuf err = STRBUF_INIT;
575575

576576
t = ref_store_transaction_begin(get_main_ref_store(the_repository),
577-
&err);
577+
REF_TRANSACTION_FLAG_INITIAL, &err);
578578
if (!t)
579579
die("%s", err.buf);
580580

@@ -586,7 +586,7 @@ static void write_remote_refs(const struct ref *local_refs)
586586
die("%s", err.buf);
587587
}
588588

589-
if (initial_ref_transaction_commit(t, &err))
589+
if (ref_transaction_commit(t, &err))
590590
die("%s", err.buf);
591591

592592
strbuf_release(&err);

builtin/fast-import.c

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1648,7 +1648,7 @@ static int update_branch(struct branch *b)
16481648
}
16491649
}
16501650
transaction = ref_store_transaction_begin(get_main_ref_store(the_repository),
1651-
&err);
1651+
0, &err);
16521652
if (!transaction ||
16531653
ref_transaction_update(transaction, b->name, &b->oid, &old_oid,
16541654
NULL, NULL, 0, msg, &err) ||
@@ -1683,7 +1683,7 @@ static void dump_tags(void)
16831683
struct ref_transaction *transaction;
16841684

16851685
transaction = ref_store_transaction_begin(get_main_ref_store(the_repository),
1686-
&err);
1686+
0, &err);
16871687
if (!transaction) {
16881688
failure |= error("%s", err.buf);
16891689
goto cleanup;

builtin/fetch.c

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -665,7 +665,7 @@ static int s_update_ref(const char *action,
665665
*/
666666
if (!transaction) {
667667
transaction = our_transaction = ref_store_transaction_begin(get_main_ref_store(the_repository),
668-
&err);
668+
0, &err);
669669
if (!transaction) {
670670
ret = STORE_REF_ERROR_OTHER;
671671
goto out;
@@ -1766,7 +1766,7 @@ static int do_fetch(struct transport *transport,
17661766

17671767
if (atomic_fetch) {
17681768
transaction = ref_store_transaction_begin(get_main_ref_store(the_repository),
1769-
&err);
1769+
0, &err);
17701770
if (!transaction) {
17711771
retcode = -1;
17721772
goto cleanup;

builtin/receive-pack.c

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1849,7 +1849,7 @@ static void execute_commands_non_atomic(struct command *commands,
18491849
continue;
18501850

18511851
transaction = ref_store_transaction_begin(get_main_ref_store(the_repository),
1852-
&err);
1852+
0, &err);
18531853
if (!transaction) {
18541854
rp_error("%s", err.buf);
18551855
strbuf_reset(&err);
@@ -1878,7 +1878,7 @@ static void execute_commands_atomic(struct command *commands,
18781878
const char *reported_error = "atomic push failure";
18791879

18801880
transaction = ref_store_transaction_begin(get_main_ref_store(the_repository),
1881-
&err);
1881+
0, &err);
18821882
if (!transaction) {
18831883
rp_error("%s", err.buf);
18841884
strbuf_reset(&err);

builtin/replace.c

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -201,7 +201,7 @@ static int replace_object_oid(const char *object_ref,
201201
}
202202

203203
transaction = ref_store_transaction_begin(get_main_ref_store(the_repository),
204-
&err);
204+
0, &err);
205205
if (!transaction ||
206206
ref_transaction_update(transaction, ref.buf, repl, &prev,
207207
NULL, NULL, 0, NULL, &err) ||

builtin/tag.c

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -681,7 +681,7 @@ int cmd_tag(int argc,
681681
}
682682

683683
transaction = ref_store_transaction_begin(get_main_ref_store(the_repository),
684-
&err);
684+
0, &err);
685685
if (!transaction ||
686686
ref_transaction_update(transaction, ref.buf, &object, &prev,
687687
NULL, NULL,

builtin/update-ref.c

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -612,7 +612,7 @@ static void update_refs_stdin(void)
612612
int i, j;
613613

614614
transaction = ref_store_transaction_begin(get_main_ref_store(the_repository),
615-
&err);
615+
0, &err);
616616
if (!transaction)
617617
die("%s", err.buf);
618618

@@ -680,7 +680,7 @@ static void update_refs_stdin(void)
680680
*/
681681
state = cmd->state;
682682
transaction = ref_store_transaction_begin(get_main_ref_store(the_repository),
683-
&err);
683+
0, &err);
684684
if (!transaction)
685685
die("%s", err.buf);
686686

refs.c

Lines changed: 32 additions & 38 deletions
Original file line numberDiff line numberDiff line change
@@ -919,7 +919,7 @@ int refs_delete_ref(struct ref_store *refs, const char *msg,
919919
struct ref_transaction *transaction;
920920
struct strbuf err = STRBUF_INIT;
921921

922-
transaction = ref_store_transaction_begin(refs, &err);
922+
transaction = ref_store_transaction_begin(refs, 0, &err);
923923
if (!transaction ||
924924
ref_transaction_delete(transaction, refname, old_oid,
925925
NULL, flags, msg, &err) ||
@@ -1117,13 +1117,15 @@ int read_ref_at(struct ref_store *refs, const char *refname,
11171117
}
11181118

11191119
struct ref_transaction *ref_store_transaction_begin(struct ref_store *refs,
1120+
unsigned int flags,
11201121
struct strbuf *err)
11211122
{
11221123
struct ref_transaction *tr;
11231124
assert(err);
11241125

11251126
CALLOC_ARRAY(tr, 1);
11261127
tr->ref_store = refs;
1128+
tr->flags = flags;
11271129
return tr;
11281130
}
11291131

@@ -1187,8 +1189,9 @@ struct ref_update *ref_transaction_add_update(
11871189
oidcpy(&update->new_oid, new_oid);
11881190
if ((flags & REF_HAVE_OLD) && old_oid)
11891191
oidcpy(&update->old_oid, old_oid);
1192+
if (!(flags & REF_SKIP_CREATE_REFLOG))
1193+
update->msg = normalize_reflog_message(msg);
11901194

1191-
update->msg = normalize_reflog_message(msg);
11921195
return update;
11931196
}
11941197

@@ -1310,7 +1313,7 @@ int refs_update_ref(struct ref_store *refs, const char *msg,
13101313
struct strbuf err = STRBUF_INIT;
13111314
int ret = 0;
13121315

1313-
t = ref_store_transaction_begin(refs, &err);
1316+
t = ref_store_transaction_begin(refs, 0, &err);
13141317
if (!t ||
13151318
ref_transaction_update(t, refname, new_oid, old_oid, NULL, NULL,
13161319
flags, msg, &err) ||
@@ -2128,7 +2131,7 @@ int refs_update_symref_extended(struct ref_store *refs, const char *ref,
21282131
struct strbuf err = STRBUF_INIT;
21292132
int ret = 0, prepret = 0;
21302133

2131-
transaction = ref_store_transaction_begin(refs, &err);
2134+
transaction = ref_store_transaction_begin(refs, 0, &err);
21322135
if (!transaction) {
21332136
error_return:
21342137
ret = error("%s", err.buf);
@@ -2353,7 +2356,7 @@ int ref_transaction_commit(struct ref_transaction *transaction,
23532356
}
23542357

23552358
ret = refs->be->transaction_finish(refs, transaction, err);
2356-
if (!ret)
2359+
if (!ret && !(transaction->flags & REF_TRANSACTION_FLAG_INITIAL))
23572360
run_transaction_hook(transaction, "committed");
23582361
return ret;
23592362
}
@@ -2362,6 +2365,7 @@ int refs_verify_refname_available(struct ref_store *refs,
23622365
const char *refname,
23632366
const struct string_list *extras,
23642367
const struct string_list *skip,
2368+
int initial_transaction,
23652369
struct strbuf *err)
23662370
{
23672371
const char *slash;
@@ -2370,8 +2374,6 @@ int refs_verify_refname_available(struct ref_store *refs,
23702374
struct strbuf referent = STRBUF_INIT;
23712375
struct object_id oid;
23722376
unsigned int type;
2373-
struct ref_iterator *iter;
2374-
int ok;
23752377
int ret = -1;
23762378

23772379
/*
@@ -2401,7 +2403,8 @@ int refs_verify_refname_available(struct ref_store *refs,
24012403
if (skip && string_list_has_string(skip, dirname.buf))
24022404
continue;
24032405

2404-
if (!refs_read_raw_ref(refs, dirname.buf, &oid, &referent,
2406+
if (!initial_transaction &&
2407+
!refs_read_raw_ref(refs, dirname.buf, &oid, &referent,
24052408
&type, &ignore_errno)) {
24062409
strbuf_addf(err, _("'%s' exists; cannot create '%s'"),
24072410
dirname.buf, refname);
@@ -2426,21 +2429,26 @@ int refs_verify_refname_available(struct ref_store *refs,
24262429
strbuf_addstr(&dirname, refname + dirname.len);
24272430
strbuf_addch(&dirname, '/');
24282431

2429-
iter = refs_ref_iterator_begin(refs, dirname.buf, NULL, 0,
2430-
DO_FOR_EACH_INCLUDE_BROKEN);
2431-
while ((ok = ref_iterator_advance(iter)) == ITER_OK) {
2432-
if (skip &&
2433-
string_list_has_string(skip, iter->refname))
2434-
continue;
2432+
if (!initial_transaction) {
2433+
struct ref_iterator *iter;
2434+
int ok;
24352435

2436-
strbuf_addf(err, _("'%s' exists; cannot create '%s'"),
2437-
iter->refname, refname);
2438-
ref_iterator_abort(iter);
2439-
goto cleanup;
2440-
}
2436+
iter = refs_ref_iterator_begin(refs, dirname.buf, NULL, 0,
2437+
DO_FOR_EACH_INCLUDE_BROKEN);
2438+
while ((ok = ref_iterator_advance(iter)) == ITER_OK) {
2439+
if (skip &&
2440+
string_list_has_string(skip, iter->refname))
2441+
continue;
24412442

2442-
if (ok != ITER_DONE)
2443-
BUG("error while iterating over references");
2443+
strbuf_addf(err, _("'%s' exists; cannot create '%s'"),
2444+
iter->refname, refname);
2445+
ref_iterator_abort(iter);
2446+
goto cleanup;
2447+
}
2448+
2449+
if (ok != ITER_DONE)
2450+
BUG("error while iterating over references");
2451+
}
24442452

24452453
extra_refname = find_descendant_ref(dirname.buf, extras, skip);
24462454
if (extra_refname)
@@ -2524,14 +2532,6 @@ int refs_reflog_expire(struct ref_store *refs,
25242532
cleanup_fn, policy_cb_data);
25252533
}
25262534

2527-
int initial_ref_transaction_commit(struct ref_transaction *transaction,
2528-
struct strbuf *err)
2529-
{
2530-
struct ref_store *refs = transaction->ref_store;
2531-
2532-
return refs->be->initial_transaction_commit(refs, transaction, err);
2533-
}
2534-
25352535
void ref_transaction_for_each_queued_update(struct ref_transaction *transaction,
25362536
ref_transaction_for_each_queued_update_fn cb,
25372537
void *cb_data)
@@ -2567,7 +2567,7 @@ int refs_delete_refs(struct ref_store *refs, const char *logmsg,
25672567
* individual updates can't fail, so we can pack all of the
25682568
* updates into a single transaction.
25692569
*/
2570-
transaction = ref_store_transaction_begin(refs, &err);
2570+
transaction = ref_store_transaction_begin(refs, 0, &err);
25712571
if (!transaction) {
25722572
ret = error("%s", err.buf);
25732573
goto out;
@@ -2873,7 +2873,8 @@ int repo_migrate_ref_storage_format(struct repository *repo,
28732873
if (ret < 0)
28742874
goto done;
28752875

2876-
transaction = ref_store_transaction_begin(new_refs, errbuf);
2876+
transaction = ref_store_transaction_begin(new_refs, REF_TRANSACTION_FLAG_INITIAL,
2877+
errbuf);
28772878
if (!transaction)
28782879
goto done;
28792880

@@ -2898,13 +2899,6 @@ int repo_migrate_ref_storage_format(struct repository *repo,
28982899
if (ret < 0)
28992900
goto done;
29002901

2901-
/*
2902-
* TODO: we might want to migrate to `initial_ref_transaction_commit()`
2903-
* here, which is more efficient for the files backend because it would
2904-
* write new refs into the packed-refs file directly. At this point,
2905-
* the files backend doesn't handle pseudo-refs and symrefs correctly
2906-
* though, so this requires some more work.
2907-
*/
29082902
ret = ref_transaction_commit(transaction, errbuf);
29092903
if (ret < 0)
29102904
goto done;

refs.h

Lines changed: 24 additions & 21 deletions
Original file line numberDiff line numberDiff line change
@@ -107,13 +107,16 @@ int refs_read_symbolic_ref(struct ref_store *ref_store, const char *refname,
107107
* both "foo" and with "foo/bar/baz" but not with "foo/bar" or
108108
* "foo/barbados".
109109
*
110+
* If `initial_transaction` is truish, then all collision checks with
111+
* preexisting refs are skipped.
112+
*
110113
* extras and skip must be sorted.
111114
*/
112-
113115
int refs_verify_refname_available(struct ref_store *refs,
114116
const char *refname,
115117
const struct string_list *extras,
116118
const struct string_list *skip,
119+
int initial_transaction,
117120
struct strbuf *err);
118121

119122
int refs_ref_exists(struct ref_store *refs, const char *refname);
@@ -220,11 +223,9 @@ char *repo_default_branch_name(struct repository *r, int quiet);
220223
*
221224
* Or
222225
*
223-
* - Call `initial_ref_transaction_commit()` if the ref database is
224-
* known to be empty and have no other writers (e.g. during
225-
* clone). This is likely to be much faster than
226-
* `ref_transaction_commit()`. `ref_transaction_prepare()` should
227-
* *not* be called before `initial_ref_transaction_commit()`.
226+
* - Call `ref_transaction_begin()` with REF_TRANSACTION_FLAG_INITIAL if the
227+
* ref database is known to be empty and have no other writers (e.g. during
228+
* clone). This is likely to be much faster than without the flag.
228229
*
229230
* - Then finally, call `ref_transaction_free()` to free the
230231
* `ref_transaction` data structure.
@@ -240,7 +241,7 @@ char *repo_default_branch_name(struct repository *r, int quiet);
240241
* struct strbuf err = STRBUF_INIT;
241242
* int ret = 0;
242243
*
243-
* transaction = ref_store_transaction_begin(refs, &err);
244+
* transaction = ref_store_transaction_begin(refs, 0, &err);
244245
* if (!transaction ||
245246
* ref_transaction_update(...) ||
246247
* ref_transaction_create(...) ||
@@ -590,11 +591,27 @@ enum action_on_err {
590591
UPDATE_REFS_QUIET_ON_ERR
591592
};
592593

594+
enum ref_transaction_flag {
595+
/*
596+
* The ref transaction is part of the initial creation of the ref store
597+
* and can thus assume that the ref store is completely empty. This
598+
* allows the backend to perform the transaction more efficiently by
599+
* skipping certain checks.
600+
*
601+
* It is a bug to set this flag when there might be other processes
602+
* accessing the repository or if there are existing references that
603+
* might conflict with the ones being created. All old_oid values must
604+
* either be absent or null_oid.
605+
*/
606+
REF_TRANSACTION_FLAG_INITIAL = (1 << 0),
607+
};
608+
593609
/*
594610
* Begin a reference transaction. The reference transaction must
595611
* be freed by calling ref_transaction_free().
596612
*/
597613
struct ref_transaction *ref_store_transaction_begin(struct ref_store *refs,
614+
unsigned int flags,
598615
struct strbuf *err);
599616

600617
/*
@@ -810,20 +827,6 @@ int ref_transaction_commit(struct ref_transaction *transaction,
810827
int ref_transaction_abort(struct ref_transaction *transaction,
811828
struct strbuf *err);
812829

813-
/*
814-
* Like ref_transaction_commit(), but optimized for creating
815-
* references when originally initializing a repository (e.g., by "git
816-
* clone"). It writes the new references directly to packed-refs
817-
* without locking the individual references.
818-
*
819-
* It is a bug to call this function when there might be other
820-
* processes accessing the repository or if there are existing
821-
* references that might conflict with the ones being created. All
822-
* old_oid values must either be absent or null_oid.
823-
*/
824-
int initial_ref_transaction_commit(struct ref_transaction *transaction,
825-
struct strbuf *err);
826-
827830
/*
828831
* Execute the given callback function for each of the reference updates which
829832
* have been queued in the given transaction. `old_oid` and `new_oid` may be

0 commit comments

Comments
 (0)