# 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