github.com/jdgcs/sqlite3@v1.12.1-0.20210908114423-bc5f96e4dd51/testdata/overlay/crash5.test (about)

     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 !crashtest||!memorymanage {
    24     puts "Skipping crash5 tests: not compiled with -DSQLITE_ENABLE_MEMORY_MANAGEMENT..."
    25     finish_test
    26     return
    27  }
    28  
    29  db close
    30  
    31  for {set ii 0} {$ii < 10} {incr ii} {
    32    for {set jj 1} {$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          proc get_pwd {} {
    51            if {$::tcl_platform(platform) eq "windows"} {
    52              if {[info exists ::env(ComSpec)]} {
    53                set comSpec $::env(ComSpec)
    54              } else {
    55                # NOTE: Hard-code the typical default value.
    56                set comSpec {C:\Windows\system32\cmd.exe}
    57              }
    58              return [string map [list \\ /] \
    59                [string trim [exec -- $comSpec /c echo cd ]]]
    60            } else {
    61              return [pwd]
    62            }
    63          }
    64          sqlite3_crashparams 0 [file join [get_pwd] test.db-journal]
    65        
    66          # Begin a transaction and evaluate a "CREATE INDEX" statement
    67          # with the iFail'th malloc() set to fail. This operation will
    68          # have to move the current contents of page 4 (the overflow
    69          # page) to make room for the new root page. The bug is that
    70          # if malloc() fails at a particular point in sqlite3PagerMovepage(),
    71          # sqlite mistakenly thinks that the page being moved (page 4) has 
    72          # been safely synced into the journal. If the page is written
    73          # to later in the transaction, it may be written out to the database
    74          # before the relevant part of the journal has been synced.
    75          #
    76          db eval BEGIN
    77          sqlite3_memdebug_fail $iFail -repeat 0
    78          set rc [catch {db eval { CREATE UNIQUE INDEX i1 ON t1(a); }} msg]
    79  #       puts "$msg ac=[sqlite3_get_autocommit db] iFail=$iFail"
    80  #       puts "fail=[sqlite3_memdebug_fail -1]"
    81        
    82          if {$rc} {
    83            # If the transaction is still active (it may not be if the malloc()
    84            # failure occurred in the OS layer), write to the database. Make sure
    85            # page 4 is among those written.
    86            #
    87            if {![sqlite3_get_autocommit db]} {
    88              db eval {
    89                DELETE FROM t1;  -- This will put page 4 on the free list.
    90                INSERT INTO t1 VALUES('111111111', '2222222222', '33333333');
    91                INSERT INTO t1 SELECT * FROM t1;                     -- 2
    92                INSERT INTO t1 SELECT * FROM t1;                     -- 4
    93                INSERT INTO t1 SELECT * FROM t1;                     -- 8
    94                INSERT INTO t1 SELECT * FROM t1;                     -- 16
    95                INSERT INTO t1 SELECT * FROM t1;                     -- 32
    96                INSERT INTO t1 SELECT * FROM t1 WHERE rowid%2;       -- 48
    97              }
    98            }
    99            
   100            # If the right malloc() failed during the 'CREATE INDEX' above and
   101            # the transaction was not rolled back, then the sqlite cache now 
   102            # has a dirty page 4 that it incorrectly believes is already safely
   103            # in the synced part of the journal file. When 
   104            # sqlite3_release_memory() is called sqlite tries to free memory
   105            # by writing page 4 out to the db file. If it crashes later on,
   106            # before syncing the journal... Corruption!
   107            #
   108            sqlite3_crashparams 1 [file join [get_pwd] test.db-journal]
   109            sqlite3_release_memory 8092
   110          }
   111        }]] {}
   112        expr 1
   113      } {1}
   114    
   115      sqlite3 db test.db
   116      do_test crash5-$ii.$jj.2 {
   117        db eval {pragma integrity_check}
   118      } {ok}
   119      do_test crash5-$ii.$jj.3 {
   120        db eval {SELECT * FROM t1}
   121      } [list 1111111111 2222222222 $::c]
   122      db close
   123    }
   124  }
   125  
   126  
   127  finish_test