test/crash5.test

   1
   2 # 2007 Aug 13
   3 #
   4 # The author disclaims copyright to this source code.  In place of
   5 # a legal notice, here is a blessing:
   6 #
   7 #    May you do good and not evil.
   8 #    May you find forgiveness for yourself and forgive others.
   9 #    May you share freely, never taking more than you give.
  10 #
  11 #***********************************************************************
  12 #
  13 # This file tests aspects of recovery from a malloc() failure
  14 # in a CREATE INDEX statement.
  15 #
  16 # $Id: crash5.test,v 1.3 2008/07/12 14:52:20 drh Exp $
  17
  18 set testdir [file dirname $argv0]
  19 source $testdir/tester.tcl
  20
  21 # Only run these tests if memory debugging is turned on.
  22 #
  23 ifcapable !memdebug||!crashtest||!memorymanage {
  24    puts "Skipping crash5 tests: not compiled with -DSQLITE_MEMDEBUG..."
  25    finish_test
  26    return
  27 }
  28
  29 db close
  30
  31 for {set ii 0} {$ii < 10} {incr ii} {
  32   for {set jj 50} {$jj < 100} {incr jj} {
  33
  34     # Set up the database so that it is an auto-vacuum database
  35     # containing a single table (root page 3) with a single row.
  36     # The row has an overflow page (page 4).
  37     forcedelete test.db test.db-journal
  38     sqlite3 db test.db
  39     set c [string repeat 3 1500]
  40     db eval {
  41       pragma auto_vacuum = 1;
  42       CREATE TABLE t1(a, b, c);
  43       INSERT INTO t1 VALUES('1111111111', '2222222222', $c);
  44     }
  45     db close
  46
  47     do_test crash5-$ii.$jj.1 {
  48       crashsql -delay 1 -file test.db-journal -seed $ii -tclbody [join [list \
  49         [list set iFail $jj] {
  50         sqlite3_crashparams 0 [file join [get_pwd] test.db-journal]
  51
  52         # Begin a transaction and evaluate a "CREATE INDEX" statement
  53         # with the iFail'th malloc() set to fail. This operation will
  54         # have to move the current contents of page 4 (the overflow
  55         # page) to make room for the new root page. The bug is that
  56         # if malloc() fails at a particular point in sqlite3PagerMovepage(),
  57         # sqlite mistakenly thinks that the page being moved (page 4) has
  58         # been safely synced into the journal. If the page is written
  59         # to later in the transaction, it may be written out to the database
  60         # before the relevant part of the journal has been synced.
  61         #
  62         db eval BEGIN
  63         sqlite3_memdebug_fail $iFail -repeat 0
  64         catch {db eval { CREATE UNIQUE INDEX i1 ON t1(a); }} msg
  65         # puts "$n $msg ac=[sqlite3_get_autocommit db]"
  66
  67         # If the transaction is still active (it may not be if the malloc()
  68         # failure occurred in the OS layer), write to the database. Make sure
  69         # page 4 is among those written.
  70         #
  71         if {![sqlite3_get_autocommit db]} {
  72           db eval {
  73             DELETE FROM t1;  -- This will put page 4 on the free list.
  74             INSERT INTO t1 VALUES('111111111', '2222222222', '33333333');
  75             INSERT INTO t1 SELECT * FROM t1;                     -- 2
  76             INSERT INTO t1 SELECT * FROM t1;                     -- 4
  77             INSERT INTO t1 SELECT * FROM t1;                     -- 8
  78             INSERT INTO t1 SELECT * FROM t1;                     -- 16
  79             INSERT INTO t1 SELECT * FROM t1;                     -- 32
  80             INSERT INTO t1 SELECT * FROM t1 WHERE rowid%2;       -- 48
  81           }
  82         }
  83
  84         # If the right malloc() failed during the 'CREATE INDEX' above and
  85         # the transaction was not rolled back, then the sqlite cache now
  86         # has a dirty page 4 that it incorrectly believes is already safely
  87         # in the synced part of the journal file. When
  88         # sqlite3_release_memory() is called sqlite tries to free memory
  89         # by writing page 4 out to the db file. If it crashes later on,
  90         # before syncing the journal... Corruption!
  91         #
  92         sqlite3_crashparams 1 [file join [get_pwd] test.db-journal]
  93         sqlite3_release_memory 8092
  94       }]] {}
  95       expr 1
  96     } {1}
  97
  98     sqlite3 db test.db
  99     do_test crash5-$ii.$jj.2 {
 100       db eval {pragma integrity_check}
 101     } {ok}
 102     do_test crash5-$ii.$jj.3 {
 103       db eval {SELECT * FROM t1}
 104     } [list 1111111111 2222222222 $::c]
 105     db close
 106   }
 107 }
 108
 109
 110 finish_test