1 # 2008 January 8

     2 #

     3 # The author disclaims copyright to this source code.  In place of

     4 # 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 additional tests to verify that SQLite database

    13 # file survive a power loss or OS crash.

    14 #

    15 # $Id: crash4.test,v 1.3 2008/01/16 17:46:38 drh Exp $

    16 

    17 set testdir [file dirname $argv0]

    18 source $testdir/tester.tcl

    19 

    20 ifcapable !crashtest {

    21   finish_test

    22   return

    23 }

    24 

    25 

    26 # A sequence of SQL commands:

    27 #

    28 set sql_cmd_list {

    29   {CREATE TABLE a(id INTEGER, name CHAR(50))}

    30   {INSERT INTO a(id,name) VALUES(1,'one')}

    31   {INSERT INTO a(id,name) VALUES(2,'two')}

    32   {INSERT INTO a(id,name) VALUES(3,'three')}

    33   {INSERT INTO a(id,name) VALUES(4,'four')}

    34   {INSERT INTO a(id,name) VALUES(5,'five')}

    35   {INSERT INTO a(id,name) VALUES(6,'six')}

    36   {INSERT INTO a(id,name) VALUES(7,'seven')}

    37   {INSERT INTO a(id,name) VALUES(8,'eight')}

    38   {INSERT INTO a(id,name) VALUES(9,'nine')}

    39   {INSERT INTO a(id,name) VALUES(10,'ten')}

    40   {UPDATE A SET name='new text for row 3' WHERE id=3}

    41 }

    42 

    43 # Assume that a database is created by evaluating the SQL statements

    44 # in $sql_cmd_list.  Compute a set of checksums that capture the state

    45 # of the database after each statement.  Also include a checksum for

    46 # the state of the database prior to any of these statements.

    47 #

    48 set crash4_cksum_set {}

    49 lappend crash4_cksum_set [allcksum db]

    50 foreach cmd $sql_cmd_list {

    51   db eval $cmd

    52   lappend crash4_cksum_set [allcksum db]

    53 }

    54 

    55 # Run the sequence of SQL statements shown above repeatedly.

    56 # Close and reopen the database right before the UPDATE statement.

    57 # On each repetition, introduce database corruption typical of

    58 # what might be seen in a power loss or OS crash.  

    59 #

    60 # Slowly increase the delay before the crash, repeating the test

    61 # over and over.  Stop testing when the entire sequence of SQL

    62 # statements runs to completing without hitting the crash.

    63 #

    64 for {set cnt 1; set fin 0} {!$fin} {incr cnt} {

    65   db close

    66   file delete -force test.db test.db-journal

    67   do_test crash4-1.$cnt.1 {

    68     set seed [expr {int(abs(rand()*10000))}]

    69     set delay [expr {int($cnt/50)+1}]

    70     set file [expr {($cnt&1)?"test.db":"test.db-journal"}]

    71     set c [crashsql -delay $delay -file $file -seed $seed -tclbody {

    72       db eval {CREATE TABLE a(id INTEGER, name CHAR(50))}

    73       db eval {INSERT INTO a(id,name) VALUES(1,'one')}

    74       db eval {INSERT INTO a(id,name) VALUES(2,'two')}

    75       db eval {INSERT INTO a(id,name) VALUES(3,'three')}

    76       db eval {INSERT INTO a(id,name) VALUES(4,'four')}

    77       db eval {INSERT INTO a(id,name) VALUES(5,'five')}

    78       db eval {INSERT INTO a(id,name) VALUES(6,'six')}

    79       db eval {INSERT INTO a(id,name) VALUES(7,'seven')}

    80       db eval {INSERT INTO a(id,name) VALUES(8,'eight')}

    81       db eval {INSERT INTO a(id,name) VALUES(9,'nine')}

    82       db eval {INSERT INTO a(id,name) VALUES(10,'ten')}

    83       db close

    84       sqlite3 db test.db

    85       db eval {UPDATE A SET name='new text for row 3' WHERE id=3}

    86       db close

    87     } {}]

    88     if {$c==[list 0 {}]} {

    89       set ::fin 1

    90       set c [list 1 {child process exited abnormally}]

    91     }

    92     set c

    93   } {1 {child process exited abnormally}}

    94   sqlite3 db test.db

    95   integrity_check crash4-1.$cnt.2

    96   do_test crash4-1.$cnt.3 {

    97     set x [lsearch $::crash4_cksum_set [allcksum db]]

    98     expr {$x>=0}

    99   } {1}

   100 }

   101 

   102 finish_test