recd013.tcl 9.11 KB
Newer Older
1 2
# See the file LICENSE for redistribution information.
#
jimw@mysql.com's avatar
jimw@mysql.com committed
3
# Copyright (c) 2000-2004
4 5
#	Sleepycat Software.  All rights reserved.
#
jimw@mysql.com's avatar
jimw@mysql.com committed
6
# $Id: recd013.tcl,v 11.22 2004/09/20 17:06:15 sue Exp $
7
#
ram@mysql.r18.ru's avatar
ram@mysql.r18.ru committed
8 9
# TEST	recd013
# TEST	Test of cursor adjustment on child transaction aborts. [#2373]
10 11 12 13 14 15
#
# XXX
# Other tests that cover more specific variants of the same issue
# are in the access method tests for now.  This is probably wrong;  we
# put this one here because they're closely based on and intertwined
# with other, non-transactional cursor stability tests that are among
ram@mysql.r18.ru's avatar
ram@mysql.r18.ru committed
16
# the access method tests, and because we need at least one test to
17 18
# fit under recd and keep logtrack from complaining.  We'll sort out the mess
# later;  the important thing, for now, is that everything that needs to gets
ram@mysql.r18.ru's avatar
ram@mysql.r18.ru committed
19
# tested.  (This really shouldn't be under recd at all, since it doesn't
20 21 22 23 24 25 26
# run recovery!)
proc recd013 { method { nitems 100 } args } {
	source ./include.tcl
	global alphabet log_log_record_types

	set args [convert_args $method $args]
	set omethod [convert_method $method]
jimw@mysql.com's avatar
jimw@mysql.com committed
27
	set tnum "013"
28 29
	set pgsz 512

jimw@mysql.com's avatar
jimw@mysql.com committed
30
	puts "Recd$tnum $method ($args): Test of aborted cursor adjustments."
31 32 33 34 35 36
	set pgindex [lsearch -exact $args "-pagesize"]
	if { $pgindex != -1 } {
		puts "Recd013: skipping for specific pagesizes"
		return
	}

jimw@mysql.com's avatar
jimw@mysql.com committed
37
	set testfile recd$tnum.db
38 39 40 41 42 43 44 45 46
	env_cleanup $testdir

	set i 0
	if { [is_record_based $method] == 1 } {
		set keybase ""
	} else {
		set keybase "key"
	}

jimw@mysql.com's avatar
jimw@mysql.com committed
47
	puts "\tRecd$tnum.a:\
48 49 50
	    Create environment, database, and parent transaction."
	set flags "-create -txn -home $testdir"

ram@mysql.r18.ru's avatar
ram@mysql.r18.ru committed
51
	set env_cmd "berkdb_env $flags"
52 53 54
	set env [eval $env_cmd]
	error_check_good dbenv [is_valid_env $env] TRUE

ram@mysql.r18.ru's avatar
ram@mysql.r18.ru committed
55 56
	set oflags \
    "-auto_commit -env $env -create -mode 0644 -pagesize $pgsz $args $omethod"
57 58 59 60 61 62 63 64 65 66
	set db [eval {berkdb_open} $oflags $testfile]
	error_check_good dbopen [is_valid_db $db] TRUE

	# Create a database containing $nitems items, numbered with odds.
	# We'll then put the even numbers during the body of the test.
	set txn [$env txn]
	error_check_good init_txn [is_valid_txn $txn $env] TRUE
	for { set i 1 } { $i <= 2 * $nitems } { incr i 2 } {
		set key $keybase$i
		set data [chop_data $method $i$alphabet]
ram@mysql.r18.ru's avatar
ram@mysql.r18.ru committed
67 68 69 70 71 72 73 74 75

		# First, try to put the item in a child transaction,
		# then abort and verify all the cursors we've done up until
		# now.
		set ctxn [$env txn -parent $txn]
		error_check_good child_txn($i) [is_valid_txn $ctxn $env] TRUE
		error_check_good fake_put($i) [$db put -txn $ctxn $key $data] 0
		error_check_good ctxn_abort($i) [$ctxn abort] 0
		for { set j 1 } { $j < $i } { incr j 2 } {
jimw@mysql.com's avatar
jimw@mysql.com committed
76
			error_check_good dbc_get($j):1 [$dbc($j) get -current] \
ram@mysql.r18.ru's avatar
ram@mysql.r18.ru committed
77 78 79 80 81
			    [list [list $keybase$j \
			    [pad_data $method $j$alphabet]]]
		}

		# Then put for real.
82
		error_check_good init_put($i) [$db put -txn $txn $key $data] 0
ram@mysql.r18.ru's avatar
ram@mysql.r18.ru committed
83 84 85 86 87 88 89 90 91 92

		# Set a cursor of the parent txn to each item.
		set dbc($i) [$db cursor -txn $txn]
		error_check_good dbc_getset($i) \
		    [$dbc($i) get -set $key] \
		    [list [list $keybase$i [pad_data $method $i$alphabet]]]

		# And verify all the cursors, including the one we just
		# created.
		for { set j 1 } { $j <= $i } { incr j 2 } {
jimw@mysql.com's avatar
jimw@mysql.com committed
93
			error_check_good dbc_get($j):2 [$dbc($j) get -current] \
ram@mysql.r18.ru's avatar
ram@mysql.r18.ru committed
94 95 96
			    [list [list $keybase$j \
			    [pad_data $method $j$alphabet]]]
		}
97 98
	}

jimw@mysql.com's avatar
jimw@mysql.com committed
99
	puts "\t\tRecd$tnum.a.1: Verify cursor stability after init."
100
	for { set i 1 } { $i <= 2 * $nitems } { incr i 2 } {
jimw@mysql.com's avatar
jimw@mysql.com committed
101
		error_check_good dbc_get($i):3 [$dbc($i) get -current] \
102 103
		    [list [list $keybase$i [pad_data $method $i$alphabet]]]
	}
ram@mysql.r18.ru's avatar
ram@mysql.r18.ru committed
104

jimw@mysql.com's avatar
jimw@mysql.com committed
105 106
	puts "\tRecd$tnum.b: Put test."
	puts "\t\tRecd$tnum.b.1: Put items."
107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127
	set ctxn [$env txn -parent $txn]
	error_check_good txn [is_valid_txn $ctxn $env] TRUE
	for { set i 2 } { $i <= 2 * $nitems } { incr i 2 } {
		set key $keybase$i
		set data [chop_data $method $i$alphabet]
		error_check_good child_put($i) [$db put -txn $ctxn $key $data] 0

		# If we're a renumbering recno, this is uninteresting.
		# Stir things up by putting a few additional records at
		# the beginning.
		if { [is_rrecno $method] == 1 } {
			set curs [$db cursor -txn $ctxn]
			error_check_bad llength_get_first \
			    [llength [$curs get -first]] 0
			error_check_good cursor [is_valid_cursor $curs $db] TRUE
			# expect a recno!
			error_check_good rrecno_put($i) \
			    [$curs put -before ADDITIONAL.$i] 1
			error_check_good curs_close [$curs close] 0
		}
	}
ram@mysql.r18.ru's avatar
ram@mysql.r18.ru committed
128

jimw@mysql.com's avatar
jimw@mysql.com committed
129
	puts "\t\tRecd$tnum.b.2: Verify cursor stability after abort."
130 131 132
	error_check_good ctxn_abort [$ctxn abort] 0

	for { set i 1 } { $i <= 2 * $nitems } { incr i 2 } {
jimw@mysql.com's avatar
jimw@mysql.com committed
133
		error_check_good dbc_get($i):4 [$dbc($i) get -current] \
134 135 136 137 138 139 140 141 142 143 144 145 146 147 148
		    [list [list $keybase$i [pad_data $method $i$alphabet]]]
	}

	# Clean up cursors.
	for { set i 1 } { $i <= 2 * $nitems } { incr i 2 } {
		error_check_good dbc($i)_close [$dbc($i) close] 0
	}

	# Sync and verify.
	error_check_good txn_commit [$txn commit] 0
	set txn [$env txn]
	error_check_good txn [is_valid_txn $txn $env] TRUE

	error_check_good db_sync [$db sync] 0
	error_check_good db_verify \
jimw@mysql.com's avatar
jimw@mysql.com committed
149
	    [verify_dir $testdir "\t\tRecd$tnum.b.3: "] 0
150

ram@mysql.r18.ru's avatar
ram@mysql.r18.ru committed
151
	# Now put back all the even records, this time in the parent.
152 153 154 155 156 157 158 159 160 161 162 163
	# Commit and re-begin the transaction so we can abort and
	# get back to a nice full database.
	for { set i 2 } { $i <= 2 * $nitems } { incr i 2 } {
		set key $keybase$i
		set data [chop_data $method $i$alphabet]
		error_check_good child_put($i) [$db put -txn $txn $key $data] 0
	}
	error_check_good txn_commit [$txn commit] 0
	set txn [$env txn]
	error_check_good txn [is_valid_txn $txn $env] TRUE

	# Delete test.  Set a cursor to each record.  Delete the even ones
ram@mysql.r18.ru's avatar
ram@mysql.r18.ru committed
164
	# in the parent and check cursor stability.  Then open a child
165
	# transaction, and delete the odd ones.  Verify that the database
ram@mysql.r18.ru's avatar
ram@mysql.r18.ru committed
166
	# is empty.
jimw@mysql.com's avatar
jimw@mysql.com committed
167
	puts "\tRecd$tnum.c: Delete test."
168 169 170 171 172 173 174 175 176 177
	unset dbc

	# Create cursors pointing at each item.
	for { set i 1 } { $i <= 2 * $nitems } { incr i } {
		set dbc($i) [$db cursor -txn $txn]
		error_check_good dbc($i)_create [is_valid_cursor $dbc($i) $db] \
		    TRUE
		error_check_good dbc_getset($i) [$dbc($i) get -set $keybase$i] \
		    [list [list $keybase$i [pad_data $method $i$alphabet]]]
	}
ram@mysql.r18.ru's avatar
ram@mysql.r18.ru committed
178

jimw@mysql.com's avatar
jimw@mysql.com committed
179
	puts "\t\tRecd$tnum.c.1: Delete even items in child txn and abort."
ram@mysql.r18.ru's avatar
ram@mysql.r18.ru committed
180

181 182 183 184 185 186 187 188 189 190 191
	if { [is_rrecno $method] != 1 } {
		set init 2
		set bound [expr 2 * $nitems]
		set step 2
	} else {
		# In rrecno, deletes will renumber the items, so we have
		# to take that into account when we delete by recno.
		set init 2
		set bound [expr $nitems + 1]
		set step 1
	}
ram@mysql.r18.ru's avatar
ram@mysql.r18.ru committed
192 193

	set ctxn [$env txn -parent $txn]
194
	for { set i $init } { $i <= $bound } { incr i $step } {
ram@mysql.r18.ru's avatar
ram@mysql.r18.ru committed
195
		error_check_good del($i) [$db del -txn $ctxn $keybase$i] 0
196
	}
ram@mysql.r18.ru's avatar
ram@mysql.r18.ru committed
197 198 199 200
	error_check_good ctxn_abort [$ctxn abort] 0

	# Verify that no items are deleted.
	for { set i 1 } { $i <= 2 * $nitems } { incr i } {
jimw@mysql.com's avatar
jimw@mysql.com committed
201
		error_check_good dbc_get($i):5 [$dbc($i) get -current] \
ram@mysql.r18.ru's avatar
ram@mysql.r18.ru committed
202 203 204
		    [list [list $keybase$i [pad_data $method $i$alphabet]]]
	}

jimw@mysql.com's avatar
jimw@mysql.com committed
205
	puts "\t\tRecd$tnum.c.2: Delete even items in child txn and commit."
ram@mysql.r18.ru's avatar
ram@mysql.r18.ru committed
206 207 208 209 210
	set ctxn [$env txn -parent $txn]
	for { set i $init } { $i <= $bound } { incr i $step } {
		error_check_good del($i) [$db del -txn $ctxn $keybase$i] 0
	}
	error_check_good ctxn_commit [$ctxn commit] 0
211 212 213 214 215 216 217 218

	# Verify that even items are deleted and odd items are not.
	for { set i 1 } { $i <= 2 * $nitems } { incr i 2 } {
		if { [is_rrecno $method] != 1 } {
			set j $i
		} else {
			set j [expr ($i - 1) / 2 + 1]
		}
jimw@mysql.com's avatar
jimw@mysql.com committed
219
		error_check_good dbc_get($i):6 [$dbc($i) get -current] \
220 221 222
		    [list [list $keybase$j [pad_data $method $i$alphabet]]]
	}
	for { set i 2 } { $i <= 2 * $nitems } { incr i 2 } {
jimw@mysql.com's avatar
jimw@mysql.com committed
223
		error_check_good dbc_get($i):7 [$dbc($i) get -current] ""
224 225
	}

jimw@mysql.com's avatar
jimw@mysql.com committed
226
	puts "\t\tRecd$tnum.c.3: Delete odd items in child txn."
227 228

	set ctxn [$env txn -parent $txn]
ram@mysql.r18.ru's avatar
ram@mysql.r18.ru committed
229

230 231 232 233 234 235 236 237 238 239 240
	for { set i 1 } { $i <= 2 * $nitems } { incr i 2 } {
		if { [is_rrecno $method] != 1 } {
			set j $i
		} else {
			# If this is an rrecno, just delete the first
			# item repeatedly--the renumbering will make
			# that delete everything.
			set j 1
		}
		error_check_good del($i) [$db del -txn $ctxn $keybase$j] 0
	}
ram@mysql.r18.ru's avatar
ram@mysql.r18.ru committed
241

242 243 244 245 246 247
	# Verify that everyone's deleted.
	for { set i 1 } { $i <= 2 * $nitems } { incr i } {
		error_check_good get_deleted($i) \
		    [llength [$db get -txn $ctxn $keybase$i]] 0
	}

jimw@mysql.com's avatar
jimw@mysql.com committed
248
	puts "\t\tRecd$tnum.c.4: Verify cursor stability after abort."
249 250 251 252 253 254 255 256 257
	error_check_good ctxn_abort [$ctxn abort] 0

	# Verify that even items are deleted and odd items are not.
	for { set i 1 } { $i <= 2 * $nitems } { incr i 2 } {
		if { [is_rrecno $method] != 1 } {
			set j $i
		} else {
			set j [expr ($i - 1) / 2 + 1]
		}
jimw@mysql.com's avatar
jimw@mysql.com committed
258
		error_check_good dbc_get($i):8 [$dbc($i) get -current] \
259 260 261
		    [list [list $keybase$j [pad_data $method $i$alphabet]]]
	}
	for { set i 2 } { $i <= 2 * $nitems } { incr i 2 } {
jimw@mysql.com's avatar
jimw@mysql.com committed
262
		error_check_good dbc_get($i):9 [$dbc($i) get -current] ""
263 264 265 266 267 268 269 270 271 272
	}

	# Clean up cursors.
	for { set i 1 } { $i <= 2 * $nitems } { incr i } {
		error_check_good dbc($i)_close [$dbc($i) close] 0
	}

	# Sync and verify.
	error_check_good db_sync [$db sync] 0
	error_check_good db_verify \
jimw@mysql.com's avatar
jimw@mysql.com committed
273
	    [verify_dir $testdir "\t\tRecd$tnum.c.5: "] 0
274

jimw@mysql.com's avatar
jimw@mysql.com committed
275
	puts "\tRecd$tnum.d: Clean up."
276 277 278 279
	error_check_good txn_commit [$txn commit] 0
	error_check_good db_close [$db close] 0
	error_check_good env_close [$env close] 0
	error_check_good verify_dir \
jimw@mysql.com's avatar
jimw@mysql.com committed
280
	    [verify_dir $testdir "\t\tRecd$tnum.d.1: "] 0
281

ram@mysql.r18.ru's avatar
ram@mysql.r18.ru committed
282
	if { $log_log_record_types == 1 } {
283 284 285
		logtrack_read $testdir
	}
}