| 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
|
|
|