sl@0: # 2008 January 8
sl@0: #
sl@0: # The author disclaims copyright to this source code.  In place of
sl@0: # a legal notice, here is a blessing:
sl@0: #
sl@0: #    May you do good and not evil.
sl@0: #    May you find forgiveness for yourself and forgive others.
sl@0: #    May you share freely, never taking more than you give.
sl@0: #
sl@0: #***********************************************************************
sl@0: #
sl@0: # This file contains additional tests to verify that SQLite database
sl@0: # file survive a power loss or OS crash.
sl@0: #
sl@0: # $Id: crash4.test,v 1.3 2008/01/16 17:46:38 drh Exp $
sl@0: 
sl@0: set testdir [file dirname $argv0]
sl@0: source $testdir/tester.tcl
sl@0: 
sl@0: ifcapable !crashtest {
sl@0:   finish_test
sl@0:   return
sl@0: }
sl@0: 
sl@0: 
sl@0: # A sequence of SQL commands:
sl@0: #
sl@0: set sql_cmd_list {
sl@0:   {CREATE TABLE a(id INTEGER, name CHAR(50))}
sl@0:   {INSERT INTO a(id,name) VALUES(1,'one')}
sl@0:   {INSERT INTO a(id,name) VALUES(2,'two')}
sl@0:   {INSERT INTO a(id,name) VALUES(3,'three')}
sl@0:   {INSERT INTO a(id,name) VALUES(4,'four')}
sl@0:   {INSERT INTO a(id,name) VALUES(5,'five')}
sl@0:   {INSERT INTO a(id,name) VALUES(6,'six')}
sl@0:   {INSERT INTO a(id,name) VALUES(7,'seven')}
sl@0:   {INSERT INTO a(id,name) VALUES(8,'eight')}
sl@0:   {INSERT INTO a(id,name) VALUES(9,'nine')}
sl@0:   {INSERT INTO a(id,name) VALUES(10,'ten')}
sl@0:   {UPDATE A SET name='new text for row 3' WHERE id=3}
sl@0: }
sl@0: 
sl@0: # Assume that a database is created by evaluating the SQL statements
sl@0: # in $sql_cmd_list.  Compute a set of checksums that capture the state
sl@0: # of the database after each statement.  Also include a checksum for
sl@0: # the state of the database prior to any of these statements.
sl@0: #
sl@0: set crash4_cksum_set {}
sl@0: lappend crash4_cksum_set [allcksum db]
sl@0: foreach cmd $sql_cmd_list {
sl@0:   db eval $cmd
sl@0:   lappend crash4_cksum_set [allcksum db]
sl@0: }
sl@0: 
sl@0: # Run the sequence of SQL statements shown above repeatedly.
sl@0: # Close and reopen the database right before the UPDATE statement.
sl@0: # On each repetition, introduce database corruption typical of
sl@0: # what might be seen in a power loss or OS crash.  
sl@0: #
sl@0: # Slowly increase the delay before the crash, repeating the test
sl@0: # over and over.  Stop testing when the entire sequence of SQL
sl@0: # statements runs to completing without hitting the crash.
sl@0: #
sl@0: for {set cnt 1; set fin 0} {!$fin} {incr cnt} {
sl@0:   db close
sl@0:   file delete -force test.db test.db-journal
sl@0:   do_test crash4-1.$cnt.1 {
sl@0:     set seed [expr {int(abs(rand()*10000))}]
sl@0:     set delay [expr {int($cnt/50)+1}]
sl@0:     set file [expr {($cnt&1)?"test.db":"test.db-journal"}]
sl@0:     set c [crashsql -delay $delay -file $file -seed $seed -tclbody {
sl@0:       db eval {CREATE TABLE a(id INTEGER, name CHAR(50))}
sl@0:       db eval {INSERT INTO a(id,name) VALUES(1,'one')}
sl@0:       db eval {INSERT INTO a(id,name) VALUES(2,'two')}
sl@0:       db eval {INSERT INTO a(id,name) VALUES(3,'three')}
sl@0:       db eval {INSERT INTO a(id,name) VALUES(4,'four')}
sl@0:       db eval {INSERT INTO a(id,name) VALUES(5,'five')}
sl@0:       db eval {INSERT INTO a(id,name) VALUES(6,'six')}
sl@0:       db eval {INSERT INTO a(id,name) VALUES(7,'seven')}
sl@0:       db eval {INSERT INTO a(id,name) VALUES(8,'eight')}
sl@0:       db eval {INSERT INTO a(id,name) VALUES(9,'nine')}
sl@0:       db eval {INSERT INTO a(id,name) VALUES(10,'ten')}
sl@0:       db close
sl@0:       sqlite3 db test.db
sl@0:       db eval {UPDATE A SET name='new text for row 3' WHERE id=3}
sl@0:       db close
sl@0:     } {}]
sl@0:     if {$c==[list 0 {}]} {
sl@0:       set ::fin 1
sl@0:       set c [list 1 {child process exited abnormally}]
sl@0:     }
sl@0:     set c
sl@0:   } {1 {child process exited abnormally}}
sl@0:   sqlite3 db test.db
sl@0:   integrity_check crash4-1.$cnt.2
sl@0:   do_test crash4-1.$cnt.3 {
sl@0:     set x [lsearch $::crash4_cksum_set [allcksum db]]
sl@0:     expr {$x>=0}
sl@0:   } {1}
sl@0: }
sl@0: 
sl@0: finish_test