dbg_pause
Sends a pause request to interrupt a running program, immediately acknowledging the request without waiting for the stop.
Instructions
Interrupt a running program.
This only acknowledges the pause request; it does NOT wait for the stop.
A continue/step in flight holds the session lock for its whole await-for-stop,
so pause must run lock-free to interrupt it. The resulting stopped event is
delivered to that in-flight call's waiter, which returns the stop snapshot to
its own caller. The caller of dbg_pause receives only this ack.
Residual race (acceptable): pause may transiently reject at the exact instant a continue/step starts, while state is still STOPPED for the microsecond before run_and_wait flips it to RUNNING under the lock. Flipping to RUNNING early (before awaiting the resume response) minimizes this window.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| session_id | Yes |