3 # The author disclaims copyright to this source code. In place of
4 # a legal notice, here is a blessing:
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.
10 #***********************************************************************
11 # This file implements regression tests for SQLite library. The
12 # focus of this file is testing the operation of the library in
13 # "PRAGMA journal_mode=WAL" mode.
15 # More specifically, it tests "locking protocol" errors - errors that
16 # may be caused if one or more SQLite clients does not follow the expected
17 # locking protocol when accessing a wal-mode database. These tests take
18 # quite a while to run.
21 set testdir [file dirname $argv0]
22 source $testdir/tester.tcl
23 source $testdir/lock_common.tcl
24 source $testdir/wal_common.tcl
25 ifcapable !wal {finish_test ; return }
27 set testprefix walprotocol
29 #-------------------------------------------------------------------------
30 # When recovering the contents of a WAL file, a process obtains the WRITER
31 # lock, then locks all other bytes before commencing recovery. If it fails
32 # to lock all other bytes (because some other process is holding a read
33 # lock) it should retry up to 100 times. Then return SQLITE_PROTOCOL to the
34 # caller. Test this (test case 1.3).
36 # Also test the effect of hitting an SQLITE_BUSY while attempting to obtain
37 # the WRITER lock (should be the same). Test case 1.4.
40 PRAGMA journal_mode = wal;
42 INSERT INTO x VALUES('z');
45 proc lock_callback {method filename handle lock} {
51 T script lock_callback
53 sqlite3 db test.db -vfs T
54 execsql { SELECT * FROM x }
56 } [list {0 1 lock exclusive} {1 2 lock exclusive} {4 4 lock exclusive} \
57 {1 2 unlock exclusive} {4 4 unlock exclusive} {0 1 unlock exclusive} \
62 sqlite3 db test.db -vfs T
63 execsql { SELECT * FROM x }
65 } [list {0 1 lock exclusive} {1 2 lock exclusive} {4 4 lock exclusive} \
66 {1 2 unlock exclusive} {4 4 unlock exclusive} {0 1 unlock exclusive} \
68 proc lock_callback {method filename handle lock} {
69 if {$lock == "1 2 lock exclusive"} { return SQLITE_BUSY }
72 puts "# Warning: This next test case causes SQLite to call xSleep(1) 100 times."
73 puts "# Normally this equates to a delay of roughly 10 seconds, but if SQLite"
74 puts "# is built on unix without HAVE_USLEEP defined, it may be much longer."
78 sqlite3 db test.db -vfs T
79 catchsql { SELECT * FROM x }
80 } {1 {locking protocol}}
82 puts "# Warning: Same again!"
83 proc lock_callback {method filename handle lock} {
84 if {$lock == "0 1 lock exclusive"} { return SQLITE_BUSY }
90 sqlite3 db test.db -vfs T
91 catchsql { SELECT * FROM x }
92 } {1 {locking protocol}}
94 puts "# Warning: Third time!"
95 proc lock_callback {method filename handle lock} {
96 if {$lock == "4 4 lock exclusive"} { return SQLITE_BUSY }
102 sqlite3 db test.db -vfs T
103 catchsql { SELECT * FROM x }
104 } {1 {locking protocol}}
108 #-------------------------------------------------------------------------
111 forcedelete test.db test.db-journal test.db wal
115 PRAGMA auto_vacuum = off;
116 PRAGMA journal_mode = WAL;
118 INSERT INTO b VALUES('Tehran');
119 INSERT INTO b VALUES('Qom');
120 INSERT INTO b VALUES('Markazi');
121 PRAGMA wal_checkpoint;
125 execsql { SELECT * FROM b }
126 } {Tehran Qom Markazi}
128 db eval { SELECT * FROM b } {
129 db eval { INSERT INTO b VALUES('Qazvin') }
130 set r [db2 eval { SELECT * FROM b }]
134 } {Tehran Qom Markazi Qazvin}
137 INSERT INTO b VALUES('Gilan');
138 INSERT INTO b VALUES('Ardabil');
143 faultsim_save_and_close
145 faultsim_restore_and_reopen
147 T script lock_callback
149 proc lock_callback {method file handle spec} {
150 if {$spec == "1 2 unlock exclusive"} {
152 set ::r [catchsql { SELECT * FROM b } db2]
157 puts "# Warning: Another slow test!"
159 execsql { SELECT * FROM b }
160 } {Tehran Qom Markazi Qazvin Gilan Ardabil}
163 } {1 {locking protocol}}
168 faultsim_restore_and_reopen
171 T script lock_callback
172 proc lock_callback {method file handle spec} {
173 if {$spec == "1 2 unlock exclusive"} {
175 set ::r [catchsql { SELECT * FROM b } db2]
179 puts "# Warning: Last one!"
181 execsql { SELECT * FROM b }
182 } {Tehran Qom Markazi Qazvin Gilan Ardabil}
185 } {1 {locking protocol}}