diff options
| author | Julian Blake Kongslie | 2023-01-22 12:33:01 -0800 |
|---|---|---|
| committer | Julian Blake Kongslie | 2023-01-22 12:33:01 -0800 |
| commit | 008b2fa47db4d04941a2bd6d512a204d76cbfea8 (patch) | |
| tree | c5cf801dc2e8ca42bfa014b96e6bf74501253bba /uarch/core.cpp | |
| parent | Improved pipetrace viewer. (diff) | |
| download | biggolf-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.cpp | 3 |
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()) { |
