diff --git a/config.h b/config.h index cfb50ef..53ec5a4 100644 --- a/config.h +++ b/config.h @@ -2,6 +2,7 @@ #define PAGE_REPLACEMENT_ALGORITHM 2 #define WSCLOCK_TIME_WINDOW 1500 +#define SANITY_CHECK_ENABLED 1 #define VERBOSE_SANITY_CHECK 0 #define WS_CHANGE_INVERSE_CHANCE 1000 diff --git a/src/kernel.c b/src/kernel.c index d71d029..379b306 100644 --- a/src/kernel.c +++ b/src/kernel.c @@ -113,7 +113,9 @@ RUNQ_remove_current_process(void) cp = cp->next; } +#if SANITY_CHECK_ENABLED == 1 KERNEL_sanity_check_memory_lists(); +#endif if ((cp == starting_page) || (!cp)) break; @@ -242,7 +244,9 @@ page_replacement_resolved: #endif } +#if SANITY_CHECK_ENABLED == 1 KERNEL_sanity_check_memory_lists(); +#endif } void KERNEL_update_job(size_t page_amount)