Skip to content

Commit aab777c

Browse files
author
Dmitry Lenev
committed
Fix for bug #51093 "Crash (possibly stack overflow) in
MDL_lock::find_deadlock". On some platforms deadlock detector in metadata locking subsystem under certain conditions might have exhausted stack space causing server crashes. Particularly this caused failures of rqg_mdl_stability test on Solaris in PushBuild. During search for deadlock MDL deadlock detector could sometimes encounter loop in the waiters graph in which MDL_context which has started search for a deadlock does not participate. In such case our algorithm will continue looping assuming that either this deadlock will be resolved by MDL_context which has created it (i.e. by one of loop participants) or maximum search depth will be reached. Since max search depth was set to 1000 in the latter case on platforms where each iteration of deadlock search algorithm needs more than DEFAULT_STACK_SIZE/1000 bytes of stack (around 192 bytes for 32-bit and around 256 bytes for 64-bit platforms) we might have exhausted stack space. This patch solves this problem by reducing maximum search depth for MDL deadlock detector to 32. This should be safe at the moment as it is unlikely that each iteration of the current deadlock detector algorithm will consume more than 1K of stack (thus total amount of stack required can't be more than 32K) and we require at least 80K of stack in order to open any table. Also this value should be (hopefully) big enough to not cause too much false deadlock errors (there is an anecdotal evidence that real-life deadlocks are typically shorter than that). Additional reasearch should be conducted in future in order to determine the more optimal value of maximum search depth. This patch does not include test case as existing rqg_mdl_stability test can serve as one.
1 parent 9656026 commit aab777c

File tree

1 file changed

+14
-1
lines changed

1 file changed

+14
-1
lines changed

sql/mdl.cc

Lines changed: 14 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -74,7 +74,20 @@ class Deadlock_detection_context
7474
MDL_context *start;
7575
MDL_context *victim;
7676
uint current_search_depth;
77-
static const uint MAX_SEARCH_DEPTH= 1000;
77+
/**
78+
Maximum depth for deadlock searches. After this depth is
79+
achieved we will unconditionally declare that there is a
80+
deadlock.
81+
82+
@note This depth should be small enough to avoid stack
83+
being exhausted by recursive search algorithm.
84+
85+
TODO: Find out what is the optimal value for this parameter.
86+
Current value is safe, but probably sub-optimal,
87+
as there is an anecdotal evidence that real-life
88+
deadlocks are even shorter typically.
89+
*/
90+
static const uint MAX_SEARCH_DEPTH= 32;
7891
};
7992

8093

0 commit comments

Comments
 (0)