# 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: incrvacuum_ioerr.test,v 1.6 2008/07/12 14:52:20 drh Exp $

set testdir [file dirname $argv0]

source $testdir/tester.tcl

# If this build of the library does not support auto-vacuum, omit this

# whole file.

ifcapable {!autovacuum} {

  finish_test

  return

}

do_ioerr_test incrvacuum-ioerr-1 -cksum 1 -sqlprep {

  PRAGMA auto_vacuum = 'incremental';

  CREATE TABLE abc(a);

  INSERT INTO abc VALUES(randstr(1500,1500));

} -sqlbody {

  BEGIN;

  CREATE TABLE abc2(a);

  DELETE FROM abc;

  PRAGMA incremental_vacuum;

  COMMIT;

} 

# do_ioerr_test incrvacuum-ioerr-3 -start 1 -cksum 1 -tclprep {

#   db eval {

#     PRAGMA auto_vacuum = 'full';

#     PRAGMA cache_size = 10;

#     BEGIN;

#     CREATE TABLE abc(a, UNIQUE(a));

#   }

#   for {set ii 0} {$ii < 25} {incr ii} {

#     db eval {INSERT INTO abc VALUES(randstr(1500,1500))}

#   }

#   db eval COMMIT

# } -sqlbody {

#   BEGIN;

#   DELETE FROM abc WHERE (oid%3)==0;

#   INSERT INTO abc SELECT a || '1234567890' FROM abc WHERE oid%2;

#   CREATE INDEX abc_i ON abc(a);

#   DELETE FROM abc WHERE (oid%2)==0;

#   DROP INDEX abc_i;

#   COMMIT;

# }

do_ioerr_test incrvacuum-ioerr-2 -start 1 -cksum 1 -tclprep {

  db eval {

    PRAGMA auto_vacuum = 'full';

    PRAGMA cache_size = 10;

    BEGIN;

    CREATE TABLE abc(a, UNIQUE(a));

  }

  for {set ii 0} {$ii < 25} {incr ii} {

    db eval {INSERT INTO abc VALUES(randstr(1500,1500))}

  }

  db eval COMMIT

} -sqlbody {

  BEGIN;

  PRAGMA incremental_vacuum;

  DELETE FROM abc WHERE (oid%3)==0;

  PRAGMA incremental_vacuum;

  INSERT INTO abc SELECT a || '1234567890' FROM abc WHERE oid%2;

  PRAGMA incremental_vacuum;

  CREATE INDEX abc_i ON abc(a);

  DELETE FROM abc WHERE (oid%2)==0;

  PRAGMA incremental_vacuum;

  DROP INDEX abc_i;

  PRAGMA incremental_vacuum;

  COMMIT;

}

do_ioerr_test incrvacuum-ioerr-3 -start 1 -cksum 1 -tclprep {

  db eval {

    PRAGMA auto_vacuum = 'incremental';

    BEGIN;

    CREATE TABLE a(i integer, b blob);

    INSERT INTO a VALUES(1, randstr(1500,1500));

    INSERT INTO a VALUES(2, randstr(1500,1500));

  }

  db eval COMMIT

  db eval {DELETE FROM a WHERE oid}

} -sqlbody {

  PRAGMA incremental_vacuum(5);

} -cleanup {

  sqlite3 db test.db

  integrity_check incrvacuum-ioerr-2.$n.integritycheck

  db close

}

ifcapable shared_cache {

  catch { db close }

  file delete -force test.db

  set ::enable_shared_cache [sqlite3_enable_shared_cache 1]

  # Create two connections to a single shared-cache:

  #

  sqlite3 db1 test.db

  sqlite3 db2 test.db

  # Create a database with around 20 free pages.

  #

  do_test incrvacuum-ioerr-4.0 {

    execsql {

      PRAGMA page_size = 1024;

      PRAGMA locking_mode = exclusive;

      PRAGMA auto_vacuum = 'incremental';

      BEGIN;

      CREATE TABLE a(i integer, b blob);

    } db1

    for {set ii 0} {$ii < 20} {incr ii} {

      execsql { INSERT INTO a VALUES($ii, randstr(800,1500)); } db1

    }

    execsql COMMIT db1

    execsql {DELETE FROM a WHERE oid} db1

  } {}

  set ::rc 1

  for {set iTest 1} {$::rc && $iTest<2000} {incr iTest} {

    # Figure out how big the database is and how many free pages it

    # has before running incremental-vacuum.

    #

    set nPage [expr {[file size test.db]/1024}]

    set nFree [execsql {pragma freelist_count} db1]

    # Now run incremental-vacuum to vacuum 5 pages from the db file.

    # The iTest'th I/O call is set to fail.

    #

    set ::sqlite_io_error_pending $iTest

    set ::sqlite_io_error_persist 1

    do_test incrvacuum-ioerr-4.$iTest.1 {

      set ::rc [catch {execsql {pragma incremental_vacuum(5)} db1} msg]

      expr {$::rc==0 || $msg eq "disk I/O error"}

    } {1}

    set ::sqlite_io_error_pending 0

    set ::sqlite_io_error_persist 0

    set ::sqlite_io_error_hit 0

    set ::sqlite_io_error_hardhit 0

    set nFree2 [execsql {pragma freelist_count} db1]

    set nPage2 [expr {[file size test.db]/1024}]

    do_test incrvacuum-ioerr-4.$iTest.2 {

      set shrink [expr {$nPage-$nPage2}]

      expr {$shrink==0 || $shrink==5}

    } {1}

    do_test incrvacuum-ioerr-4.$iTest.3 {

      expr {$nPage - $nPage2}

    } [expr {$nFree - $nFree2}]

  }

  # Close the two database connections and restore the default

  # shared-cache mode setting.

  #

  db1 close

  db2 close

  sqlite3_enable_shared_cache $::enable_shared_cache

}

finish_test