diff options
Diffstat (limited to 'tools/guest-diag/semfix_uvmt.py')
| -rwxr-xr-x | tools/guest-diag/semfix_uvmt.py | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/tools/guest-diag/semfix_uvmt.py b/tools/guest-diag/semfix_uvmt.py index 02d4f9e..fd58299 100755 --- a/tools/guest-diag/semfix_uvmt.py +++ b/tools/guest-diag/semfix_uvmt.py @@ -43,6 +43,11 @@ COUNTER_LO = int(os.environ.get("COUNTER_LO", "0x20400f000"), 16) COUNTER_HI = int(os.environ.get("COUNTER_HI", "0x204010000"), 16) SEMSTREAM = os.environ.get("SEM_STREAM_FILE", "/tmp/opencode/sem_stream.txt") TRACE_EVERY = int(os.environ.get("UVMT_TRACE_EVERY", "5")) +# The push-buffer resolution walks the channel/pool/manager chain with many +# QMP reads and can block the poller for tens of seconds. When the GR window +# stream (pin_gr_stream.py) already supplies the push-buffer pages, skip it so +# the tracking-sem poller stays live during the client's deadline window. +SKIP_PB = os.environ.get("SEMFIX_SKIP_PB", "0") == "1" class Stream: @@ -309,6 +314,8 @@ def main(): ok = pin(gv, gpa) log("semfix: sem=0x%x pool va=0x%x -> gpa=0x%x pin=%s" % (sem, gv, gpa, "ok" if ok else "FAILED")) + if SKIP_PB: + continue d = {} try: res = resolve_from_sem(q, sem, d) |