58 lines
		
	
	
		
			1.9 KiB
		
	
	
	
		
			Plaintext
		
	
	
	
	
	
			
		
		
	
	
			58 lines
		
	
	
		
			1.9 KiB
		
	
	
	
		
			Plaintext
		
	
	
	
	
	
| # 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
 | 
