| OLD | NEW |
| (Empty) |
| 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 | |
| OLD | NEW |