diff options
Diffstat (limited to 'db/test/fop006.tcl')
| -rw-r--r-- | db/test/fop006.tcl | 138 |
1 files changed, 138 insertions, 0 deletions
diff --git a/db/test/fop006.tcl b/db/test/fop006.tcl new file mode 100644 index 000000000..127a327fa --- /dev/null +++ b/db/test/fop006.tcl @@ -0,0 +1,138 @@ +# See the file LICENSE for redistribution information. +# +# Copyright (c) 2003 +# Sleepycat Software. All rights reserved. +# +# $Id: fop006.tcl,v 1.7 2003/09/11 13:11:45 sandstro Exp $ +# +# TEST fop006.tcl +# TEST Test file system operations in multiple simultaneous +# TEST transactions. Start one transaction, do a file operation. +# TEST Start a second transaction, do a file operation. Abort +# TEST or commit txn1, then abort or commit txn2, and check for +# TEST appropriate outcome. +proc fop006 { } { + source ./include.tcl + + env_cleanup $testdir + puts "\nFop006: File system ops in multiple transactions" + + set exists {a b} + set noexist {foo bar} + set open {} + set cases {} + set ops {open open_create open_excl rename remove truncate} + + # Set up cases where op1 is successful. + foreach retval { 0 "file exists" "no such file" } { + foreach end1 {abort commit} { + foreach op1 $ops { + foreach op2 $ops { + append cases " " [create_tests\ + $op1 $op2 $exists $noexist\ + $open $retval $end1] + } + } + } + } + + # Set up evil two-op cases (op1 fails). Omit open_create + # and truncate from op1 list -- open_create always succeeds + # and truncate requires a successful open. + foreach retval { 0 "file exists" "no such file" } { + foreach op1 { rename remove open open_excl } { + foreach op2 $ops { + append cases " " [create_badtests $op1 $op2 \ + $exists $noexist $open $retval $end1] + } + } + } + + # The structure of each case is: + # {{op1 {args} result end} {op2 {args} result}} + # A result of "0" indicates no error is expected. Otherwise, + # the result is the expected error message. The value of "end" + # indicates whether the transaction will be aborted or committed. + # + # Comment this loop out to remove the list of cases. +# set i 1 +# foreach case $cases { +# puts "\tFop006.$i: $case" +# incr i +# } + + set testid 0 + + # Run all the cases + foreach case $cases { + incr testid + + # Extract elements of the case + set op1 [lindex [lindex $case 0] 0] + set args1 [lindex [lindex $case 0] 1] + set res1 [lindex [lindex $case 0] 2] + set end1 [lindex [lindex $case 0] 3] + + set op2 [lindex [lindex $case 1] 0] + set args2 [lindex [lindex $case 1] 1] + set res2 [lindex [lindex $case 1] 2] + + puts "\tFop006.$testid: $op1 ($args1) $res1 $end1;\ + $op2 ($args2) $res2." + + foreach end2 { abort commit } { + # Create transactional environment. + set env [berkdb_env -create -home $testdir -txn] + error_check_good is_valid_env [is_valid_env $env] TRUE + + # Create databases + set db [berkdb_open\ + -create -btree -env $env -auto_commit a.db] + error_check_good db_open [is_valid_db $db] TRUE + error_check_good db_put [$db put -auto_commit 1 a] 0 + error_check_good db_close [$db close] 0 + + set db [berkdb_open\ + -create -btree -env $env -auto_commit b.db] + error_check_good db_open [is_valid_db $db] TRUE + error_check_good db_put [$db put -auto_commit 1 a] 0 + error_check_good db_close [$db close] 0 + + # Start transaction 1 and perform a file op. + set txn1 [$env txn] + error_check_good \ + txn_begin [is_valid_txn $txn1 $env] TRUE + set result1 [do_op $op1 $args1 $txn1 $env] + if {$res1 == 0} { + error_check_good \ + op1_should_succeed $result1 $res1 + } else { + set error [extract_error $result1] + error_check_good op1_wrong_failure $error $res1 + } + + # Start transaction 2 before ending transaction 1. + set pid [exec $tclsh_path $test_path/wrap.tcl \ + fopscript.tcl $testdir/fop006.log \ + $op2 $end2 $res2 $args2 &] + + # End transaction 1 and close any open db handles. + # Txn2 will now unblock and finish. + error_check_good txn1_$end1 [$txn1 $end1] 0 + set handles [berkdb handles] + foreach handle $handles { + if {[string range $handle 0 1] == "db" } { + error_check_good \ + db_close [$handle close] 0 + } + } + watch_procs $pid 1 60 1 + + # Clean up for next case + error_check_good env_close [$env close] 0 + error_check_good \ + envremove [berkdb envremove -home $testdir] 0 + env_cleanup $testdir + } + } +} |