cs.DCApr 11, 2026

Rebooting Microreboot: Architectural Support for Safe, Parallel Recovery in Microservice Systems

Authors: Laurent Bindschaedler

Organizations: Max Planck Institute for Software Systems (MPI-SWS), Saarbrücken, Germany

Abstract

Microreboot enables fast recovery by restarting only the failing component, but in modern microservices naive restarts are unsafe: dense dependencies mean rebooting one service can disrupt many callers. Autonomous remediation agents compound this by actuating raw infrastructure commands without safety guarantees. We make microreboot practical by separating planning from actuation: a three-agent architecture (diagnosis, planning, verification) proposes typed remediation plans over a seven-action ISA with explicit side-effect semantics, and a small microkernel validates and executes each plan transactionally. Agents are explicitly untrusted; safety derives from the ISA and microkernel. To determine where restart is safe, we infer recovery boundaries online from distributed traces, computing minimal restart groups and ordering constraints. On industrial traces (Alibaba, Meta) and DeathStarBench with fault injection, recovery-group inference runs in 21 ms at P99; typed actuation reduces agent-caused harm by 95% in simulation and achieves 0% harm online. The primary value is safety, not speed: LLM inference overhead increases TTR for services with fast auto-restart.

Figures & tables

Explore similar work

CardsList
  1. E2E-REME: Towards End-to-End Microservices Auto-Remediation via Experience-Simulation Reinforcement Fine-Tuning

    Apr 13, 2026Lingzhe Zhang, Yunpeng Zhai, Tong Jia +5LLM-Based Program SynthesisMicroservice Architecture

  2. Safe Remediation as Risk-Constrained Intervention Decision in Microservice Systems

    Jul 22, 2026Chengxiao Dai, Zhaokun Yan, Chenjun Lei +2Constrained RL

  3. An Uncertainty-Aware Resilience Micro-Agent for Causal Observability in the Computing Continuum

    May 11, 2026Suvi De Silva, Alfreds Lapkovskis, Alaa Saleh +2Agent ReliabilityEdge Computing