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.
71 lines
2.6 KiB
71 lines
2.6 KiB
3 years ago
|
#pragma once
|
||
|
|
|
||
|
|
#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,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,%u,%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_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, sandbox->memory.size);
|
||
|
|
}
|
||
|
|
|
||
|
|
static inline void
|
||
|
|
sandbox_perf_log_init()
|
||
|
|
{
|
||
|
|
char *sandbox_perf_log_path = getenv("SLEDGE_SANDBOX_PERF_LOG");
|
||
|
|
if (sandbox_perf_log_path != NULL) {
|
||
|
|
printf("\tSandbox 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 {
|
||
|
|
printf("\tSandbox Performance Log: Disabled\n");
|
||
|
|
}
|
||
|
|
}
|
||
|
|
|
||
|
|
static inline void
|
||
|
|
sandbox_perf_log_cleanup()
|
||
|
|
{
|
||
|
|
if (sandbox_perf_log != NULL) {
|
||
|
|
fflush(sandbox_perf_log);
|
||
|
|
fclose(sandbox_perf_log);
|
||
|
|
}
|
||
|
|
}
|