754 lines
23 KiB
Plaintext
754 lines
23 KiB
Plaintext
# 2014 December 04
|
|
#
|
|
# 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
|
|
set testprefix e_walckpt
|
|
|
|
# The following two commands are used to determine if any of the files
|
|
# "test.db", "test.db2" and "test.db3" are modified by a test case.
|
|
#
|
|
# The [save_db_hashes] command saves a hash of the current contents of
|
|
# all three files in global variables. The [compare_db_hashes] compares
|
|
# the current contents with the saved hashes and returns a list of the
|
|
# files that have changed.
|
|
#
|
|
proc save_db_hashes {} {
|
|
global H
|
|
foreach f {test.db test.db2 test.db3} {
|
|
set H($f) 0
|
|
catch { set H($f) [md5file $f] }
|
|
}
|
|
}
|
|
proc compare_db_hashes {} {
|
|
global H
|
|
set ret [list]
|
|
foreach f {test.db test.db2 test.db3} {
|
|
set expect 0
|
|
catch { set expect [md5file $f] }
|
|
if {$H($f) != $expect} { lappend ret $f }
|
|
}
|
|
set ret
|
|
}
|
|
|
|
#-------------------------------------------------------------------------
|
|
# All calls to the [sqlite3_wal_checkpoint_v2] command made within this
|
|
# file use this wrapper. It's sole purpose is to throw an error if the
|
|
# following requirement is violated:
|
|
#
|
|
# EVIDENCE-OF: R-60567-47780 Unless it returns SQLITE_MISUSE, the
|
|
# sqlite3_wal_checkpoint_v2() interface sets the error information that
|
|
# is queried by sqlite3_errcode() and sqlite3_errmsg().
|
|
#
|
|
proc wal_checkpoint_v2 {db args} {
|
|
set rc [catch {
|
|
uplevel sqlite3_wal_checkpoint_v2 $db $args
|
|
} msg]
|
|
|
|
set errcode "SQLITE_OK"
|
|
if {$rc} {
|
|
set errcode [lindex [split $msg " "] 0]
|
|
} elseif { [lindex $msg 0] } {
|
|
set errcode "SQLITE_BUSY"
|
|
}
|
|
|
|
if {$errcode != "SQLITE_MISUSE" && [sqlite3_errcode $db] != $errcode} {
|
|
error "sqlite3_errcode mismatch! (1) $errcode!=[sqlite3_errcode $db]"
|
|
}
|
|
|
|
if {$rc==0} {
|
|
return $msg
|
|
} else {
|
|
error $msg
|
|
}
|
|
}
|
|
|
|
|
|
# The following tests are run 3 times, each using a different method of
|
|
# invoking a checkpoint:
|
|
#
|
|
# 1) Using sqlite3_wal_checkpoint_v2()
|
|
# 2) Using "PRAGMA wal_checkpoint"
|
|
# 3) Using sqlite3_wal_checkpoint() in place of checkpoint_v2(PASSIVE)
|
|
#
|
|
# Cases (2) and (3) are to show that the following statements are
|
|
# correct, respectively:
|
|
#
|
|
# EVIDENCE-OF: R-36706-10507 The PRAGMA wal_checkpoint command can be
|
|
# used to invoke this interface from SQL.
|
|
#
|
|
# EVIDENCE-OF: R-41613-20553 The sqlite3_wal_checkpoint(D,X) is
|
|
# equivalent to
|
|
# sqlite3_wal_checkpoint_v2(D,X,SQLITE_CHECKPOINT_PASSIVE,0,0).
|
|
#
|
|
foreach {tn script} {
|
|
1 {
|
|
proc checkpoint {db mode args} {
|
|
eval wal_checkpoint_v2 [list $db] [list $mode] $args
|
|
}
|
|
}
|
|
|
|
2 {
|
|
proc checkpoint {db mode args} {
|
|
set sql "PRAGMA wal_checkpoint = $mode"
|
|
if {[llength $args] && [lindex $args 0]!=""} {
|
|
set sql "PRAGMA [lindex $args 0].wal_checkpoint = $mode"
|
|
}
|
|
set rc [catch { $db eval $sql } msg]
|
|
if {$rc} {
|
|
regsub {database} $msg {database:} msg
|
|
error "[sqlite3_errcode $db] - $msg"
|
|
}
|
|
set msg
|
|
}
|
|
}
|
|
|
|
3 {
|
|
proc checkpoint {db mode args} {
|
|
if {$mode == "passive"} {
|
|
set rc [eval sqlite3_wal_checkpoint [list $db] $args]
|
|
if {$rc != "SQLITE_OK"} {
|
|
error "$rc - [sqlite3_errmsg $db]"
|
|
}
|
|
} else {
|
|
eval wal_checkpoint_v2 [list $db] [list $mode] $args
|
|
}
|
|
}
|
|
}
|
|
|
|
} {
|
|
|
|
eval $script
|
|
|
|
reset_db
|
|
forcedelete test.db2 test.db3 test.db4
|
|
execsql {
|
|
ATTACH 'test.db2' AS aux;
|
|
ATTACH 'test.db3' AS aux2;
|
|
ATTACH 'test.db4' AS aux3;
|
|
CREATE TABLE t1(x);
|
|
CREATE TABLE aux.t2(x);
|
|
CREATE TABLE aux2.t3(x);
|
|
CREATE TABLE aux3.t4(x);
|
|
PRAGMA main.journal_mode = WAL;
|
|
PRAGMA aux.journal_mode = WAL;
|
|
PRAGMA aux2.journal_mode = WAL;
|
|
/* Leave aux4 in rollback mode */
|
|
}
|
|
|
|
# EVIDENCE-OF: R-49787-09095 The sqlite3_wal_checkpoint_v2(D,X,M,L,C)
|
|
# interface runs a checkpoint operation on database X of database
|
|
# connection D in mode M. Status information is written back into
|
|
# integers pointed to by L and C.
|
|
#
|
|
# Tests 1, 2 and 3 below verify the "on database X" part of the
|
|
# above. Other parts of this requirement are tested below.
|
|
#
|
|
# EVIDENCE-OF: R-00653-06026 If parameter zDb is NULL or points to a
|
|
# zero length string, then the specified operation is attempted on all
|
|
# WAL databases attached to database connection db.
|
|
#
|
|
# Tests 4 and 5 below test this.
|
|
#
|
|
foreach {tn2 zDb dblist} {
|
|
1 main test.db
|
|
2 aux test.db2
|
|
3 aux2 test.db3
|
|
4 "" {test.db test.db2 test.db3}
|
|
5 - {test.db test.db2 test.db3}
|
|
6 temp {}
|
|
} {
|
|
do_test $tn.1.$tn2 {
|
|
execsql {
|
|
INSERT INTO t1 VALUES(1);
|
|
INSERT INTO t2 VALUES(2);
|
|
INSERT INTO t3 VALUES(3);
|
|
}
|
|
save_db_hashes
|
|
|
|
if {$zDb == "-"} {
|
|
checkpoint db passive
|
|
} else {
|
|
checkpoint db passive $zDb
|
|
}
|
|
|
|
compare_db_hashes
|
|
} $dblist
|
|
}
|
|
|
|
# EVIDENCE-OF: R-38207-48996 If zDb is not NULL (or a zero length
|
|
# string) and is not the name of any attached database, SQLITE_ERROR is
|
|
# returned to the caller.
|
|
do_test $tn.2.1 {
|
|
list [catch { checkpoint db passive notadb } msg] $msg
|
|
} {1 {SQLITE_ERROR - unknown database: notadb}}
|
|
|
|
# EVIDENCE-OF: R-14303-42483 If database zDb is the name of an attached
|
|
# database that is not in WAL mode, SQLITE_OK is returned and both
|
|
# *pnLog and *pnCkpt set to -1.
|
|
#
|
|
if {$tn==3} {
|
|
# With sqlite3_wal_checkpoint() the two output variables cannot be
|
|
# tested. So just test that no error is returned when attempting to
|
|
# checkpoint a db in rollback mode.
|
|
do_test $tn.2.2.a { checkpoint db passive aux3 } {}
|
|
} else {
|
|
do_test $tn.2.2.b { checkpoint db passive aux3 } {0 -1 -1}
|
|
}
|
|
|
|
# EVIDENCE-OF: R-62028-47212 All calls obtain an exclusive "checkpoint"
|
|
# lock on the database file.
|
|
db close
|
|
testvfs tvfs
|
|
tvfs filter xShmLock
|
|
tvfs script filelock
|
|
proc filelock {method file handle details} {
|
|
# Test for an exclusive checkpoint lock. A checkpoint lock locks a
|
|
# single byte starting at offset 1.
|
|
if {$details == "1 1 lock exclusive"} { set ::seen_checkpoint_lock 1 }
|
|
}
|
|
sqlite3 db test.db -vfs tvfs
|
|
do_test $tn.3.1 {
|
|
execsql { INSERT INTO t1 VALUES('xyz') }
|
|
unset -nocomplain ::seen_checkpoint_lock
|
|
checkpoint db passive
|
|
set ::seen_checkpoint_lock
|
|
} {1}
|
|
db close
|
|
tvfs delete
|
|
reset_db
|
|
|
|
|
|
|
|
|
|
#-----------------------------------------------------------------------
|
|
# EVIDENCE-OF: R-10421-19736 If any other process is running a
|
|
# checkpoint operation at the same time, the lock cannot be obtained and
|
|
# SQLITE_BUSY is returned.
|
|
#
|
|
# EVIDENCE-OF: R-53820-33897 Even if there is a busy-handler configured,
|
|
# it will not be invoked in this case.
|
|
#
|
|
testvfs tvfs
|
|
tvfs filter xWrite
|
|
sqlite3 db test.db -vfs tvfs
|
|
sqlite3 db2 test.db -vfs tvfs
|
|
|
|
do_test $tn.3.2.1 {
|
|
db2 eval {
|
|
PRAGMA auto_vacuum = 0;
|
|
PRAGMA journal_mode = WAL;
|
|
CREATE TABLE t1(x, y);
|
|
INSERT INTO t1 VALUES(1,2);
|
|
INSERT INTO t1 VALUES(3,4);
|
|
INSERT INTO t1 VALUES(5,6);
|
|
}
|
|
file size test.db-wal
|
|
} [wal_file_size 5 1024]
|
|
|
|
|
|
# Connection [db] runs a checkpoint. During this checkpoint, each
|
|
# time it calls xWrite() to write a page into the database file, we
|
|
# attempt to start a checkpoint using [db2]. According to the
|
|
# first requirement being tested, this should return SQLITE_BUSY. According
|
|
# to the second, the busy-handler belonging to [db2] should not be
|
|
# invoked.
|
|
#
|
|
set ::write_count 0
|
|
set ::write_errors [list]
|
|
proc busy_callback {args} {
|
|
lappend ::write_errors "busy handler called!"
|
|
}
|
|
proc write_callback {args} {
|
|
set rc [catch {checkpoint db2 passive} msg]
|
|
if {0==[regexp "database is locked" $msg] && $msg!="1 -1 -1"} {
|
|
lappend ::write_errors "$rc $msg"
|
|
}
|
|
incr ::write_count
|
|
}
|
|
db2 busy busy_callback
|
|
tvfs script write_callback
|
|
|
|
do_test $tn.3.2.2 {
|
|
db eval {SELECT * FROM sqlite_master}
|
|
checkpoint db full
|
|
set ::write_count
|
|
} {2}
|
|
|
|
do_test $tn.3.2.3 {
|
|
set ::write_errors
|
|
} {}
|
|
|
|
db close
|
|
db2 close
|
|
tvfs delete
|
|
|
|
proc busy_handler {mode busy_handler_mode n} {
|
|
incr ::busy_handler_counter
|
|
switch -- $busy_handler_mode {
|
|
1 {
|
|
# Do nothing. Do not block.
|
|
return 1
|
|
}
|
|
|
|
2 {
|
|
# Close first the reader, then later the writer. Give up before
|
|
# closing the [db6] reader.
|
|
if {$n==5} { catch {db2 eval commit} }
|
|
if {$n==10} { catch {db3 eval commit} }
|
|
if {$n==15} { return 1 }
|
|
return 0
|
|
}
|
|
|
|
3 {
|
|
# Close first the writer, then later the reader. And finally the
|
|
# [db6] reader.
|
|
if {$n==5} { catch {db2 eval commit} }
|
|
if {$n==10} { catch {db3 eval commit} }
|
|
if {$n==15} { catch {db6 eval commit} }
|
|
return 0
|
|
}
|
|
}
|
|
}
|
|
|
|
foreach {mode busy_handler_mode} {
|
|
passive 1
|
|
full 1 full 2 full 3
|
|
restart 1 restart 2 restart 3
|
|
truncate 1 truncate 2 truncate 3
|
|
} {
|
|
set tp "$tn.$mode.$busy_handler_mode"
|
|
|
|
set ::sync_counter 0
|
|
|
|
# Set up a callback function for xSync and xWrite calls made during
|
|
# the checkpoint.
|
|
#
|
|
set ::checkpoint_ongoing 0
|
|
proc tvfs_callback {method args} {
|
|
if {$::checkpoint_ongoing==0} return
|
|
|
|
set tail [file tail [lindex $args 0]]
|
|
if {$method == "xSync" && $tail == "test.db"} {
|
|
incr ::sync_counter
|
|
}
|
|
if {$method == "xWrite" && $tail=="test.db"} {
|
|
if {$::write_ok < 0} {
|
|
set ::write_ok [expr ![catch {db5 eval { BEGIN IMMEDIATE }}]]
|
|
catch { db5 eval ROLLBACK }
|
|
}
|
|
if {$::read_ok < 0} {
|
|
set ::read_ok [expr ![catch {db5 eval { SELECT * FROM t1 }}]]
|
|
}
|
|
|
|
# If one has not already been opened, open a read-transaction using
|
|
# connection [db6]
|
|
catch { db6 eval { BEGIN ; SELECT * FROM sqlite_master } } msg
|
|
}
|
|
if {$method == "xShmLock" } {
|
|
set details [lindex $args 2]
|
|
if {$details == "0 1 lock exclusive"} { set ::seen_writer_lock 1 }
|
|
}
|
|
}
|
|
|
|
catch { db close }
|
|
forcedelete test.db
|
|
testvfs tvfs
|
|
sqlite3 db test.db -vfs tvfs
|
|
#tvfs filter xSync
|
|
tvfs script tvfs_callback
|
|
|
|
do_execsql_test $tp.0 {
|
|
CREATE TABLE t1(a, b);
|
|
CREATE TABLE t2(a, b);
|
|
PRAGMA journal_mode = wal;
|
|
INSERT INTO t1 VALUES(1, 2);
|
|
INSERT INTO t1 VALUES(3, 4);
|
|
INSERT INTO t1 VALUES(5, 6);
|
|
} {wal}
|
|
|
|
# Open a reader on the current database snapshot.
|
|
do_test $tp.1 {
|
|
sqlite3 db2 test.db -vfs tvfs
|
|
execsql {
|
|
BEGIN;
|
|
SELECT * FROM t1 UNION ALL SELECT * FROM t2;
|
|
} db2
|
|
} {1 2 3 4 5 6}
|
|
|
|
# Open a writer. Write a transaction. Then begin, but do not commit,
|
|
# a second transaction.
|
|
do_test $tp.2 {
|
|
sqlite3 db3 test.db -vfs tvfs
|
|
execsql {
|
|
INSERT INTO t2 VALUES(7, 8);
|
|
BEGIN;
|
|
INSERT INTO t2 VALUES(9, 10);
|
|
SELECT * FROM t1 UNION ALL SELECT * FROM t2;
|
|
} db3
|
|
} {1 2 3 4 5 6 7 8 9 10}
|
|
|
|
sqlite3 db5 test.db -vfs tvfs
|
|
sqlite3 db6 test.db -vfs tvfs
|
|
|
|
# Register a busy-handler with connection [db].
|
|
#
|
|
db busy [list busy_handler $mode $busy_handler_mode]
|
|
set ::sync_counter 0
|
|
set ::busy_handler_counter 0
|
|
set ::read_ok -1
|
|
set ::write_ok -1
|
|
set ::seen_writer_lock 0
|
|
|
|
set ::checkpoint_ongoing 1
|
|
do_test $tp.3 {
|
|
checkpoint db $mode main
|
|
set {} {}
|
|
} {}
|
|
set ::checkpoint_ongoing 0
|
|
set ::did_restart_blocking [expr {[catch {db6 eval commit}]}]
|
|
|
|
if { $mode=="passive" } {
|
|
# EVIDENCE-OF: R-16333-64433 Checkpoint as many frames as possible
|
|
# without waiting for any database readers or writers to finish, then
|
|
# sync the database file if all frames in the log were checkpointed.
|
|
#
|
|
# "As many frames as possible" means all but the last two transactions
|
|
# (the two that write to table t2, of which the scond is unfinished).
|
|
# So copying the db file only we see the t1 change, but not the t2
|
|
# modifications.
|
|
#
|
|
# The busy handler is not invoked (see below) and the db reader and
|
|
# writer are still active - so the checkpointer did not wait for either
|
|
# readers or writers. As a result the checkpoint was not finished and
|
|
# so the db file is not synced.
|
|
#
|
|
# EVIDENCE-OF: R-62920-47450 The busy-handler callback is never invoked
|
|
# in the SQLITE_CHECKPOINT_PASSIVE mode.
|
|
#
|
|
# It's not. Test case "$tp.6".
|
|
#
|
|
do_test $tp.4 {
|
|
forcecopy test.db abc.db
|
|
sqlite3 db4 abc.db
|
|
db4 eval { SELECT * FROM t1 UNION ALL SELECT * FROM t2 }
|
|
} {1 2 3 4 5 6}
|
|
do_test $tp.5 { set ::sync_counter } 0
|
|
do_test $tp.6 { set ::busy_handler_counter } 0
|
|
db4 close
|
|
|
|
db2 eval COMMIT
|
|
db3 eval COMMIT
|
|
|
|
# EVIDENCE-OF: R-65499-53765 On the other hand, passive mode might leave
|
|
# the checkpoint unfinished if there are concurrent readers or writers.
|
|
#
|
|
# The reader and writer have now dropped their locks. And so a
|
|
# checkpoint now is able to checkpoint more frames. Showing that the
|
|
# attempt above was left "unfinished".
|
|
#
|
|
# Also, because the checkpoint finishes this time, the db is synced.
|
|
# Which is part of R-16333-64433 above.
|
|
#
|
|
set ::checkpoint_ongoing 1
|
|
do_test $tp.7 {
|
|
checkpoint db $mode main
|
|
forcecopy test.db abc.db
|
|
sqlite3 db4 abc.db
|
|
db4 eval { SELECT * FROM t1 UNION ALL SELECT * FROM t2 }
|
|
} {1 2 3 4 5 6 7 8 9 10}
|
|
set ::checkpoint_ongoing 0
|
|
do_test $tp.7 { set ::sync_counter } 1
|
|
do_test $tp.8 { set ::busy_handler_counter } 0
|
|
db4 close
|
|
}
|
|
|
|
if { $mode=="full" || $mode=="restart" || $mode=="truncate" } {
|
|
|
|
# EVIDENCE-OF: R-59782-36818 The SQLITE_CHECKPOINT_FULL, RESTART and
|
|
# TRUNCATE modes also obtain the exclusive "writer" lock on the
|
|
# database file.
|
|
#
|
|
# Or at least attempts to obtain.
|
|
#
|
|
do_test $tp.9 {
|
|
set ::seen_writer_lock
|
|
} {1}
|
|
|
|
if {$busy_handler_mode==2 || $busy_handler_mode==3} {
|
|
# EVIDENCE-OF: R-59171-47567 This mode blocks (it invokes the
|
|
# busy-handler callback) until there is no database writer and all
|
|
# readers are reading from the most recent database snapshot.
|
|
#
|
|
# The test below shows that both the reader and writer have
|
|
# finished:
|
|
#
|
|
# Also restated by the following two. That both busy_handler_mode
|
|
# values 2 and 3 work show that both of the following are true - as
|
|
# they release the reader and writer transactions in different
|
|
# orders.
|
|
#
|
|
# EVIDENCE-OF: R-60642-04082 If the writer lock cannot be obtained
|
|
# immediately, and a busy-handler is configured, it is invoked and the
|
|
# writer lock retried until either the busy-handler returns 0 or the
|
|
# lock is successfully obtained.
|
|
#
|
|
# EVIDENCE-OF: R-48107-00250 The busy-handler is also invoked while
|
|
# waiting for database readers as described above.
|
|
#
|
|
do_test $tp.7 {
|
|
list [catchsql COMMIT db2] [catchsql COMMIT db3]
|
|
} [list \
|
|
{1 {cannot commit - no transaction is active}} \
|
|
{1 {cannot commit - no transaction is active}} \
|
|
]
|
|
|
|
# EVIDENCE-OF: R-29177-48281 It then checkpoints all frames in the log
|
|
# file and syncs the database file.
|
|
#
|
|
do_test $tp.8 {
|
|
forcecopy test.db abc.db
|
|
sqlite3 db4 abc.db
|
|
db4 eval { SELECT * FROM t1 UNION ALL SELECT * FROM t2 }
|
|
} {1 2 3 4 5 6 7 8 9 10}
|
|
do_test $tp.9 { set ::sync_counter } 1
|
|
db4 close
|
|
|
|
# EVIDENCE-OF: R-51867-44713 This mode blocks new database writers
|
|
# while it is pending, but new database readers are allowed to continue
|
|
# unimpeded.
|
|
#
|
|
# EVIDENCE-OF: R-47276-58266 Like SQLITE_CHECKPOINT_FULL, this mode
|
|
# blocks new database writer attempts while it is pending, but does not
|
|
# impede readers.
|
|
#
|
|
# The first of the above two refers to "full" mode. The second
|
|
# to "restart".
|
|
#
|
|
do_test $tp.10.1 {
|
|
list $::write_ok $::read_ok
|
|
} {0 1}
|
|
|
|
# EVIDENCE-OF: R-12410-31217 This mode works the same way as
|
|
# SQLITE_CHECKPOINT_FULL with the addition that after checkpointing the
|
|
# log file it blocks (calls the busy-handler callback) until all
|
|
# readers are reading from the database file only.
|
|
#
|
|
# The stuff above passed, so the first part of this requirement
|
|
# is met. The second part is tested below. If the checkpoint mode
|
|
# was "restart" or "truncate", then the busy-handler will have
|
|
# been called to block on wal-file readers.
|
|
#
|
|
do_test $tp.11 {
|
|
set ::did_restart_blocking
|
|
} [expr {($mode=="restart"||$mode=="truncate")&&$busy_handler_mode==3}]
|
|
|
|
# EVIDENCE-OF: R-44699-57140 This mode works the same way as
|
|
# SQLITE_CHECKPOINT_RESTART with the addition that it also truncates
|
|
# the log file to zero bytes just prior to a successful return.
|
|
if {$mode=="truncate" && $busy_handler_mode==3} {
|
|
do_test $tp.12 {
|
|
file size test.db-wal
|
|
} 0
|
|
}
|
|
} elseif {$busy_handler_mode==1} {
|
|
|
|
# EVIDENCE-OF: R-34519-06271 SQLITE_BUSY is returned in this case.
|
|
if {$tn!=2} {
|
|
# ($tn==2) is the loop that uses "PRAGMA wal_checkpoint"
|
|
do_test $tp.13 { sqlite3_errcode db } {SQLITE_BUSY}
|
|
}
|
|
|
|
# EVIDENCE-OF: R-49155-63541 If the busy-handler returns 0 before the
|
|
# writer lock is obtained or while waiting for database readers, the
|
|
# checkpoint operation proceeds from that point in the same way as
|
|
# SQLITE_CHECKPOINT_PASSIVE - checkpointing as many frames as possible
|
|
# without blocking any further.
|
|
do_test $tp.14 {
|
|
forcecopy test.db abc.db
|
|
sqlite3 db4 abc.db
|
|
db4 eval { SELECT * FROM t1 UNION ALL SELECT * FROM t2 }
|
|
} {1 2 3 4 5 6}
|
|
do_test $tp.15 { set ::sync_counter } 0
|
|
do_test $tp.16 { set ::busy_handler_counter } 1
|
|
db4 close
|
|
}
|
|
}
|
|
|
|
db2 close
|
|
db3 close
|
|
db5 close
|
|
db6 close
|
|
}
|
|
|
|
db close
|
|
tvfs delete
|
|
}
|
|
|
|
#-----------------------------------------------------------------------
|
|
# EVIDENCE-OF: R-03996-12088 The M parameter must be a valid checkpoint
|
|
# mode:
|
|
#
|
|
# Valid checkpoint modes are 0, 1, 2 and 3.
|
|
#
|
|
sqlite3 db test.db
|
|
foreach {tn mode res} {
|
|
0 -1001 {1 {SQLITE_MISUSE - not an error}}
|
|
1 -1 {1 {SQLITE_MISUSE - not an error}}
|
|
2 0 {0 {0 -1 -1}}
|
|
3 1 {0 {0 -1 -1}}
|
|
4 2 {0 {0 -1 -1}}
|
|
5 3 {0 {0 -1 -1}}
|
|
6 4 {1 {SQLITE_MISUSE - not an error}}
|
|
7 114 {1 {SQLITE_MISUSE - not an error}}
|
|
8 1000000 {1 {SQLITE_MISUSE - not an error}}
|
|
} {
|
|
do_test 4.$tn {
|
|
list [catch "wal_checkpoint_v2 db $mode" msg] $msg
|
|
} $res
|
|
}
|
|
db close
|
|
|
|
foreach tn {1 2 3} {
|
|
forcedelete test.db test.db2 test.db3
|
|
testvfs tvfs
|
|
|
|
sqlite3 db test.db -vfs tvfs
|
|
execsql {
|
|
ATTACH 'test.db2' AS aux2;
|
|
ATTACH 'test.db3' AS aux3;
|
|
PRAGMA main.journal_mode = WAL;
|
|
PRAGMA aux2.journal_mode = WAL;
|
|
PRAGMA aux3.journal_mode = WAL;
|
|
|
|
CREATE TABLE main.t1(x,y);
|
|
CREATE TABLE aux2.t2(x,y);
|
|
CREATE TABLE aux3.t3(x,y);
|
|
|
|
INSERT INTO t1 VALUES('a', 'b');
|
|
INSERT INTO t2 VALUES('a', 'b');
|
|
INSERT INTO t3 VALUES('a', 'b');
|
|
}
|
|
sqlite3 db2 test.db2 -vfs tvfs
|
|
|
|
switch -- $tn {
|
|
1 {
|
|
# EVIDENCE-OF: R-41299-52117 If no error (SQLITE_BUSY or otherwise) is
|
|
# encountered while processing the attached databases, SQLITE_OK is
|
|
# returned.
|
|
do_test 5.$tn.1 {
|
|
lindex [wal_checkpoint_v2 db truncate] 0
|
|
} {0} ;# 0 -> SQLITE_OK
|
|
do_test 5.$tn.2 {
|
|
list [expr [file size test.db-wal]==0] \
|
|
[expr [file size test.db2-wal]==0] \
|
|
[expr [file size test.db3-wal]==0]
|
|
} {1 1 1}
|
|
}
|
|
|
|
2 {
|
|
# EVIDENCE-OF: R-38578-34175 If an SQLITE_BUSY error is encountered when
|
|
# processing one or more of the attached WAL databases, the operation is
|
|
# still attempted on any remaining attached databases and SQLITE_BUSY is
|
|
# returned at the end.
|
|
db2 eval { BEGIN; INSERT INTO t2 VALUES('d', 'e'); }
|
|
do_test 5.$tn.1 {
|
|
lindex [wal_checkpoint_v2 db truncate] 0
|
|
} {1} ;# 1 -> SQLITE_BUSY
|
|
do_test 5.$tn.2 {
|
|
list [expr [file size test.db-wal]==0] \
|
|
[expr [file size test.db2-wal]==0] \
|
|
[expr [file size test.db3-wal]==0]
|
|
} {1 0 1}
|
|
db2 eval ROLLBACK
|
|
}
|
|
|
|
3 {
|
|
# EVIDENCE-OF: R-38049-07913 If any other error occurs while processing
|
|
# an attached database, processing is abandoned and the error code is
|
|
# returned to the caller immediately.
|
|
tvfs filter xWrite
|
|
tvfs script inject_ioerr
|
|
proc inject_ioerr {method file args} {
|
|
if {[file tail $file]=="test.db2"} {
|
|
return "SQLITE_IOERR"
|
|
}
|
|
return 0
|
|
}
|
|
do_test 5.$tn.1 {
|
|
list [catch { wal_checkpoint_v2 db truncate } msg] $msg
|
|
} {1 {SQLITE_IOERR - disk I/O error}}
|
|
do_test 5.$tn.2 {
|
|
list [expr [file size test.db-wal]==0] \
|
|
[expr [file size test.db2-wal]==0] \
|
|
[expr [file size test.db3-wal]==0]
|
|
} {1 0 0}
|
|
tvfs script ""
|
|
}
|
|
}
|
|
|
|
db close
|
|
db2 close
|
|
}
|
|
|
|
reset_db
|
|
sqlite3 db2 test.db
|
|
|
|
do_test 6.1 {
|
|
execsql {
|
|
PRAGMA auto_vacuum = 0;
|
|
PRAGMA journal_mode = WAL;
|
|
CREATE TABLE t1(a, b);
|
|
INSERT INTO t1 VALUES(1, 2);
|
|
}
|
|
file size test.db-wal
|
|
} [wal_file_size 3 1024]
|
|
|
|
do_test 6.2 {
|
|
db2 eval { BEGIN; SELECT * FROM t1; }
|
|
db eval { INSERT INTO t1 VALUES(3, 4) }
|
|
file size test.db-wal
|
|
} [wal_file_size 4 1024]
|
|
|
|
# At this point the log file contains 4 frames. 3 of which it should
|
|
# be possible to checkpoint.
|
|
#
|
|
# EVIDENCE-OF: R-16642-42503 If pnLog is not NULL, then *pnLog is set to
|
|
# the total number of frames in the log file or to -1 if the checkpoint
|
|
# could not run because of an error or because the database is not in
|
|
# WAL mode.
|
|
#
|
|
# EVIDENCE-OF: R-10514-25250 If pnCkpt is not NULL,then *pnCkpt is set
|
|
# to the total number of checkpointed frames in the log file (including
|
|
# any that were already checkpointed before the function was called) or
|
|
# to -1 if the checkpoint could not run due to an error or because the
|
|
# database is not in WAL mode.
|
|
#
|
|
do_test 6.4 {
|
|
lrange [wal_checkpoint_v2 db passive] 1 2
|
|
} {4 3}
|
|
|
|
# EVIDENCE-OF: R-37257-17813 Note that upon successful completion of an
|
|
# SQLITE_CHECKPOINT_TRUNCATE, the log file will have been truncated to
|
|
# zero bytes and so both *pnLog and *pnCkpt will be set to zero.
|
|
#
|
|
do_test 6.5 {
|
|
db2 eval COMMIT
|
|
wal_checkpoint_v2 db truncate
|
|
} {0 0 0}
|
|
|
|
|
|
|
|
finish_test
|