diff --git a/runtime/Makefile b/runtime/Makefile index 8e35ca25..42fbee4a 100644 --- a/runtime/Makefile +++ b/runtime/Makefile @@ -65,7 +65,7 @@ CFLAGS += -DLOG_SANDBOX_ALLOCATION # CFLAGS += -DLOG_UNSUPPORTED_WASI # Stores and logs extended signal information for each worker -# CFLAGS += -DLOG_SOFTWARE_INTERRUPT_COUNTS +CFLAGS += -DLOG_SOFTWARE_INTERRUPT_COUNTS # This adds an array of sandbox states to all sandbox structs and appends states at each transition # The history trucates when the number of elements equal SANDBOX_STATE_HISTORY_CAPACITY @@ -73,7 +73,7 @@ CFLAGS += -DLOG_STATE_CHANGES # This dumps per module *.csv files containing the cycle a sandbox has been in RUNNING when each # page is allocated. This helps understand the relationship to memory allocation and execution time. -# CFLAGS += -DLOG_SANDBOX_MEMORY_PROFILE +CFLAGS += -DLOG_SANDBOX_MEMORY_PROFILE # This flag enables runtime-level metrics from procfs CFLAGS += -DPROC_STAT_METRICS diff --git a/runtime/include/sandbox_summarize_page_allocations.h b/runtime/include/sandbox_summarize_page_allocations.h index 11ea34f7..3c4aa12d 100644 --- a/runtime/include/sandbox_summarize_page_allocations.h +++ b/runtime/include/sandbox_summarize_page_allocations.h @@ -9,7 +9,6 @@ static inline void sandbox_summarize_page_allocations(struct sandbox *sandbox) { -char *mem_profile_log_enable = getenv("SLEDGE_SANDBOX_PERF_LOG"); #ifdef LOG_SANDBOX_MEMORY_PROFILE // TODO: Handle interleavings char sandbox_page_allocations_log_path[100] = {};