test/wal9.test

   1 # 2012 October 15
   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 #
  12 # This test case tests that a problem causing a failing assert() has
  13 # been fixed. The problem occurred if a writer process with a subset
  14 # of the *shm file mapped rolled back a transaction begun after the
  15 # entire WAL file was checkpointed into the db file (i.e. a transaction
  16 # that would have restarted the WAL file from the beginning).
  17 #
  18
  19 set testdir [file dirname $argv0]
  20 source $testdir/tester.tcl
  21 set testprefix wal9
  22
  23 sqlite3 db2 test.db
  24
  25 do_execsql_test 1.0 {
  26   PRAGMA page_size = 1024;
  27   PRAGMA journal_mode = WAL;
  28   PRAGMA wal_autocheckpoint = 0;
  29   CREATE TABLE t(x);
  30 } {wal 0}
  31
  32 do_test 1.1 {
  33   execsql "SELECT * FROM t" db2
  34 } {}
  35
  36 do_execsql_test 1.2 {
  37   BEGIN;
  38     INSERT INTO t VALUES(randomblob(100));
  39     INSERT INTO t SELECT randomblob(100) FROM t;
  40     INSERT INTO t SELECT randomblob(100) FROM t;
  41     INSERT INTO t SELECT randomblob(100) FROM t;
  42     INSERT INTO t SELECT randomblob(100) FROM t;
  43     INSERT INTO t SELECT randomblob(100) FROM t;
  44     INSERT INTO t SELECT randomblob(100) FROM t;
  45     INSERT INTO t SELECT randomblob(100) FROM t;
  46
  47     INSERT INTO t SELECT randomblob(100) FROM t;
  48     INSERT INTO t SELECT randomblob(100) FROM t;
  49     INSERT INTO t SELECT randomblob(100) FROM t;
  50     INSERT INTO t SELECT randomblob(100) FROM t;
  51     INSERT INTO t SELECT randomblob(100) FROM t;
  52     INSERT INTO t SELECT randomblob(100) FROM t;
  53     INSERT INTO t SELECT randomblob(100) FROM t;
  54     INSERT INTO t SELECT randomblob(100) FROM t;
  55
  56     INSERT INTO t SELECT randomblob(100) FROM t;
  57     INSERT INTO t SELECT randomblob(100) FROM t;
  58   COMMIT;
  59 } {}
  60
  61 # Check file sizes are as expected. The real requirement here is that
  62 # the *shm file is now more than one chunk (>32KiB).
  63 #
  64 # The sizes of various files are slightly different in normal and
  65 # auto-vacuum mode.
  66 do_test 1.3 { file size test.db     } {1024}
  67 do_test 1.4 { expr {[file size test.db-wal]>(1500*1024)} } {1}
  68 do_test 1.5 { expr {[file size test.db-shm]>32768} }       {1}
  69 do_test 1.6 {
  70   foreach {a b c} [db eval {PRAGMA wal_checkpoint}] break
  71   list [expr {$a==0}] [expr {$b>14500}] [expr {$c>14500}] [expr {$b==$c}]
  72 } {1 1 1 1}
  73
  74 # At this point connection [db2] has mapped the first 32KB of the *shm file
  75 # only. Because the entire WAL file has been checkpointed, it is not
  76 # necessary to map any more of the *-shm file to read or write the database
  77 # (since all data will be read directly from the db file).
  78 #
  79 # However, at one point if a transaction that had not yet written to the
  80 # WAL file was rolled back an assert() attempting to verify that the entire
  81 # *-shm file was mapped would fail. If NDEBUG was defined (and the assert()
  82 # disabled) this bug caused SQLite to ignore the return code of a mmap()
  83 # call.
  84 #
  85 do_test 1.7 {
  86   execsql {
  87     BEGIN;
  88       INSERT INTO t VALUES('hello');
  89     ROLLBACK;
  90   } db2
  91 } {}
  92 db2 close
  93
  94 finish_test