mirror of
https://github.com/MariaDB/server.git
synced 2025-01-19 21:42:35 +01:00
69 lines
1.7 KiB
Tcl
69 lines
1.7 KiB
Tcl
|
# See the file LICENSE for redistribution information.
|
||
|
#
|
||
|
# Copyright (c) 1996, 1997, 1998, 1999, 2000
|
||
|
# Sleepycat Software. All rights reserved.
|
||
|
#
|
||
|
# $Id: dead002.tcl,v 11.15 2000/08/25 14:21:50 sue Exp $
|
||
|
#
|
||
|
# Deadlock Test 2.
|
||
|
# Identical to Test 1 except that instead of running a standalone deadlock
|
||
|
# detector, we create the region with "detect on every wait"
|
||
|
proc dead002 { { procs "2 4 10" } {tests "ring clump" } } {
|
||
|
source ./include.tcl
|
||
|
|
||
|
puts "Dead002: Deadlock detector tests"
|
||
|
|
||
|
env_cleanup $testdir
|
||
|
|
||
|
# Create the environment.
|
||
|
puts "\tDead002.a: creating environment"
|
||
|
set env [berkdb env \
|
||
|
-create -mode 0644 -home $testdir -lock -lock_detect default]
|
||
|
error_check_good lock_env:open [is_valid_env $env] TRUE
|
||
|
error_check_good lock_env:close [$env close] 0
|
||
|
|
||
|
foreach t $tests {
|
||
|
set pidlist ""
|
||
|
foreach n $procs {
|
||
|
sentinel_init
|
||
|
|
||
|
# Fire off the tests
|
||
|
puts "\tDead002: $n procs of test $t"
|
||
|
for { set i 0 } { $i < $n } { incr i } {
|
||
|
puts "$tclsh_path $test_path/wrap.tcl \
|
||
|
$testdir/dead002.log.$i \
|
||
|
ddscript.tcl $testdir $t $i $i $n"
|
||
|
set p [exec $tclsh_path \
|
||
|
$test_path/wrap.tcl \
|
||
|
ddscript.tcl $testdir/dead002.log.$i \
|
||
|
$testdir $t $i $i $n &]
|
||
|
lappend pidlist $p
|
||
|
}
|
||
|
watch_procs 5
|
||
|
|
||
|
# Now check output
|
||
|
set dead 0
|
||
|
set clean 0
|
||
|
set other 0
|
||
|
for { set i 0 } { $i < $n } { incr i } {
|
||
|
set did [open $testdir/dead002.log.$i]
|
||
|
while { [gets $did val] != -1 } {
|
||
|
switch $val {
|
||
|
DEADLOCK { incr dead }
|
||
|
1 { incr clean }
|
||
|
default { incr other }
|
||
|
}
|
||
|
}
|
||
|
close $did
|
||
|
}
|
||
|
dead_check $t $n $dead $clean $other
|
||
|
}
|
||
|
}
|
||
|
|
||
|
fileremove -f $testdir/dd.out
|
||
|
# Remove log files
|
||
|
for { set i 0 } { $i < $n } { incr i } {
|
||
|
fileremove -f $testdir/dead002.log.$i
|
||
|
}
|
||
|
}
|