Index: third_party/sqlite/src/test/walslow.test |
diff --git a/third_party/sqlite/src/test/walslow.test b/third_party/sqlite/src/test/walslow.test |
index 83f292281a33030bec43abfb20ef97bf3c586272..2a52a225d80e6c11a7b4df3f3a085c4905bcf5fe 100644 |
--- a/third_party/sqlite/src/test/walslow.test |
+++ b/third_party/sqlite/src/test/walslow.test |
@@ -16,9 +16,13 @@ |
set testdir [file dirname $argv0] |
source $testdir/tester.tcl |
+source $testdir/wal_common.tcl |
+source $testdir/lock_common.tcl |
ifcapable !wal {finish_test ; return } |
+set testprefix walslow |
+ |
proc reopen_db {} { |
catch { db close } |
forcedelete test.db test.db-wal |
@@ -69,5 +73,159 @@ for {set seed 1} {$seed<10} {incr seed} { |
} |
} |
+#------------------------------------------------------------------------- |
+# Test case walslow-3.* tests that the checksum calculation detects single |
+# byte changes to frame or frame-header data and considers the frame |
+# invalid as a result. |
+# |
+reset_db |
+do_test 3.1 { |
+ |
+ execsql { |
+ PRAGMA synchronous = NORMAL; |
+ PRAGMA page_size = 1024; |
+ CREATE TABLE t1(a, b); |
+ INSERT INTO t1 VALUES(1, randomblob(300)); |
+ INSERT INTO t1 VALUES(2, randomblob(300)); |
+ PRAGMA journal_mode = WAL; |
+ INSERT INTO t1 VALUES(3, randomblob(300)); |
+ } |
+ |
+ file size test.db-wal |
+} [wal_file_size 1 1024] |
+do_test 3.2 { |
+ forcecopy test.db-wal test2.db-wal |
+ forcecopy test.db test2.db |
+ sqlite3 db2 test2.db |
+ execsql { SELECT a FROM t1 } db2 |
+} {1 2 3} |
+db2 close |
+forcecopy test.db test2.db |
+ |
+foreach incr {1 2 3 20 40 60 80 100 120 140 160 180 200 220 240 253 254 255} { |
+ do_test 3.3.$incr { |
+ set FAIL 0 |
+ for {set iOff 0} {$iOff < [wal_file_size 1 1024]} {incr iOff} { |
+ |
+ forcecopy test.db-wal test2.db-wal |
+ set fd [open test2.db-wal r+] |
+ fconfigure $fd -encoding binary |
+ fconfigure $fd -translation binary |
+ |
+ seek $fd $iOff |
+ binary scan [read $fd 1] c x |
+ seek $fd $iOff |
+ puts -nonewline $fd [binary format c [expr {($x+$incr)&0xFF}]] |
+ close $fd |
+ |
+ sqlite3 db2 test2.db |
+ if { [execsql { SELECT a FROM t1 } db2] != "1 2" } {set FAIL 1} |
+ db2 close |
+ } |
+ set FAIL |
+ } {0} |
+} |
+ |
+ |
+#------------------------------------------------------------------------- |
+# Test large log summaries. |
+# |
+# In this case "large" usually means a log file that requires a wal-index |
+# mapping larger than 64KB (the default initial allocation). A 64KB wal-index |
+# is large enough for a log file that contains approximately 13100 frames. |
+# So the following tests create logs containing at least this many frames. |
+# |
+# 4.1.*: This test case creates a very large log file within the |
+# file-system (around 200MB). The log file does not contain |
+# any valid frames. Test that the database file can still be |
+# opened and queried, and that the invalid log file causes no |
+# problems. |
+# |
+# 4.2.*: Test that a process may create a large log file and query |
+# the database (including the log file that it itself created). |
+# |
+# 4.3.*: Test that if a very large log file is created, and then a |
+# second connection is opened on the database file, it is possible |
+# to query the database (and the very large log) using the |
+# second connection. |
+# |
+# 4.4.*: Same test as wal-13.3.*. Except in this case the second |
+# connection is opened by an external process. |
+# |
+set ::blobcnt 0 |
+proc blob {nByte} { |
+ incr ::blobcnt |
+ return [string range [string repeat "${::blobcnt}x" $nByte] 1 $nByte] |
+} |
+ |
+reset_db |
+do_execsql_test 4.1 { |
+ PRAGMA journal_mode = wal; |
+ CREATE TABLE t1(x, y); |
+ INSERT INTO "t1" VALUES('A',0); |
+ CREATE TABLE t2(x, y); |
+ INSERT INTO "t2" VALUES('B',2); |
+} {wal} |
+db close |
+ |
+do_test 4.1.1 { |
+ list [file exists test.db] [file exists test.db-wal] |
+} {1 0} |
+do_test 4.1.2 { |
+ set fd [open test.db-wal w] |
+ seek $fd [expr 200*1024*1024] |
+ puts $fd "" |
+ close $fd |
+ sqlite3 db test.db |
+ execsql { SELECT * FROM t2 } |
+} {B 2} |
+do_test 4.1.3 { |
+ db close |
+ file exists test.db-wal |
+} {0} |
+ |
+do_test 4.2.1 { |
+ sqlite3 db test.db |
+ execsql { SELECT count(*) FROM t2 } |
+} {1} |
+do_test 4.2.2 { |
+ db function blob blob |
+ for {set i 0} {$i < 16} {incr i} { |
+ execsql { INSERT INTO t2 SELECT blob(400), blob(400) FROM t2 } |
+ } |
+ execsql { SELECT count(*) FROM t2 } |
+} [expr int(pow(2, 16))] |
+do_test 4.2.3 { |
+ expr [file size test.db-wal] > [wal_file_size 33000 1024] |
+} 1 |
+ |
+do_multiclient_test tn { |
+ incr tn 2 |
+ |
+ do_test 4.$tn.0 { |
+ sql1 { |
+ PRAGMA journal_mode = WAL; |
+ CREATE TABLE t1(x); |
+ INSERT INTO t1 SELECT randomblob(800); |
+ } |
+ sql1 { SELECT count(*) FROM t1 } |
+ } {1} |
+ |
+ for {set ii 1} {$ii<16} {incr ii} { |
+ do_test 4.$tn.$ii.a { |
+ sql2 { INSERT INTO t1 SELECT randomblob(800) FROM t1 } |
+ sql2 { SELECT count(*) FROM t1 } |
+ } [expr (1<<$ii)] |
+ do_test 4.$tn.$ii.b { |
+ sql1 { SELECT count(*) FROM t1 } |
+ } [expr (1<<$ii)] |
+ do_test 4.$tn.$ii.c { |
+ sql1 { SELECT count(*) FROM t1 } |
+ } [expr (1<<$ii)] |
+ do_test 4.$tn.$ii.d { |
+ sql1 { PRAGMA integrity_check } |
+ } {ok} |
+ } |
+} |
finish_test |