search

llmhyy / microbat

A feedback-based debugger for interactively recommending suspicious step in buggy program execution.
54 stars 15 forks source link

Nested instrumentation leading to deadlock #230

Open dingyuchen opened 2 years ago

dingyuchen commented 2 years ago

image Here thread 4 is storing a partial trace, while thread 0 is retrieving a tracer from the executionStore. image Thread 4 makes a nested run on ExecutionTracer as it seems like the sqlite driver is also instrumented. Since ExecutionTracer is statically synchronized, there is a deadlock.