Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Fetching contributors…

Cannot retrieve contributors at this time

318 lines (296 sloc) 9.179 kb
# 2007 March 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.
#
#***********************************************************************
# This file implements regression tests for SQLite library.
#
# $Id: exclusive2.test,v 1.10 2008/11/27 02:22:11 drh Exp $
set testdir [file dirname $argv0]
source $testdir/tester.tcl
# Do not use a codec for tests in this file, as the database file is
# manipulated directly using tcl scripts (using the [hexio_write] command).
#
do_not_use_codec
ifcapable {!pager_pragmas} {
finish_test
return
}
# This module does not work right if the cache spills at unexpected
# moments. So disable the soft-heap-limit.
#
sqlite3_soft_heap_limit 0
proc pagerChangeCounter {filename new {fd ""}} {
if {$fd==""} {
set fd [open $filename RDWR]
fconfigure $fd -translation binary -encoding binary
set needClose 1
} else {
set needClose 0
}
if {$new ne ""} {
seek $fd 24
set a [expr {($new&0xFF000000)>>24}]
set b [expr {($new&0x00FF0000)>>16}]
set c [expr {($new&0x0000FF00)>>8}]
set d [expr {($new&0x000000FF)}]
puts -nonewline $fd [binary format cccc $a $b $c $d]
flush $fd
}
seek $fd 24
foreach {a b c d} [list 0 0 0 0] {}
binary scan [read $fd 4] cccc a b c d
set ret [expr ($a&0x000000FF)<<24]
incr ret [expr ($b&0x000000FF)<<16]
incr ret [expr ($c&0x000000FF)<<8]
incr ret [expr ($d&0x000000FF)<<0]
if {$needClose} {close $fd}
return $ret
}
proc readPagerChangeCounter {filename} {
set fd [open $filename RDONLY]
fconfigure $fd -translation binary -encoding binary
seek $fd 24
foreach {a b c d} [list 0 0 0 0] {}
binary scan [read $fd 4] cccc a b c d
set ret [expr ($a&0x000000FF)<<24]
incr ret [expr ($b&0x000000FF)<<16]
incr ret [expr ($c&0x000000FF)<<8]
incr ret [expr ($d&0x000000FF)<<0]
close $fd
return $ret
}
proc t1sig {{db db}} {
execsql {SELECT count(*), md5sum(a) FROM t1} $db
}
do_test exclusive2-1.0 {
readPagerChangeCounter test.db
} {0}
#-----------------------------------------------------------------------
# The following tests - exclusive2-1.X - check that:
#
# 1-3: Build a database with connection 1, calculate a signature.
# 4-7: Modify the database using a second connection in a way that
# does not modify the freelist, then reset the pager change-counter
# to the value it had before the modifications.
# 8: Check that using the first connection, the database signature
# is still the same. This is because it uses the in-memory cache.
# It can't tell the db has changed because we reset the change-counter.
# 9: Increment the change-counter.
# 10: Ensure that the first connection now sees the updated database. It
# sees the change-counter has been incremented and discards the
# invalid in-memory cache.
#
# This will only work if the database cache is large enough to hold
# the entire database. In the case of 1024 byte pages, this means
# the cache size must be at least 17. Otherwise, some pages will be
# loaded from the database file in step 8.
#
# For similar reasons, this test does not work with the memsubsys1 permutation.
# Permutation memsubsys1 configures the pcache subsystem to use a static
# allocation of 24 pages (shared between all pagers). This is not enough for
# this test.
#
do_test exclusive2-1.1 {
execsql {
BEGIN;
CREATE TABLE t1(a, b);
INSERT INTO t1(a) VALUES(randstr(10, 400));
INSERT INTO t1(a) VALUES(randstr(10, 400));
INSERT INTO t1(a) SELECT randstr(10, 400) FROM t1;
INSERT INTO t1(a) SELECT randstr(10, 400) FROM t1;
INSERT INTO t1(a) SELECT randstr(10, 400) FROM t1;
INSERT INTO t1(a) SELECT randstr(10, 400) FROM t1;
INSERT INTO t1(a) SELECT randstr(10, 400) FROM t1;
COMMIT;
SELECT count(*) FROM t1;
}
} {64}
do_test exclusive2-1.2.1 {
# Make sure the pager cache is large enough to store the
# entire database.
set nPage [expr [file size test.db]/1024]
if {$::SQLITE_DEFAULT_CACHE_SIZE < $nPage} {
execsql "PRAGMA cache_size = $nPage"
}
expr {[execsql {PRAGMA cache_size}] >= $nPage}
} {1}
do_test exclusive2-1.2 {
set ::sig [t1sig]
readPagerChangeCounter test.db
} {1}
do_test exclusive2-1.3 {
t1sig
} $::sig
do_test exclusive2-1.4 {
sqlite3 db2 test.db
t1sig db2
} $::sig
do_test exclusive2-1.5 {
execsql {
UPDATE t1 SET b=a, a=NULL;
} db2
expr {[t1sig db2] eq $::sig}
} 0
do_test exclusive2-1.6 {
readPagerChangeCounter test.db
} {2}
do_test exclusive2-1.7 {
pagerChangeCounter test.db 1
} {1}
if {[permutation] != "memsubsys1"} {
do_test exclusive2-1.9 {
t1sig
expr {[t1sig] eq $::sig}
} {1}
}
do_test exclusive2-1.10 {
pagerChangeCounter test.db 2
} {2}
do_test exclusive2-1.11 {
expr {[t1sig] eq $::sig}
} {0}
db2 close
#--------------------------------------------------------------------
# These tests - exclusive2-2.X - are similar to exclusive2-1.X,
# except that they are run with locking_mode=EXCLUSIVE.
#
# 1-3: Build a database with exclusive-access connection 1,
# calculate a signature.
# 4: Corrupt the database by writing 10000 bytes of garbage
# starting at the beginning of page 2. Check that connection 1
# still works. It should be accessing the in-memory cache.
# 5-6: Modify the dataase change-counter. Connection 1 still works
# entirely from in-memory cache, because it doesn't check the
# change-counter.
# 7-8 Set the locking-mode back to normal. After the db is unlocked,
# SQLite detects the modified change-counter and discards the
# in-memory cache. Then it finds the corruption caused in step 4....
#
# As above, this test is only applicable if the pager cache is
# large enough to hold the entire database. With 1024 byte pages,
# this means 19 pages. We also need to disable the soft-heap-limit
# to prevent memory-induced cache spills.
#
do_test exclusive2-2.1 {
execsql {PRAGMA cache_size=1000;}
execsql {PRAGMA locking_mode = exclusive;}
execsql {
BEGIN;
DELETE FROM t1;
INSERT INTO t1(a) VALUES(randstr(10, 400));
INSERT INTO t1(a) VALUES(randstr(10, 400));
INSERT INTO t1(a) SELECT randstr(10, 400) FROM t1;
INSERT INTO t1(a) SELECT randstr(10, 400) FROM t1;
INSERT INTO t1(a) SELECT randstr(10, 400) FROM t1;
INSERT INTO t1(a) SELECT randstr(10, 400) FROM t1;
INSERT INTO t1(a) SELECT randstr(10, 400) FROM t1;
COMMIT;
SELECT count(*) FROM t1;
}
} {64}
do_test exclusive2-2.2.1 {
# Make sure the pager cache is large enough to store the
# entire database.
set nPage [expr [file size test.db]/1024]
if {$::SQLITE_DEFAULT_CACHE_SIZE < $nPage} {
execsql "PRAGMA cache_size = $nPage"
}
expr {[execsql {PRAGMA cache_size}] >= $nPage}
} {1}
do_test exclusive2-2.2 {
set ::sig [t1sig]
readPagerChangeCounter test.db
} {3}
do_test exclusive2-2.3 {
t1sig
} $::sig
do_test exclusive2-2.4 {
set ::fd [open test.db RDWR]
fconfigure $::fd -translation binary
seek $::fd 1024
puts -nonewline $::fd [string repeat [binary format c 0] 10000]
flush $::fd
t1sig
} $::sig
do_test exclusive2-2.5 {
pagerChangeCounter test.db 5 $::fd
} {5}
do_test exclusive2-2.6 {
t1sig
} $::sig
do_test exclusive2-2.7 {
execsql {PRAGMA locking_mode = normal}
t1sig
} $::sig
do_test exclusive2-2.8 {
set rc [catch {t1sig} msg]
list $rc $msg
} {1 {database disk image is malformed}}
#--------------------------------------------------------------------
# These tests - exclusive2-3.X - verify that the pager change-counter
# is only incremented by the first change when in exclusive access
# mode. In normal mode, the change-counter is incremented once
# per write-transaction.
#
db close
catch {close $::fd}
forcedelete test.db
forcedelete test.db-journal
do_test exclusive2-3.0 {
sqlite3 db test.db
execsql {
BEGIN;
CREATE TABLE t1(a UNIQUE);
INSERT INTO t1 VALUES(randstr(200, 200));
INSERT INTO t1 VALUES(randstr(200, 200));
COMMIT;
}
readPagerChangeCounter test.db
} {1}
do_test exclusive2-3.1 {
execsql {
INSERT INTO t1 VALUES(randstr(200, 200));
}
readPagerChangeCounter test.db
} {2}
do_test exclusive2-3.2 {
execsql {
INSERT INTO t1 VALUES(randstr(200, 200));
}
readPagerChangeCounter test.db
} {3}
do_test exclusive2-3.3 {
execsql {
PRAGMA locking_mode = exclusive;
INSERT INTO t1 VALUES(randstr(200, 200));
}
readPagerChangeCounter test.db
} {4}
do_test exclusive2-3.4 {
breakpoint
execsql {
INSERT INTO t1 VALUES(randstr(200, 200));
}
readPagerChangeCounter test.db
} {4}
do_test exclusive2-3.5 {
execsql {
PRAGMA locking_mode = normal;
INSERT INTO t1 VALUES(randstr(200, 200));
}
readPagerChangeCounter test.db
} {4}
do_test exclusive2-3.6 {
execsql {
INSERT INTO t1 VALUES(randstr(200, 200));
}
readPagerChangeCounter test.db
} {5}
sqlite3_soft_heap_limit $cmdlinearg(soft-heap-limit)
finish_test
Jump to Line
Something went wrong with that request. Please try again.