[tarantool-patches] [PATCH 3/6] Rework memtx replace function

  • From: Vladimir Davydov <vdavydov.dev@xxxxxxxxx>
  • To: kostja@xxxxxxxxxxxxx
  • Date: Fri, 20 Jul 2018 20:43:32 +0300

From: Nikita Pettik <korablev@xxxxxxxxxxxxx>

By now, replace function takes new tuple and old tuple as arguments, instead
of single txn_stmt. It has been done in order to avoid abusing txn_stmt:
the only usage was extracting tuples from it.
As a result, this function can be used by ephemeral tables
without any patching.

(cherry picked from commit 880712c96c00b1667e458e65529b2fd95e99ddc9)
---
 src/box/memtx_space.c | 79 +++++++++++++++++++++++++++++++++------------------
 src/box/memtx_space.h | 20 ++++++-------
 2 files changed, 61 insertions(+), 38 deletions(-)

diff --git a/src/box/memtx_space.c b/src/box/memtx_space.c
index 32700071..26d70482 100644
--- a/src/box/memtx_space.c
+++ b/src/box/memtx_space.c
@@ -75,11 +75,14 @@ memtx_space_update_bsize(struct space *space,
  * no indexes (is not yet fully built).
  */
 int
-memtx_space_replace_no_keys(struct space *space, struct txn_stmt *stmt,
-                           enum dup_replace_mode mode)
+memtx_space_replace_no_keys(struct space *space, struct tuple *old_tuple,
+                           struct tuple *new_tuple,
+                           enum dup_replace_mode mode, struct tuple **result)
 {
-       (void)stmt;
+       (void)old_tuple;
+       (void)new_tuple;
        (void)mode;
+       (void)result;
        struct index *index = index_find(space, 0);
        assert(index == NULL); /* not reached. */
        (void) index;
@@ -103,12 +106,15 @@ enum {
  * from snapshot.
  */
 int
-memtx_space_replace_build_next(struct space *space, struct txn_stmt *stmt,
-                              enum dup_replace_mode mode)
+memtx_space_replace_build_next(struct space *space, struct tuple *old_tuple,
+                              struct tuple *new_tuple,
+                              enum dup_replace_mode mode,
+                              struct tuple **result)
 {
-       assert(stmt->old_tuple == NULL && mode == DUP_INSERT);
-       (void) mode;
-       if (stmt->old_tuple) {
+       assert(old_tuple == NULL && mode == DUP_INSERT);
+       (void)mode;
+       *result = NULL;
+       if (old_tuple) {
                /*
                 * Called from txn_rollback() In practice
                 * is impossible: all possible checks for tuple
@@ -118,10 +124,9 @@ memtx_space_replace_build_next(struct space *space, struct 
txn_stmt *stmt,
                panic("Failed to commit transaction when loading "
                      "from snapshot");
        }
-       if (index_build_next(space->index[0], stmt->new_tuple) != 0)
+       if (index_build_next(space->index[0], new_tuple) != 0)
                return -1;
-       stmt->engine_savepoint = stmt;
-       memtx_space_update_bsize(space, NULL, stmt->new_tuple);
+       memtx_space_update_bsize(space, NULL, new_tuple);
        return 0;
 }
 
@@ -130,14 +135,16 @@ memtx_space_replace_build_next(struct space *space, 
struct txn_stmt *stmt,
  * data from XLOG files.
  */
 int
-memtx_space_replace_primary_key(struct space *space, struct txn_stmt *stmt,
-                               enum dup_replace_mode mode)
+memtx_space_replace_primary_key(struct space *space, struct tuple *old_tuple,
+                               struct tuple *new_tuple,
+                               enum dup_replace_mode mode,
+                               struct tuple **result)
 {
-       if (index_replace(space->index[0], stmt->old_tuple,
-                         stmt->new_tuple, mode, &stmt->old_tuple) != 0)
+       if (index_replace(space->index[0], old_tuple,
+                         new_tuple, mode, &old_tuple) != 0)
                return -1;
-       stmt->engine_savepoint = stmt;
-       memtx_space_update_bsize(space, stmt->old_tuple, stmt->new_tuple);
+       memtx_space_update_bsize(space, old_tuple, new_tuple);
+       *result = old_tuple;
        return 0;
 }
 
@@ -226,12 +233,12 @@ memtx_space_replace_primary_key(struct space *space, 
struct txn_stmt *stmt,
  * primary key.
  */
 int
-memtx_space_replace_all_keys(struct space *space, struct txn_stmt *stmt,
-                            enum dup_replace_mode mode)
+memtx_space_replace_all_keys(struct space *space, struct tuple *old_tuple,
+                            struct tuple *new_tuple,
+                            enum dup_replace_mode mode,
+                            struct tuple **result)
 {
        struct memtx_engine *memtx = (struct memtx_engine *)space->engine;
-       struct tuple *old_tuple = stmt->old_tuple;
-       struct tuple *new_tuple = stmt->new_tuple;
        /*
         * Ensure we have enough slack memory to guarantee
         * successful statement-level rollback.
@@ -265,9 +272,8 @@ memtx_space_replace_all_keys(struct space *space, struct 
txn_stmt *stmt,
                        goto rollback;
        }
 
-       stmt->old_tuple = old_tuple;
-       stmt->engine_savepoint = stmt;
        memtx_space_update_bsize(space, old_tuple, new_tuple);
+       *result = old_tuple;
        return 0;
 
 rollback:
@@ -309,7 +315,8 @@ memtx_space_apply_initial_join_row(struct space *space, 
struct request *request)
        if (stmt->new_tuple == NULL)
                goto rollback;
        tuple_ref(stmt->new_tuple);
-       if (memtx_space->replace(space, stmt, DUP_INSERT) != 0)
+       if (memtx_space->replace(space, NULL, stmt->new_tuple,
+                                DUP_INSERT, &stmt->old_tuple) != 0)
                goto rollback;
        return txn_commit_stmt(txn, request);
 
@@ -331,8 +338,12 @@ memtx_space_execute_replace(struct space *space, struct 
txn *txn,
        if (stmt->new_tuple == NULL)
                return -1;
        tuple_ref(stmt->new_tuple);
-       if (memtx_space->replace(space, stmt, mode) != 0)
+       struct tuple *old_tuple;
+       if (memtx_space->replace(space, stmt->old_tuple, stmt->new_tuple,
+                                mode, &old_tuple) != 0)
                return -1;
+       stmt->old_tuple = old_tuple;
+       stmt->engine_savepoint = stmt;
        /** The new tuple is referenced by the primary key. */
        *result = stmt->new_tuple;
        return 0;
@@ -354,9 +365,13 @@ memtx_space_execute_delete(struct space *space, struct txn 
*txn,
                return -1;
        if (index_get(pk, key, part_count, &stmt->old_tuple) != 0)
                return -1;
+       struct tuple *old_tuple = NULL;
        if (stmt->old_tuple != NULL &&
-           memtx_space->replace(space, stmt, DUP_REPLACE_OR_INSERT) != 0)
+           memtx_space->replace(space, stmt->old_tuple, stmt->new_tuple,
+                                DUP_REPLACE_OR_INSERT, &old_tuple) != 0)
                return -1;
+       stmt->old_tuple = old_tuple;
+       stmt->engine_savepoint = stmt;
        *result = stmt->old_tuple;
        return 0;
 }
@@ -399,9 +414,13 @@ memtx_space_execute_update(struct space *space, struct txn 
*txn,
        if (stmt->new_tuple == NULL)
                return -1;
        tuple_ref(stmt->new_tuple);
+       struct tuple *old_tuple = NULL;
        if (stmt->old_tuple != NULL &&
-           memtx_space->replace(space, stmt, DUP_REPLACE) != 0)
+           memtx_space->replace(space, stmt->old_tuple, stmt->new_tuple,
+                                DUP_REPLACE, &old_tuple) != 0)
                return -1;
+       stmt->old_tuple = old_tuple;
+       stmt->engine_savepoint = stmt;
        *result = stmt->new_tuple;
        return 0;
 }
@@ -512,9 +531,13 @@ memtx_space_execute_upsert(struct space *space, struct txn 
*txn,
         * we checked this case explicitly and skipped the upsert
         * above.
         */
+       struct tuple *old_tuple = NULL;
        if (stmt->new_tuple != NULL &&
-           memtx_space->replace(space, stmt, DUP_REPLACE_OR_INSERT) != 0)
+           memtx_space->replace(space, stmt->old_tuple, stmt->new_tuple,
+                                DUP_REPLACE_OR_INSERT, &old_tuple) != 0)
                return -1;
+       stmt->old_tuple = old_tuple;
+       stmt->engine_savepoint = stmt;
        /* Return nothing: UPSERT does not return data. */
        return 0;
 }
diff --git a/src/box/memtx_space.h b/src/box/memtx_space.h
index 26d33349..7dc34107 100644
--- a/src/box/memtx_space.h
+++ b/src/box/memtx_space.h
@@ -46,8 +46,8 @@ struct memtx_space {
         * A pointer to replace function, set to different values
         * at different stages of recovery.
         */
-       int (*replace)(struct space *, struct txn_stmt *,
-                      enum dup_replace_mode);
+       int (*replace)(struct space *, struct tuple *, struct tuple *,
+                      enum dup_replace_mode, struct tuple **);
 };
 
 /**
@@ -65,17 +65,17 @@ memtx_space_update_bsize(struct space *space,
                         const struct tuple *new_tuple);
 
 int
-memtx_space_replace_no_keys(struct space *, struct txn_stmt *,
-                           enum dup_replace_mode);
+memtx_space_replace_no_keys(struct space *, struct tuple *, struct tuple *,
+                           enum dup_replace_mode, struct tuple **);
 int
-memtx_space_replace_build_next(struct space *, struct txn_stmt *,
-                              enum dup_replace_mode);
+memtx_space_replace_build_next(struct space *, struct tuple *, struct tuple *,
+                              enum dup_replace_mode, struct tuple **);
 int
-memtx_space_replace_primary_key(struct space *, struct txn_stmt *,
-                               enum dup_replace_mode);
+memtx_space_replace_primary_key(struct space *, struct tuple *, struct tuple *,
+                               enum dup_replace_mode, struct tuple **);
 int
-memtx_space_replace_all_keys(struct space *, struct txn_stmt *,
-                            enum dup_replace_mode);
+memtx_space_replace_all_keys(struct space *, struct tuple *, struct tuple *,
+                            enum dup_replace_mode, struct tuple **);
 
 struct space *
 memtx_space_new(struct memtx_engine *memtx,
-- 
2.11.0


Other related posts: