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 |