OLD | NEW |
| (Empty) |
1 # 2011 December 16 | |
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 # | |
12 # This test simulates an application crash immediately following a | |
13 # system call to truncate a file. Specifically, the system call that | |
14 # truncates the WAL file if "PRAGMA journal_size_limit" is configured. | |
15 # | |
16 | |
17 set testdir [file dirname $argv0] | |
18 source $testdir/tester.tcl | |
19 | |
20 ifcapable !wal {finish_test ; return } | |
21 set testprefix walcrash3 | |
22 | |
23 db close | |
24 testvfs tvfs | |
25 tvfs filter {xTruncate xWrite} | |
26 tvfs script tvfs_callback | |
27 proc tvfs_callback {args} {} | |
28 | |
29 sqlite3 db test.db -vfs tvfs | |
30 do_execsql_test 1.1 { | |
31 PRAGMA page_size = 1024; | |
32 PRAGMA journal_mode = WAL; | |
33 PRAGMA wal_autocheckpoint = 128; | |
34 PRAGMA journal_size_limit = 16384; | |
35 | |
36 CREATE TABLE t1(a BLOB, b BLOB, UNIQUE(a, b)); | |
37 INSERT INTO t1 VALUES(randomblob(10), randomblob(1000)); | |
38 } {wal 128 16384} | |
39 | |
40 proc tvfs_callback {method file arglist} { | |
41 if {$::state==1} { | |
42 foreach f [glob -nocomplain xx_test.*] { forcedelete $f } | |
43 foreach f [glob -nocomplain test.*] { forcecopy $f "xx_$f" } | |
44 set ::state 2 | |
45 } | |
46 if {$::state==0 && $method=="xTruncate" && [file tail $file]=="test.db-wal"} { | |
47 set ::state 1 | |
48 } | |
49 } | |
50 | |
51 for {set i 2} {$i<1000} {incr i} { | |
52 | |
53 # If the WAL file is truncated within the following, within the following | |
54 # xWrite call the [tvfs_callback] makes a copy of the database and WAL | |
55 # files set sets $::state to 2. So that the copied files are in the same | |
56 # state as the real database and WAL files would be if an application crash | |
57 # occurred immediately following the xTruncate(). | |
58 # | |
59 set ::state 0 | |
60 do_execsql_test 1.$i.1 { | |
61 INSERT INTO t1 VALUES(randomblob(10), randomblob(1000)); | |
62 } | |
63 | |
64 # If a copy was made, open it and run the integrity-check. | |
65 # | |
66 if {$::state==2} { | |
67 sqlite3 db2 xx_test.db | |
68 do_test 1.$i.2 { execsql { PRAGMA integrity_check } db2 } "ok" | |
69 do_test 1.$i.3 { execsql { SELECT count(*) FROM t1 } db2 } [expr $i-1] | |
70 db2 close | |
71 } | |
72 } | |
73 catch { db close } | |
74 tvfs delete | |
75 | |
76 #-------------------------------------------------------------------------- | |
77 # | |
78 catch { db close } | |
79 forcedelete test.db | |
80 | |
81 do_test 2.1 { | |
82 sqlite3 db test.db | |
83 execsql { | |
84 PRAGMA page_size = 512; | |
85 PRAGMA journal_mode = WAL; | |
86 PRAGMA wal_autocheckpoint = 128; | |
87 CREATE TABLE t1(a PRIMARY KEY, b); | |
88 INSERT INTO t1 VALUES(randomblob(25), randomblob(200)); | |
89 } | |
90 | |
91 for {set i 0} {$i < 1500} {incr i} { | |
92 execsql { INSERT INTO t1 VALUES(randomblob(25), randomblob(200)) } | |
93 } | |
94 | |
95 db_save | |
96 db close | |
97 } {} | |
98 | |
99 set nInitialErr [set_test_counter errors] | |
100 for {set i 2} {$i<10000 && [set_test_counter errors]==$nInitialErr} {incr i} { | |
101 | |
102 do_test 2.$i.1 { | |
103 catch { db close } | |
104 db_restore | |
105 crashsql -delay 2 -file test.db-wal -seed $i { | |
106 SELECT * FROM sqlite_master; | |
107 PRAGMA synchronous = full; | |
108 PRAGMA wal_checkpoint; | |
109 BEGIN; | |
110 INSERT INTO t1 VALUES(randomblob(26), randomblob(200)); | |
111 INSERT INTO t1 VALUES(randomblob(26), randomblob(200)); | |
112 INSERT INTO t1 VALUES(randomblob(26), randomblob(200)); | |
113 INSERT INTO t1 VALUES(randomblob(26), randomblob(200)); | |
114 INSERT INTO t1 VALUES(randomblob(26), randomblob(200)); | |
115 INSERT INTO t1 VALUES(randomblob(26), randomblob(200)); | |
116 INSERT INTO t1 VALUES(randomblob(26), randomblob(200)); | |
117 INSERT INTO t1 VALUES(randomblob(26), randomblob(200)); | |
118 COMMIT; | |
119 } | |
120 } {1 {child process exited abnormally}} | |
121 | |
122 do_test 2.$i.2 { | |
123 sqlite3 db test.db | |
124 execsql { PRAGMA integrity_check } | |
125 } {ok} | |
126 } | |
127 | |
128 finish_test | |
OLD | NEW |