632a4c9326
Many changes to code structure are included: - removed TIME_SLICE_IN_MS - removed sychronized_indexed_list - removed region_owned - kernel_owned move to kernel.h, task_owned moved to task.h - global configs moved to rust_globals.h - changed #pragma once to standard guard in rust_upcall.h - got rid of memory.h
22 lines
351 B
C
22 lines
351 B
C
|
|
#ifndef RUST_ENV_H
|
|
#define RUST_ENV_H
|
|
|
|
#include "rust_globals.h"
|
|
|
|
struct rust_env {
|
|
size_t num_sched_threads;
|
|
size_t min_stack_size;
|
|
size_t max_stack_size;
|
|
char* logspec;
|
|
bool check_claims;
|
|
bool detailed_leaks;
|
|
char* rust_seed;
|
|
bool poison_on_free;
|
|
};
|
|
|
|
rust_env* load_env();
|
|
void free_env(rust_env *rust_env);
|
|
|
|
#endif
|