xref: /sqlite-3.40.0/test/savepointfault.test (revision cb6acda9)
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
13set testdir [file dirname $argv0]
14source $testdir/tester.tcl
15
16source $testdir/malloc_common.tcl
17
18set testprefix savepointfault
19
20do_malloc_test 1 -sqlprep {
21  CREATE TABLE t1(a, b, c);
22  INSERT INTO t1 VALUES(1, 2, 3);
23} -sqlbody {
24  SAVEPOINT one;
25    INSERT INTO t1 VALUES(4, 5, 6);
26    SAVEPOINT two;
27      DELETE FROM t1;
28    ROLLBACK TO two;
29  RELEASE one;
30}
31
32do_malloc_test 2 -sqlprep {
33  PRAGMA cache_size = 10;
34  CREATE TABLE t1(a, b, c);
35  INSERT INTO t1 VALUES(randstr(400,400), randstr(400,400), randstr(400,400));
36  INSERT INTO t1 SELECT
37    randstr(400,400), randstr(400,400), randstr(400,400) FROM t1;
38  INSERT INTO t1
39    SELECT randstr(400,400), randstr(400,400), randstr(400,400) FROM t1;
40  INSERT INTO t1
41    SELECT randstr(400,400), randstr(400,400), randstr(400,400) FROM t1;
42  INSERT INTO t1
43    SELECT randstr(400,400), randstr(400,400), randstr(400,400) FROM t1;
44  INSERT INTO t1
45    SELECT randstr(400,400), randstr(400,400), randstr(400,400) FROM t1;
46  INSERT INTO t1
47    SELECT randstr(400,400), randstr(400,400), randstr(400,400) FROM t1;
48  INSERT INTO t1
49    SELECT randstr(400,400), randstr(400,400), randstr(400,400) FROM t1;
50  INSERT INTO t1
51    SELECT randstr(400,400), randstr(400,400), randstr(400,400) FROM t1;
52} -sqlbody {
53  PRAGMA cache_size = 10;
54  SAVEPOINT one;
55    DELETE FROM t1 WHERE rowid < 5;
56    SAVEPOINT two;
57      DELETE FROM t1 WHERE rowid > 10;
58    ROLLBACK TO two;
59  ROLLBACK TO one;
60  RELEASE one;
61}
62
63do_ioerr_test 3 -sqlprep {
64  CREATE TABLE t1(a, b, c);
65  INSERT INTO t1 VALUES(1, randstr(1000,1000), randstr(1000,1000));
66  INSERT INTO t1 VALUES(2, randstr(1000,1000), randstr(1000,1000));
67} -sqlbody {
68  BEGIN;
69    UPDATE t1 SET a = 3 WHERE a = 1;
70    SAVEPOINT one;
71      UPDATE t1 SET a = 4 WHERE a = 2;
72  COMMIT;
73} -cleanup {
74  db eval {
75    SAVEPOINT one;
76    RELEASE one;
77  }
78}
79
80# The following test does a really big savepoint rollback. One involving
81# more than 4000 pages. The idea is to get a specific sqlite3BitvecSet()
82# operation in pagerPlaybackSavepoint() to fail.
83#do_malloc_test 4 -sqlprep {
84#  BEGIN;
85#    CREATE TABLE t1(a, b);
86#    CREATE INDEX i1 ON t1(a);
87#    CREATE INDEX i2 ON t1(b);
88#    INSERT INTO t1 VALUES(randstr(500,500), randstr(500,500));        --     1
89#    INSERT INTO t1 VALUES(randstr(500,500), randstr(500,500));        --     2
90#    INSERT INTO t1 SELECT randstr(500,500), randstr(500,500) FROM t1; --     4
91#    INSERT INTO t1 SELECT randstr(500,500), randstr(500,500) FROM t1; --     8
92#    INSERT INTO t1 SELECT randstr(500,500), randstr(500,500) FROM t1; --    16
93#    INSERT INTO t1 SELECT randstr(500,500), randstr(500,500) FROM t1; --    32
94#    INSERT INTO t1 SELECT randstr(500,500), randstr(500,500) FROM t1; --    64
95#    INSERT INTO t1 SELECT randstr(500,500), randstr(500,500) FROM t1; --   128
96#    INSERT INTO t1 SELECT randstr(500,500), randstr(500,500) FROM t1; --   256
97#    INSERT INTO t1 SELECT randstr(500,500), randstr(500,500) FROM t1; --   512
98#    INSERT INTO t1 SELECT randstr(500,500), randstr(500,500) FROM t1; --  1024
99#    INSERT INTO t1 SELECT randstr(500,500), randstr(500,500) FROM t1; --  2048
100#  COMMIT;
101#  BEGIN;
102#    SAVEPOINT abc;
103#      UPDATE t1 SET a = randstr(500,500);
104#} -sqlbody {
105#    ROLLBACK TO abc;
106#}
107
108
109# Cause a specific malloc in savepoint rollback code to fail.
110#
111do_malloc_test 4 -start 7 -sqlprep {
112  PRAGMA auto_vacuum = incremental;
113  PRAGMA cache_size = 1000;
114
115  CREATE TABLE t1(a, b);
116  CREATE TABLE t2(a, b);
117  CREATE TABLE t3(a, b);
118  INSERT INTO t1 VALUES(1, randstr(500,500));
119  INSERT INTO t1 VALUES(2, randstr(500,500));
120  INSERT INTO t1 VALUES(3, randstr(500,500));
121  DELETE FROM t1;
122
123  BEGIN;
124    INSERT INTO t1 VALUES(1, randstr(500,500));
125    INSERT INTO t1 VALUES(2, randstr(500,500));
126    INSERT INTO t1 VALUES(3, randstr(500,500));
127    DROP TABLE t3;                  -- Page 5 of the database file is now free.
128    DROP TABLE t2;                  -- Page 4 of the database file is now free.
129
130    SAVEPOINT abc;
131      PRAGMA incremental_vacuum;
132} -sqlbody {
133  ROLLBACK TO abc;
134}
135
136
137finish_test
138