|
1 |
|
2 # 2007 Aug 13 |
|
3 # |
|
4 # The author disclaims copyright to this source code. In place of |
|
5 # a legal notice, here is a blessing: |
|
6 # |
|
7 # May you do good and not evil. |
|
8 # May you find forgiveness for yourself and forgive others. |
|
9 # May you share freely, never taking more than you give. |
|
10 # |
|
11 #*********************************************************************** |
|
12 # |
|
13 # This file tests aspects of recovery from a malloc() failure |
|
14 # in a CREATE INDEX statement. |
|
15 # |
|
16 # $Id: crash5.test,v 1.3 2008/07/12 14:52:20 drh Exp $ |
|
17 |
|
18 set testdir [file dirname $argv0] |
|
19 source $testdir/tester.tcl |
|
20 |
|
21 # Only run these tests if memory debugging is turned on. |
|
22 # |
|
23 ifcapable !memdebug||!crashtest||!memorymanage { |
|
24 puts "Skipping crash5 tests: not compiled with -DSQLITE_MEMDEBUG..." |
|
25 finish_test |
|
26 return |
|
27 } |
|
28 |
|
29 db close |
|
30 |
|
31 for {set ii 0} {$ii < 10} {incr ii} { |
|
32 for {set jj 50} {$jj < 100} {incr jj} { |
|
33 |
|
34 # Set up the database so that it is an auto-vacuum database |
|
35 # containing a single table (root page 3) with a single row. |
|
36 # The row has an overflow page (page 4). |
|
37 file delete -force test.db test.db-journal |
|
38 sqlite3 db test.db |
|
39 set c [string repeat 3 1500] |
|
40 db eval { |
|
41 pragma auto_vacuum = 1; |
|
42 CREATE TABLE t1(a, b, c); |
|
43 INSERT INTO t1 VALUES('1111111111', '2222222222', $c); |
|
44 } |
|
45 db close |
|
46 |
|
47 do_test crash5-$ii.$jj.1 { |
|
48 crashsql -delay 1 -file test.db-journal -seed $ii -tclbody [join [list \ |
|
49 [list set iFail $jj] { |
|
50 sqlite3_crashparams 0 [file join [pwd] test.db-journal] |
|
51 |
|
52 # Begin a transaction and evaluate a "CREATE INDEX" statement |
|
53 # with the iFail'th malloc() set to fail. This operation will |
|
54 # have to move the current contents of page 4 (the overflow |
|
55 # page) to make room for the new root page. The bug is that |
|
56 # if malloc() fails at a particular point in sqlite3PagerMovepage(), |
|
57 # sqlite mistakenly thinks that the page being moved (page 4) has |
|
58 # been safely synced into the journal. If the page is written |
|
59 # to later in the transaction, it may be written out to the database |
|
60 # before the relevant part of the journal has been synced. |
|
61 # |
|
62 db eval BEGIN |
|
63 sqlite3_memdebug_fail $iFail -repeat 0 |
|
64 catch {db eval { CREATE UNIQUE INDEX i1 ON t1(a); }} msg |
|
65 # puts "$n $msg ac=[sqlite3_get_autocommit db]" |
|
66 |
|
67 # If the transaction is still active (it may not be if the malloc() |
|
68 # failure occured in the OS layer), write to the database. Make sure |
|
69 # page 4 is among those written. |
|
70 # |
|
71 if {![sqlite3_get_autocommit db]} { |
|
72 db eval { |
|
73 DELETE FROM t1; -- This will put page 4 on the free list. |
|
74 INSERT INTO t1 VALUES('111111111', '2222222222', '33333333'); |
|
75 INSERT INTO t1 SELECT * FROM t1; -- 2 |
|
76 INSERT INTO t1 SELECT * FROM t1; -- 4 |
|
77 INSERT INTO t1 SELECT * FROM t1; -- 8 |
|
78 INSERT INTO t1 SELECT * FROM t1; -- 16 |
|
79 INSERT INTO t1 SELECT * FROM t1; -- 32 |
|
80 INSERT INTO t1 SELECT * FROM t1 WHERE rowid%2; -- 48 |
|
81 } |
|
82 } |
|
83 |
|
84 # If the right malloc() failed during the 'CREATE INDEX' above and |
|
85 # the transaction was not rolled back, then the sqlite cache now |
|
86 # has a dirty page 4 that it incorrectly believes is already safely |
|
87 # in the synced part of the journal file. When |
|
88 # sqlite3_release_memory() is called sqlite tries to free memory |
|
89 # by writing page 4 out to the db file. If it crashes later on, |
|
90 # before syncing the journal... Corruption! |
|
91 # |
|
92 sqlite3_crashparams 1 [file join [pwd] test.db-journal] |
|
93 sqlite3_release_memory 8092 |
|
94 }]] {} |
|
95 expr 1 |
|
96 } {1} |
|
97 |
|
98 sqlite3 db test.db |
|
99 do_test crash5-$ii.$jj.2 { |
|
100 db eval {pragma integrity_check} |
|
101 } {ok} |
|
102 do_test crash5-$ii.$jj.3 { |
|
103 db eval {SELECT * FROM t1} |
|
104 } [list 1111111111 2222222222 $::c] |
|
105 db close |
|
106 } |
|
107 } |
|
108 |
|
109 |
|
110 finish_test |