diff options
| author | Arthur Hanson Rasmusson <arthur@vgpu.io> | 2026-10-28 19:04:55 -0400 |
|---|---|---|
| committer | Arthur Hanson Rasmusson <arthur@vgpu.io> | 2026-10-28 19:04:55 -0400 |
| commit | f500779b54af2b1082c60a0845a75c5f61ec4202 (patch) | |
| tree | a5a0dccaf3b164f305518965bc01224ae6291b23 /tools/guest-diag/pin_supervisor.sh | |
| parent | 1fd8d50a8d7277148ef8a7bbe67d1c62a29429b2 (diff) | |
| download | open-iov-f500779b54af2b1082c60a0845a75c5f61ec4202.tar.gz open-iov-f500779b54af2b1082c60a0845a75c5f61ec4202.zip | |
vgsp GL path: widened pin prefixes, ring-scan PROMOTE_CTX ordering evidence, graphics-execution plan (SESSION 153)
Diffstat (limited to 'tools/guest-diag/pin_supervisor.sh')
| -rwxr-xr-x | tools/guest-diag/pin_supervisor.sh | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/tools/guest-diag/pin_supervisor.sh b/tools/guest-diag/pin_supervisor.sh index b87d5c1..72f588f 100755 --- a/tools/guest-diag/pin_supervisor.sh +++ b/tools/guest-diag/pin_supervisor.sh @@ -70,7 +70,14 @@ kill_tool() { start_pin() { if tool_alive "$PIN"; then return 0; fi touch "$PIN_HB" 2>/dev/null || true - ( setsid nohup env SEMFIX_COUNTER_RETRY=10 \ + # CLIENT_PREFIXES threads through pin_gr_stream.py into the guest + # scanner launch (its _start_cmd). GL clients (glxgears, gzdoom) and + # the X server must be covered or the GL client's ring/mappings are + # never pinned (SESSION 149: the GR ring scan then finds no candidate + # for h=0xbfef0002, va=0x1203cfff0). + ( setsid nohup env \ + CLIENT_PREFIXES="${CLIENT_PREFIXES:-cdt,va,victory,Xorg,X,glxgears,gzdoom}" \ + SEMFIX_COUNTER_RETRY=10 \ python3 "$PIN" >> "$PIN_LOG" 2>&1 & ) pin_started=$(date +%s) log "START pin_gr_stream" |