Annotation of embedaddon/sqlite3/test/corruptF.test, revision 1.1
1.1 ! misho 1: # 2012 January 12
! 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:
! 13: set testdir [file dirname $argv0]
! 14: source $testdir/tester.tcl
! 15: set testprefix corruptF
! 16:
! 17: # Do not use a codec for tests in this file, as the database file is
! 18: # manipulated directly using tcl scripts (using the [hexio_write] command).
! 19: #
! 20: do_not_use_codec
! 21:
! 22: proc str {i} { format %08d $i }
! 23:
! 24: # Create a 6 page database containing a single table - t1. Table t1
! 25: # consists of page 2 (the root page) and pages 5 and 6 (leaf pages).
! 26: # Database pages 3 and 4 are on the free list.
! 27: #
! 28: proc create_test_db {} {
! 29: catch { db close }
! 30: forcedelete test.db
! 31: sqlite3 db test.db
! 32: db func str str
! 33: execsql {
! 34: PRAGMA auto_vacuum = 0;
! 35: PRAGMA page_size = 1024;
! 36: CREATE TABLE t1(x); /* root page = 2 */
! 37: CREATE TABLE t2(x); /* root page = 3 */
! 38: CREATE TABLE t3(x); /* root page = 4 */
! 39:
! 40: INSERT INTO t1 VALUES(str(1));
! 41: INSERT INTO t1 SELECT str(rowid+1) FROM t1;
! 42: INSERT INTO t1 SELECT str(rowid+2) FROM t1;
! 43: INSERT INTO t1 SELECT str(rowid+4) FROM t1;
! 44: INSERT INTO t1 SELECT str(rowid+8) FROM t1;
! 45: INSERT INTO t1 SELECT str(rowid+16) FROM t1;
! 46: INSERT INTO t1 SELECT str(rowid+32) FROM t1;
! 47: INSERT INTO t1 SELECT str(rowid+64) FROM t1;
! 48: DROP TABLE t2;
! 49: DROP TABLE t3;
! 50: }
! 51: db close
! 52: }
! 53:
! 54: do_test 1.1 { create_test_db } {}
! 55:
! 56: # Check the db is as we expect. 6 pages in total, with 3 and 4 on the free
! 57: # list. Page 3 is the free list trunk and page 4 is a leaf.
! 58: #
! 59: do_test 1.2 { file size test.db } [expr 6*1024]
! 60: do_test 1.3 { hexio_read test.db 32 4 } 00000003
! 61: do_test 1.4 { hexio_read test.db [expr 2*1024] 12 } 000000000000000100000004
! 62:
! 63: # Change the free-list entry to page 6 and reopen the db file.
! 64: do_test 1.5 {
! 65: hexio_write test.db [expr 2*1024 + 8] 00000006
! 66: sqlite3 db test.db
! 67: } {}
! 68:
! 69: # Now create a new table in the database file. The root of the new table
! 70: # is page 6, which is also the right-most leaf page in table t1.
! 71: #
! 72: do_execsql_test 1.6 {
! 73: CREATE TABLE t4(x);
! 74: SELECT * FROM sqlite_master;
! 75: } {
! 76: table t1 t1 2 {CREATE TABLE t1(x)}
! 77: table t4 t4 6 {CREATE TABLE t4(x)}
! 78: }
! 79:
! 80: # At one point this was causing an assert to fail.
! 81: #
! 82: # This statement opens a cursor on table t1 and does a full table scan. As
! 83: # each row is visited, it is copied into table t4. There is no temporary
! 84: # table.
! 85: #
! 86: # When the t1 cursor reaches page 6 (which is both the right-most leaf of
! 87: # t1 and the root of t4), it continues to iterate through the keys within
! 88: # it (which at this point are keys that have been inserted into t4). And
! 89: # for each row visited, another row is inserted into page 6 - it being the
! 90: # root page of t4. Eventually, page 6 becomes full and the height of the
! 91: # b-tree for table t4 increased. From the point of view of the t1 cursor,
! 92: # this unexpectedly reduces the number of keys on page 6 in the middle of
! 93: # its iteration, which causes an assert() to fail.
! 94: #
! 95: db_save_and_close
! 96: if 1 {
! 97: for {set i 0} {$i < 128} {incr i} {
! 98: db_restore_and_reopen
! 99: do_test 1.7.$i {
! 100: set res [
! 101: catchsql { INSERT INTO t4 SELECT x FROM t1 WHERE rowid>$i }
! 102: ]
! 103: if {$res == "0 {}" || $res == "1 {database disk image is malformed}"} {
! 104: set res ""
! 105: }
! 106: set res
! 107: } {}
! 108: }
! 109: }
! 110:
! 111: do_test 2.1 { create_test_db } {}
! 112: do_test 2.2 { file size test.db } [expr 6*1024]
! 113: do_test 2.3 { hexio_read test.db 32 4 } 00000003
! 114: do_test 2.4 { hexio_read test.db [expr 2*1024] 12 } 000000000000000100000004
! 115:
! 116: # Change the free-list entry to page 5 and reopen the db file.
! 117: do_test 2.5 {
! 118: hexio_write test.db [expr 2*1024 + 8] 00000005
! 119: sqlite3 db test.db
! 120: } {}
! 121:
! 122: # Now create a new table in the database file. The root of the new table
! 123: # is page 5, which is also the right-most leaf page in table t1.
! 124: #
! 125: do_execsql_test 2.6 {
! 126: CREATE TABLE t4(x);
! 127: SELECT * FROM sqlite_master;
! 128: } {
! 129: table t1 t1 2 {CREATE TABLE t1(x)}
! 130: table t4 t4 5 {CREATE TABLE t4(x)}
! 131: }
! 132:
! 133: db_save_and_close
! 134: for {set i 127} {$i >= 0} {incr i -1} {
! 135: db_restore_and_reopen
! 136: do_test 2.7.$i {
! 137: set res [
! 138: catchsql {
! 139: INSERT INTO t4 SELECT x FROM t1 WHERE rowid<$i ORDER BY rowid DESC
! 140: }
! 141: ]
! 142: if {$res == "0 {}" || $res == "1 {database disk image is malformed}"} {
! 143: set res ""
! 144: }
! 145: set res
! 146: } {}
! 147: }
! 148:
! 149: finish_test
! 150:
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>