# 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.26 2006/02/10 13:33:31 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 -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 -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 -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 -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.XXXset ex ""if {[string match [execsql {pragma auto_vacuum}] 1]} {  set ex [list 4 17]}do_ioerr_test ioerr-5 -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 {  if {![catch {sqlite3 -has_codec} r] && !$r} {    do_ioerr_test ioerr-6 -tclprep {      execsql {        ATTACH 'test2.db' as aux;        CREATE TABLE tx(a, b);        CREATE TABLE aux.ty(a, b);      }      set rc [crashsql 2 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 -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 -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 -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  }}finish_test