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
|
#
# Wait for the undo tablespace name $inactive_undo_space to become empty
#
--disable_query_log
--disable_result_log
SET @orig_truncate_frequency = @@innodb_purge_rseg_truncate_frequency;
SET GLOBAL innodb_purge_rseg_truncate_frequency=1;
# Each inner loop is about 1 second. Set the number of seconds to wait.
let $wait_seconds = 30;
if ($wait_timeout)
{
let $wait_seconds = $wait_timeout;
}
let $first_loop = 1;
let $wait_timeout = 30;
let $set_inactive = ALTER UNDO TABLESPACE $inactive_undo_space SET INACTIVE;
let $wait_condition = SELECT STATE = 'empty' FROM INFORMATION_SCHEMA.INNODB_TABLESPACES
WHERE NAME = '$inactive_undo_space';
# Keep track of how many times the wait condition is tested
let $repetitions = 0;
while ($wait_seconds)
{
let $repeat = 50;
if (!$first_loop)
{
eval $set_inactive;
}
let $first_loop = 0;
while ($repeat)
{
let $success_wait = `$wait_condition`;
inc $repetitions;
if ($success_wait)
{
let $wait_seconds = 1;
let $repeat = 1;
}
if (!$success_wait)
{
sleep 0.1;
}
dec $repeat;
}
dec $wait_seconds;
}
if (!$success_wait)
{
--echo # Timeout waiting for $inactive_undo_space to become empty after $repetitions tries
}
SET GLOBAL innodb_purge_rseg_truncate_frequency=@orig_truncate_frequency;
--enable_result_log
--enable_query_log
|
