third_party/sqlite/src/test/exclusive2.test

   1 # 2007 March 24
   2 #
   3 # The author disclaims copyright to this source code.  In place of
   4 # a legal notice, here is a blessing:
   5 #
   6 #    May you do good and not evil.
   7 #    May you find forgiveness for yourself and forgive others.
   8 #    May you share freely, never taking more than you give.
   9 #
  10 #***********************************************************************
  11 # This file implements regression tests for SQLite library.
  12 #
  13 # $Id: exclusive2.test,v 1.10 2008/11/27 02:22:11 drh Exp $
  14
  15 set testdir [file dirname $argv0]
  16 source $testdir/tester.tcl
  17
  18 # Do not use a codec for tests in this file, as the database file is
  19 # manipulated directly using tcl scripts (using the [hexio_write] command).
  20 #
  21 do_not_use_codec
  22
  23 ifcapable {!pager_pragmas} {
  24   finish_test
  25   return
  26 }
  27
  28 # This module does not work right if the cache spills at unexpected
  29 # moments.  So disable the soft-heap-limit.
  30 #
  31 sqlite3_soft_heap_limit 0
  32
  33 proc pagerChangeCounter {filename new {fd ""}} {
  34   if {$fd==""} {
  35     set fd [open $filename RDWR]
  36     fconfigure $fd -translation binary -encoding binary
  37     set needClose 1
  38   } else {
  39     set needClose 0
  40   }
  41   if {$new ne ""} {
  42     seek $fd 24
  43     set a [expr {($new&0xFF000000)>>24}]
  44     set b [expr {($new&0x00FF0000)>>16}]
  45     set c [expr {($new&0x0000FF00)>>8}]
  46     set d [expr {($new&0x000000FF)}]
  47     puts -nonewline $fd [binary format cccc $a $b $c $d]
  48     flush $fd
  49   }
  50
  51   seek $fd 24
  52   foreach {a b c d} [list 0 0 0 0] {}
  53   binary scan [read $fd 4] cccc a b c d
  54   set  ret [expr ($a&0x000000FF)<<24]
  55   incr ret [expr ($b&0x000000FF)<<16]
  56   incr ret [expr ($c&0x000000FF)<<8]
  57   incr ret [expr ($d&0x000000FF)<<0]
  58
  59   if {$needClose} {close $fd}
  60   return $ret
  61 }
  62
  63 proc readPagerChangeCounter {filename} {
  64   set fd [open $filename RDONLY]
  65   fconfigure $fd -translation binary -encoding binary
  66
  67   seek $fd 24
  68   foreach {a b c d} [list 0 0 0 0] {}
  69   binary scan [read $fd 4] cccc a b c d
  70   set  ret [expr ($a&0x000000FF)<<24]
  71   incr ret [expr ($b&0x000000FF)<<16]
  72   incr ret [expr ($c&0x000000FF)<<8]
  73   incr ret [expr ($d&0x000000FF)<<0]
  74
  75   close $fd
  76   return $ret
  77 }
  78
  79
  80 proc t1sig {{db db}} {
  81   execsql {SELECT count(*), md5sum(a) FROM t1} $db
  82 }
  83 do_test exclusive2-1.0 {
  84   readPagerChangeCounter test.db
  85 } {0}
  86
  87 #-----------------------------------------------------------------------
  88 # The following tests - exclusive2-1.X - check that:
  89 #
  90 # 1-3:   Build a database with connection 1, calculate a signature.
  91 # 4-7:   Modify the database using a second connection in a way that
  92 #        does not modify the freelist, then reset the pager change-counter
  93 #        to the value it had before the modifications.
  94 # 8:     Check that using the first connection, the database signature
  95 #        is still the same. This is because it uses the in-memory cache.
  96 #        It can't tell the db has changed because we reset the change-counter.
  97 # 9:     Increment the change-counter.
  98 # 10:    Ensure that the first connection now sees the updated database. It
  99 #        sees the change-counter has been incremented and discards the
 100 #        invalid in-memory cache.
 101 #
 102 # This will only work if the database cache is large enough to hold
 103 # the entire database. In the case of 1024 byte pages, this means
 104 # the cache size must be at least 17. Otherwise, some pages will be
 105 # loaded from the database file in step 8.
 106 #
 107 # For similar reasons, this test does not work with the memsubsys1 permutation.
 108 # Permutation memsubsys1 configures the pcache subsystem to use a static
 109 # allocation of 24 pages (shared between all pagers). This is not enough for
 110 # this test.
 111 #
 112 do_test exclusive2-1.1 {
 113   execsql {
 114     BEGIN;
 115     CREATE TABLE t1(a, b);
 116     INSERT INTO t1(a) VALUES(randstr(10, 400));
 117     INSERT INTO t1(a) VALUES(randstr(10, 400));
 118     INSERT INTO t1(a) SELECT randstr(10, 400) FROM t1;
 119     INSERT INTO t1(a) SELECT randstr(10, 400) FROM t1;
 120     INSERT INTO t1(a) SELECT randstr(10, 400) FROM t1;
 121     INSERT INTO t1(a) SELECT randstr(10, 400) FROM t1;
 122     INSERT INTO t1(a) SELECT randstr(10, 400) FROM t1;
 123     COMMIT;
 124     SELECT count(*) FROM t1;
 125   }
 126 } {64}
 127 do_test exclusive2-1.2.1 {
 128   # Make sure the pager cache is large enough to store the
 129   # entire database.
 130   set nPage [expr [file size test.db]/1024]
 131   if {$::SQLITE_DEFAULT_CACHE_SIZE < $nPage} {
 132     execsql "PRAGMA cache_size = $nPage"
 133   }
 134   expr {[execsql {PRAGMA cache_size}] >= $nPage}
 135 } {1}
 136 do_test exclusive2-1.2 {
 137   set ::sig [t1sig]
 138   readPagerChangeCounter test.db
 139 } {1}
 140 do_test exclusive2-1.3 {
 141   t1sig
 142 } $::sig
 143 do_test exclusive2-1.4 {
 144   sqlite3 db2 test.db
 145   t1sig db2
 146 } $::sig
 147 do_test exclusive2-1.5 {
 148   execsql {
 149     UPDATE t1 SET b=a, a=NULL;
 150   } db2
 151   expr {[t1sig db2] eq $::sig}
 152 } 0
 153 do_test exclusive2-1.6 {
 154   readPagerChangeCounter test.db
 155 } {2}
 156 do_test exclusive2-1.7 {
 157   pagerChangeCounter test.db 1
 158 } {1}
 159 if {[permutation] != "memsubsys1"} {
 160   do_test exclusive2-1.9 {
 161     t1sig
 162     expr {[t1sig] eq $::sig}
 163   } {1}
 164 }
 165 do_test exclusive2-1.10 {
 166   pagerChangeCounter test.db 2
 167 } {2}
 168 do_test exclusive2-1.11 {
 169   expr {[t1sig] eq $::sig}
 170 } {0}
 171 db2 close
 172
 173 #--------------------------------------------------------------------
 174 # These tests - exclusive2-2.X - are similar to exclusive2-1.X,
 175 # except that they are run with locking_mode=EXCLUSIVE.
 176 #
 177 # 1-3:   Build a database with exclusive-access connection 1,
 178 #        calculate a signature.
 179 # 4:     Corrupt the database by writing 10000 bytes of garbage
 180 #        starting at the beginning of page 2. Check that connection 1
 181 #        still works. It should be accessing the in-memory cache.
 182 # 5-6:   Modify the dataase change-counter. Connection 1 still works
 183 #        entirely from in-memory cache, because it doesn't check the
 184 #        change-counter.
 185 # 7-8    Set the locking-mode back to normal. After the db is unlocked,
 186 #        SQLite detects the modified change-counter and discards the
 187 #        in-memory cache. Then it finds the corruption caused in step 4....
 188 #
 189 # As above, this test is only applicable if the pager cache is
 190 # large enough to hold the entire database. With 1024 byte pages,
 191 # this means 19 pages.  We also need to disable the soft-heap-limit
 192 # to prevent memory-induced cache spills.
 193 #
 194 do_test exclusive2-2.1 {
 195   execsql {PRAGMA cache_size=1000;}
 196   execsql {PRAGMA locking_mode = exclusive;}
 197   execsql {
 198     BEGIN;
 199     DELETE FROM t1;
 200     INSERT INTO t1(a) VALUES(randstr(10, 400));
 201     INSERT INTO t1(a) VALUES(randstr(10, 400));
 202     INSERT INTO t1(a) SELECT randstr(10, 400) FROM t1;
 203     INSERT INTO t1(a) SELECT randstr(10, 400) FROM t1;
 204     INSERT INTO t1(a) SELECT randstr(10, 400) FROM t1;
 205     INSERT INTO t1(a) SELECT randstr(10, 400) FROM t1;
 206     INSERT INTO t1(a) SELECT randstr(10, 400) FROM t1;
 207     COMMIT;
 208     SELECT count(*) FROM t1;
 209   }
 210 } {64}
 211 do_test exclusive2-2.2.1 {
 212   # Make sure the pager cache is large enough to store the
 213   # entire database.
 214   set nPage [expr [file size test.db]/1024]
 215   if {$::SQLITE_DEFAULT_CACHE_SIZE < $nPage} {
 216     execsql "PRAGMA cache_size = $nPage"
 217   }
 218   expr {[execsql {PRAGMA cache_size}] >= $nPage}
 219 } {1}
 220 do_test exclusive2-2.2 {
 221   set ::sig [t1sig]
 222   readPagerChangeCounter test.db
 223 } {3}
 224 do_test exclusive2-2.3 {
 225   t1sig
 226 } $::sig
 227
 228 do_test exclusive2-2.4 {
 229   set ::fd [open test.db RDWR]
 230   fconfigure $::fd -translation binary
 231   seek $::fd 1024
 232   puts -nonewline $::fd [string repeat [binary format c 0] 10000]
 233   flush $::fd
 234   t1sig
 235 } $::sig
 236
 237 do_test exclusive2-2.5 {
 238   pagerChangeCounter test.db 5 $::fd
 239 } {5}
 240 do_test exclusive2-2.6 {
 241   t1sig
 242 } $::sig
 243 do_test exclusive2-2.7 {
 244   execsql {PRAGMA locking_mode = normal}
 245   t1sig
 246 } $::sig
 247
 248 do_test exclusive2-2.8 {
 249   set rc [catch {t1sig} msg]
 250   list $rc $msg
 251 } {1 {database disk image is malformed}}
 252
 253 #--------------------------------------------------------------------
 254 # These tests - exclusive2-3.X - verify that the pager change-counter
 255 # is only incremented by the first change when in exclusive access
 256 # mode. In normal mode, the change-counter is incremented once
 257 # per write-transaction.
 258 #
 259
 260 db close
 261 catch {close $::fd}
 262 file delete -force test.db
 263 file delete -force test.db-journal
 264
 265 do_test exclusive2-3.0 {
 266   sqlite3 db test.db
 267   execsql {
 268     BEGIN;
 269     CREATE TABLE t1(a UNIQUE);
 270     INSERT INTO t1 VALUES(randstr(200, 200));
 271     INSERT INTO t1 VALUES(randstr(200, 200));
 272     COMMIT;
 273   }
 274   readPagerChangeCounter test.db
 275 } {1}
 276 do_test exclusive2-3.1 {
 277   execsql {
 278     INSERT INTO t1 VALUES(randstr(200, 200));
 279   }
 280   readPagerChangeCounter test.db
 281 } {2}
 282 do_test exclusive2-3.2 {
 283   execsql {
 284     INSERT INTO t1 VALUES(randstr(200, 200));
 285   }
 286   readPagerChangeCounter test.db
 287 } {3}
 288 do_test exclusive2-3.3 {
 289   execsql {
 290     PRAGMA locking_mode = exclusive;
 291     INSERT INTO t1 VALUES(randstr(200, 200));
 292   }
 293   readPagerChangeCounter test.db
 294 } {4}
 295 do_test exclusive2-3.4 {
 296 breakpoint
 297   execsql {
 298     INSERT INTO t1 VALUES(randstr(200, 200));
 299   }
 300   readPagerChangeCounter test.db
 301 } {4}
 302 do_test exclusive2-3.5 {
 303   execsql {
 304     PRAGMA locking_mode = normal;
 305     INSERT INTO t1 VALUES(randstr(200, 200));
 306   }
 307   readPagerChangeCounter test.db
 308 } {4}
 309 do_test exclusive2-3.6 {
 310   execsql {
 311     INSERT INTO t1 VALUES(randstr(200, 200));
 312   }
 313   readPagerChangeCounter test.db
 314 } {5}
 315 sqlite3_soft_heap_limit $cmdlinearg(soft-heap-limit)
 316
 317 finish_test