You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
73 lines
2.7 KiB
73 lines
2.7 KiB
#pragma once
|
|
|
|
#include "pretty_print.h"
|
|
#include "runtime.h"
|
|
#include "sandbox_types.h"
|
|
|
|
extern FILE *sandbox_perf_log;
|
|
|
|
/**
|
|
* @brief Prints headers for the per-sandbox perf logs
|
|
*/
|
|
static inline void
|
|
sandbox_perf_log_print_header()
|
|
{
|
|
if (sandbox_perf_log == NULL) { perror("sandbox perf log"); }
|
|
fprintf(sandbox_perf_log, "id,module,port,state,deadline,actual,queued,uninitialized,allocated,initialized,"
|
|
"runnable,interrupted,preempted,"
|
|
"running_sys,running_user,asleep,returned,complete,error,proc_MHz,memory\n");
|
|
}
|
|
|
|
/**
|
|
* Prints key performance metrics for a sandbox to sandbox_perf_log
|
|
* This is defined by an environment variable
|
|
* @param sandbox
|
|
*/
|
|
static inline void
|
|
sandbox_perf_log_print_entry(struct sandbox *sandbox)
|
|
{
|
|
/* If the log was not defined by an environment variable, early out */
|
|
if (sandbox_perf_log == NULL) return;
|
|
|
|
uint64_t queued_duration = sandbox->timestamp_of.allocation - sandbox->timestamp_of.request_arrival;
|
|
|
|
/*
|
|
* Assumption: A sandbox is never able to free pages. If linear memory management
|
|
* becomes more intelligent, then peak linear memory size needs to be tracked
|
|
* seperately from current linear memory size.
|
|
*/
|
|
fprintf(sandbox_perf_log, "%lu,%s,%d,%s,%lu,%lu,%lu,,%lu,%lu,%lu,%lu,%lu,%lu,%lu,%lu,%lu,%lu,%lu,%lu,%u\n",
|
|
sandbox->id, sandbox->module->name, sandbox->module->port, sandbox_state_stringify(sandbox->state),
|
|
sandbox->module->relative_deadline, sandbox->total_time, queued_duration,
|
|
sandbox->duration_of_state[SANDBOX_UNINITIALIZED], sandbox->duration_of_state[SANDBOX_ALLOCATED],
|
|
sandbox->duration_of_state[SANDBOX_INITIALIZED], sandbox->duration_of_state[SANDBOX_RUNNABLE],
|
|
sandbox->duration_of_state[SANDBOX_INTERRUPTED], sandbox->duration_of_state[SANDBOX_PREEMPTED],
|
|
sandbox->duration_of_state[SANDBOX_RUNNING_SYS], sandbox->duration_of_state[SANDBOX_RUNNING_USER],
|
|
sandbox->duration_of_state[SANDBOX_ASLEEP], sandbox->duration_of_state[SANDBOX_RETURNED],
|
|
sandbox->duration_of_state[SANDBOX_COMPLETE], sandbox->duration_of_state[SANDBOX_ERROR],
|
|
runtime_processor_speed_MHz);
|
|
}
|
|
|
|
static inline void
|
|
sandbox_perf_log_init()
|
|
{
|
|
char *sandbox_perf_log_path = getenv("SLEDGE_SANDBOX_PERF_LOG");
|
|
if (sandbox_perf_log_path != NULL) {
|
|
pretty_print_key_value("Sandbox Performance Log", "%s\n", sandbox_perf_log_path);
|
|
sandbox_perf_log = fopen(sandbox_perf_log_path, "w");
|
|
if (sandbox_perf_log == NULL) perror("sandbox_perf_log_init\n");
|
|
sandbox_perf_log_print_header();
|
|
} else {
|
|
pretty_print_key_disabled("Sandbox Performance Log");
|
|
}
|
|
}
|
|
|
|
static inline void
|
|
sandbox_perf_log_cleanup()
|
|
{
|
|
if (sandbox_perf_log != NULL) {
|
|
fflush(sandbox_perf_log);
|
|
fclose(sandbox_perf_log);
|
|
}
|
|
}
|