# 2008 January 8

 #

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

 # a legal notice, here is a blessing:

 #

 #    May you do good and not evil.

 #    May you find forgiveness for yourself and forgive others.

 #    May you share freely, never taking more than you give.

 #

 #***********************************************************************

 #

 # This file contains additional tests to verify that SQLite database

 # file survive a power loss or OS crash.

 #

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

 set testdir [file dirname $argv0]

 source $testdir/tester.tcl

 ifcapable !crashtest {

   finish_test

   return

 }

 # A sequence of SQL commands:

 #

 set sql_cmd_list {

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

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

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

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

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

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

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

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

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

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

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

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

 }

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

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

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

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

 #

 set crash4_cksum_set {}

 lappend crash4_cksum_set [allcksum db]

 foreach cmd $sql_cmd_list {

   db eval $cmd

   lappend crash4_cksum_set [allcksum db]

 }

 # Run the sequence of SQL statements shown above repeatedly.

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

 # On each repetition, introduce database corruption typical of

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

 #

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

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

 # statements runs to completing without hitting the crash.

 #

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

   db close

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

   do_test crash4-1.$cnt.1 {

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

       db close

       sqlite3 db test.db

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

       db close

     } {}]

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

       set ::fin 1

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

     }

     set c

   } {1 {child process exited abnormally}}

   sqlite3 db test.db

   integrity_check crash4-1.$cnt.2

   do_test crash4-1.$cnt.3 {

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

     expr {$x>=0}

   } {1}

 }

 finish_test