From: Georgy Kirichenko <georgy@tarantool.org> To: tarantool-patches@freelists.org Cc: Georgy Kirichenko <georgy@tarantool.org> Subject: [tarantool-patches] [PATCH v3 06/14] txn: get rid of fiber_gc from txn_rollback Date: Sun, 9 Jun 2019 23:44:35 +0300 [thread overview] Message-ID: <95ba261a4768ec78f5e94596cdeb215ee1068cc2.1560112747.git.georgy@tarantool.org> (raw) In-Reply-To: <cover.1560112747.git.georgy@tarantool.org> Don't touch a fiber gc storage on a transaction rollback explicitly. This relaxes dependencies between fiber and transaction life cycles. Prerequisites: #1254 --- src/box/applier.cc | 8 +++++--- src/box/box.cc | 14 +++++++++----- src/box/call.c | 22 ++++++++++++++++------ src/box/memtx_engine.c | 3 ++- src/box/txn.c | 35 +++++++++++++++++------------------ src/box/txn.h | 8 ++++++-- src/box/vy_scheduler.c | 10 +++++++--- 7 files changed, 62 insertions(+), 38 deletions(-) diff --git a/src/box/applier.cc b/src/box/applier.cc index e3203a4c8..5a92f6109 100644 --- a/src/box/applier.cc +++ b/src/box/applier.cc @@ -190,7 +190,7 @@ apply_initial_join_row(struct xrow_header *row) fiber_gc(); return rc; rollback: - txn_rollback(); + txn_rollback(txn); return -1; } @@ -422,7 +422,8 @@ applier_join(struct applier *applier) if (txn == NULL) diag_raise(); if (apply_row(&row) != 0) { - txn_rollback(); + txn_rollback(txn); + fiber_gc(); diag_raise(); } if (txn_commit(txn) != 0) @@ -625,7 +626,8 @@ applier_apply_tx(struct stailq *rows) return txn_commit(txn); rollback: - txn_rollback(); + txn_rollback(txn); + fiber_gc(); return -1; } diff --git a/src/box/box.cc b/src/box/box.cc index 7f23716e5..5e5cd2b08 100644 --- a/src/box/box.cc +++ b/src/box/box.cc @@ -222,8 +222,10 @@ box_process_rw(struct request *request, struct space *space, return 0; fail: - if (is_autocommit) - txn_rollback(); + if (is_autocommit) { + txn_rollback(txn); + fiber_gc(); + } return -1; } @@ -334,7 +336,7 @@ apply_wal_row(struct xstream *stream, struct xrow_header *row) } if (box_process_rw(&request, space, NULL) != 0) { say_error("error applying row: %s", request_str(&request)); - txn_rollback(); + txn_rollback(txn); diag_raise(); } if (txn_commit(txn) != 0) { @@ -1356,7 +1358,8 @@ box_register_replica(uint32_t id, const struct tt_uuid *uuid) diag_raise(); if (boxk(IPROTO_INSERT, BOX_CLUSTER_ID, "[%u%s]", (unsigned) id, tt_uuid_str(uuid)) != 0) { - txn_rollback(); + txn_rollback(txn); + fiber_gc(); diag_raise(); } if (txn_commit(txn) != 0) @@ -1688,7 +1691,8 @@ box_set_replicaset_uuid(const struct tt_uuid *replicaset_uuid) /* Save replica set UUID in _schema */ if (boxk(IPROTO_INSERT, BOX_SCHEMA_ID, "[%s%s]", "cluster", tt_uuid_str(&uu))) { - txn_rollback(); + txn_rollback(txn); + fiber_gc(); diag_raise(); } if (txn_commit(txn) != 0) diff --git a/src/box/call.c b/src/box/call.c index 56da53fb3..7f6fc8bba 100644 --- a/src/box/call.c +++ b/src/box/call.c @@ -208,14 +208,18 @@ box_process_call(struct call_request *request, struct port *port) if (orig_credentials) fiber_set_user(fiber(), orig_credentials); + struct txn *txn = in_txn(); if (rc != 0) { - txn_rollback(); + if (txn != NULL) + txn_rollback(txn); + fiber_gc(); return -1; } - if (in_txn()) { + if (txn != NULL) { diag_set(ClientError, ER_FUNCTION_TX_ACTIVE); - txn_rollback(); + txn_rollback(txn); + fiber_gc(); return -1; } @@ -229,14 +233,20 @@ box_process_eval(struct call_request *request, struct port *port) /* Check permissions */ if (access_check_universe(PRIV_X) != 0) return -1; + struct txn *txn; if (box_lua_eval(request, port) != 0) { - txn_rollback(); + txn = in_txn(); + if (txn != NULL) + txn_rollback(txn); + fiber_gc(); return -1; } - if (in_txn()) { + txn = in_txn(); + if (txn != NULL) { diag_set(ClientError, ER_FUNCTION_TX_ACTIVE); - txn_rollback(); + txn_rollback(txn); + fiber_gc(); return -1; } diff --git a/src/box/memtx_engine.c b/src/box/memtx_engine.c index 149215b87..918885318 100644 --- a/src/box/memtx_engine.c +++ b/src/box/memtx_engine.c @@ -277,7 +277,8 @@ memtx_engine_recover_snapshot_row(struct memtx_engine *memtx, return -1; /* no access checks here - applier always works with admin privs */ if (space_apply_initial_join_row(space, &request) != 0) { - txn_rollback(); + txn_rollback(txn); + fiber_gc(); return -1; } int rc = txn_commit(txn); diff --git a/src/box/txn.c b/src/box/txn.c index 21f34e526..a08652af1 100644 --- a/src/box/txn.c +++ b/src/box/txn.c @@ -168,6 +168,10 @@ txn_new() inline static void txn_free(struct txn *txn) { + struct txn_stmt *stmt; + stailq_foreach_entry(stmt, &txn->stmts, next) + txn_stmt_unref_tuples(stmt); + /* Truncate region up to struct txn size. */ region_truncate(&txn->region, sizeof(struct txn)); stailq_add(&txn_cache, &txn->in_txn_cache); @@ -322,8 +326,10 @@ txn_write_to_wal(struct txn *txn) struct journal_entry *req = journal_entry_new(txn->n_new_rows + txn->n_applier_rows, &txn->region); - if (req == NULL) + if (req == NULL) { + txn_rollback(txn); return -1; + } struct txn_stmt *stmt; struct xrow_header **remote_row = req->rows; @@ -395,7 +401,7 @@ txn_commit(struct txn *txn) if (txn->n_new_rows + txn->n_applier_rows > 0) { txn->signature = txn_write_to_wal(txn); if (txn->signature < 0) - goto fail; + return -1; } /* * Engine can be NULL if transaction contains IPROTO_NOP @@ -415,15 +421,12 @@ txn_commit(struct txn *txn) panic("commit trigger failed"); } - struct txn_stmt *stmt; - stailq_foreach_entry(stmt, &txn->stmts, next) - txn_stmt_unref_tuples(stmt); fiber_set_txn(fiber(), NULL); txn_free(txn); return 0; fail: - txn_rollback(); + txn_rollback(txn); return -1; } @@ -437,11 +440,9 @@ txn_rollback_stmt(struct txn *txn) } void -txn_rollback() +txn_rollback(struct txn *txn) { - struct txn *txn = in_txn(); - if (txn == NULL) - return; + assert(txn == in_txn()); if (txn->engine) engine_rollback(txn->engine, txn); /* Rollback triggers must not throw. */ @@ -452,12 +453,6 @@ txn_rollback() panic("rollback trigger failed"); } - struct txn_stmt *stmt; - stailq_foreach_entry(stmt, &txn->stmts, next) - txn_stmt_unref_tuples(stmt); - - /** Free volatile txn memory. */ - fiber_gc(); fiber_set_txn(fiber(), NULL); txn_free(txn); } @@ -533,11 +528,14 @@ int box_txn_rollback() { struct txn *txn = in_txn(); + if (txn == NULL) + return 0; if (txn && txn->in_sub_stmt) { diag_set(ClientError, ER_ROLLBACK_IN_SUB_STMT); return -1; } - txn_rollback(); /* doesn't throw */ + txn_rollback(txn); /* doesn't throw */ + fiber_gc(); return 0; } @@ -615,6 +613,7 @@ txn_on_stop(struct trigger *trigger, void *event) { (void) trigger; (void) event; - txn_rollback(); /* doesn't yield or fail */ + txn_rollback(in_txn()); /* doesn't yield or fail */ + } diff --git a/src/box/txn.h b/src/box/txn.h index ff2018d57..d211e5012 100644 --- a/src/box/txn.h +++ b/src/box/txn.h @@ -221,9 +221,12 @@ txn_begin(); int txn_commit(struct txn *txn); -/** Rollback a transaction, if any. */ +/** + * Rollback a transaction. + * @pre txn == in_txn() + */ void -txn_rollback(); +txn_rollback(struct txn *txn); /** * Roll back the transaction but keep the object around. @@ -267,6 +270,7 @@ txn_on_rollback(struct txn *txn, struct trigger *trigger) /** * Start a new statement. + * Return a new statement or NULL in case of error. */ struct txn_stmt * txn_begin_stmt(struct txn *txn, struct space *space); diff --git a/src/box/vy_scheduler.c b/src/box/vy_scheduler.c index 9d5f18e32..7e34ed8fc 100644 --- a/src/box/vy_scheduler.c +++ b/src/box/vy_scheduler.c @@ -889,18 +889,22 @@ vy_deferred_delete_batch_process_f(struct cmsg *cmsg) for (int i = 0; i < batch->count; i++) { if (vy_deferred_delete_process_one(deferred_delete_space, pk->space_id, pk->mem_format, - &batch->stmt[i]) != 0) - goto fail; + &batch->stmt[i]) != 0) { + goto fail_rollback; + } } if (txn_commit(txn) != 0) goto fail; fiber_gc(); return; + +fail_rollback: + txn_rollback(txn); fail: batch->is_failed = true; diag_move(diag_get(), &batch->diag); - txn_rollback(); + fiber_gc(); } /** -- 2.21.0
next prev parent reply other threads:[~2019-06-09 20:44 UTC|newest] Thread overview: 42+ messages / expand[flat|nested] mbox.gz Atom feed top 2019-06-09 20:44 [tarantool-patches] [PATCH v3 00/14] Parallel applier Georgy Kirichenko 2019-06-09 20:44 ` [tarantool-patches] [PATCH v3 01/14] txn: Fire a trigger after a transaction finalization Georgy Kirichenko 2019-06-09 21:59 ` [tarantool-patches] " Konstantin Osipov 2019-06-11 11:42 ` [tarantool-patches] " Vladimir Davydov 2019-06-09 20:44 ` [tarantool-patches] [PATCH v3 02/14] ddl: synchronize privileges cache with actual data state Georgy Kirichenko 2019-06-11 13:13 ` Vladimir Davydov 2019-06-09 20:44 ` [tarantool-patches] [PATCH v3 03/14] txn: transaction memory allocation Georgy Kirichenko 2019-06-09 20:44 ` [tarantool-patches] [PATCH v3 04/14] ddl: place alter structures onto a txn memory region Georgy Kirichenko 2019-06-11 14:14 ` Vladimir Davydov 2019-06-09 20:44 ` [tarantool-patches] [PATCH v3 05/14] txn: get rid of autocommit from a txn structure Georgy Kirichenko 2019-06-13 14:11 ` Vladimir Davydov 2019-06-16 16:20 ` [tarantool-patches] " Konstantin Osipov 2019-06-16 16:14 ` Konstantin Osipov 2019-06-09 20:44 ` Georgy Kirichenko [this message] 2019-06-13 14:12 ` [tarantool-patches] [PATCH v3 06/14] txn: get rid of fiber_gc from txn_rollback Vladimir Davydov 2019-06-13 19:28 ` Георгий Кириченко 2019-06-14 9:21 ` Vladimir Davydov 2019-06-16 16:38 ` [tarantool-patches] " Konstantin Osipov 2019-06-09 20:44 ` [tarantool-patches] [PATCH v3 07/14] wal: remove fiber from a journal_entry structure Georgy Kirichenko 2019-06-13 14:17 ` Vladimir Davydov 2019-06-13 19:33 ` Георгий Кириченко 2019-06-14 8:05 ` Vladimir Davydov 2019-06-09 20:44 ` [tarantool-patches] [PATCH v3 08/14] wal: enable asyncronous wal writes Georgy Kirichenko 2019-06-13 14:21 ` Vladimir Davydov 2019-06-09 20:44 ` [tarantool-patches] [PATCH v3 09/14] wal: a dedicated wal scheduling fiber Georgy Kirichenko 2019-06-13 14:24 ` Vladimir Davydov 2019-06-13 19:36 ` Георгий Кириченко 2019-06-14 9:20 ` Vladimir Davydov 2019-06-09 20:44 ` [tarantool-patches] [PATCH v3 10/14] core: latch_unlock_external routine Georgy Kirichenko 2019-06-13 14:27 ` Vladimir Davydov 2019-06-13 19:38 ` Георгий Кириченко 2019-06-14 8:10 ` Vladimir Davydov 2019-06-14 9:18 ` Vladimir Davydov 2019-06-09 20:44 ` [tarantool-patches] [PATCH v3 11/14] txn: introduce asynchronous txn commit Georgy Kirichenko 2019-06-13 14:34 ` Vladimir Davydov 2019-06-13 19:45 ` Георгий Кириченко 2019-06-14 7:58 ` Vladimir Davydov 2019-06-09 20:44 ` [tarantool-patches] [PATCH v3 12/14] txn: handle fiber stop event at transaction level Georgy Kirichenko 2019-06-13 14:36 ` Vladimir Davydov 2019-06-09 20:44 ` [tarantool-patches] [PATCH v3 13/14] applier: apply transaction in parallel Georgy Kirichenko 2019-06-13 15:17 ` Vladimir Davydov 2019-06-09 20:44 ` [tarantool-patches] [PATCH v3 14/14] test: fix flaky test Georgy Kirichenko
Reply instructions: You may reply publicly to this message via plain-text email using any one of the following methods: * Save the following mbox file, import it into your mail client, and reply-to-all from there: mbox Avoid top-posting and favor interleaved quoting: https://en.wikipedia.org/wiki/Posting_style#Interleaved_style * Reply using the --to, --cc, and --in-reply-to switches of git-send-email(1): git send-email \ --in-reply-to=95ba261a4768ec78f5e94596cdeb215ee1068cc2.1560112747.git.georgy@tarantool.org \ --to=georgy@tarantool.org \ --cc=tarantool-patches@freelists.org \ --subject='Re: [tarantool-patches] [PATCH v3 06/14] txn: get rid of fiber_gc from txn_rollback' \ /path/to/YOUR_REPLY https://kernel.org/pub/software/scm/git/docs/git-send-email.html * If your mail client supports setting the In-Reply-To header via mailto: links, try the mailto: link
This is a public inbox, see mirroring instructions for how to clone and mirror all data and code used for this inbox