| # 2010 September 20 |
| # |
| # 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. |
| # |
| # This file implements tests to verify that ticket [313723c356] has been |
| # fixed. |
| # |
| |
| set testdir [file dirname $argv0] |
| source $testdir/tester.tcl |
| source $testdir/malloc_common.tcl |
| |
| ifcapable !wal { finish_test ; return } |
| |
| do_execsql_test tkt-313723c356.1 { |
| PRAGMA page_size = 1024; |
| PRAGMA journal_mode = WAL; |
| CREATE TABLE t1(a, b); |
| CREATE INDEX i1 ON t1(a, b); |
| INSERT INTO t1 VALUES(randomblob(400), randomblob(400)); |
| INSERT INTO t1 SELECT randomblob(400), randomblob(400) FROM t1; |
| INSERT INTO t1 SELECT randomblob(400), randomblob(400) FROM t1; |
| INSERT INTO t1 SELECT randomblob(400), randomblob(400) FROM t1; |
| INSERT INTO t1 SELECT randomblob(400), randomblob(400) FROM t1; |
| } {wal} |
| faultsim_save_and_close |
| |
| do_faultsim_test tkt-313723c356.2 -faults shmerr* -prep { |
| faultsim_restore_and_reopen |
| sqlite3 db2 test.db |
| db eval { SELECT * FROM t1 } |
| db2 eval { UPDATE t1 SET a = randomblob(399) } |
| db2 close |
| } -body { |
| # At this point, the cache contains all of table t1 and none of index i1. The |
| # cache is out of date. When the bug existed and the right xShmLock() fails |
| # in the following statement, the internal cache of the WAL header was |
| # being updated, but the contents of the page-cache not flushed. This causes |
| # the integrity-check in the "-test" code to fail, as it is comparing the |
| # cached (out-of-date) version of table t1 with the on disk (up-to-date) |
| # version of index i1. |
| # |
| execsql { SELECT min(rowid) FROM t1 } |
| } -test { |
| faultsim_test_result {0 1} |
| faultsim_integrity_check |
| } |
| |
| finish_test |