wasCSharpSQLite – Blame information for rev 1

Subversion Repositories:
Rev:
Rev Author Line No. Line
1 office 1 # 2007 August 23
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 file contains tests that verify that SQLite can correctly rollback
13 # databases after crashes when using the special IO modes triggered
14 # by device IOCAP flags.
15 #
16 # $Id: crash3.test,v 1.4 2008/07/12 14:52:20 drh Exp $
17  
18 set testdir [file dirname $argv0]
19 source $testdir/tester.tcl
20  
21 ifcapable !crashtest {
22 finish_test
23 return
24 }
25  
26 proc do_test2 {name tcl res1 res2} {
27 set script [subst -nocommands {
28 do_test $name {
29 set res1 {$res1}
30 set res2 {$res2}
31 set res [eval {$tcl}]
32 if {[set res] eq [set res1] || [set res] eq [set res2]} {
33 set res "{[set res1]} or {[set res2]}"
34 }
35 set res
36 } {{$res1} or {$res2}}
37 }]
38 uplevel $script
39 }
40  
41 # This block tests crash-recovery when the IOCAP_ATOMIC flags is set.
42 #
43 # Each iteration of the following loop sets up the database to contain
44 # the following schema and data:
45 #
46 # CREATE TABLE abc(a, b, c);
47 # INSERT INTO abc VALUES(1, 2, 3);
48 #
49 # Then execute the SQL statement, scheduling a crash for part-way through
50 # the first sync() of either the database file or the journal file (often
51 # the journal file is not required - meaning no crash occurs).
52 #
53 # After the crash (or absence of a crash), open the database and
54 # verify that:
55 #
56 # * The integrity check passes, and
57 # * The contents of table abc is either {1 2 3} or the value specified
58 # to the right of the SQL statement below.
59 #
60 # The procedure is repeated 10 times for each SQL statement. Five times
61 # with the crash scheduled for midway through the first journal sync (if
62 # any), and five times with the crash midway through the database sync.
63 #
64 set tn 1
65 foreach {sql res2} [list \
66 {INSERT INTO abc VALUES(4, 5, 6)} {1 2 3 4 5 6} \
67 {DELETE FROM abc} {} \
68 {INSERT INTO abc SELECT * FROM abc} {1 2 3 1 2 3} \
69 {UPDATE abc SET a = 2} {2 2 3} \
70 {INSERT INTO abc VALUES(4, 5, randstr(1000,1000))} {n/a} \
71 {CREATE TABLE def(d, e, f)} {n/a} \
72 ] {
73 for {set ii 0} {$ii < 10} {incr ii} {
74  
75 db close
76 file delete -force test.db test.db-journal
77 sqlite3 db test.db
78 do_test crash3-1.$tn.1 {
79 execsql {
80 PRAGMA page_size = 1024;
81 BEGIN;
82 CREATE TABLE abc(a, b, c);
83 INSERT INTO abc VALUES(1, 2, 3);
84 COMMIT;
85 }
86 } {}
87 db close
88  
89 set crashfile test.db
90 if {($ii%2)==0} { append crashfile -journal }
91 set rand "SELECT randstr($tn,$tn);"
92 do_test crash3-1.$tn.2 [subst {
93 crashsql -file $crashfile -char atomic {$rand $sql}
94 sqlite3 db test.db
95 execsql { PRAGMA integrity_check; }
96 }] {ok}
97  
98 do_test2 crash3-1.$tn.3 {
99 execsql { SELECT * FROM abc }
100 } {1 2 3} $res2
101  
102 incr tn
103 }
104 }
105  
106 # This block tests both the IOCAP_SEQUENTIAL and IOCAP_SAFE_APPEND flags.
107 #
108 db close
109 file delete -force test.db test.db-journal
110 sqlite3 db test.db
111 do_test crash3-2.0 {
112 execsql {
113 BEGIN;
114 CREATE TABLE abc(a PRIMARY KEY, b, c);
115 CREATE TABLE def(d PRIMARY KEY, e, f);
116 PRAGMA default_cache_size = 10;
117 INSERT INTO abc VALUES(randstr(10,1000),randstr(10,1000),randstr(10,1000));
118 INSERT INTO abc
119 SELECT randstr(10,1000),randstr(10,1000),randstr(10,1000) FROM abc;
120 INSERT INTO abc
121 SELECT randstr(10,1000),randstr(10,1000),randstr(10,1000) FROM abc;
122 INSERT INTO abc
123 SELECT randstr(10,1000),randstr(10,1000),randstr(10,1000) FROM abc;
124 INSERT INTO abc
125 SELECT randstr(10,1000),randstr(10,1000),randstr(10,1000) FROM abc;
126 INSERT INTO abc
127 SELECT randstr(10,1000),randstr(10,1000),randstr(10,1000) FROM abc;
128 INSERT INTO abc
129 SELECT randstr(10,1000),randstr(10,1000),randstr(10,1000) FROM abc;
130 COMMIT;
131 }
132 } {}
133  
134 set tn 1
135 foreach {::crashfile ::delay ::char} {
136 test.db 1 sequential
137 test.db 1 safe_append
138 test.db-journal 1 sequential
139 test.db-journal 1 safe_append
140 test.db-journal 2 safe_append
141 test.db-journal 2 sequential
142 test.db-journal 3 sequential
143 test.db-journal 3 safe_append
144 } {
145 for {set ii 0} {$ii < 100} {incr ii} {
146 set ::SQL [subst {
147 SELECT randstr($ii,$ii+10);
148 BEGIN;
149 DELETE FROM abc WHERE random()%5;
150 INSERT INTO abc
151 SELECT randstr(10,1000),randstr(10,1000),randstr(10,1000)
152 FROM abc
153 WHERE (random()%5)==0;
154 DELETE FROM def WHERE random()%5;
155 INSERT INTO def
156 SELECT randstr(10,1000),randstr(10,1000),randstr(10,1000)
157 FROM def
158 WHERE (random()%5)==0;
159 COMMIT;
160 }]
161  
162 do_test crash3-2.$tn.$ii {
163 crashsql -file $::crashfile -delay $::delay -char $::char $::SQL
164 db close
165 sqlite3 db test.db
166 execsql {PRAGMA integrity_check}
167 } {ok}
168 }
169 incr tn
170 }
171  
172 # The following block tests an interaction between IOCAP_ATOMIC and
173 # IOCAP_SEQUENTIAL. At one point, if both flags were set, small
174 # journal files that contained only a single page, but were required
175 # for some other reason (i.e. nTrunk) were not being written to
176 # disk.
177 #
178 for {set ii 0} {$ii < 10} {incr ii} {
179 db close
180 file delete -force test.db test.db-journal
181 crashsql -file test.db -char {sequential atomic} {
182 CREATE TABLE abc(a, b, c);
183 }
184 sqlite3 db test.db
185 do_test crash3-3.$ii {
186 execsql {PRAGMA integrity_check}
187 } {ok}
188 }
189  
190 finish_test