1 /* -*- mode: C++; c-basic-offset: 4; indent-tabs-mode: nil -*- */
2 // vim: ft=cpp:expandtab:ts=8:sw=4:softtabstop=4:
3 #ident "$Id$"
4 /*======
5 This file is part of PerconaFT.
6
7
8 Copyright (c) 2006, 2015, Percona and/or its affiliates. All rights reserved.
9
10 PerconaFT is free software: you can redistribute it and/or modify
11 it under the terms of the GNU General Public License, version 2,
12 as published by the Free Software Foundation.
13
14 PerconaFT is distributed in the hope that it will be useful,
15 but WITHOUT ANY WARRANTY; without even the implied warranty of
16 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
17 GNU General Public License for more details.
18
19 You should have received a copy of the GNU General Public License
20 along with PerconaFT. If not, see <http://www.gnu.org/licenses/>.
21
22 ----------------------------------------
23
24 PerconaFT is free software: you can redistribute it and/or modify
25 it under the terms of the GNU Affero General Public License, version 3,
26 as published by the Free Software Foundation.
27
28 PerconaFT is distributed in the hope that it will be useful,
29 but WITHOUT ANY WARRANTY; without even the implied warranty of
30 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
31 GNU Affero General Public License for more details.
32
33 You should have received a copy of the GNU Affero General Public License
34 along with PerconaFT. If not, see <http://www.gnu.org/licenses/>.
35 ======= */
36
37 #ident "Copyright (c) 2006, 2015, Percona and/or its affiliates. All rights reserved."
38
39 // test that an aborted update doesn't affect later reads
40
41 #include "test.h"
42
43 const int envflags = DB_INIT_MPOOL|DB_CREATE|DB_THREAD |DB_INIT_LOCK|DB_INIT_LOG|DB_INIT_TXN|DB_PRIVATE;
44
45 DB_ENV *env;
46
47 const int to_update[] = { 0, 1, 1, 1, 0, 0, 1, 0, 1, 0 };
48
_v(const unsigned int i)49 static inline unsigned int _v(const unsigned int i) { return 10 - i; }
_e(const unsigned int i)50 static inline unsigned int _e(const unsigned int i) { return i + 4; }
_u(const unsigned int v,const unsigned int e)51 static inline unsigned int _u(const unsigned int v, const unsigned int e) { return v * v * e; }
52
update_fun(DB * UU (db),const DBT * key,const DBT * old_val,const DBT * extra,void (* set_val)(const DBT * new_val,void * set_extra),void * set_extra)53 static int update_fun(DB *UU(db),
54 const DBT *key,
55 const DBT *old_val, const DBT *extra,
56 void (*set_val)(const DBT *new_val,
57 void *set_extra),
58 void *set_extra) {
59 unsigned int *k, *ov, *e, v;
60 assert(key->size == sizeof(*k));
61 CAST_FROM_VOIDP(k, key->data);
62 assert(old_val->size == sizeof(*ov));
63 CAST_FROM_VOIDP(ov, old_val->data);
64 assert(extra->size == sizeof(*e));
65 CAST_FROM_VOIDP(e, extra->data);
66 v = _u(*ov, *e);
67
68 {
69 DBT newval;
70 set_val(dbt_init(&newval, &v, sizeof(v)), set_extra);
71 }
72
73 return 0;
74 }
75
setup(void)76 static void setup (void) {
77 toku_os_recursive_delete(TOKU_TEST_FILENAME);
78 { int chk_r = toku_os_mkdir(TOKU_TEST_FILENAME, S_IRWXU+S_IRWXG+S_IRWXO); CKERR(chk_r); }
79 { int chk_r = db_env_create(&env, 0); CKERR(chk_r); }
80 env->set_errfile(env, stderr);
81 env->set_update(env, update_fun);
82 { int chk_r = env->open(env, TOKU_TEST_FILENAME, envflags, S_IRWXU+S_IRWXG+S_IRWXO); CKERR(chk_r); }
83 }
84
cleanup(void)85 static void cleanup (void) {
86 { int chk_r = env->close(env, 0); CKERR(chk_r); }
87 }
88
do_inserts(DB_TXN * txn,DB * db)89 static int do_inserts(DB_TXN *txn, DB *db) {
90 int r = 0;
91 DBT key, val;
92 unsigned int i, v;
93 DBT *keyp = dbt_init(&key, &i, sizeof(i));
94 DBT *valp = dbt_init(&val, &v, sizeof(v));
95 for (i = 0; i < (sizeof(to_update) / sizeof(to_update[0])); ++i) {
96 v = _v(i);
97 r = db->put(db, txn, keyp, valp, 0); CKERR(r);
98 }
99 return r;
100 }
101
do_updates(DB_TXN * txn,DB * db)102 static int do_updates(DB_TXN *txn, DB *db) {
103 int r = 0;
104 DBT key, extra;
105 unsigned int i, e;
106 DBT *keyp = dbt_init(&key, &i, sizeof(i));
107 DBT *extrap = dbt_init(&extra, &e, sizeof(e));
108 for (i = 0; i < (sizeof(to_update) / sizeof(to_update[0])); ++i) {
109 if (to_update[i] == 1) {
110 e = _e(i); // E I O
111 r = db->update(db, txn, keyp, extrap, 0); CKERR(r);
112 }
113 }
114 return r;
115 }
116
chk_updated(const unsigned int k,const unsigned int v)117 static void chk_updated(const unsigned int k, const unsigned int v) {
118 if (to_update[k]) {
119 assert(v == _u(_v(k), _e(k)));
120 } else {
121 assert(v == _v(k));
122 }
123 }
124
chk_original(const unsigned int k,const unsigned int v)125 static void chk_original(const unsigned int k, const unsigned int v) {
126 assert(v == _v(k));
127 }
128
do_verify_results(DB_TXN * txn,DB * db,void (* check_val)(const unsigned int k,const unsigned int v))129 static int do_verify_results(DB_TXN *txn, DB *db, void (*check_val)(const unsigned int k, const unsigned int v)) {
130 int r = 0;
131 DBT key, val;
132 unsigned int i, *vp;
133 DBT *keyp = dbt_init(&key, &i, sizeof(i));
134 DBT *valp = dbt_init(&val, NULL, 0);
135 for (i = 0; i < (sizeof(to_update) / sizeof(to_update[0])); ++i) {
136 r = db->get(db, txn, keyp, valp, 0); CKERR(r);
137 assert(val.size == sizeof(*vp));
138 CAST_FROM_VOIDP(vp, val.data);
139 check_val(i, *vp);
140 }
141 return r;
142 }
143
144
run_test(bool do_close)145 static void run_test(bool do_close) {
146 setup();
147
148 DB *db;
149
150 IN_TXN_COMMIT(env, NULL, txn_1, 0, {
151 { int chk_r = db_create(&db, env, 0); CKERR(chk_r); }
152 { int chk_r = db->open(db, txn_1, "foo.db", NULL, DB_BTREE, DB_CREATE, 0666); CKERR(chk_r); }
153
154 { int chk_r = do_inserts(txn_1, db); CKERR(chk_r); }
155
156 IN_TXN_COMMIT(env, txn_1, txn_11, 0, {
157 { int chk_r = do_verify_results(txn_11, db, chk_original); CKERR(chk_r); }
158 });
159 });
160
161 IN_TXN_ABORT(env, NULL, txn_2, 0, {
162 { int chk_r = do_updates(txn_2, db); CKERR(chk_r); }
163
164 IN_TXN_COMMIT(env, txn_2, txn_21, 0, {
165 { int chk_r = do_verify_results(txn_21, db, chk_updated); CKERR(chk_r); }
166 });
167 });
168
169 if (do_close) {
170 { int chk_r = db->close(db,0); CKERR(chk_r); }
171 { int chk_r = db_create(&db, env, 0); CKERR(chk_r); }
172 { int chk_r = db->open(db, NULL, "foo.db", NULL, DB_BTREE, 0, 0666); CKERR(chk_r); }
173 }
174
175 IN_TXN_COMMIT(env, NULL, txn_3, 0, {
176 { int chk_r = do_verify_results(txn_3, db, chk_original); CKERR(chk_r); }
177 });
178
179 { int chk_r = db->close(db, 0); CKERR(chk_r); }
180
181 cleanup();
182 }
183
184
test_main(int argc,char * const argv[])185 int test_main(int argc, char * const argv[]) {
186 parse_args(argc, argv);
187 run_test(false);
188 run_test(true);
189
190 return 0;
191 }
192