1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
#[cfg(debug_assertions)]
use crate::debug::DebugContext;
#[cfg(debug_assertions)]
use ::{
move_binary_format::file_format::Bytecode,
move_vm_types::values::Locals,
once_cell::sync::Lazy,
std::{
env,
fs::{File, OpenOptions},
io::Write,
process,
sync::Mutex,
thread,
},
};
#[cfg(debug_assertions)]
use crate::{
interpreter::Interpreter,
loader::{Function, Loader},
};
#[cfg(debug_assertions)]
const MOVE_VM_TRACING_ENV_VAR_NAME: &str = "MOVE_VM_TRACE";
#[cfg(debug_assertions)]
const MOVE_VM_STEPPING_ENV_VAR_NAME: &str = "MOVE_VM_STEP";
#[cfg(debug_assertions)]
static FILE_PATH: Lazy<String> = Lazy::new(|| {
env::var(MOVE_VM_TRACING_ENV_VAR_NAME).unwrap_or_else(|_| "move_vm_trace.trace".to_string())
});
#[cfg(debug_assertions)]
static TRACING_ENABLED: Lazy<bool> = Lazy::new(|| env::var(MOVE_VM_TRACING_ENV_VAR_NAME).is_ok());
#[cfg(debug_assertions)]
static DEBUGGING_ENABLED: Lazy<bool> =
Lazy::new(|| env::var(MOVE_VM_STEPPING_ENV_VAR_NAME).is_ok());
#[cfg(debug_assertions)]
static LOGGING_FILE: Lazy<Mutex<File>> = Lazy::new(|| {
Mutex::new(
OpenOptions::new()
.write(true)
.create(true)
.append(true)
.open(&*FILE_PATH)
.unwrap(),
)
});
#[cfg(debug_assertions)]
static DEBUG_CONTEXT: Lazy<Mutex<DebugContext>> = Lazy::new(|| Mutex::new(DebugContext::new()));
#[cfg(debug_assertions)]
pub(crate) fn trace(
function_desc: &Function,
locals: &Locals,
pc: u16,
instr: &Bytecode,
loader: &Loader,
interp: &Interpreter,
) {
if *TRACING_ENABLED {
let f = &mut *LOGGING_FILE.lock().unwrap();
writeln!(
f,
"{}-{:?},{},{},{:?}",
process::id(),
thread::current().id(),
function_desc.pretty_string(),
pc,
instr,
)
.unwrap();
}
if *DEBUGGING_ENABLED {
DEBUG_CONTEXT
.lock()
.unwrap()
.debug_loop(function_desc, locals, pc, instr, loader, interp);
}
}
#[macro_export]
macro_rules! trace {
($function_desc:expr, $locals:expr, $pc:expr, $instr:tt, $resolver:expr, $interp:expr) => {
#[cfg(debug_assertions)]
$crate::tracing::trace(
&$function_desc,
$locals,
$pc,
&$instr,
$resolver.loader(),
$interp,
)
};
}