Many hyperlinks are disabled.
Use anonymous login
to enable hyperlinks.
Overview
Comment: | Add test file savepoint6.test. Contains pseudo random tests of savepoint related commands. (CVS 6105) |
---|---|
Downloads: | Tarball | ZIP archive |
Timelines: | family | ancestors | descendants | both | trunk |
Files: | files | file ages | folders |
SHA1: |
2946fbb7183d597b4db1db203eb5fd57 |
User & Date: | danielk1977 2009-01-03 10:41:29.000 |
Context
2009-01-03
| ||
12:55 | Fix a typo in a comment. (CVS 6106) (check-in: 50f57cd145 user: drh tags: trunk) | |
10:41 | Add test file savepoint6.test. Contains pseudo random tests of savepoint related commands. (CVS 6105) (check-in: 2946fbb718 user: danielk1977 tags: trunk) | |
2009-01-02
| ||
21:39 | Memory allocation failure in Bitvec are probably all benign. Still, add code to check this, just to be sure. (CVS 6104) (check-in: 4688e1c8b1 user: drh tags: trunk) | |
Changes
Changes to test/quick.test.
1 2 3 4 5 6 7 8 | # # 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 runs all tests. # | | | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 | # # 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 runs all tests. # # $Id: quick.test,v 1.91 2009/01/03 10:41:29 danielk1977 Exp $ proc lshift {lvar} { upvar $lvar l set ret [lindex $l 0] set l [lrange $l 1 end] return $ret } |
︙ | ︙ | |||
66 67 68 69 70 71 72 73 74 75 76 77 78 79 | misc7.test misuse.test mutex2.test onefile.test permutations.test quick.test savepoint4.test select9.test soak.test speed1.test speed1p.test speed2.test speed3.test speed4.test | > | 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 | misc7.test misuse.test mutex2.test onefile.test permutations.test quick.test savepoint4.test savepoint6.test select9.test soak.test speed1.test speed1p.test speed2.test speed3.test speed4.test |
︙ | ︙ |
Added test/savepoint6.test.
> > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 | # 2009 January 3 # # 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. # #*********************************************************************** # # $Id: savepoint6.test,v 1.1 2009/01/03 10:41:29 danielk1977 Exp $ set testdir [file dirname $argv0] source $testdir/tester.tcl do_test savepoint6-1.1 { execsql { PRAGMA auto_vacuum = incremental; CREATE TABLE t1(x, y); CREATE UNIQUE INDEX i1 ON t1(x); CREATE INDEX i2 ON t1(y); } } {} #-------------------------------------------------------------------------- # In memory database state. # # ::lSavepoint is a list containing one entry for each active savepoint. The # first entry in the list corresponds to the most recently opened savepoint. # Each entry consists of two elements: # # 1. The savepoint name. # # 2. A serialized Tcl array representing the contents of table t1 at the # start of the savepoint. The keys of the array are the x values. The # values are the y values. # # Array ::aEntry contains the contents of database table t1. Array keys are # x values, the array data values are y values. # set lSavepoint [list] array set aEntry [list] proc x_to_y {x} { set nChar [expr int(rand()*250) + 250] set str " $nChar [string repeat $x. $nChar]" string range $str 1 $nChar } #-------------------------------------------------------------------------- #------------------------------------------------------------------------- # Procs to operate on database: # # savepoint NAME # rollback NAME # release NAME # # insert_rows XVALUES # delete_rows XVALUES # proc savepoint {zName} { catch { db eval "SAVEPOINT $zName" } lappend ::lSavepoint [list $zName [array get ::aEntry]] } proc rollback {zName} { catch { db eval "ROLLBACK TO $zName" } for {set i [expr {[llength $::lSavepoint]-1}]} {$i>=0} {incr i -1} { set zSavepoint [lindex $::lSavepoint $i 0] if {$zSavepoint eq $zName} { unset -nocomplain ::aEntry array set ::aEntry [lindex $::lSavepoint $i 1] if {$i+1 < [llength $::lSavepoint]} { set ::lSavepoint [lreplace $::lSavepoint [expr $i+1] end] } break } } } proc release {zName} { catch { db eval "RELEASE $zName" } for {set i [expr {[llength $::lSavepoint]-1}]} {$i>=0} {incr i -1} { set zSavepoint [lindex $::lSavepoint $i 0] if {$zSavepoint eq $zName} { set ::lSavepoint [lreplace $::lSavepoint $i end] break } } } proc insert_rows {lX} { foreach x $lX { set y [x_to_y $x] # Update database [db] db eval {INSERT OR REPLACE INTO t1 VALUES($x, $y)} # Update the Tcl database. set ::aEntry($x) $y } } proc delete_rows {lX} { foreach x $lX { # Update database [db] db eval {DELETE FROM t1 WHERE x = $x} # Update the Tcl database. unset -nocomplain ::aEntry($x) } } #------------------------------------------------------------------------- #------------------------------------------------------------------------- # Proc to compare database content with the in-memory representation. # # checkdb # proc checkdb {} { set nEntry [db one {SELECT count(*) FROM t1}] set nEntry2 [array size ::aEntry] if {$nEntry != $nEntry2} { error "$nEntry entries in database, $nEntry2 entries in array" } db eval {SELECT x, y FROM t1} { if {![info exists ::aEntry($x)]} { error "Entry $x exists in database, but not in array" } if {$::aEntry($x) ne $y} { error "Entry $x is set to {$y} in database, {$::aEntry($x)} in array" } } db eval { PRAGMA integrity_check } } #------------------------------------------------------------------------- #------------------------------------------------------------------------- # Proc to return random set of x values. # # random_integers # proc random_integers {nRes nRange} { set ret [list] for {set i 0} {$i<$nRes} {incr i} { lappend ret [expr int(rand()*$nRange)] } return $ret } #------------------------------------------------------------------------- db eval { PRAGMA cache_size = 10 } expr srand(0) proc database_op {} { set i [expr int(rand()*2)] if {$i==0} { insert_rows [random_integers 100 1000] } if {$i==1} { delete_rows [random_integers 100 1000] set i [expr int(rand()*3)] if {$i==0} { db eval {PRAGMA incremental_vacuum} } } } proc savepoint_op {} { set names {one two three four five} set cmds {savepoint savepoint savepoint savepoint release rollback} set C [lindex $cmds [expr int(rand()*6)]] set N [lindex $names [expr int(rand()*5)]] $C $N return ok } do_test savepoint6-2.1 { savepoint one insert_rows [random_integers 100 1000] release one checkdb } {ok} for {set i 0} {$i < 1000} {incr i} { do_test savepoint6-3.$i.1 { savepoint_op } {ok} do_test savepoint6-3.$i.2 { database_op database_op checkdb } {ok} } unset -nocomplain ::lSavepoint unset -nocomplain ::aEntry finish_test |