merge with dev-win

This commit is contained in:
daan 2019-08-21 11:11:40 -07:00
commit e7bd8c5d14
10 changed files with 283 additions and 85 deletions

View file

@ -424,6 +424,12 @@ static void mi_process_load(void) {
if (msg != NULL && (mi_option_is_enabled(mi_option_verbose) || mi_option_is_enabled(mi_option_show_errors))) {
_mi_fputs(stderr,NULL,msg);
}
if (mi_option_is_enabled(mi_option_reserve_huge_os_pages)) {
size_t pages = mi_option_get(mi_option_reserve_huge_os_pages);
double max_secs = (double)pages / 5.0; // 0.2s per page
mi_reserve_huge_os_pages(pages, max_secs);
}
}
// Initialize the process; called by thread_init or the process loader