Index: third_party/sqlite/sqlite-src-3070603/test/ioerr.test |
diff --git a/third_party/sqlite/sqlite-src-3070603/test/ioerr.test b/third_party/sqlite/sqlite-src-3070603/test/ioerr.test |
new file mode 100644 |
index 0000000000000000000000000000000000000000..f9b95555cadc5640c1198ecc37af6bb70fe0ec67 |
--- /dev/null |
+++ b/third_party/sqlite/sqlite-src-3070603/test/ioerr.test |
@@ -0,0 +1,465 @@ |
+# 2001 October 12 |
+# |
+# 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.43 2009/04/06 17:50:03 danielk1977 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. |
+# |
+# It cannot be run under the "exclusive" permutation. In that case, the |
+# locks held by the connection in the local (this) process prevent a |
+# second connection from attempting the multi-file transaction. |
+# |
+ifcapable crashtest&&attach { |
+ if {![catch {sqlite3 -has-codec} r] && !$r && [permutation]!="exclusive"} { |
+ 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"} { |
+ 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; |
+} |
+ |
+do_ioerr_test ioerr-15 -tclprep { |
+ db eval { |
+ BEGIN; |
+ PRAGMA cache_size = 10; |
+ CREATE TABLE t1(a); |
+ CREATE INDEX i1 ON t1(a); |
+ CREATE TABLE t2(a); |
+ } |
+ for {set ii 1} {$ii < 100} {incr ii} { |
+ set v [string range [string repeat [format %.3d $ii] 200] 0 220] |
+ db eval {INSERT INTO t1 VALUES($v)} |
+ } |
+ db eval { |
+ DELETE FROM t1 WHERE oid > 85; |
+ COMMIT; |
+ } |
+} -sqlbody { |
+ BEGIN; |
+ INSERT INTO t2 VALUES(randstr(22000,22000)); |
+ DELETE FROM t1 WHERE oid = 83; |
+ COMMIT; |
+} |
+ |
+# This test verifies that IO errors that occur within the obscure branch |
+# of code executed by tkt3762.test are correctly reported. |
+# |
+ifcapable vacuum&&autovacuum&&pragma { |
+ do_ioerr_test ioerr-16 -erc 1 -ckrefcount 1 -sqlprep { |
+ PRAGMA auto_vacuum=INCREMENTAL; |
+ PRAGMA page_size=1024; |
+ BEGIN; |
+ CREATE TABLE t1(x); |
+ INSERT INTO t1 VALUES(zeroblob(900)); |
+ INSERT INTO t1 VALUES(zeroblob(900)); |
+ 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; |
+ INSERT INTO t1 SELECT x FROM t1; |
+ DELETE FROM t1 WHERE rowid>202; |
+ COMMIT; |
+ VACUUM; |
+ PRAGMA cache_size = 10; |
+ BEGIN; |
+ DELETE FROM t1 WHERE rowid IN (10,11,12) ; |
+ } -sqlbody { |
+ PRAGMA incremental_vacuum(10); |
+ COMMIT; |
+ } |
+} |
+ |
+finish_test |