forked from haiwan/sledge
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.
81 lines
2.0 KiB
81 lines
2.0 KiB
#pragma once
|
|
|
|
#include <stdatomic.h>
|
|
|
|
#include "likely.h"
|
|
#include "panic.h"
|
|
|
|
typedef enum
|
|
{
|
|
SANDBOX_UNINITIALIZED = 0, /* Assumption: mmap zeros out structure */
|
|
SANDBOX_ALLOCATED,
|
|
SANDBOX_SET_AS_INITIALIZED,
|
|
SANDBOX_INITIALIZED,
|
|
SANDBOX_SET_AS_RUNNABLE,
|
|
SANDBOX_RUNNABLE,
|
|
SANDBOX_SET_AS_RUNNING,
|
|
SANDBOX_RUNNING,
|
|
SANDBOX_SET_AS_PREEMPTED,
|
|
SANDBOX_PREEMPTED,
|
|
SANDBOX_SET_AS_BLOCKED,
|
|
SANDBOX_BLOCKED,
|
|
SANDBOX_SET_AS_RETURNED,
|
|
SANDBOX_RETURNED,
|
|
SANDBOX_SET_AS_COMPLETE,
|
|
SANDBOX_COMPLETE,
|
|
SANDBOX_SET_AS_ERROR,
|
|
SANDBOX_ERROR,
|
|
SANDBOX_STATE_COUNT
|
|
} sandbox_state_t;
|
|
|
|
extern const bool sandbox_state_is_terminal[SANDBOX_STATE_COUNT];
|
|
|
|
extern const char *sandbox_state_labels[SANDBOX_STATE_COUNT];
|
|
|
|
static inline const char *
|
|
sandbox_state_stringify(sandbox_state_t state)
|
|
{
|
|
if (unlikely(state >= SANDBOX_STATE_COUNT)) panic("%d is an unrecognized sandbox state\n", state);
|
|
return sandbox_state_labels[state];
|
|
}
|
|
|
|
|
|
static inline void
|
|
sandbox_state_log_transition(uint64_t sandbox_id, sandbox_state_t last_state, sandbox_state_t current_state)
|
|
{
|
|
#ifdef LOG_STATE_CHANGES
|
|
debuglog("Sandbox %lu | %s => %s\n", sandbox_id, sandbox_state_stringify(last_state),
|
|
sandbox_state_stringify(current_state));
|
|
#endif
|
|
}
|
|
|
|
#ifdef LOG_SANDBOX_COUNT
|
|
extern _Atomic uint32_t sandbox_state_count[SANDBOX_STATE_COUNT];
|
|
#endif
|
|
|
|
static inline void
|
|
sandbox_count_initialize()
|
|
{
|
|
#ifdef LOG_SANDBOX_COUNT
|
|
for (int i = 0; i < SANDBOX_STATE_COUNT; i++) atomic_init(&sandbox_state_count[i], 0);
|
|
#endif
|
|
}
|
|
|
|
static inline void
|
|
runtime_sandbox_total_increment(sandbox_state_t state)
|
|
{
|
|
#ifdef LOG_SANDBOX_COUNT
|
|
if (!sandbox_state_is_terminal[state]) panic("Unexpectedly logging intermediate transition state");
|
|
atomic_fetch_add(&sandbox_state_count[state], 1);
|
|
#endif
|
|
}
|
|
|
|
static inline void
|
|
runtime_sandbox_total_decrement(sandbox_state_t state)
|
|
{
|
|
#ifdef LOG_SANDBOX_COUNT
|
|
if (atomic_load(&sandbox_state_count[state]) == 0) panic("Underflow of %s\n", sandbox_state_stringify(state));
|
|
atomic_fetch_sub(&sandbox_state_count[state], 1);
|
|
#endif
|
|
}
|