| Index: third_party/sqlite/sqlite-src-3080704/test/wal5.test
|
| diff --git a/third_party/sqlite/sqlite-src-3080704/test/wal5.test b/third_party/sqlite/sqlite-src-3080704/test/wal5.test
|
| deleted file mode 100644
|
| index 68750f1479d8eb4061a9ead52a6a28c580233103..0000000000000000000000000000000000000000
|
| --- a/third_party/sqlite/sqlite-src-3080704/test/wal5.test
|
| +++ /dev/null
|
| @@ -1,354 +0,0 @@
|
| -# 2010 April 13
|
| -#
|
| -# 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.
|
| -#
|
| -#***********************************************************************
|
| -# This file implements regression tests for SQLite library. The
|
| -# focus of this file is testing the operation of "blocking-checkpoint"
|
| -# operations.
|
| -#
|
| -
|
| -set testdir [file dirname $argv0]
|
| -source $testdir/tester.tcl
|
| -source $testdir/lock_common.tcl
|
| -source $testdir/wal_common.tcl
|
| -ifcapable !wal {finish_test ; return }
|
| -
|
| -set testprefix wal5
|
| -
|
| -proc db_page_count {{file test.db}} { expr [file size $file] / 1024 }
|
| -proc wal_page_count {{file test.db}} { wal_frame_count ${file}-wal 1024 }
|
| -
|
| -
|
| -# A checkpoint may be requested either using the C API or by executing
|
| -# an SQL PRAGMA command. To test both methods, all tests in this file are
|
| -# run twice - once using each method to request checkpoints.
|
| -#
|
| -foreach {testprefix do_wal_checkpoint} {
|
| -
|
| - wal5-pragma {
|
| - proc do_wal_checkpoint { dbhandle args } {
|
| - array set a $args
|
| - foreach key [array names a] {
|
| - if {[lsearch {-mode -db} $key]<0} { error "unknown switch: $key" }
|
| - }
|
| -
|
| - set sql "PRAGMA "
|
| - if {[info exists a(-db)]} { append sql "$a(-db)." }
|
| - append sql "wal_checkpoint"
|
| - if {[info exists a(-mode)]} { append sql " = $a(-mode)" }
|
| -
|
| - uplevel [list $dbhandle eval $sql]
|
| - }
|
| - }
|
| -
|
| - wal5-capi {
|
| - proc do_wal_checkpoint { dbhandle args } {
|
| - set a(-mode) passive
|
| - array set a $args
|
| - foreach key [array names a] {
|
| - if {[lsearch {-mode -db} $key]<0} { error "unknown switch: $key" }
|
| - }
|
| -
|
| - if {$a(-mode)!="restart" && $a(-mode)!="full"} { set a(-mode) passive }
|
| -
|
| - set cmd [list sqlite3_wal_checkpoint_v2 $dbhandle $a(-mode)]
|
| - if {[info exists a(-db)]} { lappend sql $a(-db) }
|
| -
|
| - uplevel $cmd
|
| - }
|
| - }
|
| -} {
|
| -
|
| - eval $do_wal_checkpoint
|
| -
|
| - do_multiclient_test tn {
|
| -
|
| - set ::nBusyHandler 0
|
| - set ::busy_handler_script ""
|
| - proc busyhandler {n} {
|
| - incr ::nBusyHandler
|
| - eval $::busy_handler_script
|
| - return 0
|
| - }
|
| -
|
| - proc reopen_all {} {
|
| - code1 {db close}
|
| - code2 {db2 close}
|
| - code3 {db3 close}
|
| -
|
| - code1 {sqlite3 db test.db}
|
| - code2 {sqlite3 db2 test.db}
|
| - code3 {sqlite3 db3 test.db}
|
| -
|
| - sql1 { PRAGMA synchronous = NORMAL }
|
| - code1 { db busy busyhandler }
|
| - }
|
| -
|
| - do_test 1.$tn.1 {
|
| - reopen_all
|
| - sql1 {
|
| - PRAGMA page_size = 1024;
|
| - PRAGMA auto_vacuum = 0;
|
| - CREATE TABLE t1(x, y);
|
| - PRAGMA journal_mode = WAL;
|
| - INSERT INTO t1 VALUES(1, zeroblob(1200));
|
| - INSERT INTO t1 VALUES(2, zeroblob(1200));
|
| - INSERT INTO t1 VALUES(3, zeroblob(1200));
|
| - }
|
| - expr [file size test.db] / 1024
|
| - } {2}
|
| -
|
| - # Have connection 2 grab a read-lock on the current snapshot.
|
| - do_test 1.$tn.2 { sql2 { BEGIN; SELECT x FROM t1 } } {1 2 3}
|
| -
|
| - # Attempt a checkpoint.
|
| - do_test 1.$tn.3 {
|
| - code1 { do_wal_checkpoint db }
|
| - list [db_page_count] [wal_page_count]
|
| - } {5 9}
|
| -
|
| - # Write to the db again. The log cannot wrap because of the lock still
|
| - # held by connection 2. The busy-handler has not yet been invoked.
|
| - do_test 1.$tn.4 {
|
| - sql1 { INSERT INTO t1 VALUES(4, zeroblob(1200)) }
|
| - list [db_page_count] [wal_page_count] $::nBusyHandler
|
| - } {5 12 0}
|
| -
|
| - # Now do a blocking-checkpoint. Set the busy-handler up so that connection
|
| - # 2 releases its lock on the 6th invocation. The checkpointer should then
|
| - # proceed to checkpoint the entire log file. Next write should go to the
|
| - # start of the log file.
|
| - #
|
| - set ::busy_handler_script { if {$n==5} { sql2 COMMIT } }
|
| - do_test 1.$tn.5 {
|
| - code1 { do_wal_checkpoint db -mode restart }
|
| - list [db_page_count] [wal_page_count] $::nBusyHandler
|
| - } {6 12 6}
|
| - do_test 1.$tn.6 {
|
| - set ::nBusyHandler 0
|
| - sql1 { INSERT INTO t1 VALUES(5, zeroblob(1200)) }
|
| - list [db_page_count] [wal_page_count] $::nBusyHandler
|
| - } {6 12 0}
|
| -
|
| - do_test 1.$tn.7 {
|
| - reopen_all
|
| - list [db_page_count] [wal_page_count] $::nBusyHandler
|
| - } {7 0 0}
|
| -
|
| - do_test 1.$tn.8 { sql2 { BEGIN ; SELECT x FROM t1 } } {1 2 3 4 5}
|
| - do_test 1.$tn.9 {
|
| - sql1 { INSERT INTO t1 VALUES(6, zeroblob(1200)) }
|
| - list [db_page_count] [wal_page_count] $::nBusyHandler
|
| - } {7 5 0}
|
| - do_test 1.$tn.10 { sql3 { BEGIN ; SELECT x FROM t1 } } {1 2 3 4 5 6}
|
| -
|
| - set ::busy_handler_script {
|
| - if {$n==5} { sql2 COMMIT }
|
| - if {$n==6} { set ::db_file_size [db_page_count] }
|
| - if {$n==7} { sql3 COMMIT }
|
| - }
|
| - do_test 1.$tn.11 {
|
| - code1 { do_wal_checkpoint db -mode restart }
|
| - list [db_page_count] [wal_page_count] $::nBusyHandler
|
| - } {10 5 8}
|
| - do_test 1.$tn.12 { set ::db_file_size } 10
|
| - }
|
| -
|
| - #-------------------------------------------------------------------------
|
| - # This block of tests explores checkpoint operations on more than one
|
| - # database file.
|
| - #
|
| - proc setup_and_attach_aux {} {
|
| - sql1 { ATTACH 'test.db2' AS aux }
|
| - sql2 { ATTACH 'test.db2' AS aux }
|
| - sql3 { ATTACH 'test.db2' AS aux }
|
| - sql1 {
|
| - PRAGMA aux.auto_vacuum = 0;
|
| - PRAGMA main.auto_vacuum = 0;
|
| - PRAGMA main.page_size=1024; PRAGMA main.journal_mode=WAL;
|
| - PRAGMA aux.page_size=1024; PRAGMA aux.journal_mode=WAL;
|
| - }
|
| - }
|
| -
|
| - proc file_page_counts {} {
|
| - list [db_page_count test.db ] \
|
| - [wal_page_count test.db ] \
|
| - [db_page_count test.db2] \
|
| - [wal_page_count test.db2]
|
| - }
|
| -
|
| - # Test that executing "PRAGMA wal_checkpoint" checkpoints all attached
|
| - # databases, not just the main db. In capi mode, check that this is
|
| - # true if a NULL pointer is passed to wal_checkpoint_v2() in place of a
|
| - # database name.
|
| - do_multiclient_test tn {
|
| - setup_and_attach_aux
|
| - do_test 2.1.$tn.1 {
|
| - sql1 {
|
| - CREATE TABLE t1(a, b);
|
| - INSERT INTO t1 VALUES(1, 2);
|
| - CREATE TABLE aux.t2(a, b);
|
| - INSERT INTO t2 VALUES(1, 2);
|
| - }
|
| - } {}
|
| - do_test 2.2.$tn.2 { file_page_counts } {1 3 1 3}
|
| - do_test 2.1.$tn.3 { code1 { do_wal_checkpoint db } } {0 3 3}
|
| - do_test 2.1.$tn.4 { file_page_counts } {2 3 2 3}
|
| - }
|
| -
|
| - do_multiclient_test tn {
|
| - setup_and_attach_aux
|
| - do_test 2.2.$tn.1 {
|
| - execsql {
|
| - CREATE TABLE t1(a, b);
|
| - INSERT INTO t1 VALUES(1, 2);
|
| - CREATE TABLE aux.t2(a, b);
|
| - INSERT INTO t2 VALUES(1, 2);
|
| - INSERT INTO t2 VALUES(3, 4);
|
| - }
|
| - } {}
|
| - do_test 2.2.$tn.2 { file_page_counts } {1 3 1 4}
|
| - do_test 2.2.$tn.3 { sql2 { BEGIN; SELECT * FROM t1 } } {1 2}
|
| - do_test 2.2.$tn.4 { code1 { do_wal_checkpoint db -mode restart } } {1 3 3}
|
| - do_test 2.2.$tn.5 { file_page_counts } {2 3 2 4}
|
| - }
|
| -
|
| - do_multiclient_test tn {
|
| - setup_and_attach_aux
|
| - do_test 2.3.$tn.1 {
|
| - execsql {
|
| - CREATE TABLE t1(a, b);
|
| - INSERT INTO t1 VALUES(1, 2);
|
| - CREATE TABLE aux.t2(a, b);
|
| - INSERT INTO t2 VALUES(1, 2);
|
| - }
|
| - } {}
|
| - do_test 2.3.$tn.2 { file_page_counts } {1 3 1 3}
|
| - do_test 2.3.$tn.3 { sql2 { BEGIN; SELECT * FROM t1 } } {1 2}
|
| - do_test 2.3.$tn.4 { sql1 { INSERT INTO t1 VALUES(3, 4) } } {}
|
| - do_test 2.3.$tn.5 { sql1 { INSERT INTO t2 VALUES(3, 4) } } {}
|
| - do_test 2.3.$tn.6 { file_page_counts } {1 4 1 4}
|
| - do_test 2.3.$tn.7 { code1 { do_wal_checkpoint db -mode full } } {1 4 3}
|
| -
|
| - # The checkpoint above only writes page 1 of the db file. The other
|
| - # page (page 2) is locked by the read-transaction opened by the
|
| - # [sql2] commmand above. So normally, the db is 1 page in size here.
|
| - # However, in mmap() mode, the db is pre-allocated to 2 pages at the
|
| - # start of the checkpoint, even though page 2 cannot be written.
|
| - set nDb 2
|
| - if {[permutation]!="mmap"} {set nDb 1}
|
| - ifcapable !mmap {set nDb 1}
|
| - do_test 2.3.$tn.8 { file_page_counts } [list $nDb 4 2 4]
|
| - }
|
| -
|
| - # Check that checkpoints block on the correct locks. And respond correctly
|
| - # if they cannot obtain those locks. There are three locks that a checkpoint
|
| - # may block on (in the following order):
|
| - #
|
| - # 1. The writer lock: FULL and RESTART checkpoints block until any writer
|
| - # process releases its lock.
|
| - #
|
| - # 2. Readers using part of the log file. FULL and RESTART checkpoints block
|
| - # until readers using part (but not all) of the log file have finished.
|
| - #
|
| - # 3. Readers using any of the log file. After copying data into the
|
| - # database file, RESTART checkpoints block until readers using any part
|
| - # of the log file have finished.
|
| - #
|
| - # This test case involves running a checkpoint while there exist other
|
| - # processes holding all three types of locks.
|
| - #
|
| - foreach {tn1 checkpoint busy_on ckpt_expected expected} {
|
| - 1 PASSIVE - {0 3 3} -
|
| - 2 TYPO - {0 3 3} -
|
| -
|
| - 3 FULL - {0 4 4} 2
|
| - 4 FULL 1 {1 3 3} 1
|
| - 5 FULL 2 {1 4 3} 2
|
| - 6 FULL 3 {0 4 4} 2
|
| -
|
| - 7 RESTART - {0 4 4} 3
|
| - 8 RESTART 1 {1 3 3} 1
|
| - 9 RESTART 2 {1 4 3} 2
|
| - 10 RESTART 3 {1 4 4} 3
|
| -
|
| - } {
|
| - do_multiclient_test tn {
|
| - setup_and_attach_aux
|
| -
|
| - proc busyhandler {x} {
|
| - set ::max_busyhandler $x
|
| - if {$::busy_on!="-" && $x==$::busy_on} { return 1 }
|
| - switch -- $x {
|
| - 1 { sql2 "COMMIT ; BEGIN ; SELECT * FROM t1" }
|
| - 2 { sql3 "COMMIT" }
|
| - 3 { sql2 "COMMIT" }
|
| - }
|
| - return 0
|
| - }
|
| - set ::max_busyhandler -
|
| -
|
| - do_test 2.4.$tn1.$tn.1 {
|
| - sql1 {
|
| - CREATE TABLE t1(a, b);
|
| - INSERT INTO t1 VALUES(1, 2);
|
| - }
|
| - sql2 { BEGIN; INSERT INTO t1 VALUES(3, 4) }
|
| - sql3 { BEGIN; SELECT * FROM t1 }
|
| - } {1 2}
|
| -
|
| - do_test 2.4.$tn1.$tn.2 {
|
| - code1 { db busy busyhandler }
|
| - code1 { do_wal_checkpoint db -mode [string tolower $checkpoint] }
|
| - } $ckpt_expected
|
| - do_test 2.4.$tn1.$tn.3 { set ::max_busyhandler } $expected
|
| - }
|
| - }
|
| -
|
| -
|
| - do_multiclient_test tn {
|
| -
|
| - code1 $do_wal_checkpoint
|
| - code2 $do_wal_checkpoint
|
| - code3 $do_wal_checkpoint
|
| -
|
| - do_test 3.$tn.1 {
|
| - sql1 {
|
| - PRAGMA auto_vacuum = 0;
|
| - PRAGMA journal_mode = WAL;
|
| - PRAGMA synchronous = normal;
|
| - CREATE TABLE t1(x, y);
|
| - }
|
| -
|
| - sql2 { PRAGMA journal_mode }
|
| - sql3 { PRAGMA journal_mode }
|
| - } {wal}
|
| -
|
| - do_test 3.$tn.2 { code2 { do_wal_checkpoint db2 } } {0 2 2}
|
| -
|
| - do_test 3.$tn.3 { code2 { do_wal_checkpoint db2 } } {0 2 2}
|
| -
|
| - do_test 3.$tn.4 { code3 { do_wal_checkpoint db3 } } {0 2 2}
|
| -
|
| - code1 {db close}
|
| - code2 {db2 close}
|
| - code3 {db3 close}
|
| -
|
| - code1 {sqlite3 db test.db}
|
| - code2 {sqlite3 db2 test.db}
|
| - code3 {sqlite3 db3 test.db}
|
| -
|
| - do_test 3.$tn.5 { sql3 { PRAGMA journal_mode } } {wal}
|
| -
|
| - do_test 3.$tn.6 { code3 { do_wal_checkpoint db3 } } {0 0 0}
|
| - }
|
| -}
|
| -
|
| -
|
| -finish_test
|
|
|