AryaWu/sqlite

1# 2007 August 232#3# The author disclaims copyright to this source code.  In place of4# a legal notice, here is a blessing:5#6#    May you do good and not evil.7#    May you find forgiveness for yourself and forgive others.8#    May you share freely, never taking more than you give.9#10#***********************************************************************11#12# This file contains tests that verify that SQLite can correctly rollback13# databases after crashes when using the special IO modes triggered 14# by device IOCAP flags.15#16# $Id: crash3.test,v 1.4 2008/07/12 14:52:20 drh Exp $17 18set testdir [file dirname $argv0]19source $testdir/tester.tcl20 21ifcapable !crashtest {22  finish_test23  return24}25 26proc do_test2 {name tcl res1 res2} {27  set script [subst -nocommands {28    do_test $name {29      set res1 {$res1}30      set res2 {$res2}31      set res [eval {$tcl}]32      if {[set res] eq [set res1] || [set res] eq [set res2]} {33        set res "{[set res1]} or {[set res2]}"34      }35      set res36    } {{$res1} or {$res2}}37  }]38  uplevel $script39}40 41# This block tests crash-recovery when the IOCAP_ATOMIC flags is set.42#43# Each iteration of the following loop sets up the database to contain44# the following schema and data:45#46#    CREATE TABLE abc(a, b, c);47#    INSERT INTO abc VALUES(1, 2, 3);48#49# Then execute the SQL statement, scheduling a crash for part-way through50# the first sync() of either the database file or the journal file (often51# the journal file is not required - meaning no crash occurs).52#53# After the crash (or absence of a crash), open the database and 54# verify that:55#56#   * The integrity check passes, and57#   * The contents of table abc is either {1 2 3} or the value specified58#     to the right of the SQL statement below.59#60# The procedure is repeated 10 times for each SQL statement. Five times61# with the crash scheduled for midway through the first journal sync (if 62# any), and five times with the crash midway through the database sync.63#64set tn 165foreach {sql res2} [list \66  {INSERT INTO abc VALUES(4, 5, 6)}                    {1 2 3 4 5 6} \67  {DELETE FROM abc}                                    {}    \68  {INSERT INTO abc SELECT * FROM abc}                  {1 2 3 1 2 3} \69  {UPDATE abc SET a = 2}                               {2 2 3}       \70  {INSERT INTO abc VALUES(4, 5, randstr(1000,1000))}   {n/a} \71  {CREATE TABLE def(d, e, f)}                          {n/a} \72] {73  for {set ii 0} {$ii < 10} {incr ii} {74 75    db close76    forcedelete test.db test.db-journal77    sqlite3 db test.db78    do_test crash3-1.$tn.1 {79      execsql {80        PRAGMA page_size = 1024;81        BEGIN;82        CREATE TABLE abc(a, b, c);83        INSERT INTO abc VALUES(1, 2, 3);84        COMMIT;85      }86    } {}87    db close88  89    set crashfile test.db90    if {($ii%2)==0} { append crashfile -journal }91    set rand "SELECT randstr($tn,$tn);"92    do_test crash3-1.$tn.2 [subst {93      crashsql -file $crashfile -char atomic {$rand $sql}94      sqlite3 db test.db95      execsql { PRAGMA integrity_check; }96    }] {ok}97  98    do_test2 crash3-1.$tn.3 {99      execsql { SELECT * FROM abc }100    } {1 2 3} $res2101 102    incr tn103  }104}105 106# This block tests both the IOCAP_SEQUENTIAL and IOCAP_SAFE_APPEND flags.107#108db close109forcedelete test.db test.db-journal110sqlite3 db test.db111do_test crash3-2.0 {112  execsql {113    BEGIN;114    CREATE TABLE abc(a PRIMARY KEY, b, c);115    CREATE TABLE def(d PRIMARY KEY, e, f);116    PRAGMA default_cache_size = 10;117    INSERT INTO abc VALUES(randstr(10,1000),randstr(10,1000),randstr(10,1000));118    INSERT INTO abc 119      SELECT randstr(10,1000),randstr(10,1000),randstr(10,1000) FROM abc;120    INSERT INTO abc 121      SELECT randstr(10,1000),randstr(10,1000),randstr(10,1000) FROM abc;122    INSERT INTO abc 123      SELECT randstr(10,1000),randstr(10,1000),randstr(10,1000) FROM abc;124    INSERT INTO abc 125      SELECT randstr(10,1000),randstr(10,1000),randstr(10,1000) FROM abc;126    INSERT INTO abc 127      SELECT randstr(10,1000),randstr(10,1000),randstr(10,1000) FROM abc;128    INSERT INTO abc 129      SELECT randstr(10,1000),randstr(10,1000),randstr(10,1000) FROM abc;130    COMMIT;131  }132} {}133 134set tn 1135foreach {::crashfile ::delay ::char} {136  test.db         1 sequential137  test.db         1 safe_append138  test.db-journal 1 sequential139  test.db-journal 1 safe_append140  test.db-journal 2 safe_append141  test.db-journal 2 sequential142  test.db-journal 3 sequential143  test.db-journal 3 safe_append144} {145  for {set ii 0} {$ii < 100} {incr ii} {146    set ::SQL [subst {147      SELECT randstr($ii,$ii+10);148      BEGIN;149      DELETE FROM abc WHERE random()%5;150      INSERT INTO abc 151        SELECT randstr(10,1000),randstr(10,1000),randstr(10,1000) 152        FROM abc153        WHERE (random()%5)==0;154      DELETE FROM def WHERE random()%5;155      INSERT INTO def 156        SELECT randstr(10,1000),randstr(10,1000),randstr(10,1000) 157        FROM def158        WHERE (random()%5)==0;159      COMMIT;160    }]161 162    do_test crash3-2.$tn.$ii {163      crashsql -file $::crashfile -delay $::delay -char $::char $::SQL164      db close165      sqlite3 db test.db166      execsql {PRAGMA integrity_check}167    } {ok}168  }169  incr tn170}171 172# The following block tests an interaction between IOCAP_ATOMIC and173# IOCAP_SEQUENTIAL. At one point, if both flags were set, small174# journal files that contained only a single page, but were required 175# for some other reason (i.e. nTrunk) were not being written to176# disk.177#178for {set ii 0} {$ii < 10} {incr ii} {179  db close180  forcedelete test.db test.db-journal181  crashsql -file test.db -char {sequential atomic} {182    CREATE TABLE abc(a, b, c);183  }184  sqlite3 db test.db185  do_test crash3-3.$ii {186    execsql {PRAGMA integrity_check}187  } {ok}188}189 190finish_test191