Index: third_party/sqlite/sqlite-src-3080704/test/walcksum.test |
diff --git a/third_party/sqlite/sqlite-src-3080704/test/walcksum.test b/third_party/sqlite/sqlite-src-3080704/test/walcksum.test |
deleted file mode 100644 |
index 3005a758acd1af0fbcf505991409524f2edf4ce6..0000000000000000000000000000000000000000 |
--- a/third_party/sqlite/sqlite-src-3080704/test/walcksum.test |
+++ /dev/null |
@@ -1,392 +0,0 @@ |
-# 2010 May 24 |
-# |
-# The author disclaims copyright to this source code. In place of |
-# a legal notice, here is a blessing: |
-# |
-# May you do good and not evil. |
-# May you find forgiveness for yourself and forgive others. |
-# May you share freely, never taking more than you give. |
-# |
-#*********************************************************************** |
-# |
- |
-set testdir [file dirname $argv0] |
-source $testdir/tester.tcl |
-source $testdir/lock_common.tcl |
-source $testdir/wal_common.tcl |
- |
-ifcapable !wal {finish_test ; return } |
- |
-# Read and return the contents of file $filename. Treat the content as |
-# binary data. |
-# |
-proc readfile {filename} { |
- set fd [open $filename] |
- fconfigure $fd -encoding binary |
- fconfigure $fd -translation binary |
- set data [read $fd] |
- close $fd |
- return $data |
-} |
- |
-# |
-# File $filename must be a WAL file on disk. Check that the checksum of frame |
-# $iFrame in the file is correct when interpreting data as $endian-endian |
-# integers ($endian must be either "big" or "little"). If the checksum looks |
-# correct, return 1. Otherwise 0. |
-# |
-proc log_checksum_verify {filename iFrame endian} { |
- set data [readfile $filename] |
- |
- foreach {offset c1 c2} [log_checksum_calc $data $iFrame $endian] {} |
- |
- binary scan [string range $data $offset [expr $offset+7]] II expect1 expect2 |
- set expect1 [expr $expect1&0xFFFFFFFF] |
- set expect2 [expr $expect2&0xFFFFFFFF] |
- |
- expr {$c1==$expect1 && $c2==$expect2} |
-} |
- |
-# File $filename must be a WAL file on disk. Compute the checksum for frame |
-# $iFrame in the file by interpreting data as $endian-endian integers |
-# ($endian must be either "big" or "little"). Then write the computed |
-# checksum into the file. |
-# |
-proc log_checksum_write {filename iFrame endian} { |
- set data [readfile $filename] |
- |
- foreach {offset c1 c2} [log_checksum_calc $data $iFrame $endian] {} |
- |
- set bin [binary format II $c1 $c2] |
- set fd [open $filename r+] |
- fconfigure $fd -encoding binary |
- fconfigure $fd -translation binary |
- seek $fd $offset |
- puts -nonewline $fd $bin |
- close $fd |
-} |
- |
-# Calculate and return the checksum for a particular frame in a WAL. |
-# |
-# Arguments are: |
-# |
-# $data Blob containing the entire contents of a WAL. |
-# |
-# $iFrame Frame number within the $data WAL. Frames are numbered |
-# starting at 1. |
-# |
-# $endian One of "big" or "little". |
-# |
-# Returns a list of three elements, as follows: |
-# |
-# * The byte offset of the checksum belonging to frame $iFrame in the WAL. |
-# * The first integer in the calculated version of the checksum. |
-# * The second integer in the calculated version of the checksum. |
-# |
-proc log_checksum_calc {data iFrame endian} { |
- |
- binary scan [string range $data 8 11] I pgsz |
- if {$iFrame > 1} { |
- set n [wal_file_size [expr $iFrame-2] $pgsz] |
- binary scan [string range $data [expr $n+16] [expr $n+23]] II c1 c2 |
- } else { |
- set c1 0 |
- set c2 0 |
- wal_cksum $endian c1 c2 [string range $data 0 23] |
- } |
- |
- set n [wal_file_size [expr $iFrame-1] $pgsz] |
- wal_cksum $endian c1 c2 [string range $data $n [expr $n+7]] |
- wal_cksum $endian c1 c2 [string range $data [expr $n+24] [expr $n+24+$pgsz-1]] |
- |
- list [expr $n+16] $c1 $c2 |
-} |
- |
-# |
-# File $filename must be a WAL file on disk. Set the 'magic' field of the |
-# WAL header to indicate that checksums are $endian-endian ($endian must be |
-# either "big" or "little"). |
-# |
-# Also update the wal header checksum (since the wal header contents may |
-# have changed). |
-# |
-proc log_checksum_writemagic {filename endian} { |
- set val [expr {0x377f0682 | ($endian == "big" ? 1 : 0)}] |
- set bin [binary format I $val] |
- set fd [open $filename r+] |
- fconfigure $fd -encoding binary |
- fconfigure $fd -translation binary |
- puts -nonewline $fd $bin |
- |
- seek $fd 0 |
- set blob [read $fd 24] |
- set c1 0 |
- set c2 0 |
- wal_cksum $endian c1 c2 $blob |
- seek $fd 24 |
- puts -nonewline $fd [binary format II $c1 $c2] |
- |
- close $fd |
-} |
- |
-#------------------------------------------------------------------------- |
-# Test cases walcksum-1.* attempt to verify the following: |
-# |
-# * That both native and non-native order checksum log files can |
-# be recovered. |
-# |
-# * That when appending to native or non-native checksum log files |
-# SQLite continues to use the right kind of checksums. |
-# |
-# * Test point 2 when the appending process is not one that recovered |
-# the log file. |
-# |
-# * Test that both native and non-native checksum log files can be |
-# checkpointed. And that after doing so the next write to the log |
-# file occurs using native byte-order checksums. |
-# |
-set native "big" |
-if {$::tcl_platform(byteOrder) == "littleEndian"} { set native "little" } |
-foreach endian {big little} { |
- |
- # Create a database. Leave some data in the log file. |
- # |
- do_test walcksum-1.$endian.1 { |
- catch { db close } |
- forcedelete test.db test.db-wal test.db-journal |
- sqlite3 db test.db |
- execsql { |
- PRAGMA page_size = 1024; |
- PRAGMA auto_vacuum = 0; |
- PRAGMA synchronous = NORMAL; |
- |
- CREATE TABLE t1(a PRIMARY KEY, b); |
- INSERT INTO t1 VALUES(1, 'one'); |
- INSERT INTO t1 VALUES(2, 'two'); |
- INSERT INTO t1 VALUES(3, 'three'); |
- INSERT INTO t1 VALUES(5, 'five'); |
- |
- PRAGMA journal_mode = WAL; |
- INSERT INTO t1 VALUES(8, 'eight'); |
- INSERT INTO t1 VALUES(13, 'thirteen'); |
- INSERT INTO t1 VALUES(21, 'twentyone'); |
- } |
- |
- forcecopy test.db test2.db |
- forcecopy test.db-wal test2.db-wal |
- db close |
- |
- list [file size test2.db] [file size test2.db-wal] |
- } [list [expr 1024*3] [wal_file_size 6 1024]] |
- |
- # Verify that the checksums are valid for all frames and that they |
- # are calculated by interpreting data in native byte-order. |
- # |
- for {set f 1} {$f <= 6} {incr f} { |
- do_test walcksum-1.$endian.2.$f { |
- log_checksum_verify test2.db-wal $f $native |
- } 1 |
- } |
- |
- # Replace all checksums in the current WAL file with $endian versions. |
- # Then check that it is still possible to recover and read the database. |
- # |
- log_checksum_writemagic test2.db-wal $endian |
- for {set f 1} {$f <= 6} {incr f} { |
- do_test walcksum-1.$endian.3.$f { |
- log_checksum_write test2.db-wal $f $endian |
- log_checksum_verify test2.db-wal $f $endian |
- } {1} |
- } |
- do_test walcksum-1.$endian.4.1 { |
- forcecopy test2.db test.db |
- forcecopy test2.db-wal test.db-wal |
- sqlite3 db test.db |
- execsql { SELECT a FROM t1 } |
- } {1 2 3 5 8 13 21} |
- |
- # Following recovery, any frames written to the log should use the same |
- # endianness as the existing frames. Check that this is the case. |
- # |
- do_test walcksum-1.$endian.5.0 { |
- execsql { |
- PRAGMA synchronous = NORMAL; |
- INSERT INTO t1 VALUES(34, 'thirtyfour'); |
- } |
- list [file size test.db] [file size test.db-wal] |
- } [list [expr 1024*3] [wal_file_size 8 1024]] |
- for {set f 1} {$f <= 8} {incr f} { |
- do_test walcksum-1.$endian.5.$f { |
- log_checksum_verify test.db-wal $f $endian |
- } {1} |
- } |
- |
- # Now connect a second connection to the database. Check that this one |
- # (not the one that did recovery) also appends frames to the log using |
- # the same endianness for checksums as the existing frames. |
- # |
- do_test walcksum-1.$endian.6 { |
- sqlite3 db2 test.db |
- execsql { |
- PRAGMA integrity_check; |
- SELECT a FROM t1; |
- } db2 |
- } {ok 1 2 3 5 8 13 21 34} |
- do_test walcksum-1.$endian.7.0 { |
- execsql { |
- PRAGMA synchronous = NORMAL; |
- INSERT INTO t1 VALUES(55, 'fiftyfive'); |
- } db2 |
- list [file size test.db] [file size test.db-wal] |
- } [list [expr 1024*3] [wal_file_size 10 1024]] |
- for {set f 1} {$f <= 10} {incr f} { |
- do_test walcksum-1.$endian.7.$f { |
- log_checksum_verify test.db-wal $f $endian |
- } {1} |
- } |
- |
- # Now that both the recoverer and non-recoverer have added frames to the |
- # log file, check that it can still be recovered. |
- # |
- forcecopy test.db test2.db |
- forcecopy test.db-wal test2.db-wal |
- do_test walcksum-1.$endian.7.11 { |
- sqlite3 db3 test2.db |
- execsql { |
- PRAGMA integrity_check; |
- SELECT a FROM t1; |
- } db3 |
- } {ok 1 2 3 5 8 13 21 34 55} |
- db3 close |
- |
- # Run a checkpoint on the database file. Then, check that any frames written |
- # to the start of the log use native byte-order checksums. |
- # |
- do_test walcksum-1.$endian.8.1 { |
- execsql { |
- PRAGMA wal_checkpoint; |
- INSERT INTO t1 VALUES(89, 'eightynine'); |
- } |
- log_checksum_verify test.db-wal 1 $native |
- } {1} |
- do_test walcksum-1.$endian.8.2 { |
- log_checksum_verify test.db-wal 2 $native |
- } {1} |
- do_test walcksum-1.$endian.8.3 { |
- log_checksum_verify test.db-wal 3 $native |
- } {0} |
- |
- do_test walcksum-1.$endian.9 { |
- execsql { |
- PRAGMA integrity_check; |
- SELECT a FROM t1; |
- } db2 |
- } {ok 1 2 3 5 8 13 21 34 55 89} |
- |
- catch { db close } |
- catch { db2 close } |
-} |
- |
-#------------------------------------------------------------------------- |
-# Test case walcksum-2.* tests that if a statement transaction is rolled |
-# back after frames are written to the WAL, and then (after writing some |
-# more) the outer transaction is committed, the WAL file is still correctly |
-# formatted (and can be recovered by a second process if required). |
-# |
-do_test walcksum-2.1 { |
- forcedelete test.db test.db-wal test.db-journal |
- sqlite3 db test.db |
- execsql { |
- PRAGMA synchronous = NORMAL; |
- PRAGMA page_size = 1024; |
- PRAGMA journal_mode = WAL; |
- PRAGMA cache_size = 10; |
- CREATE TABLE t1(x PRIMARY KEY); |
- PRAGMA wal_checkpoint; |
- INSERT INTO t1 VALUES(randomblob(800)); |
- BEGIN; |
- INSERT INTO t1 SELECT randomblob(800) FROM t1; /* 2 */ |
- INSERT INTO t1 SELECT randomblob(800) FROM t1; /* 4 */ |
- INSERT INTO t1 SELECT randomblob(800) FROM t1; /* 8 */ |
- INSERT INTO t1 SELECT randomblob(800) FROM t1; /* 16 */ |
- SAVEPOINT one; |
- INSERT INTO t1 SELECT randomblob(800) FROM t1; /* 32 */ |
- INSERT INTO t1 SELECT randomblob(800) FROM t1; /* 64 */ |
- INSERT INTO t1 SELECT randomblob(800) FROM t1; /* 128 */ |
- INSERT INTO t1 SELECT randomblob(800) FROM t1; /* 256 */ |
- ROLLBACK TO one; |
- INSERT INTO t1 SELECT randomblob(800) FROM t1; /* 32 */ |
- INSERT INTO t1 SELECT randomblob(800) FROM t1; /* 64 */ |
- INSERT INTO t1 SELECT randomblob(800) FROM t1; /* 128 */ |
- INSERT INTO t1 SELECT randomblob(800) FROM t1; /* 256 */ |
- COMMIT; |
- } |
- |
- forcecopy test.db test2.db |
- forcecopy test.db-wal test2.db-wal |
- |
- sqlite3 db2 test2.db |
- execsql { |
- PRAGMA integrity_check; |
- SELECT count(*) FROM t1; |
- } db2 |
-} {ok 256} |
-catch { db close } |
-catch { db2 close } |
- |
-#------------------------------------------------------------------------- |
-# Test case walcksum-3.* tests that the checksum calculation detects single |
-# byte changes to frame or frame-header data and considers the frame |
-# invalid as a result. |
-# |
-do_test walcksum-3.1 { |
- forcedelete test.db test.db-wal test.db-journal |
- sqlite3 db test.db |
- |
- 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 walcksum-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 walcksum-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} |
-} |
- |
-finish_test |