1# 2011 December 16 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 test simulates an application crash immediately following a 13# system call to truncate a file. Specifically, the system call that 14# truncates the WAL file if "PRAGMA journal_size_limit" is configured. 15# 16 17set testdir [file dirname $argv0] 18source $testdir/tester.tcl 19 20ifcapable !wal {finish_test ; return } 21set testprefix walcrash3 22 23db close 24testvfs tvfs 25tvfs filter {xTruncate xWrite} 26tvfs script tvfs_callback 27proc tvfs_callback {args} {} 28 29sqlite3 db test.db -vfs tvfs 30do_execsql_test 1.1 { 31 PRAGMA page_size = 1024; 32 PRAGMA journal_mode = WAL; 33 PRAGMA wal_autocheckpoint = 128; 34 PRAGMA journal_size_limit = 16384; 35 36 CREATE TABLE t1(a BLOB, b BLOB, UNIQUE(a, b)); 37 INSERT INTO t1 VALUES(randomblob(10), randomblob(1000)); 38} {wal 128 16384} 39 40proc tvfs_callback {method file arglist} { 41 if {$::state==1} { 42 foreach f [glob -nocomplain xx_test.*] { forcedelete $f } 43 foreach f [glob -nocomplain test.*] { forcecopy $f "xx_$f" } 44 set ::state 2 45 } 46 if {$::state==0 && $method=="xTruncate" && [file tail $file]=="test.db-wal"} { 47 set ::state 1 48 } 49} 50 51for {set i 2} {$i<1000} {incr i} { 52 53 # If the WAL file is truncated within the following, within the following 54 # xWrite call the [tvfs_callback] makes a copy of the database and WAL 55 # files set sets $::state to 2. So that the copied files are in the same 56 # state as the real database and WAL files would be if an application crash 57 # occurred immediately following the xTruncate(). 58 # 59 set ::state 0 60 do_execsql_test 1.$i.1 { 61 INSERT INTO t1 VALUES(randomblob(10), randomblob(1000)); 62 } 63 64 # If a copy was made, open it and run the integrity-check. 65 # 66 if {$::state==2} { 67 sqlite3 db2 xx_test.db 68 do_test 1.$i.2 { execsql { PRAGMA integrity_check } db2 } "ok" 69 do_test 1.$i.3 { execsql { SELECT count(*) FROM t1 } db2 } [expr $i-1] 70 db2 close 71 } 72} 73catch { db close } 74tvfs delete 75 76#-------------------------------------------------------------------------- 77# 78catch { db close } 79forcedelete test.db 80 81do_test 2.1 { 82 sqlite3 db test.db 83 execsql { 84 PRAGMA page_size = 512; 85 PRAGMA journal_mode = WAL; 86 PRAGMA wal_autocheckpoint = 128; 87 CREATE TABLE t1(a PRIMARY KEY, b); 88 INSERT INTO t1 VALUES(randomblob(25), randomblob(200)); 89 } 90 91 for {set i 0} {$i < 1500} {incr i} { 92 execsql { INSERT INTO t1 VALUES(randomblob(25), randomblob(200)) } 93 } 94 95 db_save 96 db close 97} {} 98 99set nInitialErr [set_test_counter errors] 100for {set i 2} {$i<10000 && [set_test_counter errors]==$nInitialErr} {incr i} { 101 102 do_test 2.$i.1 { 103 catch { db close } 104 db_restore 105 crashsql -delay 2 -file test.db-wal -seed $i { 106 SELECT * FROM sqlite_master; 107 PRAGMA synchronous = full; 108 PRAGMA wal_checkpoint; 109 BEGIN; 110 INSERT INTO t1 VALUES(randomblob(26), randomblob(200)); 111 INSERT INTO t1 VALUES(randomblob(26), randomblob(200)); 112 INSERT INTO t1 VALUES(randomblob(26), randomblob(200)); 113 INSERT INTO t1 VALUES(randomblob(26), randomblob(200)); 114 INSERT INTO t1 VALUES(randomblob(26), randomblob(200)); 115 INSERT INTO t1 VALUES(randomblob(26), randomblob(200)); 116 INSERT INTO t1 VALUES(randomblob(26), randomblob(200)); 117 INSERT INTO t1 VALUES(randomblob(26), randomblob(200)); 118 COMMIT; 119 } 120 } {1 {child process exited abnormally}} 121 122 do_test 2.$i.2 { 123 sqlite3 db test.db 124 execsql { PRAGMA integrity_check } 125 } {ok} 126} 127 128finish_test 129