--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/persistentstorage/sqlite3api/TEST/TclScript/ioerr.test Fri Jan 22 11:06:30 2010 +0200
@@ -0,0 +1,409 @@
+# 2001 October 12
+#
+# Portions Copyright (c) 2007-2008 Nokia Corporation and/or its subsidiaries. All rights reserved.
+#
+# The author disclaims copyright to this source code. In place of
+# a legal notice, here is a blessing:
+#
+# May you do good and not evil.
+# May you find forgiveness for yourself and forgive others.
+# May you share freely, never taking more than you give.
+#
+#***********************************************************************
+# This file implements regression tests for SQLite library. The
+# focus of this file is testing for correct handling of I/O errors
+# such as writes failing because the disk is full.
+#
+# The tests in this file use special facilities that are only
+# available in the SQLite test fixture.
+#
+# $Id: ioerr.test,v 1.41 2008/07/12 14:52:20 drh Exp $
+
+set testdir [file dirname $argv0]
+source $testdir/tester.tcl
+
+# If SQLITE_DEFAULT_AUTOVACUUM is set to true, then a simulated IO error
+# on the 8th IO operation in the SQL script below doesn't report an error.
+#
+# This is because the 8th IO call attempts to read page 2 of the database
+# file when the file on disk is only 1 page. The pager layer detects that
+# this has happened and suppresses the error returned by the OS layer.
+#
+do_ioerr_test ioerr-1 -erc 1 -ckrefcount 1 -sqlprep {
+ SELECT * FROM sqlite_master;
+} -sqlbody {
+ CREATE TABLE t1(a,b,c);
+ SELECT * FROM sqlite_master;
+ BEGIN TRANSACTION;
+ INSERT INTO t1 VALUES(1,2,3);
+ INSERT INTO t1 VALUES(4,5,6);
+ ROLLBACK;
+ SELECT * FROM t1;
+ BEGIN TRANSACTION;
+ INSERT INTO t1 VALUES(1,2,3);
+ INSERT INTO t1 VALUES(4,5,6);
+ COMMIT;
+ SELECT * FROM t1;
+ DELETE FROM t1 WHERE a<100;
+} -exclude [expr [string match [execsql {pragma auto_vacuum}] 1] ? 4 : 0]
+
+# Test for IO errors during a VACUUM.
+#
+# The first IO call is excluded from the test. This call attempts to read
+# the file-header of the temporary database used by VACUUM. Since the
+# database doesn't exist at that point, the IO error is not detected.
+#
+# Additionally, if auto-vacuum is enabled, the 12th IO error is not
+# detected. Same reason as the 8th in the test case above.
+#
+ifcapable vacuum {
+ do_ioerr_test ioerr-2 -cksum true -ckrefcount true -sqlprep {
+ BEGIN;
+ CREATE TABLE t1(a, b, c);
+ INSERT INTO t1 VALUES(1, randstr(50,50), randstr(50,50));
+ INSERT INTO t1 SELECT a+2, b||'-'||rowid, c||'-'||rowid FROM t1;
+ INSERT INTO t1 SELECT a+4, b||'-'||rowid, c||'-'||rowid FROM t1;
+ INSERT INTO t1 SELECT a+8, b||'-'||rowid, c||'-'||rowid FROM t1;
+ INSERT INTO t1 SELECT a+16, b||'-'||rowid, c||'-'||rowid FROM t1;
+ INSERT INTO t1 SELECT a+32, b||'-'||rowid, c||'-'||rowid FROM t1;
+ INSERT INTO t1 SELECT a+64, b||'-'||rowid, c||'-'||rowid FROM t1;
+ INSERT INTO t1 SELECT a+128, b||'-'||rowid, c||'-'||rowid FROM t1;
+ INSERT INTO t1 VALUES(1, randstr(600,600), randstr(600,600));
+ CREATE TABLE t2 AS SELECT * FROM t1;
+ CREATE TABLE t3 AS SELECT * FROM t1;
+ COMMIT;
+ DROP TABLE t2;
+ } -sqlbody {
+ VACUUM;
+ } -exclude [list \
+ 1 [expr [string match [execsql {pragma auto_vacuum}] 1]?9:-1]]
+}
+
+do_ioerr_test ioerr-3 -ckrefcount true -tclprep {
+ execsql {
+ PRAGMA cache_size = 10;
+ BEGIN;
+ CREATE TABLE abc(a);
+ INSERT INTO abc VALUES(randstr(1500,1500)); -- Page 4 is overflow
+ }
+ for {set i 0} {$i<150} {incr i} {
+ execsql {
+ INSERT INTO abc VALUES(randstr(100,100));
+ }
+ }
+ execsql COMMIT
+} -sqlbody {
+ CREATE TABLE abc2(a);
+ BEGIN;
+ DELETE FROM abc WHERE length(a)>100;
+ UPDATE abc SET a = randstr(90,90);
+ COMMIT;
+ CREATE TABLE abc3(a);
+}
+
+# Test IO errors that can occur retrieving a record header that flows over
+# onto an overflow page.
+do_ioerr_test ioerr-4 -ckrefcount true -tclprep {
+ set sql "CREATE TABLE abc(a1"
+ for {set i 2} {$i<1300} {incr i} {
+ append sql ", a$i"
+ }
+ append sql ");"
+ execsql $sql
+ execsql {INSERT INTO abc (a1) VALUES(NULL)}
+} -sqlbody {
+ SELECT * FROM abc;
+}
+
+
+# Test IO errors that may occur during a multi-file commit.
+#
+# Tests 8 and 17 are excluded when auto-vacuum is enabled for the same
+# reason as in test cases ioerr-1.XXX
+ifcapable attach {
+ set ex ""
+ if {[string match [execsql {pragma auto_vacuum}] 1]} {
+ set ex [list 4 17]
+ }
+ do_ioerr_test ioerr-5 -restoreprng 0 -ckrefcount true -sqlprep {
+ ATTACH 'test2.db' AS test2;
+ } -sqlbody {
+ BEGIN;
+ CREATE TABLE t1(a,b,c);
+ CREATE TABLE test2.t2(a,b,c);
+ COMMIT;
+ } -exclude $ex
+}
+
+# Test IO errors when replaying two hot journals from a 2-file
+# transaction. This test only runs on UNIX.
+ifcapable crashtest&&attach {
+ if {![catch {sqlite3 -has_codec} r] && !$r} {
+ do_ioerr_test ioerr-6 -ckrefcount true -tclprep {
+ execsql {
+ ATTACH 'test2.db' as aux;
+ CREATE TABLE tx(a, b);
+ CREATE TABLE aux.ty(a, b);
+ }
+ set rc [crashsql -delay 2 -file test2.db-journal {
+ ATTACH 'test2.db' as aux;
+ PRAGMA cache_size = 10;
+ BEGIN;
+ CREATE TABLE aux.t2(a, b, c);
+ CREATE TABLE t1(a, b, c);
+ COMMIT;
+ }]
+ if {$rc!="1 {child process exited abnormally}"} {
+ error "Wrong error message: $rc"
+ }
+ } -sqlbody {
+ SELECT * FROM sqlite_master;
+ SELECT * FROM aux.sqlite_master;
+ }
+ }
+}
+
+# Test handling of IO errors that occur while rolling back hot journal
+# files.
+#
+# These tests can't be run on windows because the windows version of
+# SQLite holds a mandatory exclusive lock on journal files it has open.
+#
+if {$tcl_platform(platform)!="windows" && $tcl_platform(platform)!="symbian"} {
+ do_ioerr_test ioerr-7 -tclprep {
+ db close
+ sqlite3 db2 test2.db
+ db2 eval {
+ PRAGMA synchronous = 0;
+ CREATE TABLE t1(a, b);
+ INSERT INTO t1 VALUES(1, 2);
+ BEGIN;
+ INSERT INTO t1 VALUES(3, 4);
+ }
+ copy_file test2.db test.db
+ copy_file test2.db-journal test.db-journal
+ db2 close
+ } -tclbody {
+ sqlite3 db test.db
+ db eval {
+ SELECT * FROM t1;
+ }
+ } -exclude 1
+}
+
+# For test coverage: Cause an I/O failure while trying to read a
+# short field (one that fits into a Mem buffer without mallocing
+# for space).
+#
+do_ioerr_test ioerr-8 -ckrefcount true -tclprep {
+ execsql {
+ CREATE TABLE t1(a,b,c);
+ INSERT INTO t1 VALUES(randstr(200,200), randstr(1000,1000), 2);
+ }
+ db close
+ sqlite3 db test.db
+} -sqlbody {
+ SELECT c FROM t1;
+}
+
+# For test coverage: Cause an IO error whilst reading the master-journal
+# name from a journal file.
+if {$tcl_platform(platform)=="unix"} {
+ do_ioerr_test ioerr-9 -ckrefcount true -tclprep {
+ execsql {
+ CREATE TABLE t1(a,b,c);
+ INSERT INTO t1 VALUES(randstr(200,200), randstr(1000,1000), 2);
+ BEGIN;
+ INSERT INTO t1 VALUES(randstr(200,200), randstr(1000,1000), 2);
+ }
+ copy_file test.db-journal test2.db-journal
+ execsql {
+ COMMIT;
+ }
+ copy_file test2.db-journal test.db-journal
+ set f [open test.db-journal a]
+ fconfigure $f -encoding binary
+ puts -nonewline $f "hello"
+ puts -nonewline $f "\x00\x00\x00\x05\x01\x02\x03\x04"
+ puts -nonewline $f "\xd9\xd5\x05\xf9\x20\xa1\x63\xd7"
+ close $f
+ } -sqlbody {
+ SELECT a FROM t1;
+ }
+}
+
+# For test coverage: Cause an IO error during statement playback (i.e.
+# a constraint).
+do_ioerr_test ioerr-10 -ckrefcount true -tclprep {
+ execsql {
+ BEGIN;
+ CREATE TABLE t1(a PRIMARY KEY, b);
+ }
+ for {set i 0} {$i < 500} {incr i} {
+ execsql {INSERT INTO t1 VALUES(:i, 'hello world');}
+ }
+ execsql {
+ COMMIT;
+ }
+} -tclbody {
+
+ catch {execsql {
+ BEGIN;
+ INSERT INTO t1 VALUES('abc', 123);
+ INSERT INTO t1 VALUES('def', 123);
+ INSERT INTO t1 VALUES('ghi', 123);
+ INSERT INTO t1 SELECT (a+500)%900, 'good string' FROM t1;
+ }} msg
+
+ if {$msg != "column a is not unique"} {
+ error $msg
+ }
+}
+
+# Assertion fault bug reported by alex dimitrov.
+#
+do_ioerr_test ioerr-11 -ckrefcount true -erc 1 -sqlprep {
+ CREATE TABLE A(Id INTEGER, Name TEXT);
+ INSERT INTO A(Id, Name) VALUES(1, 'Name');
+} -sqlbody {
+ UPDATE A SET Id = 2, Name = 'Name2' WHERE Id = 1;
+}
+
+# Test that an io error encountered in a sync() caused by a call to
+# sqlite3_release_memory() is handled Ok. Only try this if
+# memory-management is enabled.
+#
+ifcapable memorymanage {
+ do_ioerr_test memmanage-ioerr1 -ckrefcount true -sqlprep {
+ BEGIN;
+ CREATE TABLE t1(a, b, c);
+ INSERT INTO t1 VALUES(randstr(50,50), randstr(100,100), randstr(10,10));
+ INSERT INTO t1 SELECT randstr(50,50), randstr(9,9), randstr(90,90) FROM t1;
+ INSERT INTO t1 SELECT randstr(50,50), randstr(9,9), randstr(90,90) FROM t1;
+ INSERT INTO t1 SELECT randstr(50,50), randstr(9,9), randstr(90,90) FROM t1;
+ INSERT INTO t1 SELECT randstr(50,50), randstr(9,9), randstr(90,90) FROM t1;
+ INSERT INTO t1 SELECT randstr(50,50), randstr(9,9), randstr(90,90) FROM t1;
+ } -tclbody {
+ sqlite3_release_memory
+ } -sqlbody {
+ COMMIT;
+ }
+}
+
+ifcapable pager_pragmas&&autovacuum {
+ do_ioerr_test ioerr-12 -ckrefcount true -erc 1 -sqlprep {
+ PRAGMA page_size = 512;
+ PRAGMA auto_vacuum = incremental;
+ CREATE TABLE t1(x);
+ INSERT INTO t1 VALUES( randomblob(1 * (512-4)) );
+ INSERT INTO t1 VALUES( randomblob(110 * (512-4)) );
+ INSERT INTO t1 VALUES( randomblob(2 * (512-4)) );
+ INSERT INTO t1 VALUES( randomblob(110 * (512-4)) );
+ INSERT INTO t1 VALUES( randomblob(3 * (512-4)) );
+ DELETE FROM t1 WHERE rowid = 3;
+ PRAGMA incremental_vacuum = 2;
+ DELETE FROM t1 WHERE rowid = 1;
+ } -sqlbody {
+ PRAGMA incremental_vacuum = 1;
+ }
+}
+
+# Usually, after a new page is allocated from the end of the file, it does
+# not need to be written to the journal. The exception is when the new page
+# shares its sector with an existing page that does need to be journalled.
+# This test case provokes this condition to test for the sake of coverage
+# that an IO error while journalling the coresident page is handled correctly.
+#
+sqlite3_simulate_device -char {} -sectorsize 2048
+do_ioerr_test ioerr-12 -ckrefcount true -erc 1 -tclprep {
+ db close
+ sqlite3 db test.db -vfs devsym
+
+ # Create a test database. Page 2 is the root page of table t1. The only
+ # row inserted into t1 has an overflow page - page 3. Page 3 will be
+ # coresident on the 2048 byte sector with the next page to be allocated.
+ #
+ db eval { PRAGMA page_size = 1024 }
+ db eval { CREATE TABLE t1(x) }
+ db eval { INSERT INTO t1 VALUES(randomblob(1100)); }
+} -tclbody {
+ db eval { INSERT INTO t1 VALUES(randomblob(2000)); }
+}
+sqlite3_simulate_device -char {} -sectorsize 0
+catch {db close}
+
+do_ioerr_test ioerr-13 -ckrefcount true -erc 1 -sqlprep {
+ PRAGMA auto_vacuum = incremental;
+ CREATE TABLE t1(x);
+ CREATE TABLE t2(x);
+ INSERT INTO t2 VALUES(randomblob(1500));
+ INSERT INTO t2 SELECT randomblob(1500) FROM t2;
+ INSERT INTO t2 SELECT randomblob(1500) FROM t2;
+ INSERT INTO t2 SELECT randomblob(1500) FROM t2;
+ INSERT INTO t2 SELECT randomblob(1500) FROM t2;
+ INSERT INTO t2 SELECT randomblob(1500) FROM t2;
+ INSERT INTO t2 SELECT randomblob(1500) FROM t2;
+ INSERT INTO t2 SELECT randomblob(1500) FROM t2;
+ INSERT INTO t2 SELECT randomblob(1500) FROM t2;
+ INSERT INTO t1 VALUES(randomblob(20));
+ INSERT INTO t1 SELECT x FROM t1;
+ INSERT INTO t1 SELECT x FROM t1;
+ INSERT INTO t1 SELECT x FROM t1;
+ INSERT INTO t1 SELECT x FROM t1;
+ INSERT INTO t1 SELECT x FROM t1;
+ INSERT INTO t1 SELECT x FROM t1; /* 64 entries in t1 */
+ INSERT INTO t1 SELECT x FROM t1 LIMIT 14; /* 78 entries in t1 */
+ DELETE FROM t2 WHERE rowid = 3;
+} -sqlbody {
+ -- This statement uses the balance_quick() optimization. The new page
+ -- is appended to the database file. But the overflow page used by
+ -- the new record will be positioned near the start of the database
+ -- file, in the gap left by the "DELETE FROM t2 WHERE rowid=3" statement
+ -- above.
+ --
+ -- The point of this is that the statement wil need to update two pointer
+ -- map pages. Which introduces another opportunity for an IO error.
+ --
+ INSERT INTO t1 VALUES(randomblob(2000));
+}
+
+do_ioerr_test ioerr-14 -ckrefcount true -erc 1 -sqlprep {
+ PRAGMA auto_vacuum = incremental;
+ CREATE TABLE t1(x);
+ CREATE TABLE t2(x);
+ INSERT INTO t2 VALUES(randomblob(1500));
+ INSERT INTO t2 SELECT randomblob(1500) FROM t2;
+ INSERT INTO t2 SELECT randomblob(1500) FROM t2;
+ INSERT INTO t2 SELECT randomblob(1500) FROM t2;
+ INSERT INTO t2 SELECT randomblob(1500) FROM t2;
+ INSERT INTO t2 SELECT randomblob(1500) FROM t2;
+ INSERT INTO t2 SELECT randomblob(1500) FROM t2;
+ INSERT INTO t2 SELECT randomblob(1500) FROM t2;
+ INSERT INTO t2 SELECT randomblob(1500) FROM t2;
+
+ -- This statement inserts a row into t1 with an overflow page at the
+ -- end of the file. A long way from its parent (the root of t1).
+ INSERT INTO t1 VALUES(randomblob(1500));
+ DELETE FROM t2 WHERE rowid<10;
+} -sqlbody {
+ -- This transaction will cause the root-page of table t1 to divide
+ -- (by calling balance_deeper()). When it does, the "parent" page of the
+ -- overflow page inserted in the -sqlprep block above will change and
+ -- the corresponding pointer map page be updated. This test case attempts
+ -- to cause an IO error during the pointer map page update.
+ --
+ BEGIN;
+ INSERT INTO t1 VALUES(randomblob(100));
+ INSERT INTO t1 VALUES(randomblob(100));
+ INSERT INTO t1 VALUES(randomblob(100));
+ INSERT INTO t1 VALUES(randomblob(100));
+ INSERT INTO t1 VALUES(randomblob(100));
+ INSERT INTO t1 VALUES(randomblob(100));
+ INSERT INTO t1 VALUES(randomblob(100));
+ INSERT INTO t1 VALUES(randomblob(100));
+ INSERT INTO t1 VALUES(randomblob(100));
+ INSERT INTO t1 VALUES(randomblob(100));
+ COMMIT;
+}
+
+finish_test