Return to crash5.test CVS log

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

Annotation of embedaddon/sqlite3/test/crash5.test, revision 1.1.1.1

1.1       misho       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 [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