OLD | NEW |
| (Empty) |
1 # 2007 April 2 | |
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: ioerr2.test,v 1.12 2009/06/05 17:09:12 drh Exp $ | |
19 | |
20 set testdir [file dirname $argv0] | |
21 source $testdir/tester.tcl | |
22 | |
23 ifcapable !integrityck { | |
24 finish_test | |
25 return | |
26 } | |
27 | |
28 do_test ioerr2-1.1 { | |
29 execsql { | |
30 PRAGMA cache_size = 10; | |
31 PRAGMA default_cache_size = 10; | |
32 CREATE TABLE t1(a, b, PRIMARY KEY(a, b)); | |
33 INSERT INTO t1 VALUES(randstr(400,400),randstr(400,400)); | |
34 INSERT INTO t1 SELECT randstr(400,400), randstr(400,400) FROM t1; -- 2 | |
35 INSERT INTO t1 SELECT randstr(400,400), randstr(400,400) FROM t1; -- 4 | |
36 INSERT INTO t1 SELECT randstr(400,400), randstr(400,400) FROM t1; -- 8 | |
37 INSERT INTO t1 SELECT randstr(400,400), randstr(400,400) FROM t1; -- 16 | |
38 INSERT INTO t1 SELECT randstr(400,400), randstr(400,400) FROM t1; -- 32 | |
39 } | |
40 } {} | |
41 | |
42 set ::cksum [execsql {SELECT md5sum(a, b) FROM t1}] | |
43 proc check_db {testname} { | |
44 | |
45 # Make sure no I/O errors are simulated in this proc. | |
46 set ::sqlite_io_error_hit 0 | |
47 set ::sqlite_io_error_persist 0 | |
48 set ::sqlite_io_error_pending 0 | |
49 | |
50 # Run an integrity-check. If "disk I/O error" is returned, the | |
51 # pager must be in error state. In this case open a new database | |
52 # connection. Otherwise, try a ROLLBACK, in case a transaction | |
53 # is still active. | |
54 set rc [catch {execsql {PRAGMA integrity_check}} msg] | |
55 if {$rc && ($msg eq "disk I/O error" || $msg eq "database is locked")} { | |
56 db close | |
57 sqlite3 db test.db | |
58 set refcnt 0 | |
59 } else { | |
60 if {$rc || $msg ne "ok"} { | |
61 error $msg | |
62 } | |
63 catch {execsql ROLLBACK} | |
64 } | |
65 | |
66 # Check that the database checksum is still $::cksum, and that | |
67 # the integrity-check passes. | |
68 set ck [execsql {SELECT md5sum(a, b) FROM t1}] | |
69 do_test ${testname}.cksum [list set ck $ck] $::cksum | |
70 integrity_check ${testname}.integrity | |
71 do_test ${testname}.refcnt { | |
72 lindex [sqlite3_pager_refcounts db] 0 | |
73 } 0 | |
74 } | |
75 | |
76 check_db ioerr2-2 | |
77 | |
78 set sql { | |
79 PRAGMA cache_size = 10; | |
80 PRAGMA default_cache_size = 10; | |
81 BEGIN; | |
82 DELETE FROM t1 WHERE (oid%7)==0; | |
83 INSERT INTO t1 SELECT randstr(400,400), randstr(400,400) | |
84 WHERE (random()%7)==0; | |
85 UPDATE t1 SET a = randstr(400,400), b = randstr(400,400) | |
86 WHERE (random()%7)==0; | |
87 ROLLBACK; | |
88 } | |
89 | |
90 foreach bPersist [list 0 1] { | |
91 set ::go 1 | |
92 for {set ::N 1} {$::go} {incr ::N} { | |
93 db close | |
94 sqlite3 db test.db | |
95 set ::sqlite_io_error_hit 0 | |
96 set ::sqlite_io_error_persist $bPersist | |
97 set ::sqlite_io_error_pending $::N | |
98 | |
99 foreach {::go res} [catchsql $sql] {} | |
100 check_db ioerr2-3.$bPersist.$::N | |
101 } | |
102 } | |
103 foreach bPersist [list 0 1] { | |
104 set ::go 1 | |
105 for {set ::N 1} {$::go} {incr ::N} { | |
106 set ::sqlite_io_error_hit 0 | |
107 set ::sqlite_io_error_persist $bPersist | |
108 set ::sqlite_io_error_pending $::N | |
109 | |
110 foreach {::go res} [catchsql $sql] {} | |
111 check_db ioerr2-4.[expr {$bPersist+2}].$::N | |
112 } | |
113 } | |
114 | |
115 # When this test was written, an IO error within the UPDATE statement caused | |
116 # a rollback, which tripped all read-cursors, causing the outer SELECT to | |
117 # fail with "abort due to ROLLBACK". Now, the loop continues until the UPDATE | |
118 # is run successfully. At this point the next IO error occurs within the | |
119 # SELECT - throwing the "disk I/O error" that the test case now expects. | |
120 # | |
121 do_test ioerr2-5 { | |
122 execsql { | |
123 CREATE TABLE t2 AS SELECT * FROM t1; | |
124 PRAGMA temp_store = memory; | |
125 } | |
126 set ::sqlite_io_error_persist 0 | |
127 set ::go 1 | |
128 set rc [catch { | |
129 for {set ::N 2} {$::N<200} {incr ::N} { | |
130 db eval {SELECT * FROM t1 WHERE rowid IN (1, 5, 10, 15, 20)} { | |
131 set ::sqlite_io_error_hit 0 | |
132 set ::sqlite_io_error_pending $::N | |
133 set sql {UPDATE t2 SET b = randstr(400,400)} | |
134 foreach {::go res} [catchsql $sql] {} | |
135 } | |
136 } | |
137 } msg] | |
138 list $rc $msg | |
139 } {1 {disk I/O error}} ;# used to be "{1 {abort due to ROLLBACK}}" | |
140 | |
141 if {$::tcl_platform(platform) == "unix"} { | |
142 # Cause the call to xAccess used by [pragma temp_store_directory] to | |
143 # determine if the specified directory is writable to fail. This causes | |
144 # SQLite to report "not a writable directory", which is probably the | |
145 # right answer. | |
146 # | |
147 do_test ioerr2-6 { | |
148 set ::sqlite_io_error_hit 0 | |
149 set ::sqlite_io_error_pending 1 | |
150 catchsql {PRAGMA temp_store_directory = '/tmp/'} | |
151 } {1 {not a writable directory}} | |
152 } | |
153 | |
154 do_ioerr_test ioerr2-7 -persist 0 -sqlprep { | |
155 PRAGMA cache_size = 10; | |
156 PRAGMA auto_vacuum = 1; | |
157 CREATE TABLE ab(a, b); | |
158 CREATE TABLE de(d, e); | |
159 INSERT INTO ab VALUES(1, randstr(200,200)); | |
160 INSERT INTO ab SELECT a+1, randstr(200,200) FROM ab; | |
161 INSERT INTO ab SELECT a+2, randstr(200,200) FROM ab; | |
162 INSERT INTO ab SELECT a+4, randstr(200,200) FROM ab; | |
163 INSERT INTO ab SELECT a+8, randstr(200,200) FROM ab; | |
164 INSERT INTO ab SELECT a+16, randstr(200,200) FROM ab; | |
165 INSERT INTO ab SELECT a+32, randstr(200,200) FROM ab; | |
166 INSERT INTO ab SELECT a+64, randstr(200,200) FROM ab; | |
167 INSERT INTO de SELECT * FROM ab; | |
168 } -sqlbody { | |
169 BEGIN; | |
170 UPDATE ab SET b = randstr(200,200); | |
171 UPDATE de SET e = randstr(200,200) WHERE d = (SELECT max(d) FROM de); | |
172 DELETE FROM ab; | |
173 COMMIT; | |
174 } | |
175 | |
176 finish_test | |
OLD | NEW |