| OLD | NEW |
| (Empty) |
| 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: savepoint2.test,v 1.5 2009/06/05 17:09:12 drh Exp $ | |
| 13 | |
| 14 set testdir [file dirname $argv0] | |
| 15 source $testdir/tester.tcl | |
| 16 | |
| 17 | |
| 18 # Tests in this file are quite similar to those run by trans.test and | |
| 19 # avtrans.test. | |
| 20 # | |
| 21 | |
| 22 proc signature {} { | |
| 23 return [db eval {SELECT count(*), md5sum(x) FROM t3}] | |
| 24 } | |
| 25 | |
| 26 do_test savepoint2-1 { | |
| 27 wal_set_journal_mode | |
| 28 execsql { | |
| 29 PRAGMA cache_size=10; | |
| 30 BEGIN; | |
| 31 CREATE TABLE t3(x TEXT); | |
| 32 INSERT INTO t3 VALUES(randstr(10,400)); | |
| 33 INSERT INTO t3 VALUES(randstr(10,400)); | |
| 34 INSERT INTO t3 SELECT randstr(10,400) FROM t3; | |
| 35 INSERT INTO t3 SELECT randstr(10,400) FROM t3; | |
| 36 INSERT INTO t3 SELECT randstr(10,400) FROM t3; | |
| 37 INSERT INTO t3 SELECT randstr(10,400) FROM t3; | |
| 38 INSERT INTO t3 SELECT randstr(10,400) FROM t3; | |
| 39 INSERT INTO t3 SELECT randstr(10,400) FROM t3; | |
| 40 INSERT INTO t3 SELECT randstr(10,400) FROM t3; | |
| 41 INSERT INTO t3 SELECT randstr(10,400) FROM t3; | |
| 42 INSERT INTO t3 SELECT randstr(10,400) FROM t3; | |
| 43 COMMIT; | |
| 44 SELECT count(*) FROM t3; | |
| 45 } | |
| 46 } {1024} | |
| 47 wal_check_journal_mode savepoint2-1.1 | |
| 48 | |
| 49 unset -nocomplain ::sig | |
| 50 unset -nocomplain SQL | |
| 51 | |
| 52 set iterations 20 | |
| 53 | |
| 54 set SQL(1) { | |
| 55 DELETE FROM t3 WHERE random()%10!=0; | |
| 56 INSERT INTO t3 SELECT randstr(10,10)||x FROM t3; | |
| 57 INSERT INTO t3 SELECT randstr(10,10)||x FROM t3; | |
| 58 } | |
| 59 set SQL(2) { | |
| 60 DELETE FROM t3 WHERE random()%10!=0; | |
| 61 INSERT INTO t3 SELECT randstr(10,10)||x FROM t3; | |
| 62 DELETE FROM t3 WHERE random()%10!=0; | |
| 63 INSERT INTO t3 SELECT randstr(10,10)||x FROM t3; | |
| 64 } | |
| 65 set SQL(3) { | |
| 66 UPDATE t3 SET x = randstr(10, 400) WHERE random()%10; | |
| 67 INSERT INTO t3 SELECT x FROM t3 WHERE random()%10; | |
| 68 DELETE FROM t3 WHERE random()%10; | |
| 69 } | |
| 70 set SQL(4) { | |
| 71 INSERT INTO t3 SELECT randstr(10,400) FROM t3 WHERE (random()%10 == 0); | |
| 72 } | |
| 73 | |
| 74 | |
| 75 | |
| 76 for {set ii 2} {$ii < ($iterations+2)} {incr ii} { | |
| 77 | |
| 78 # Record the database signature. Optionally (every second run) open a | |
| 79 # transaction. In all cases open savepoint "one", which may or may | |
| 80 # not be a transaction savepoint, depending on whether or not a real | |
| 81 # transaction has been opened. | |
| 82 # | |
| 83 do_test savepoint2-$ii.1 { | |
| 84 if {$ii % 2} { execsql BEGIN } | |
| 85 set ::sig(one) [signature] | |
| 86 execsql "SAVEPOINT one" | |
| 87 } {} | |
| 88 | |
| 89 # Execute some SQL on the database. Then rollback to savepoint "one". | |
| 90 # Check that the database signature is as it was when "one" was opened. | |
| 91 # | |
| 92 do_test savepoint2-$ii.2 { | |
| 93 execsql $SQL(1) | |
| 94 execsql "ROLLBACK to one" | |
| 95 signature | |
| 96 } $::sig(one) | |
| 97 integrity_check savepoint2-$ii.2.1 | |
| 98 | |
| 99 # Execute some SQL. Then open savepoint "two". Savepoint "two" is therefore | |
| 100 # nested in savepoint "one". | |
| 101 # | |
| 102 do_test savepoint2-$ii.3 { | |
| 103 execsql $SQL(1) | |
| 104 set ::sig(two) [signature] | |
| 105 execsql "SAVEPOINT two" | |
| 106 } {} | |
| 107 | |
| 108 # More SQL changes. The rollback to savepoint "two". Check that the | |
| 109 # signature is as it was when savepoint "two" was opened. | |
| 110 # | |
| 111 do_test savepoint2-$ii.4 { | |
| 112 execsql $SQL(2) | |
| 113 execsql "ROLLBACK to two" | |
| 114 signature | |
| 115 } $::sig(two) | |
| 116 integrity_check savepoint2-$ii.4.1 | |
| 117 | |
| 118 # More SQL changes. The rollback to savepoint "two". Check that the | |
| 119 # signature is as it was when savepoint "two" was opened. | |
| 120 # | |
| 121 do_test savepoint2-$ii.5 { | |
| 122 execsql $SQL(2) | |
| 123 execsql "SAVEPOINT three" | |
| 124 execsql $SQL(3) | |
| 125 execsql "RELEASE three" | |
| 126 execsql "ROLLBACK to one" | |
| 127 signature | |
| 128 } $::sig(one) | |
| 129 | |
| 130 # By this point the database is in the same state as it was at the | |
| 131 # top of the for{} loop (everything having been rolled back by the | |
| 132 # "ROLLBACK TO one" command above). So make a few changes to the | |
| 133 # database and COMMIT the open transaction, so that the next iteration | |
| 134 # of the for{} loop works on a different dataset. | |
| 135 # | |
| 136 # The transaction being committed here may have been opened normally using | |
| 137 # "BEGIN", or may have been opened using a transaction savepoint created | |
| 138 # by the "SAVEPOINT one" statement. | |
| 139 # | |
| 140 do_test savepoint2-$ii.6 { | |
| 141 execsql $SQL(4) | |
| 142 execsql COMMIT | |
| 143 sqlite3_get_autocommit db | |
| 144 } {1} | |
| 145 integrity_check savepoint2-$ii.6.1 | |
| 146 | |
| 147 # Check that the connection is still running in WAL mode. | |
| 148 wal_check_journal_mode savepoint2-$ii.7 | |
| 149 } | |
| 150 | |
| 151 unset -nocomplain ::sig | |
| 152 unset -nocomplain SQL | |
| 153 | |
| 154 finish_test | |
| OLD | NEW |