On WSL2, a caller that cannot run ps reads a running agmsgd as stopped

Aperta Adatta ai principianti
  • Qualcosa non va?
#1,960 0 commenti 0 reazioni 0 assegnatari Vedi su GitHub

I maintainer di solito rispondono entro 1 giorno

Nessuno ha ancora preso questa issue.

Valutazione

Difficoltà
2/5
Tempo stimato
1-3 ore
Idoneità per principianti
78/100
Tipo di issue
Bug
Chiarezza
Specificata chiaramente
Stato di attività
Attiva
Stack tecnologico
bash
Ambito
cli

Direzione di ricerca

Inizia con agmsg_daemon_read_state in scripts/lib/daemon-state.sh, poi leggi i due casi non riusciti in tests/test_agmsgd_switch.bats. Segui come un risultato vuoto di ps imposta lo stato di salute e come _agmsg_pid_signal_presence distingue un pid che non esiste più. Il lavoro è terminato quando un pid attivo o non verificabile restituisce unchecked, un pid chiaramente scomparso resta stopped ed entrambi i test menzionati passano.

Scritto dal modello di indicizzazione a partire dal testo della issue.

Descrizione

What happens

On WSL2, agmsg_daemon_read_state (scripts/lib/daemon-state.sh) reads a running agmsgd as stopped when the caller cannot run ps. On other Linux hosts the same caller gets unchecked. Two existing tests in tests/test_agmsgd_switch.bats fail on WSL2 for this reason, on main (5a42555b) as well:

  • "executor evidence recognizes a live ready owner and rejects a changed boot" (the [ "$output" = unchecked ] after ps and getconf are replaced by exit 1)
  • "warn_if_stopped never records a down_notice for 'unchecked' (cannot tell is not down)"

With /proc/sys/kernel/osrelease replaced by a non-WSL string (6.18.40.1-generic) in a copy of the scripts, both pass on the same machine.

  • agmsg: main at 5a42555b
  • OS: Ubuntu on WSL2, kernel 6.18.40.1-microsoft-standard-WSL2
  • bats 1.13.0 (npm), Node v24.21.0

Why

On WSL the kernel release contains microsoft, so the Linux branch sets start_unreliable=1: WSL2's host time sync steps the clock, so the process start time cannot show that a pid was reused. The check that turns missing evidence into "cannot tell" is skipped for that case:

if [ -z "$current_boot" ] || { [ -z "$started_epoch" ] && [ -z "$start_unreliable" ]; }; then
  case "$(_agmsg_pid_signal_presence "$pid")" in
    gone) ;;
    *) AGMSGD_HEALTH=unchecked ... return 0 ;;
  esac
fi

The function therefore goes on to the last check, ps -p "$pid" -o stat=. When ps cannot be run (denied in a sandbox, or missing), the empty output is taken as executor exited or suspended, and AGMSGD_HEALTH stays stopped. agmsg_daemon_warn_if_stopped then reports it and, in the ordinary path, self-heals by running daemon start. That bumps op_gen and makes the running daemon step aside. #1959 describes the same sequence for a pid namespace sandbox.

Suggested fix

Treat an empty ps answer as "cannot tell" unless the pid is clearly gone. For example, when process_state is empty, ask _agmsg_pid_signal_presence: gone keeps stopped, anything else is unchecked. A Z or T state still means exited or suspended. This keeps the comment's rule ("unless the pid is clearly gone, say the check is unavailable, not stopped") on the WSL path too.

The fix proposed for #1959 does not change this path: it handles a caller in another pid namespace, where even kill -0 says "No such process". It also does not fix these two tests.

This issue was written with AI assistance (Claude Code, Claude Opus 5.5). I reviewed it, and the observations above come from my own machine.

Lingua principale
Shell
Stelle
1.5k
Fork
156
Merge medio
15h 56m
PR unite (30g)
231

Preparare l'ambiente

Come iniziare

  1. Leggi tutta la issue e poi la guida ai contributi del progetto.
  2. Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
  3. Fai un fork del repository e lavora su un branch.
  4. Apri una pull request che faccia riferimento al numero della issue.

Altre issue di fujibee/agmsg

Tutte le issue di fujibee/agmsg

Issue simili

Altre issue su Shell/Bash

Ricevi le nuove issue nella tua casella

Un breve riepilogo di issue GitHub adatte ai principianti.