3
# The author disclaims copyright to this source code. In place of
4
# a legal notice, here is a blessing:
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.
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.
15
# The tests in this file use special facilities that are only
16
# available in the SQLite test fixture.
18
# $Id: ioerr.test,v 1.41 2008/07/12 14:52:20 drh Exp $
20
set testdir [file dirname $argv0]
21
source $testdir/tester.tcl
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.
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.
30
do_ioerr_test ioerr-1 -erc 1 -ckrefcount 1 -sqlprep {
31
SELECT * FROM sqlite_master;
33
CREATE TABLE t1(a,b,c);
34
SELECT * FROM sqlite_master;
36
INSERT INTO t1 VALUES(1,2,3);
37
INSERT INTO t1 VALUES(4,5,6);
41
INSERT INTO t1 VALUES(1,2,3);
42
INSERT INTO t1 VALUES(4,5,6);
45
DELETE FROM t1 WHERE a<100;
46
} -exclude [expr [string match [execsql {pragma auto_vacuum}] 1] ? 4 : 0]
48
# Test for IO errors during a VACUUM.
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.
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.
58
do_ioerr_test ioerr-2 -cksum true -ckrefcount true -sqlprep {
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;
77
1 [expr [string match [execsql {pragma auto_vacuum}] 1]?9:-1]]
80
do_ioerr_test ioerr-3 -ckrefcount true -tclprep {
82
PRAGMA cache_size = 10;
85
INSERT INTO abc VALUES(randstr(1500,1500)); -- Page 4 is overflow
87
for {set i 0} {$i<150} {incr i} {
89
INSERT INTO abc VALUES(randstr(100,100));
96
DELETE FROM abc WHERE length(a)>100;
97
UPDATE abc SET a = randstr(90,90);
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} {
111
execsql {INSERT INTO abc (a1) VALUES(NULL)}
117
# Test IO errors that may occur during a multi-file commit.
119
# Tests 8 and 17 are excluded when auto-vacuum is enabled for the same
120
# reason as in test cases ioerr-1.XXX
123
if {[string match [execsql {pragma auto_vacuum}] 1]} {
126
do_ioerr_test ioerr-5 -restoreprng 0 -ckrefcount true -sqlprep {
127
ATTACH 'test2.db' AS test2;
130
CREATE TABLE t1(a,b,c);
131
CREATE TABLE test2.t2(a,b,c);
136
# Test IO errors when replaying two hot journals from a 2-file
137
# transaction. This test only runs on UNIX.
138
ifcapable crashtest&&attach {
139
if {![catch {sqlite3 -has_codec} r] && !$r} {
140
do_ioerr_test ioerr-6 -ckrefcount true -tclprep {
142
ATTACH 'test2.db' as aux;
143
CREATE TABLE tx(a, b);
144
CREATE TABLE aux.ty(a, b);
146
set rc [crashsql -delay 2 -file test2.db-journal {
147
ATTACH 'test2.db' as aux;
148
PRAGMA cache_size = 10;
150
CREATE TABLE aux.t2(a, b, c);
151
CREATE TABLE t1(a, b, c);
154
if {$rc!="1 {child process exited abnormally}"} {
155
error "Wrong error message: $rc"
158
SELECT * FROM sqlite_master;
159
SELECT * FROM aux.sqlite_master;
164
# Test handling of IO errors that occur while rolling back hot journal
167
# These tests can't be run on windows because the windows version of
168
# SQLite holds a mandatory exclusive lock on journal files it has open.
170
if {$tcl_platform(platform)!="windows"} {
171
do_ioerr_test ioerr-7 -tclprep {
175
PRAGMA synchronous = 0;
176
CREATE TABLE t1(a, b);
177
INSERT INTO t1 VALUES(1, 2);
179
INSERT INTO t1 VALUES(3, 4);
181
copy_file test2.db test.db
182
copy_file test2.db-journal test.db-journal
192
# For test coverage: Cause an I/O failure while trying to read a
193
# short field (one that fits into a Mem buffer without mallocing
196
do_ioerr_test ioerr-8 -ckrefcount true -tclprep {
198
CREATE TABLE t1(a,b,c);
199
INSERT INTO t1 VALUES(randstr(200,200), randstr(1000,1000), 2);
207
# For test coverage: Cause an IO error whilst reading the master-journal
208
# name from a journal file.
209
if {$tcl_platform(platform)=="unix"} {
210
do_ioerr_test ioerr-9 -ckrefcount true -tclprep {
212
CREATE TABLE t1(a,b,c);
213
INSERT INTO t1 VALUES(randstr(200,200), randstr(1000,1000), 2);
215
INSERT INTO t1 VALUES(randstr(200,200), randstr(1000,1000), 2);
217
copy_file test.db-journal test2.db-journal
221
copy_file test2.db-journal test.db-journal
222
set f [open test.db-journal a]
223
fconfigure $f -encoding binary
224
puts -nonewline $f "hello"
225
puts -nonewline $f "\x00\x00\x00\x05\x01\x02\x03\x04"
226
puts -nonewline $f "\xd9\xd5\x05\xf9\x20\xa1\x63\xd7"
233
# For test coverage: Cause an IO error during statement playback (i.e.
235
do_ioerr_test ioerr-10 -ckrefcount true -tclprep {
238
CREATE TABLE t1(a PRIMARY KEY, b);
240
for {set i 0} {$i < 500} {incr i} {
241
execsql {INSERT INTO t1 VALUES(:i, 'hello world');}
250
INSERT INTO t1 VALUES('abc', 123);
251
INSERT INTO t1 VALUES('def', 123);
252
INSERT INTO t1 VALUES('ghi', 123);
253
INSERT INTO t1 SELECT (a+500)%900, 'good string' FROM t1;
256
if {$msg != "column a is not unique"} {
261
# Assertion fault bug reported by alex dimitrov.
263
do_ioerr_test ioerr-11 -ckrefcount true -erc 1 -sqlprep {
264
CREATE TABLE A(Id INTEGER, Name TEXT);
265
INSERT INTO A(Id, Name) VALUES(1, 'Name');
267
UPDATE A SET Id = 2, Name = 'Name2' WHERE Id = 1;
270
# Test that an io error encountered in a sync() caused by a call to
271
# sqlite3_release_memory() is handled Ok. Only try this if
272
# memory-management is enabled.
274
ifcapable memorymanage {
275
do_ioerr_test memmanage-ioerr1 -ckrefcount true -sqlprep {
277
CREATE TABLE t1(a, b, c);
278
INSERT INTO t1 VALUES(randstr(50,50), randstr(100,100), randstr(10,10));
279
INSERT INTO t1 SELECT randstr(50,50), randstr(9,9), randstr(90,90) FROM t1;
280
INSERT INTO t1 SELECT randstr(50,50), randstr(9,9), randstr(90,90) FROM t1;
281
INSERT INTO t1 SELECT randstr(50,50), randstr(9,9), randstr(90,90) FROM t1;
282
INSERT INTO t1 SELECT randstr(50,50), randstr(9,9), randstr(90,90) FROM t1;
283
INSERT INTO t1 SELECT randstr(50,50), randstr(9,9), randstr(90,90) FROM t1;
285
sqlite3_release_memory
291
ifcapable pager_pragmas&&autovacuum {
292
do_ioerr_test ioerr-12 -ckrefcount true -erc 1 -sqlprep {
293
PRAGMA page_size = 512;
294
PRAGMA auto_vacuum = incremental;
296
INSERT INTO t1 VALUES( randomblob(1 * (512-4)) );
297
INSERT INTO t1 VALUES( randomblob(110 * (512-4)) );
298
INSERT INTO t1 VALUES( randomblob(2 * (512-4)) );
299
INSERT INTO t1 VALUES( randomblob(110 * (512-4)) );
300
INSERT INTO t1 VALUES( randomblob(3 * (512-4)) );
301
DELETE FROM t1 WHERE rowid = 3;
302
PRAGMA incremental_vacuum = 2;
303
DELETE FROM t1 WHERE rowid = 1;
305
PRAGMA incremental_vacuum = 1;
309
# Usually, after a new page is allocated from the end of the file, it does
310
# not need to be written to the journal. The exception is when the new page
311
# shares its sector with an existing page that does need to be journalled.
312
# This test case provokes this condition to test for the sake of coverage
313
# that an IO error while journalling the coresident page is handled correctly.
315
sqlite3_simulate_device -char {} -sectorsize 2048
316
do_ioerr_test ioerr-12 -ckrefcount true -erc 1 -tclprep {
318
sqlite3 db test.db -vfs devsym
320
# Create a test database. Page 2 is the root page of table t1. The only
321
# row inserted into t1 has an overflow page - page 3. Page 3 will be
322
# coresident on the 2048 byte sector with the next page to be allocated.
324
db eval { PRAGMA page_size = 1024 }
325
db eval { CREATE TABLE t1(x) }
326
db eval { INSERT INTO t1 VALUES(randomblob(1100)); }
328
db eval { INSERT INTO t1 VALUES(randomblob(2000)); }
330
sqlite3_simulate_device -char {} -sectorsize 0
333
do_ioerr_test ioerr-13 -ckrefcount true -erc 1 -sqlprep {
334
PRAGMA auto_vacuum = incremental;
337
INSERT INTO t2 VALUES(randomblob(1500));
338
INSERT INTO t2 SELECT randomblob(1500) FROM t2;
339
INSERT INTO t2 SELECT randomblob(1500) FROM t2;
340
INSERT INTO t2 SELECT randomblob(1500) FROM t2;
341
INSERT INTO t2 SELECT randomblob(1500) FROM t2;
342
INSERT INTO t2 SELECT randomblob(1500) FROM t2;
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 t1 VALUES(randomblob(20));
347
INSERT INTO t1 SELECT x FROM t1;
348
INSERT INTO t1 SELECT x FROM t1;
349
INSERT INTO t1 SELECT x FROM t1;
350
INSERT INTO t1 SELECT x FROM t1;
351
INSERT INTO t1 SELECT x FROM t1;
352
INSERT INTO t1 SELECT x FROM t1; /* 64 entries in t1 */
353
INSERT INTO t1 SELECT x FROM t1 LIMIT 14; /* 78 entries in t1 */
354
DELETE FROM t2 WHERE rowid = 3;
356
-- This statement uses the balance_quick() optimization. The new page
357
-- is appended to the database file. But the overflow page used by
358
-- the new record will be positioned near the start of the database
359
-- file, in the gap left by the "DELETE FROM t2 WHERE rowid=3" statement
362
-- The point of this is that the statement wil need to update two pointer
363
-- map pages. Which introduces another opportunity for an IO error.
365
INSERT INTO t1 VALUES(randomblob(2000));
368
do_ioerr_test ioerr-14 -ckrefcount true -erc 1 -sqlprep {
369
PRAGMA auto_vacuum = incremental;
372
INSERT INTO t2 VALUES(randomblob(1500));
373
INSERT INTO t2 SELECT randomblob(1500) FROM t2;
374
INSERT INTO t2 SELECT randomblob(1500) FROM t2;
375
INSERT INTO t2 SELECT randomblob(1500) FROM t2;
376
INSERT INTO t2 SELECT randomblob(1500) FROM t2;
377
INSERT INTO t2 SELECT randomblob(1500) FROM t2;
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;
382
-- This statement inserts a row into t1 with an overflow page at the
383
-- end of the file. A long way from its parent (the root of t1).
384
INSERT INTO t1 VALUES(randomblob(1500));
385
DELETE FROM t2 WHERE rowid<10;
387
-- This transaction will cause the root-page of table t1 to divide
388
-- (by calling balance_deeper()). When it does, the "parent" page of the
389
-- overflow page inserted in the -sqlprep block above will change and
390
-- the corresponding pointer map page be updated. This test case attempts
391
-- to cause an IO error during the pointer map page update.
394
INSERT INTO t1 VALUES(randomblob(100));
395
INSERT INTO t1 VALUES(randomblob(100));
396
INSERT INTO t1 VALUES(randomblob(100));
397
INSERT INTO t1 VALUES(randomblob(100));
398
INSERT INTO t1 VALUES(randomblob(100));
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));