1# 2008 December 15 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# $Id: savepoint4.test,v 1.5 2009/04/23 18:42:05 shane Exp $ 13 14set testdir [file dirname $argv0] 15source $testdir/tester.tcl 16 17ifcapable !crashtest { 18 finish_test 19 return 20} 21 22proc signature {} { 23 return [db eval {SELECT count(*), md5sum(x) FROM t1}] 24} 25 26set ITERATIONS 25 ;# Number of iterations for savepoint4-1 27set ITERATIONS2 13 ;# Number of iterations for savepoint4-2 28expr srand(0) 29 30do_test savepoint4-1 { 31 execsql { 32 PRAGMA cache_size=10; 33 BEGIN; 34 CREATE TABLE t1(x TEXT); 35 INSERT INTO t1 VALUES(randstr(10,400)); 36 INSERT INTO t1 VALUES(randstr(10,400)); 37 INSERT INTO t1 SELECT randstr(10,400) FROM t1; 38 INSERT INTO t1 SELECT randstr(10,400) FROM t1; 39 INSERT INTO t1 SELECT randstr(10,400) FROM t1; 40 INSERT INTO t1 SELECT randstr(10,400) FROM t1; 41 INSERT INTO t1 SELECT randstr(10,400) FROM t1; 42 INSERT INTO t1 SELECT randstr(10,400) FROM t1; 43 INSERT INTO t1 SELECT randstr(10,400) FROM t1; 44 INSERT INTO t1 SELECT randstr(10,400) FROM t1; 45 INSERT INTO t1 SELECT randstr(10,400) FROM t1; 46 COMMIT; 47 SELECT count(*) FROM t1; 48 } 49} {1024} 50 51 52unset -nocomplain ::sig 53 54for {set ii 1} {$ii<=$ITERATIONS} {incr ii} { 55 set ::sig [signature] 56 57 for {set iDelay 1 ; set crashed 1} {$crashed} {incr iDelay} { 58 59 do_test savepoint4-1.$ii.1.$iDelay { 60 set ret [crashsql -delay $iDelay -file test.db-journal { 61 PRAGMA cache_size = 20; 62 SAVEPOINT one; 63 DELETE FROM t1 WHERE random()%2==0; 64 SAVEPOINT two; 65 INSERT INTO t1 SELECT randstr(10,10)||x FROM t1; 66 ROLLBACK TO two; 67 UPDATE t1 SET x = randstr(10, 400) WHERE random()%10; 68 RELEASE two; 69 ROLLBACK TO one; 70 RELEASE one; 71 }] 72 signature 73 } $::sig 74 75 set crashed [lindex $ret 0] 76 integrity_check savepoint4-1.$ii.1.$iDelay.integrity 77 } 78 79 do_test savepoint4-1.$ii.2 { 80 execsql { 81 DELETE FROM t1 WHERE random()%10==0; 82 INSERT INTO t1 SELECT randstr(10,10)||x FROM t1 WHERE random()%9==0; 83 } 84 } {} 85} 86 87do_test savepoint4-2 { 88 execsql { 89 PRAGMA cache_size=10; 90 DROP TABLE IF EXISTS t1; 91 BEGIN; 92 CREATE TABLE t1(x TEXT); 93 CREATE INDEX i1 ON t1(x); 94 INSERT INTO t1 VALUES(randstr(10,400)); 95 INSERT INTO t1 VALUES(randstr(10,400)); 96 INSERT INTO t1 SELECT randstr(10,400) FROM t1; 97 INSERT INTO t1 SELECT randstr(10,400) FROM t1; 98 INSERT INTO t1 SELECT randstr(10,400) FROM t1; 99 INSERT INTO t1 SELECT randstr(10,400) FROM t1; 100 INSERT INTO t1 SELECT randstr(10,400) FROM t1; 101 INSERT INTO t1 SELECT randstr(10,400) FROM t1; 102 INSERT INTO t1 SELECT randstr(10,400) FROM t1; 103 COMMIT; 104 SELECT count(*) FROM t1; 105 } 106} {256} 107 108for {set ii 1} {$ii<=$ITERATIONS2} {incr ii} { 109 set ::sig [signature] 110 set file test.db-journal 111 112 for {set iDelay 1 ; set crashed 1} {$crashed} {incr iDelay} { 113 114 do_test savepoint4-2.$ii.1.$iDelay { 115 116 set ret [crashsql -delay $iDelay -file $file { 117 SAVEPOINT one; 118 INSERT INTO t1 SELECT * FROM t1 WHERE rowid<50; 119 ROLLBACK TO one; 120 INSERT INTO t1 SELECT * FROM t1 WHERE rowid<50; 121 SAVEPOINT two; 122 DELETE FROM t1 WHERE (random()%10)==0; 123 SAVEPOINT three; 124 DELETE FROM t1 WHERE (random()%10)==0; 125 SAVEPOINT four; 126 DELETE FROM t1 WHERE (random()%10)==0; 127 RELEASE two; 128 129 SAVEPOINT three; 130 UPDATE t1 SET x = x||x WHERE (rowid%12)==0; 131 SAVEPOINT four; 132 UPDATE t1 SET x = x||x WHERE (rowid%14)==0; 133 ROLLBACK TO three; 134 UPDATE t1 SET x = x||x WHERE (rowid%13)==0; 135 RELEASE three; 136 137 DELETE FROM t1 WHERE rowid > (SELECT rowid FROM t1 LIMIT 1 OFFSET 256); 138 RELEASE one; 139 }] 140 141 set crashed [lindex $ret 0] 142 if {$crashed} { 143 signature 144 } else { 145 set ::sig 146 } 147 } $::sig 148 149 integrity_check savepoint4-2.$ii.1.$iDelay.integrity 150 151 if {$crashed == 0 && $file == "test.db-journal"} { 152 set crashed 1 153 set iDelay 0 154 set file test.db 155 set ::sig [signature] 156 } 157 } 158 159 do_test savepoint4-2.$ii.2 { 160 execsql { 161 DELETE FROM t1 WHERE random()%10==0; 162 INSERT INTO t1 SELECT randstr(10,10)||x FROM t1 WHERE random()%9==0; 163 } 164 } {} 165} 166 167finish_test 168 169