OLD | NEW |
(Empty) | |
| 1 # 2001 October 12 |
| 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 for correct handling of I/O errors |
| 13 # such as writes failing because the disk is full. |
| 14 # |
| 15 # The tests in this file use special facilities that are only |
| 16 # available in the SQLite test fixture. |
| 17 # |
| 18 # $Id: ioerr.test,v 1.43 2009/04/06 17:50:03 danielk1977 Exp $ |
| 19 |
| 20 set testdir [file dirname $argv0] |
| 21 source $testdir/tester.tcl |
| 22 |
| 23 # If SQLITE_DEFAULT_AUTOVACUUM is set to true, then a simulated IO error |
| 24 # on the 8th IO operation in the SQL script below doesn't report an error. |
| 25 # |
| 26 # This is because the 8th IO call attempts to read page 2 of the database |
| 27 # file when the file on disk is only 1 page. The pager layer detects that |
| 28 # this has happened and suppresses the error returned by the OS layer. |
| 29 # |
| 30 do_ioerr_test ioerr-1 -erc 1 -ckrefcount 1 -sqlprep { |
| 31 SELECT * FROM sqlite_master; |
| 32 } -sqlbody { |
| 33 CREATE TABLE t1(a,b,c); |
| 34 SELECT * FROM sqlite_master; |
| 35 BEGIN TRANSACTION; |
| 36 INSERT INTO t1 VALUES(1,2,3); |
| 37 INSERT INTO t1 VALUES(4,5,6); |
| 38 ROLLBACK; |
| 39 SELECT * FROM t1; |
| 40 BEGIN TRANSACTION; |
| 41 INSERT INTO t1 VALUES(1,2,3); |
| 42 INSERT INTO t1 VALUES(4,5,6); |
| 43 COMMIT; |
| 44 SELECT * FROM t1; |
| 45 DELETE FROM t1 WHERE a<100; |
| 46 } -exclude [expr [string match [execsql {pragma auto_vacuum}] 1] ? 4 : 0] |
| 47 |
| 48 # Test for IO errors during a VACUUM. |
| 49 # |
| 50 # The first IO call is excluded from the test. This call attempts to read |
| 51 # the file-header of the temporary database used by VACUUM. Since the |
| 52 # database doesn't exist at that point, the IO error is not detected. |
| 53 # |
| 54 # Additionally, if auto-vacuum is enabled, the 12th IO error is not |
| 55 # detected. Same reason as the 8th in the test case above. |
| 56 # |
| 57 ifcapable vacuum { |
| 58 do_ioerr_test ioerr-2 -cksum true -ckrefcount true -sqlprep { |
| 59 BEGIN; |
| 60 CREATE TABLE t1(a, b, c); |
| 61 INSERT INTO t1 VALUES(1, randstr(50,50), randstr(50,50)); |
| 62 INSERT INTO t1 SELECT a+2, b||'-'||rowid, c||'-'||rowid FROM t1; |
| 63 INSERT INTO t1 SELECT a+4, b||'-'||rowid, c||'-'||rowid FROM t1; |
| 64 INSERT INTO t1 SELECT a+8, b||'-'||rowid, c||'-'||rowid FROM t1; |
| 65 INSERT INTO t1 SELECT a+16, b||'-'||rowid, c||'-'||rowid FROM t1; |
| 66 INSERT INTO t1 SELECT a+32, b||'-'||rowid, c||'-'||rowid FROM t1; |
| 67 INSERT INTO t1 SELECT a+64, b||'-'||rowid, c||'-'||rowid FROM t1; |
| 68 INSERT INTO t1 SELECT a+128, b||'-'||rowid, c||'-'||rowid FROM t1; |
| 69 INSERT INTO t1 VALUES(1, randstr(600,600), randstr(600,600)); |
| 70 CREATE TABLE t2 AS SELECT * FROM t1; |
| 71 CREATE TABLE t3 AS SELECT * FROM t1; |
| 72 COMMIT; |
| 73 DROP TABLE t2; |
| 74 } -sqlbody { |
| 75 VACUUM; |
| 76 } -exclude [list \ |
| 77 1 [expr [string match [execsql {pragma auto_vacuum}] 1]?9:-1]] |
| 78 } |
| 79 |
| 80 do_ioerr_test ioerr-3 -ckrefcount true -tclprep { |
| 81 execsql { |
| 82 PRAGMA cache_size = 10; |
| 83 BEGIN; |
| 84 CREATE TABLE abc(a); |
| 85 INSERT INTO abc VALUES(randstr(1500,1500)); -- Page 4 is overflow |
| 86 } |
| 87 for {set i 0} {$i<150} {incr i} { |
| 88 execsql { |
| 89 INSERT INTO abc VALUES(randstr(100,100)); |
| 90 } |
| 91 } |
| 92 execsql COMMIT |
| 93 } -sqlbody { |
| 94 CREATE TABLE abc2(a); |
| 95 BEGIN; |
| 96 DELETE FROM abc WHERE length(a)>100; |
| 97 UPDATE abc SET a = randstr(90,90); |
| 98 COMMIT; |
| 99 CREATE TABLE abc3(a); |
| 100 } |
| 101 |
| 102 # Test IO errors that can occur retrieving a record header that flows over |
| 103 # onto an overflow page. |
| 104 do_ioerr_test ioerr-4 -ckrefcount true -tclprep { |
| 105 set sql "CREATE TABLE abc(a1" |
| 106 for {set i 2} {$i<1300} {incr i} { |
| 107 append sql ", a$i" |
| 108 } |
| 109 append sql ");" |
| 110 execsql $sql |
| 111 execsql {INSERT INTO abc (a1) VALUES(NULL)} |
| 112 } -sqlbody { |
| 113 SELECT * FROM abc; |
| 114 } |
| 115 |
| 116 |
| 117 # Test IO errors that may occur during a multi-file commit. |
| 118 # |
| 119 # Tests 8 and 17 are excluded when auto-vacuum is enabled for the same |
| 120 # reason as in test cases ioerr-1.XXX |
| 121 ifcapable attach { |
| 122 set ex "" |
| 123 if {[string match [execsql {pragma auto_vacuum}] 1]} { |
| 124 set ex [list 4 17] |
| 125 } |
| 126 do_ioerr_test ioerr-5 -restoreprng 0 -ckrefcount true -sqlprep { |
| 127 ATTACH 'test2.db' AS test2; |
| 128 } -sqlbody { |
| 129 BEGIN; |
| 130 CREATE TABLE t1(a,b,c); |
| 131 CREATE TABLE test2.t2(a,b,c); |
| 132 COMMIT; |
| 133 } -exclude $ex |
| 134 } |
| 135 |
| 136 # Test IO errors when replaying two hot journals from a 2-file |
| 137 # transaction. This test only runs on UNIX. |
| 138 # |
| 139 # It cannot be run under the "exclusive" permutation. In that case, the |
| 140 # locks held by the connection in the local (this) process prevent a |
| 141 # second connection from attempting the multi-file transaction. |
| 142 # |
| 143 ifcapable crashtest&&attach { |
| 144 if {![catch {sqlite3 -has-codec} r] && !$r && [permutation]!="exclusive"} { |
| 145 do_ioerr_test ioerr-6 -ckrefcount true -tclprep { |
| 146 execsql { |
| 147 ATTACH 'test2.db' as aux; |
| 148 CREATE TABLE tx(a, b); |
| 149 CREATE TABLE aux.ty(a, b); |
| 150 } |
| 151 set rc [crashsql -delay 2 -file test2.db-journal { |
| 152 ATTACH 'test2.db' as aux; |
| 153 PRAGMA cache_size = 10; |
| 154 BEGIN; |
| 155 CREATE TABLE aux.t2(a, b, c); |
| 156 CREATE TABLE t1(a, b, c); |
| 157 COMMIT; |
| 158 }] |
| 159 if {$rc!="1 {child process exited abnormally}"} { |
| 160 error "Wrong error message: $rc" |
| 161 } |
| 162 } -sqlbody { |
| 163 SELECT * FROM sqlite_master; |
| 164 SELECT * FROM aux.sqlite_master; |
| 165 } |
| 166 } |
| 167 } |
| 168 |
| 169 # Test handling of IO errors that occur while rolling back hot journal |
| 170 # files. |
| 171 # |
| 172 # These tests can't be run on windows because the windows version of |
| 173 # SQLite holds a mandatory exclusive lock on journal files it has open. |
| 174 # |
| 175 if {$tcl_platform(platform)!="windows"} { |
| 176 do_ioerr_test ioerr-7 -tclprep { |
| 177 db close |
| 178 sqlite3 db2 test2.db |
| 179 db2 eval { |
| 180 PRAGMA synchronous = 0; |
| 181 CREATE TABLE t1(a, b); |
| 182 INSERT INTO t1 VALUES(1, 2); |
| 183 BEGIN; |
| 184 INSERT INTO t1 VALUES(3, 4); |
| 185 } |
| 186 copy_file test2.db test.db |
| 187 copy_file test2.db-journal test.db-journal |
| 188 db2 close |
| 189 } -tclbody { |
| 190 sqlite3 db test.db |
| 191 db eval { |
| 192 SELECT * FROM t1; |
| 193 } |
| 194 } -exclude 1 |
| 195 } |
| 196 |
| 197 # For test coverage: Cause an I/O failure while trying to read a |
| 198 # short field (one that fits into a Mem buffer without mallocing |
| 199 # for space). |
| 200 # |
| 201 do_ioerr_test ioerr-8 -ckrefcount true -tclprep { |
| 202 execsql { |
| 203 CREATE TABLE t1(a,b,c); |
| 204 INSERT INTO t1 VALUES(randstr(200,200), randstr(1000,1000), 2); |
| 205 } |
| 206 db close |
| 207 sqlite3 db test.db |
| 208 } -sqlbody { |
| 209 SELECT c FROM t1; |
| 210 } |
| 211 |
| 212 # For test coverage: Cause an IO error whilst reading the master-journal |
| 213 # name from a journal file. |
| 214 if {$tcl_platform(platform)=="unix"} { |
| 215 do_ioerr_test ioerr-9 -ckrefcount true -tclprep { |
| 216 execsql { |
| 217 CREATE TABLE t1(a,b,c); |
| 218 INSERT INTO t1 VALUES(randstr(200,200), randstr(1000,1000), 2); |
| 219 BEGIN; |
| 220 INSERT INTO t1 VALUES(randstr(200,200), randstr(1000,1000), 2); |
| 221 } |
| 222 copy_file test.db-journal test2.db-journal |
| 223 execsql { |
| 224 COMMIT; |
| 225 } |
| 226 copy_file test2.db-journal test.db-journal |
| 227 set f [open test.db-journal a] |
| 228 fconfigure $f -encoding binary |
| 229 puts -nonewline $f "hello" |
| 230 puts -nonewline $f "\x00\x00\x00\x05\x01\x02\x03\x04" |
| 231 puts -nonewline $f "\xd9\xd5\x05\xf9\x20\xa1\x63\xd7" |
| 232 close $f |
| 233 } -sqlbody { |
| 234 SELECT a FROM t1; |
| 235 } |
| 236 } |
| 237 |
| 238 # For test coverage: Cause an IO error during statement playback (i.e. |
| 239 # a constraint). |
| 240 do_ioerr_test ioerr-10 -ckrefcount true -tclprep { |
| 241 execsql { |
| 242 BEGIN; |
| 243 CREATE TABLE t1(a PRIMARY KEY, b); |
| 244 } |
| 245 for {set i 0} {$i < 500} {incr i} { |
| 246 execsql {INSERT INTO t1 VALUES(:i, 'hello world');} |
| 247 } |
| 248 execsql { |
| 249 COMMIT; |
| 250 } |
| 251 } -tclbody { |
| 252 |
| 253 catch {execsql { |
| 254 BEGIN; |
| 255 INSERT INTO t1 VALUES('abc', 123); |
| 256 INSERT INTO t1 VALUES('def', 123); |
| 257 INSERT INTO t1 VALUES('ghi', 123); |
| 258 INSERT INTO t1 SELECT (a+500)%900, 'good string' FROM t1; |
| 259 }} msg |
| 260 |
| 261 if {$msg != "column a is not unique"} { |
| 262 error $msg |
| 263 } |
| 264 } |
| 265 |
| 266 # Assertion fault bug reported by alex dimitrov. |
| 267 # |
| 268 do_ioerr_test ioerr-11 -ckrefcount true -erc 1 -sqlprep { |
| 269 CREATE TABLE A(Id INTEGER, Name TEXT); |
| 270 INSERT INTO A(Id, Name) VALUES(1, 'Name'); |
| 271 } -sqlbody { |
| 272 UPDATE A SET Id = 2, Name = 'Name2' WHERE Id = 1; |
| 273 } |
| 274 |
| 275 # Test that an io error encountered in a sync() caused by a call to |
| 276 # sqlite3_release_memory() is handled Ok. Only try this if |
| 277 # memory-management is enabled. |
| 278 # |
| 279 ifcapable memorymanage { |
| 280 do_ioerr_test memmanage-ioerr1 -ckrefcount true -sqlprep { |
| 281 BEGIN; |
| 282 CREATE TABLE t1(a, b, c); |
| 283 INSERT INTO t1 VALUES(randstr(50,50), randstr(100,100), randstr(10,10)); |
| 284 INSERT INTO t1 SELECT randstr(50,50), randstr(9,9), randstr(90,90) FROM t1; |
| 285 INSERT INTO t1 SELECT randstr(50,50), randstr(9,9), randstr(90,90) FROM t1; |
| 286 INSERT INTO t1 SELECT randstr(50,50), randstr(9,9), randstr(90,90) FROM t1; |
| 287 INSERT INTO t1 SELECT randstr(50,50), randstr(9,9), randstr(90,90) FROM t1; |
| 288 INSERT INTO t1 SELECT randstr(50,50), randstr(9,9), randstr(90,90) FROM t1; |
| 289 } -tclbody { |
| 290 sqlite3_release_memory |
| 291 } -sqlbody { |
| 292 COMMIT; |
| 293 } |
| 294 } |
| 295 |
| 296 ifcapable pager_pragmas&&autovacuum { |
| 297 do_ioerr_test ioerr-12 -ckrefcount true -erc 1 -sqlprep { |
| 298 PRAGMA page_size = 512; |
| 299 PRAGMA auto_vacuum = incremental; |
| 300 CREATE TABLE t1(x); |
| 301 INSERT INTO t1 VALUES( randomblob(1 * (512-4)) ); |
| 302 INSERT INTO t1 VALUES( randomblob(110 * (512-4)) ); |
| 303 INSERT INTO t1 VALUES( randomblob(2 * (512-4)) ); |
| 304 INSERT INTO t1 VALUES( randomblob(110 * (512-4)) ); |
| 305 INSERT INTO t1 VALUES( randomblob(3 * (512-4)) ); |
| 306 DELETE FROM t1 WHERE rowid = 3; |
| 307 PRAGMA incremental_vacuum = 2; |
| 308 DELETE FROM t1 WHERE rowid = 1; |
| 309 } -sqlbody { |
| 310 PRAGMA incremental_vacuum = 1; |
| 311 } |
| 312 } |
| 313 |
| 314 # Usually, after a new page is allocated from the end of the file, it does |
| 315 # not need to be written to the journal. The exception is when the new page |
| 316 # shares its sector with an existing page that does need to be journalled. |
| 317 # This test case provokes this condition to test for the sake of coverage |
| 318 # that an IO error while journalling the coresident page is handled correctly. |
| 319 # |
| 320 sqlite3_simulate_device -char {} -sectorsize 2048 |
| 321 do_ioerr_test ioerr-12 -ckrefcount true -erc 1 -tclprep { |
| 322 db close |
| 323 sqlite3 db test.db -vfs devsym |
| 324 |
| 325 # Create a test database. Page 2 is the root page of table t1. The only |
| 326 # row inserted into t1 has an overflow page - page 3. Page 3 will be |
| 327 # coresident on the 2048 byte sector with the next page to be allocated. |
| 328 # |
| 329 db eval { PRAGMA page_size = 1024 } |
| 330 db eval { CREATE TABLE t1(x) } |
| 331 db eval { INSERT INTO t1 VALUES(randomblob(1100)); } |
| 332 } -tclbody { |
| 333 db eval { INSERT INTO t1 VALUES(randomblob(2000)); } |
| 334 } |
| 335 sqlite3_simulate_device -char {} -sectorsize 0 |
| 336 catch {db close} |
| 337 |
| 338 do_ioerr_test ioerr-13 -ckrefcount true -erc 1 -sqlprep { |
| 339 PRAGMA auto_vacuum = incremental; |
| 340 CREATE TABLE t1(x); |
| 341 CREATE TABLE t2(x); |
| 342 INSERT INTO t2 VALUES(randomblob(1500)); |
| 343 INSERT INTO t2 SELECT randomblob(1500) FROM t2; |
| 344 INSERT INTO t2 SELECT randomblob(1500) FROM t2; |
| 345 INSERT INTO t2 SELECT randomblob(1500) FROM t2; |
| 346 INSERT INTO t2 SELECT randomblob(1500) FROM t2; |
| 347 INSERT INTO t2 SELECT randomblob(1500) FROM t2; |
| 348 INSERT INTO t2 SELECT randomblob(1500) FROM t2; |
| 349 INSERT INTO t2 SELECT randomblob(1500) FROM t2; |
| 350 INSERT INTO t2 SELECT randomblob(1500) FROM t2; |
| 351 INSERT INTO t1 VALUES(randomblob(20)); |
| 352 INSERT INTO t1 SELECT x FROM t1; |
| 353 INSERT INTO t1 SELECT x FROM t1; |
| 354 INSERT INTO t1 SELECT x FROM t1; |
| 355 INSERT INTO t1 SELECT x FROM t1; |
| 356 INSERT INTO t1 SELECT x FROM t1; |
| 357 INSERT INTO t1 SELECT x FROM t1; /* 64 entries in t1 */ |
| 358 INSERT INTO t1 SELECT x FROM t1 LIMIT 14; /* 78 entries in t1 */ |
| 359 DELETE FROM t2 WHERE rowid = 3; |
| 360 } -sqlbody { |
| 361 -- This statement uses the balance_quick() optimization. The new page |
| 362 -- is appended to the database file. But the overflow page used by |
| 363 -- the new record will be positioned near the start of the database |
| 364 -- file, in the gap left by the "DELETE FROM t2 WHERE rowid=3" statement |
| 365 -- above. |
| 366 -- |
| 367 -- The point of this is that the statement wil need to update two pointer |
| 368 -- map pages. Which introduces another opportunity for an IO error. |
| 369 -- |
| 370 INSERT INTO t1 VALUES(randomblob(2000)); |
| 371 } |
| 372 |
| 373 do_ioerr_test ioerr-14 -ckrefcount true -erc 1 -sqlprep { |
| 374 PRAGMA auto_vacuum = incremental; |
| 375 CREATE TABLE t1(x); |
| 376 CREATE TABLE t2(x); |
| 377 INSERT INTO t2 VALUES(randomblob(1500)); |
| 378 INSERT INTO t2 SELECT randomblob(1500) FROM t2; |
| 379 INSERT INTO t2 SELECT randomblob(1500) FROM t2; |
| 380 INSERT INTO t2 SELECT randomblob(1500) FROM t2; |
| 381 INSERT INTO t2 SELECT randomblob(1500) FROM t2; |
| 382 INSERT INTO t2 SELECT randomblob(1500) FROM t2; |
| 383 INSERT INTO t2 SELECT randomblob(1500) FROM t2; |
| 384 INSERT INTO t2 SELECT randomblob(1500) FROM t2; |
| 385 INSERT INTO t2 SELECT randomblob(1500) FROM t2; |
| 386 |
| 387 -- This statement inserts a row into t1 with an overflow page at the |
| 388 -- end of the file. A long way from its parent (the root of t1). |
| 389 INSERT INTO t1 VALUES(randomblob(1500)); |
| 390 DELETE FROM t2 WHERE rowid<10; |
| 391 } -sqlbody { |
| 392 -- This transaction will cause the root-page of table t1 to divide |
| 393 -- (by calling balance_deeper()). When it does, the "parent" page of the |
| 394 -- overflow page inserted in the -sqlprep block above will change and |
| 395 -- the corresponding pointer map page be updated. This test case attempts |
| 396 -- to cause an IO error during the pointer map page update. |
| 397 -- |
| 398 BEGIN; |
| 399 INSERT INTO t1 VALUES(randomblob(100)); |
| 400 INSERT INTO t1 VALUES(randomblob(100)); |
| 401 INSERT INTO t1 VALUES(randomblob(100)); |
| 402 INSERT INTO t1 VALUES(randomblob(100)); |
| 403 INSERT INTO t1 VALUES(randomblob(100)); |
| 404 INSERT INTO t1 VALUES(randomblob(100)); |
| 405 INSERT INTO t1 VALUES(randomblob(100)); |
| 406 INSERT INTO t1 VALUES(randomblob(100)); |
| 407 INSERT INTO t1 VALUES(randomblob(100)); |
| 408 INSERT INTO t1 VALUES(randomblob(100)); |
| 409 COMMIT; |
| 410 } |
| 411 |
| 412 do_ioerr_test ioerr-15 -tclprep { |
| 413 db eval { |
| 414 BEGIN; |
| 415 PRAGMA cache_size = 10; |
| 416 CREATE TABLE t1(a); |
| 417 CREATE INDEX i1 ON t1(a); |
| 418 CREATE TABLE t2(a); |
| 419 } |
| 420 for {set ii 1} {$ii < 100} {incr ii} { |
| 421 set v [string range [string repeat [format %.3d $ii] 200] 0 220] |
| 422 db eval {INSERT INTO t1 VALUES($v)} |
| 423 } |
| 424 db eval { |
| 425 DELETE FROM t1 WHERE oid > 85; |
| 426 COMMIT; |
| 427 } |
| 428 } -sqlbody { |
| 429 BEGIN; |
| 430 INSERT INTO t2 VALUES(randstr(22000,22000)); |
| 431 DELETE FROM t1 WHERE oid = 83; |
| 432 COMMIT; |
| 433 } |
| 434 |
| 435 # This test verifies that IO errors that occur within the obscure branch |
| 436 # of code executed by tkt3762.test are correctly reported. |
| 437 # |
| 438 ifcapable vacuum&&autovacuum&&pragma { |
| 439 do_ioerr_test ioerr-16 -erc 1 -ckrefcount 1 -sqlprep { |
| 440 PRAGMA auto_vacuum=INCREMENTAL; |
| 441 PRAGMA page_size=1024; |
| 442 BEGIN; |
| 443 CREATE TABLE t1(x); |
| 444 INSERT INTO t1 VALUES(zeroblob(900)); |
| 445 INSERT INTO t1 VALUES(zeroblob(900)); |
| 446 INSERT INTO t1 SELECT x FROM t1; |
| 447 INSERT INTO t1 SELECT x FROM t1; |
| 448 INSERT INTO t1 SELECT x FROM t1; |
| 449 INSERT INTO t1 SELECT x FROM t1; |
| 450 INSERT INTO t1 SELECT x FROM t1; |
| 451 INSERT INTO t1 SELECT x FROM t1; |
| 452 INSERT INTO t1 SELECT x FROM t1; |
| 453 DELETE FROM t1 WHERE rowid>202; |
| 454 COMMIT; |
| 455 VACUUM; |
| 456 PRAGMA cache_size = 10; |
| 457 BEGIN; |
| 458 DELETE FROM t1 WHERE rowid IN (10,11,12) ; |
| 459 } -sqlbody { |
| 460 PRAGMA incremental_vacuum(10); |
| 461 COMMIT; |
| 462 } |
| 463 } |
| 464 |
| 465 finish_test |
OLD | NEW |