From 7dbbc7f54a7815172bb549a5f70440af4a157756 Mon Sep 17 00:00:00 2001
From: hasslesstech <hasslesstech@tutanota.com>
Date: Tue, 18 Mar 2025 19:21:39 +0200
Subject: [PATCH] add config option to disable sanity checks for faster
 execution

---
 config.h     | 1 +
 src/kernel.c | 4 ++++
 2 files changed, 5 insertions(+)

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)