OLD | NEW |
| (Empty) |
1 # 2012 January 12 | |
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 | |
13 set testdir [file dirname $argv0] | |
14 source $testdir/tester.tcl | |
15 set testprefix corruptF | |
16 | |
17 # Do not use a codec for tests in this file, as the database file is | |
18 # manipulated directly using tcl scripts (using the [hexio_write] command). | |
19 # | |
20 do_not_use_codec | |
21 | |
22 # These tests deal with corrupt database files | |
23 # | |
24 database_may_be_corrupt | |
25 | |
26 proc str {i} { format %08d $i } | |
27 | |
28 # Create a 6 page database containing a single table - t1. Table t1 | |
29 # consists of page 2 (the root page) and pages 5 and 6 (leaf pages). | |
30 # Database pages 3 and 4 are on the free list. | |
31 # | |
32 proc create_test_db {} { | |
33 catch { db close } | |
34 forcedelete test.db | |
35 sqlite3 db test.db | |
36 db func str str | |
37 execsql { | |
38 PRAGMA auto_vacuum = 0; | |
39 PRAGMA page_size = 1024; | |
40 CREATE TABLE t1(x); /* root page = 2 */ | |
41 CREATE TABLE t2(x); /* root page = 3 */ | |
42 CREATE TABLE t3(x); /* root page = 4 */ | |
43 | |
44 INSERT INTO t1 VALUES(str(1)); | |
45 INSERT INTO t1 SELECT str(rowid+1) FROM t1; | |
46 INSERT INTO t1 SELECT str(rowid+2) FROM t1; | |
47 INSERT INTO t1 SELECT str(rowid+4) FROM t1; | |
48 INSERT INTO t1 SELECT str(rowid+8) FROM t1; | |
49 INSERT INTO t1 SELECT str(rowid+16) FROM t1; | |
50 INSERT INTO t1 SELECT str(rowid+32) FROM t1; | |
51 INSERT INTO t1 SELECT str(rowid+64) FROM t1; | |
52 DROP TABLE t2; | |
53 DROP TABLE t3; | |
54 } | |
55 db close | |
56 } | |
57 | |
58 do_test 1.1 { create_test_db } {} | |
59 | |
60 # Check the db is as we expect. 6 pages in total, with 3 and 4 on the free | |
61 # list. Page 3 is the free list trunk and page 4 is a leaf. | |
62 # | |
63 do_test 1.2 { file size test.db } [expr 6*1024] | |
64 do_test 1.3 { hexio_read test.db 32 4 } 00000003 | |
65 do_test 1.4 { hexio_read test.db [expr 2*1024] 12 } 000000000000000100000004 | |
66 | |
67 # Change the free-list entry to page 6 and reopen the db file. | |
68 do_test 1.5 { | |
69 hexio_write test.db [expr 2*1024 + 8] 00000006 | |
70 sqlite3 db test.db | |
71 } {} | |
72 | |
73 # Now create a new table in the database file. The root of the new table | |
74 # is page 6, which is also the right-most leaf page in table t1. | |
75 # | |
76 do_execsql_test 1.6 { | |
77 CREATE TABLE t4(x); | |
78 SELECT * FROM sqlite_master; | |
79 } { | |
80 table t1 t1 2 {CREATE TABLE t1(x)} | |
81 table t4 t4 6 {CREATE TABLE t4(x)} | |
82 } | |
83 | |
84 # At one point this was causing an assert to fail. | |
85 # | |
86 # This statement opens a cursor on table t1 and does a full table scan. As | |
87 # each row is visited, it is copied into table t4. There is no temporary | |
88 # table. | |
89 # | |
90 # When the t1 cursor reaches page 6 (which is both the right-most leaf of | |
91 # t1 and the root of t4), it continues to iterate through the keys within | |
92 # it (which at this point are keys that have been inserted into t4). And | |
93 # for each row visited, another row is inserted into page 6 - it being the | |
94 # root page of t4. Eventually, page 6 becomes full and the height of the | |
95 # b-tree for table t4 increased. From the point of view of the t1 cursor, | |
96 # this unexpectedly reduces the number of keys on page 6 in the middle of | |
97 # its iteration, which causes an assert() to fail. | |
98 # | |
99 db_save_and_close | |
100 if 1 { | |
101 for {set i 0} {$i < 128} {incr i} { | |
102 db_restore_and_reopen | |
103 do_test 1.7.$i { | |
104 set res [ | |
105 catchsql { INSERT INTO t4 SELECT x FROM t1 WHERE rowid>$i } | |
106 ] | |
107 if {$res == "0 {}" || $res == "1 {database disk image is malformed}"} { | |
108 set res "" | |
109 } | |
110 set res | |
111 } {} | |
112 } | |
113 } | |
114 | |
115 do_test 2.1 { create_test_db } {} | |
116 do_test 2.2 { file size test.db } [expr 6*1024] | |
117 do_test 2.3 { hexio_read test.db 32 4 } 00000003 | |
118 do_test 2.4 { hexio_read test.db [expr 2*1024] 12 } 000000000000000100000004 | |
119 | |
120 # Change the free-list entry to page 5 and reopen the db file. | |
121 do_test 2.5 { | |
122 hexio_write test.db [expr 2*1024 + 8] 00000005 | |
123 sqlite3 db test.db | |
124 } {} | |
125 | |
126 # Now create a new table in the database file. The root of the new table | |
127 # is page 5, which is also the right-most leaf page in table t1. | |
128 # | |
129 do_execsql_test 2.6 { | |
130 CREATE TABLE t4(x); | |
131 SELECT * FROM sqlite_master; | |
132 } { | |
133 table t1 t1 2 {CREATE TABLE t1(x)} | |
134 table t4 t4 5 {CREATE TABLE t4(x)} | |
135 } | |
136 | |
137 db_save_and_close | |
138 for {set i 127} {$i >= 0} {incr i -1} { | |
139 db_restore_and_reopen | |
140 do_test 2.7.$i { | |
141 set res [ | |
142 catchsql { | |
143 INSERT INTO t4 SELECT x FROM t1 WHERE rowid<$i ORDER BY rowid DESC | |
144 } | |
145 ] | |
146 if {$res == "0 {}" || $res == "1 {database disk image is malformed}"} { | |
147 set res "" | |
148 } | |
149 set res | |
150 } {} | |
151 } | |
152 | |
153 finish_test | |
OLD | NEW |