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 191
