Return to tkt-313723c356.test CVS log

Up to [ELWIX - Embedded LightWeight unIX -] / embedaddon / sqlite3 / test

Annotation of embedaddon/sqlite3/test/tkt-313723c356.test, revision 1.1

1.1     ! misho       1: # 2010 September 20
        !             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: # This file implements tests to verify that ticket [313723c356] has been
        !            14: # fixed.  
        !            15: #
        !            16: 
        !            17: set testdir [file dirname $argv0]
        !            18: source $testdir/tester.tcl
        !            19: source $testdir/malloc_common.tcl
        !            20: 
        !            21: ifcapable !wal { finish_test ; return }
        !            22: 
        !            23: do_execsql_test tkt-313723c356.1 {
        !            24:   PRAGMA page_size = 1024;
        !            25:   PRAGMA journal_mode = WAL;
        !            26:   CREATE TABLE t1(a, b);
        !            27:   CREATE INDEX i1 ON t1(a, b);
        !            28:   INSERT INTO t1 VALUES(randomblob(400), randomblob(400));
        !            29:   INSERT INTO t1 SELECT randomblob(400), randomblob(400) FROM t1;
        !            30:   INSERT INTO t1 SELECT randomblob(400), randomblob(400) FROM t1;
        !            31:   INSERT INTO t1 SELECT randomblob(400), randomblob(400) FROM t1;
        !            32:   INSERT INTO t1 SELECT randomblob(400), randomblob(400) FROM t1;
        !            33: } {wal}
        !            34: faultsim_save_and_close
        !            35: 
        !            36: do_faultsim_test tkt-313723c356.2 -faults shmerr* -prep {
        !            37:   faultsim_restore_and_reopen
        !            38:   sqlite3 db2 test.db
        !            39:   db eval  { SELECT * FROM t1 }
        !            40:   db2 eval { UPDATE t1 SET a = randomblob(399) }
        !            41:   db2 close
        !            42: } -body {
        !            43:   # At this point, the cache contains all of table t1 and none of index i1. The
        !            44:   # cache is out of date. When the bug existed and the right xShmLock() fails
        !            45:   # in the following statement, the internal cache of the WAL header was
        !            46:   # being updated, but the contents of the page-cache not flushed. This causes
        !            47:   # the integrity-check in the "-test" code to fail, as it is comparing the
        !            48:   # cached (out-of-date) version of table t1 with the on disk (up-to-date)
        !            49:   # version of index i1.
        !            50:   #
        !            51:   execsql { SELECT min(rowid) FROM t1 }
        !            52: } -test {
        !            53:   faultsim_test_result {0 1}
        !            54:   faultsim_integrity_check
        !            55: }
        !            56: 
        !            57: finish_test