[LibOS] Fix memmgr free list performance bug

Fixes the memmgr performance bug described in gramineproject#2033 by changing the `CHECK_LIST_HEAD` macro in `common/include/list.h` in release mode to `(void)0`. Signed-off-by: Adrian Lutsch <adrian.lutsch@cs.tu-darmstadt.de>
adrianlut · Nov 7, 2024 · 4f42e8d · 4f42e8d
1 parent a08a455
commit 4f42e8d
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/common/include/list.h b/common/include/list.h
@@ -280,6 +280,7 @@
          (CURSOR) != (HEAD)->first && (HEAD)->first; (CURSOR) = (TMP), (TMP) = (TMP)->FIELD.next)
 
 /* Assertion code written in Gramine project */
+#ifdef DEBUG
 #define CHECK_LIST_HEAD(TYPE, HEAD, FIELD)                               \
     do {                                                                 \
         TYPE pos;                                                        \
@@ -290,6 +291,9 @@
             assert(pos->FIELD.next->FIELD.prev == pos);                  \
         }                                                                \
     } while (0)
+#else
+#define CHECK_LIST_HEAD(TYPE, HEAD, FIELD) ((void)0)
+#endif
 
 // Add NEW to OLD at position first (assuming first is all we need for now)
 // Can probably drop TYPE with some preprocessor smarts