Return to crash5.test CVS log

Up to [ELWIX - Embedded LightWeight unIX -] / embedaddon / sqlite3 / test

sqlite3

    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.1.1.1 2012/02/21 17:04:16 misho 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 [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 occured 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 [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