mirror of
https://github.com/NousResearch/hermes-agent.git
synced 2026-07-09 13:21:42 +00:00
195 lines
6.6 KiB
Python
195 lines
6.6 KiB
Python
"""Keep-alive PTY sessions for dashboard terminals.
|
|
|
|
A PTY process outlives the WebSocket that created it: a single drain task
|
|
always reads the PTY into a bounded RingBuffer and forwards to the attached
|
|
socket when present. Reconnecting with the same opaque token replays the
|
|
buffer and resumes live. See
|
|
docs/superpowers/specs/2026-06-20-pty-keepalive-reattach-design.md.
|
|
"""
|
|
from __future__ import annotations
|
|
|
|
import asyncio
|
|
import time
|
|
from typing import Optional
|
|
|
|
WS_CLOSE_PROCESS_EXITED = 4410
|
|
WS_CLOSE_SUPERSEDED = 4409
|
|
|
|
|
|
class RingBuffer:
|
|
"""Keeps only the most recent ``capacity`` bytes appended to it."""
|
|
|
|
def __init__(self, capacity: int) -> None:
|
|
self._cap = capacity
|
|
self._buf = bytearray()
|
|
self._truncated = False
|
|
|
|
def append(self, data: bytes) -> None:
|
|
self._buf.extend(data)
|
|
overflow = len(self._buf) - self._cap
|
|
if overflow > 0:
|
|
del self._buf[:overflow]
|
|
self._truncated = True
|
|
|
|
def snapshot(self) -> bytes:
|
|
return bytes(self._buf)
|
|
|
|
@property
|
|
def truncated(self) -> bool:
|
|
return self._truncated
|
|
|
|
|
|
class PtySession:
|
|
def __init__(self, key: str, bridge, *, buffer_cap: int, read_timeout: float) -> None:
|
|
self.key = key
|
|
self.bridge = bridge
|
|
self.buffer = RingBuffer(buffer_cap)
|
|
self.alive = True
|
|
self.attached = False
|
|
self.last_detached_at: Optional[float] = None
|
|
self._read_timeout = read_timeout
|
|
self._ws = None
|
|
self._drain_task: Optional[asyncio.Task] = None
|
|
|
|
async def start(self) -> None:
|
|
self._drain_task = asyncio.create_task(self._drain())
|
|
|
|
async def _drain(self) -> None:
|
|
loop = asyncio.get_running_loop()
|
|
while True:
|
|
chunk = await loop.run_in_executor(None, self.bridge.read, self._read_timeout)
|
|
if chunk is None: # EOF — the agent process exited
|
|
self.alive = False
|
|
ws = self._ws
|
|
if ws is not None:
|
|
try:
|
|
await ws.close(code=WS_CLOSE_PROCESS_EXITED)
|
|
except Exception:
|
|
pass
|
|
return
|
|
if not chunk: # idle tick
|
|
await asyncio.sleep(0)
|
|
continue
|
|
self.buffer.append(chunk)
|
|
ws = self._ws
|
|
if ws is not None:
|
|
try:
|
|
await ws.send_bytes(chunk)
|
|
except Exception:
|
|
pass # detached mid-send; keep buffering
|
|
|
|
async def attach(self, ws) -> None:
|
|
old = self._ws
|
|
if old is not None and old is not ws:
|
|
try:
|
|
await old.close(code=WS_CLOSE_SUPERSEDED)
|
|
except Exception:
|
|
pass
|
|
self._ws = ws
|
|
self.attached = True
|
|
self.last_detached_at = None
|
|
snap = self.buffer.snapshot()
|
|
if snap:
|
|
await ws.send_bytes(snap)
|
|
|
|
def detach(self, ws) -> None:
|
|
# Only the currently-attached socket may mark the session detached.
|
|
# A superseded socket's handler also calls detach on its way out
|
|
# (its ``finally`` runs after the new tab attached); flipping
|
|
# ``attached`` then would make a session with a live viewer look
|
|
# idle and reapable.
|
|
if self._ws is not ws:
|
|
return
|
|
self._ws = None
|
|
self.attached = False
|
|
self.last_detached_at = time.monotonic()
|
|
|
|
async def close(self) -> None:
|
|
if self._drain_task is not None:
|
|
self._drain_task.cancel()
|
|
try:
|
|
await self._drain_task
|
|
except (asyncio.CancelledError, Exception):
|
|
pass
|
|
try:
|
|
# bridge.close() joins the child — blocking; keep it off the
|
|
# event loop (#53227).
|
|
await asyncio.to_thread(self.bridge.close)
|
|
except Exception:
|
|
pass
|
|
|
|
|
|
from typing import Callable, Dict, Tuple
|
|
|
|
|
|
class RegistryFull(Exception):
|
|
pass
|
|
|
|
|
|
async def run_reaper(registry: "PtySessionRegistry", *, interval: float = 60.0) -> None:
|
|
"""Periodically reap idle/dead keep-alive sessions. Cancelled on shutdown."""
|
|
while True:
|
|
await asyncio.sleep(interval)
|
|
try:
|
|
await registry.reap_idle()
|
|
except Exception:
|
|
pass
|
|
|
|
|
|
class PtySessionRegistry:
|
|
def __init__(self, *, ttl: float, max_sessions: int,
|
|
buffer_cap: int, read_timeout: float) -> None:
|
|
self._ttl = ttl
|
|
self._max = max_sessions
|
|
self._buffer_cap = buffer_cap
|
|
self._read_timeout = read_timeout
|
|
self._sessions: Dict[str, PtySession] = {}
|
|
|
|
async def attach_or_spawn(self, key: str, *, spawn: Callable[[], object]
|
|
) -> Tuple[PtySession, bool]:
|
|
await self.reap_idle()
|
|
existing = self._sessions.get(key)
|
|
if existing is not None and existing.alive:
|
|
return existing, False
|
|
if existing is not None: # dead remnant
|
|
await existing.close()
|
|
self._sessions.pop(key, None)
|
|
if len(self._sessions) >= self._max:
|
|
self._reap_one_idle_or_raise()
|
|
# PTY spawn does blocking fork/exec work — keep it off the event
|
|
# loop (#53227).
|
|
bridge = await asyncio.to_thread(spawn)
|
|
session = PtySession(key, bridge, buffer_cap=self._buffer_cap,
|
|
read_timeout=self._read_timeout)
|
|
await session.start()
|
|
self._sessions[key] = session
|
|
return session, True
|
|
|
|
def detach(self, key: str, ws) -> None:
|
|
s = self._sessions.get(key)
|
|
if s is not None:
|
|
s.detach(ws)
|
|
|
|
async def reap_idle(self, now: Optional[float] = None) -> None:
|
|
now = time.monotonic() if now is None else now
|
|
doomed = [
|
|
key for key, s in self._sessions.items()
|
|
if (not s.alive)
|
|
or (not s.attached and s.last_detached_at is not None
|
|
and (now - s.last_detached_at) > self._ttl)
|
|
]
|
|
for key in doomed:
|
|
await self._sessions.pop(key).close()
|
|
|
|
def _reap_one_idle_or_raise(self) -> None:
|
|
idle = [s for s in self._sessions.values()
|
|
if not s.attached and s.last_detached_at is not None]
|
|
if not idle:
|
|
raise RegistryFull()
|
|
oldest = min(idle, key=lambda s: s.last_detached_at or 0.0)
|
|
self._sessions.pop(oldest.key, None)
|
|
asyncio.create_task(oldest.close())
|
|
|
|
async def close_all(self) -> None:
|
|
for key in list(self._sessions):
|
|
await self._sessions.pop(key).close()
|