Skip to content

Commit 70f4f8e

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 0856044 + 56580e5 commit 70f4f8e

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
@@ -1635,7 +1635,7 @@ static int update_branch(struct branch *b)
16351635
}
16361636
}
16371637
transaction = ref_store_transaction_begin(get_main_ref_store(the_repository),
1638-
&err);
1638+
0, &err);
16391639
if (!transaction ||
16401640
ref_transaction_update(transaction, b->name, &b->oid, &old_oid,
16411641
NULL, NULL, 0, msg, &err) ||
@@ -1670,7 +1670,7 @@ static void dump_tags(void)
16701670
struct ref_transaction *transaction;
16711671

16721672
transaction = ref_store_transaction_begin(get_main_ref_store(the_repository),
1673-
&err);
1673+
0, &err);
16741674
if (!transaction) {
16751675
failure |= error("%s", err.buf);
16761676
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;
@@ -1756,7 +1756,7 @@ static int do_fetch(struct transport *transport,
17561756

17571757
if (atomic_fetch) {
17581758
transaction = ref_store_transaction_begin(get_main_ref_store(the_repository),
1759-
&err);
1759+
0, &err);
17601760
if (!transaction) {
17611761
retcode = -1;
17621762
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);
@@ -2342,7 +2345,7 @@ int ref_transaction_commit(struct ref_transaction *transaction,
23422345
}
23432346

23442347
ret = refs->be->transaction_finish(refs, transaction, err);
2345-
if (!ret)
2348+
if (!ret && !(transaction->flags & REF_TRANSACTION_FLAG_INITIAL))
23462349
run_transaction_hook(transaction, "committed");
23472350
return ret;
23482351
}
@@ -2351,6 +2354,7 @@ int refs_verify_refname_available(struct ref_store *refs,
23512354
const char *refname,
23522355
const struct string_list *extras,
23532356
const struct string_list *skip,
2357+
int initial_transaction,
23542358
struct strbuf *err)
23552359
{
23562360
const char *slash;
@@ -2359,8 +2363,6 @@ int refs_verify_refname_available(struct ref_store *refs,
23592363
struct strbuf referent = STRBUF_INIT;
23602364
struct object_id oid;
23612365
unsigned int type;
2362-
struct ref_iterator *iter;
2363-
int ok;
23642366
int ret = -1;
23652367

23662368
/*
@@ -2390,7 +2392,8 @@ int refs_verify_refname_available(struct ref_store *refs,
23902392
if (skip && string_list_has_string(skip, dirname.buf))
23912393
continue;
23922394

2393-
if (!refs_read_raw_ref(refs, dirname.buf, &oid, &referent,
2395+
if (!initial_transaction &&
2396+
!refs_read_raw_ref(refs, dirname.buf, &oid, &referent,
23942397
&type, &ignore_errno)) {
23952398
strbuf_addf(err, _("'%s' exists; cannot create '%s'"),
23962399
dirname.buf, refname);
@@ -2415,21 +2418,26 @@ int refs_verify_refname_available(struct ref_store *refs,
24152418
strbuf_addstr(&dirname, refname + dirname.len);
24162419
strbuf_addch(&dirname, '/');
24172420

2418-
iter = refs_ref_iterator_begin(refs, dirname.buf, NULL, 0,
2419-
DO_FOR_EACH_INCLUDE_BROKEN);
2420-
while ((ok = ref_iterator_advance(iter)) == ITER_OK) {
2421-
if (skip &&
2422-
string_list_has_string(skip, iter->refname))
2423-
continue;
2421+
if (!initial_transaction) {
2422+
struct ref_iterator *iter;
2423+
int ok;
24242424

2425-
strbuf_addf(err, _("'%s' exists; cannot create '%s'"),
2426-
iter->refname, refname);
2427-
ref_iterator_abort(iter);
2428-
goto cleanup;
2429-
}
2425+
iter = refs_ref_iterator_begin(refs, dirname.buf, NULL, 0,
2426+
DO_FOR_EACH_INCLUDE_BROKEN);
2427+
while ((ok = ref_iterator_advance(iter)) == ITER_OK) {
2428+
if (skip &&
2429+
string_list_has_string(skip, iter->refname))
2430+
continue;
24302431

2431-
if (ok != ITER_DONE)
2432-
BUG("error while iterating over references");
2432+
strbuf_addf(err, _("'%s' exists; cannot create '%s'"),
2433+
iter->refname, refname);
2434+
ref_iterator_abort(iter);
2435+
goto cleanup;
2436+
}
2437+
2438+
if (ok != ITER_DONE)
2439+
BUG("error while iterating over references");
2440+
}
24332441

24342442
extra_refname = find_descendant_ref(dirname.buf, extras, skip);
24352443
if (extra_refname)
@@ -2513,14 +2521,6 @@ int refs_reflog_expire(struct ref_store *refs,
25132521
cleanup_fn, policy_cb_data);
25142522
}
25152523

2516-
int initial_ref_transaction_commit(struct ref_transaction *transaction,
2517-
struct strbuf *err)
2518-
{
2519-
struct ref_store *refs = transaction->ref_store;
2520-
2521-
return refs->be->initial_transaction_commit(refs, transaction, err);
2522-
}
2523-
25242524
void ref_transaction_for_each_queued_update(struct ref_transaction *transaction,
25252525
ref_transaction_for_each_queued_update_fn cb,
25262526
void *cb_data)
@@ -2556,7 +2556,7 @@ int refs_delete_refs(struct ref_store *refs, const char *logmsg,
25562556
* individual updates can't fail, so we can pack all of the
25572557
* updates into a single transaction.
25582558
*/
2559-
transaction = ref_store_transaction_begin(refs, &err);
2559+
transaction = ref_store_transaction_begin(refs, 0, &err);
25602560
if (!transaction) {
25612561
ret = error("%s", err.buf);
25622562
goto out;
@@ -2862,7 +2862,8 @@ int repo_migrate_ref_storage_format(struct repository *repo,
28622862
if (ret < 0)
28632863
goto done;
28642864

2865-
transaction = ref_store_transaction_begin(new_refs, errbuf);
2865+
transaction = ref_store_transaction_begin(new_refs, REF_TRANSACTION_FLAG_INITIAL,
2866+
errbuf);
28662867
if (!transaction)
28672868
goto done;
28682869

@@ -2887,13 +2888,6 @@ int repo_migrate_ref_storage_format(struct repository *repo,
28872888
if (ret < 0)
28882889
goto done;
28892890

2890-
/*
2891-
* TODO: we might want to migrate to `initial_ref_transaction_commit()`
2892-
* here, which is more efficient for the files backend because it would
2893-
* write new refs into the packed-refs file directly. At this point,
2894-
* the files backend doesn't handle pseudo-refs and symrefs correctly
2895-
* though, so this requires some more work.
2896-
*/
28972891
ret = ref_transaction_commit(transaction, errbuf);
28982892
if (ret < 0)
28992893
goto done;

refs.h

Lines changed: 24 additions & 21 deletions
Original file line numberDiff line numberDiff line change
@@ -101,13 +101,16 @@ int refs_read_symbolic_ref(struct ref_store *ref_store, const char *refname,
101101
* both "foo" and with "foo/bar/baz" but not with "foo/bar" or
102102
* "foo/barbados".
103103
*
104+
* If `initial_transaction` is truish, then all collision checks with
105+
* preexisting refs are skipped.
106+
*
104107
* extras and skip must be sorted.
105108
*/
106-
107109
int refs_verify_refname_available(struct ref_store *refs,
108110
const char *refname,
109111
const struct string_list *extras,
110112
const struct string_list *skip,
113+
int initial_transaction,
111114
struct strbuf *err);
112115

113116
int refs_ref_exists(struct ref_store *refs, const char *refname);
@@ -214,11 +217,9 @@ char *repo_default_branch_name(struct repository *r, int quiet);
214217
*
215218
* Or
216219
*
217-
* - Call `initial_ref_transaction_commit()` if the ref database is
218-
* known to be empty and have no other writers (e.g. during
219-
* clone). This is likely to be much faster than
220-
* `ref_transaction_commit()`. `ref_transaction_prepare()` should
221-
* *not* be called before `initial_ref_transaction_commit()`.
220+
* - Call `ref_transaction_begin()` with REF_TRANSACTION_FLAG_INITIAL if the
221+
* ref database is known to be empty and have no other writers (e.g. during
222+
* clone). This is likely to be much faster than without the flag.
222223
*
223224
* - Then finally, call `ref_transaction_free()` to free the
224225
* `ref_transaction` data structure.
@@ -234,7 +235,7 @@ char *repo_default_branch_name(struct repository *r, int quiet);
234235
* struct strbuf err = STRBUF_INIT;
235236
* int ret = 0;
236237
*
237-
* transaction = ref_store_transaction_begin(refs, &err);
238+
* transaction = ref_store_transaction_begin(refs, 0, &err);
238239
* if (!transaction ||
239240
* ref_transaction_update(...) ||
240241
* ref_transaction_create(...) ||
@@ -584,11 +585,27 @@ enum action_on_err {
584585
UPDATE_REFS_QUIET_ON_ERR
585586
};
586587

588+
enum ref_transaction_flag {
589+
/*
590+
* The ref transaction is part of the initial creation of the ref store
591+
* and can thus assume that the ref store is completely empty. This
592+
* allows the backend to perform the transaction more efficiently by
593+
* skipping certain checks.
594+
*
595+
* It is a bug to set this flag when there might be other processes
596+
* accessing the repository or if there are existing references that
597+
* might conflict with the ones being created. All old_oid values must
598+
* either be absent or null_oid.
599+
*/
600+
REF_TRANSACTION_FLAG_INITIAL = (1 << 0),
601+
};
602+
587603
/*
588604
* Begin a reference transaction. The reference transaction must
589605
* be freed by calling ref_transaction_free().
590606
*/
591607
struct ref_transaction *ref_store_transaction_begin(struct ref_store *refs,
608+
unsigned int flags,
592609
struct strbuf *err);
593610

594611
/*
@@ -804,20 +821,6 @@ int ref_transaction_commit(struct ref_transaction *transaction,
804821
int ref_transaction_abort(struct ref_transaction *transaction,
805822
struct strbuf *err);
806823

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

0 commit comments

Comments
 (0)