1: # 2010 February 8
2: #
3: # The author disclaims copyright to this source code. In place of
4: # a legal notice, here is a blessing:
5: #
6: # May you do good and not evil.
7: # May you find forgiveness for yourself and forgive others.
8: # May you share freely, never taking more than you give.
9: #
10: #***********************************************************************
11: # This file implements regression tests for SQLite library. The
12: # focus of this file is testing the operation of the library when
13: # recovering a database following a simulated system failure in
14: # "PRAGMA journal_mode=WAL" mode.
15: #
16:
17: #
18: # These are 'warm-body' tests of database recovery used while developing
19: # the WAL code. They serve to prove that a few really simple cases work:
20: #
21: # walcrash-1.*: Recover a database.
22: # walcrash-2.*: Recover a database where the failed transaction spanned more
23: # than one page.
24: # walcrash-3.*: Recover multiple databases where the failed transaction
25: # was a multi-file transaction.
26: #
27:
28: set testdir [file dirname $argv0]
29: source $testdir/tester.tcl
30: ifcapable !wal {finish_test ; return }
31:
32: db close
33:
34: set seed 0
35: set REPEATS 100
36:
37: # walcrash-1.*
38: #
39: for {set i 1} {$i < $REPEATS} {incr i} {
40: forcedelete test.db test.db-wal
41: do_test walcrash-1.$i.1 {
42: crashsql -delay 4 -file test.db-wal -seed [incr seed] {
43: PRAGMA journal_mode = WAL;
44: CREATE TABLE t1(a, b);
45: INSERT INTO t1 VALUES(1, 1);
46: INSERT INTO t1 VALUES(2, 3);
47: INSERT INTO t1 VALUES(3, 6);
48: }
49: } {1 {child process exited abnormally}}
50: do_test walcrash-1.$i.2 {
51: sqlite3 db test.db
52: execsql { SELECT sum(a)==max(b) FROM t1 }
53: } {1}
54: integrity_check walcrash-1.$i.3
55: db close
56:
57: do_test walcrash-1.$i.4 {
58: crashsql -delay 2 -file test.db-wal -seed [incr seed] {
59: INSERT INTO t1 VALUES(4, (SELECT sum(a) FROM t1) + 4);
60: INSERT INTO t1 VALUES(5, (SELECT sum(a) FROM t1) + 5);
61: }
62: } {1 {child process exited abnormally}}
63: do_test walcrash-1.$i.5 {
64: sqlite3 db test.db
65: execsql { SELECT sum(a)==max(b) FROM t1 }
66: } {1}
67: integrity_check walcrash-1.$i.6
68: do_test walcrash-1.$i.7 {
69: execsql { PRAGMA main.journal_mode }
70: } {wal}
71: db close
72: }
73:
74: # walcrash-2.*
75: #
76: for {set i 1} {$i < $REPEATS} {incr i} {
77: forcedelete test.db test.db-wal
78: do_test walcrash-2.$i.1 {
79: crashsql -delay 5 -file test.db-wal -seed [incr seed] {
80: PRAGMA journal_mode = WAL;
81: CREATE TABLE t1(a PRIMARY KEY, b);
82: INSERT INTO t1 VALUES(1, 2);
83: INSERT INTO t1 VALUES(3, 4);
84: INSERT INTO t1 VALUES(5, 9);
85: }
86: } {1 {child process exited abnormally}}
87: do_test walcrash-2.$i.2 {
88: sqlite3 db test.db
89: execsql { SELECT sum(a)==max(b) FROM t1 }
90: } {1}
91: integrity_check walcrash-2.$i.3
92: db close
93:
94: do_test walcrash-2.$i.4 {
95: crashsql -delay 2 -file test.db-wal -seed [incr seed] {
96: INSERT INTO t1 VALUES(6, (SELECT sum(a) FROM t1) + 6);
97: INSERT INTO t1 VALUES(7, (SELECT sum(a) FROM t1) + 7);
98: }
99: } {1 {child process exited abnormally}}
100: do_test walcrash-2.$i.5 {
101: sqlite3 db test.db
102: execsql { SELECT sum(a)==max(b) FROM t1 }
103: } {1}
104: integrity_check walcrash-2.$i.6
105: do_test walcrash-2.$i.6 {
106: execsql { PRAGMA main.journal_mode }
107: } {wal}
108: db close
109: }
110:
111: # walcrash-3.*
112: #
113: # for {set i 1} {$i < $REPEATS} {incr i} {
114: # forcedelete test.db test.db-wal
115: # forcedelete test2.db test2.db-wal
116: #
117: # do_test walcrash-3.$i.1 {
118: # crashsql -delay 2 -file test2.db-wal -seed [incr seed] {
119: # PRAGMA journal_mode = WAL;
120: # ATTACH 'test2.db' AS aux;
121: # CREATE TABLE t1(a PRIMARY KEY, b);
122: # CREATE TABLE aux.t2(a PRIMARY KEY, b);
123: # BEGIN;
124: # INSERT INTO t1 VALUES(1, 2);
125: # INSERT INTO t2 VALUES(1, 2);
126: # COMMIT;
127: # }
128: # } {1 {child process exited abnormally}}
129: #
130: # do_test walcrash-3.$i.2 {
131: # sqlite3_wal db test.db
132: # execsql {
133: # ATTACH 'test2.db' AS aux;
134: # SELECT * FROM t1 EXCEPT SELECT * FROM t2;
135: # }
136: # } {}
137: # do_test walcrash-3.$i.3 { execsql { PRAGMA main.integrity_check } } {ok}
138: # do_test walcrash-3.$i.4 { execsql { PRAGMA aux.integrity_check } } {ok}
139: #
140: # db close
141: # }
142:
143: # walcrash-4.*
144: #
145: for {set i 1} {$i < $REPEATS} {incr i} {
146: forcedelete test.db test.db-wal
147: forcedelete test2.db test2.db-wal
148:
149: do_test walcrash-4.$i.1 {
150: crashsql -delay 4 -file test.db-wal -seed [incr seed] -blocksize 4096 {
151: PRAGMA journal_mode = WAL;
152: PRAGMA page_size = 1024;
153: CREATE TABLE t1(a PRIMARY KEY, b);
154: INSERT INTO t1 VALUES(1, 2);
155: INSERT INTO t1 VALUES(3, 4);
156: }
157: } {1 {child process exited abnormally}}
158:
159: do_test walcrash-4.$i.2 {
160: sqlite3 db test.db
161: execsql {
162: SELECT * FROM t1 WHERE a = 1;
163: }
164: } {1 2}
165: do_test walcrash-4.$i.3 { execsql { PRAGMA main.integrity_check } } {ok}
166: do_test walcrash-4.$i.4 { execsql { PRAGMA main.journal_mode } } {wal}
167:
168: db close
169: }
170:
171: # walcrash-5.*
172: #
173: for {set i 1} {$i < $REPEATS} {incr i} {
174: forcedelete test.db test.db-wal
175: forcedelete test2.db test2.db-wal
176:
177: do_test walcrash-5.$i.1 {
178: crashsql -delay 13 -file test.db-wal -seed [incr seed] -blocksize 4096 {
179: PRAGMA journal_mode = WAL;
180: PRAGMA page_size = 1024;
181: BEGIN;
182: CREATE TABLE t1(x PRIMARY KEY);
183: INSERT INTO t1 VALUES(randomblob(900));
184: INSERT INTO t1 VALUES(randomblob(900));
185: INSERT INTO t1 SELECT randomblob(900) FROM t1; /* 4 */
186: COMMIT;
187: INSERT INTO t1 SELECT randomblob(900) FROM t1 LIMIT 4; /* 8 */
188: INSERT INTO t1 SELECT randomblob(900) FROM t1 LIMIT 4; /* 12 */
189: INSERT INTO t1 SELECT randomblob(900) FROM t1 LIMIT 4; /* 16 */
190: INSERT INTO t1 SELECT randomblob(900) FROM t1 LIMIT 4; /* 20 */
191: INSERT INTO t1 SELECT randomblob(900) FROM t1 LIMIT 4; /* 24 */
192: INSERT INTO t1 SELECT randomblob(900) FROM t1 LIMIT 4; /* 28 */
193: INSERT INTO t1 SELECT randomblob(900) FROM t1 LIMIT 4; /* 32 */
194:
195: PRAGMA wal_checkpoint;
196: INSERT INTO t1 VALUES(randomblob(900));
197: INSERT INTO t1 VALUES(randomblob(900));
198: INSERT INTO t1 VALUES(randomblob(900));
199: }
200: } {1 {child process exited abnormally}}
201:
202: do_test walcrash-5.$i.2 {
203: sqlite3 db test.db
204: execsql { SELECT count(*)==33 OR count(*)==34 FROM t1 WHERE x != 1 }
205: } {1}
206: do_test walcrash-5.$i.3 { execsql { PRAGMA main.integrity_check } } {ok}
207: do_test walcrash-5.$i.4 { execsql { PRAGMA main.journal_mode } } {wal}
208:
209: db close
210: }
211:
212: # walcrash-6.*
213: #
214: for {set i 1} {$i < $REPEATS} {incr i} {
215: forcedelete test.db test.db-wal
216: forcedelete test2.db test2.db-wal
217:
218: do_test walcrash-6.$i.1 {
219: crashsql -delay 14 -file test.db-wal -seed [incr seed] -blocksize 512 {
220: PRAGMA journal_mode = WAL;
221: PRAGMA page_size = 1024;
222: BEGIN;
223: CREATE TABLE t1(x PRIMARY KEY);
224: INSERT INTO t1 VALUES(randomblob(900));
225: INSERT INTO t1 VALUES(randomblob(900));
226: INSERT INTO t1 SELECT randomblob(900) FROM t1; /* 4 */
227: COMMIT;
228: INSERT INTO t1 SELECT randomblob(900) FROM t1 LIMIT 4; /* 8 */
229: INSERT INTO t1 SELECT randomblob(900) FROM t1 LIMIT 4; /* 12 */
230: INSERT INTO t1 SELECT randomblob(900) FROM t1 LIMIT 4; /* 16 */
231: INSERT INTO t1 SELECT randomblob(900) FROM t1 LIMIT 4; /* 20 */
232: INSERT INTO t1 SELECT randomblob(900) FROM t1 LIMIT 4; /* 24 */
233: INSERT INTO t1 SELECT randomblob(900) FROM t1 LIMIT 4; /* 28 */
234: INSERT INTO t1 SELECT randomblob(900) FROM t1 LIMIT 4; /* 32 */
235:
236: PRAGMA wal_checkpoint;
237: INSERT INTO t1 VALUES(randomblob(9000));
238: INSERT INTO t1 VALUES(randomblob(9000));
239: INSERT INTO t1 VALUES(randomblob(9000));
240: }
241: } {1 {child process exited abnormally}}
242:
243: do_test walcrash-6.$i.2 {
244: sqlite3 db test.db
245: execsql { SELECT count(*)==34 OR count(*)==35 FROM t1 WHERE x != 1 }
246: } {1}
247: do_test walcrash-6.$i.3 { execsql { PRAGMA main.integrity_check } } {ok}
248: do_test walcrash-6.$i.4 { execsql { PRAGMA main.journal_mode } } {wal}
249:
250: db close
251: }
252:
253: #-------------------------------------------------------------------------
254: # This test case simulates a crash while checkpointing the database. Page
255: # 1 is one of the pages overwritten by the checkpoint. This is a special
256: # case because it means the content of page 1 may be damaged. SQLite will
257: # have to determine:
258: #
259: # (a) that the database is a WAL database, and
260: # (b) the database page-size
261: #
262: # based on the log file.
263: #
264: for {set i 1} {$i < $REPEATS} {incr i} {
265: forcedelete test.db test.db-wal
266:
267: # Select a page-size for this test.
268: #
269: set pgsz [lindex {512 1024 2048 4096 8192 16384} [expr $i%6]]
270:
271: do_test walcrash-7.$i.1 {
272: crashsql -delay 3 -file test.db -seed [incr seed] -blocksize 512 "
273: PRAGMA page_size = $pgsz;
274: PRAGMA journal_mode = wal;
275: BEGIN;
276: CREATE TABLE t1(a, b);
277: INSERT INTO t1 VALUES(1, 2);
278: COMMIT;
279: PRAGMA wal_checkpoint;
280: CREATE INDEX i1 ON t1(a);
281: PRAGMA wal_checkpoint;
282: "
283: } {1 {child process exited abnormally}}
284:
285: do_test walcrash-7.$i.2 {
286: sqlite3 db test.db
287: execsql { SELECT b FROM t1 WHERE a = 1 }
288: } {2}
289: do_test walcrash-7.$i.3 { execsql { PRAGMA main.integrity_check } } {ok}
290: do_test walcrash-7.$i.4 { execsql { PRAGMA main.journal_mode } } {wal}
291:
292: db close
293: }
294:
295: finish_test
296:
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>
![[BACK]](/icons/cvsweb/back.gif){kind=icon}
Return to walcrash.test CVS log ![[TXT]](/icons/cvsweb/text.gif){kind=icon}
![[DIR]](/icons/cvsweb/dir.gif){kind=icon}
Up to [ELWIX - Embedded LightWeight unIX -] / embedaddon / sqlite3 / test