Design: freeze a session's program group atomically (cgroup freezer)

Abierto
  • ¿Algo no está bien?
#337 0 comentarios 0 reacciones 0 asignados Ver en GitHub

Los mantenedores suelen responder en 1 día

Nadie ha tomado este issue todavía.

Evaluación

Dificultad
5/5
Tiempo estimado
Más de una semana
Aptitud para principiantes
25/100
Tipo de issue
Nueva funcionalidad
Claridad
Bien especificado
Estado de actividad
Activo
Stack tecnológico
linux, typescript
Área
cli, operating-systems

Línea de trabajo

Start with docs/USAGE.md, the host process-spawning and session-recording code, and the TLA+ lifecycle model at .agents/skills/verify-session-lifecycle. First evaluate delegated cgroup availability in the listed target environments and how a recorded cgroup path can be verified across processes, including sessions created by older versions. Done means an ADR documents the mechanism, fallback, and measurements; both stated gaps are addressed where supported; the model checks the lifecycle rules; and docs/USAGE.md explains remaining limits.

Escrito por el modelo de indexación a partir del texto del issue.

Descripción

Design: freeze a session's program group atomically (cgroup freezer), so destroy and gc cannot miss a fork chain.

Problem

destroy and gc end a session's program group by reading /proc, proving that the group is the session's, and killing it. A fork chain (processes that each fork a successor and exit within a few ms) can end between two reads. Since #326, #333 and #334, agent-tty sends such a group SIGSTOP, so its processes stay in view, and judges it again. SIGSTOP and the reads are separate system calls, so this remains a heuristic. Two gaps are left, and docs/USAGE.md documents both (Limits 3 and 5, and the fork-chain paragraph under destroy):

  1. A missed chain under a PID 1 that never reaps. When another process sends the group SIGCONT before each of the 5 freeze checks, the freeze misses the chain. Normally the wait then still finds the group id, and destroy fails with HOST_TIMEOUT. Under a PID 1 that never reaps, the scans show only zombies, the group reads ended, and destroy reports success while the chain still runs. gc has the same limit after its 20 frozen checks.
  2. A false HOST_TIMEOUT (since #334). The CLI's /proc belongs to another pid namespace, the session has no autogroup record (or uses an old childPid record), and a PID 1 that never reaps keeps the zombies. Then destroy fails with HOST_TIMEOUT although the program has ended. Before #334, destroy recorded destroyed there. I reproduced both sides with a real CLI under sudo unshare --pid --fork without --mount-proc (see #335).

A comment on 2026-11-03 in this work already concluded that a freeze without these gaps "needs the cgroup freezer or ptrace".

Direction to evaluate

  • Put each session's program in its own cgroup v2 leaf (for example under the user's delegated systemd scope) when the host spawns it. cgroup.freeze then freezes every member at once, cgroup.procs lists the members without a /proc scan, and cgroup.kill (Linux 5.14+) kills them all in one call. Membership is inherited on fork, so a chain cannot escape it.
  • Keep the current autogroup and SIGSTOP path as the fallback where no writable delegated cgroup exists (containers without delegation, older kernels, macOS, Windows).
  • Questions to answer first: does a delegated cgroup exist in the environments agent-tty targets (CI runners, Coder workspaces, Docker with and without --cgroupns)? How does the host record the cgroup path so that destroy from another process can prove it is the session's (a host.json/program.json field, and model checks for it)? What happens to a session that a version without this feature started?
  • The TLA+ lifecycle model (.agents/skills/verify-session-lifecycle) needs an action for the cgroup path, and the rules DestroyedProgramStopped and the gc rules must hold with it.

Done when

  • A design note (ADR under docs/adr/) chooses the mechanism and the fallback, with measurements from the target environments.
  • Both gaps above are closed where the mechanism is available, and the model check covers them.
  • docs/USAGE.md states where the old limits still apply.

Generated with xum • Model: anthropic:claude-opus-5-5 • Thinking: high

Lenguaje dominante
TypeScript
Estrellas
30
Forks
4
Merge medio
3 h 19 min
PR fusionados (30 d)
107

Preparar el entorno

Primeros pasos

  1. Lee el issue completo y luego la guía de contribución del proyecto.
  2. Comenta en el issue que vas a ocuparte — evita que dos personas hagan lo mismo.
  3. Haz un fork del repositorio y trabaja en una rama.
  4. Abre un pull request que haga referencia al número del issue.

Más de coder/agent-tty

Todos los issues de coder/agent-tty

Issues similares

Más issues de TypeScript

Recibe los nuevos issues en tu correo

Un resumen breve de issues de GitHub para principiantes.