summaryrefslogtreecommitdiff
path: root/uarch/core.cpp
diff options
context:
space:
mode:
authorJulian Blake Kongslie2023-01-22 12:33:01 -0800
committerJulian Blake Kongslie2023-01-22 12:33:01 -0800
commit008b2fa47db4d04941a2bd6d512a204d76cbfea8 (patch)
treec5cf801dc2e8ca42bfa014b96e6bf74501253bba /uarch/core.cpp
parentImproved pipetrace viewer. (diff)
downloadbiggolf-008b2fa47db4d04941a2bd6d512a204d76cbfea8.tar.xz
Add deadman timer (only ten cycles!) based on time between interruptable points.
Diffstat (limited to 'uarch/core.cpp')
-rw-r--r--uarch/core.cpp3
1 files changed, 3 insertions, 0 deletions
diff --git a/uarch/core.cpp b/uarch/core.cpp
index 503e286..ce58df2 100644
--- a/uarch/core.cpp
+++ b/uarch/core.cpp
@@ -364,6 +364,9 @@ bail_out:
364 if (interrupt || oldctlregs != ctlregs) 364 if (interrupt || oldctlregs != ctlregs)
365 if (!restarttr.has_value()) 365 if (!restarttr.has_value())
366 restarttr = infra::pt::toplevel(); 366 restarttr = infra::pt::toplevel();
367 cycles_since_progress = 0;
368 } else {
369 assert(++cycles_since_progress < 10);
367 } 370 }
368 371
369 if (restarttr.has_value()) { 372 if (restarttr.has_value()) {