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.1.1.1 2012/02/21 17:04:16 misho 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
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>