max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

perf(util/stackinfo): optimize check_stack

Browse source
This commit is contained in:
Leonardo de Moura 2017-06-06 16:35:20 -07:00
parent 9b60e25ca4
commit b9a22155da
1 changed files with 6 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
src/util/stackinfo.cpp
View file

@ -64,12 +64,15 @@ size_t get_stack_size(int main) {
LEAN_THREAD_VALUE(bool, g_stack_info_init, false);
LEAN_THREAD_VALUE(size_t, g_stack_size, 0);
LEAN_THREAD_VALUE(size_t, g_stack_base, 0);
LEAN_THREAD_VALUE(size_t, g_stack_threshold, 0);
void save_stack_info(bool main) {
g_stack_info_init = true;
g_stack_size = get_stack_size(main);
char x;
g_stack_base = reinterpret_cast<size_t>(&x);
/* g_stack_threshold is a redundant value used to optimize check_stack */
g_stack_threshold = g_stack_base + LEAN_STACK_BUFFER_SPACE - g_stack_size;
}
size_t get_used_stack_size() {
@ -89,7 +92,9 @@ size_t get_available_stack_size() {
void check_stack(char const * component_name) {
if (!g_stack_info_init)
save_stack_info(false);
if (get_used_stack_size() + LEAN_STACK_BUFFER_SPACE > g_stack_size)
char y;
size_t curr_stack = reinterpret_cast<size_t>(&y);
if (curr_stack < g_stack_threshold)
throw stack_space_exception(component_name);
}
}