OLD | NEW |
(Empty) | |
| 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 |
| 17 set testdir [file dirname $argv0] |
| 18 source $testdir/tester.tcl |
| 19 |
| 20 ifcapable !wal {finish_test ; return } |
| 21 set testprefix walcrash3 |
| 22 |
| 23 db close |
| 24 testvfs tvfs |
| 25 tvfs filter {xTruncate xWrite} |
| 26 tvfs script tvfs_callback |
| 27 proc tvfs_callback {args} {} |
| 28 |
| 29 sqlite3 db test.db -vfs tvfs |
| 30 do_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 |
| 40 proc 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 |
| 51 for {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 } |
| 73 catch { db close } |
| 74 tvfs delete |
| 75 |
| 76 #-------------------------------------------------------------------------- |
| 77 # |
| 78 catch { db close } |
| 79 forcedelete test.db |
| 80 |
| 81 do_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 |
| 99 set nInitialErr [set_test_counter errors] |
| 100 for {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 |
| 128 finish_test |
OLD | NEW |