Description
Bootstrap, protocol, application-hook, or server-lifecycle failure.
Agent_Error
Agent_Error : exception;
Bootstrap, protocol, application-hook, or server-lifecycle failure.
Application_Context
type Application_Context is limited private;
Compensate
function Compensate
(Context : in out Application_Context; Authority : Upgrade_Handle) return Compensation_Result
Called only after the candidate server task has terminated. It may be repeated after uncertain acknowledgment and must be idempotent.
Parameters
- Context
- Authority
Return value
Prepare
procedure Prepare (Context : in out Application_Context; Data : Messages.Provisioning_Data)
Reconstruct desired local topology without admission authority.
Parameters
- Context
- Data
Promoted
procedure Promoted (Context : in out Application_Context; Authority : Upgrade_Handle)
Enable Active_Only work and publish the promoted deployment epoch.
Parameters
- Context
- Authority
Ready
function Ready (Context : Application_Context; Data : Messages.Provisioning_Data) return Boolean
True only when the exact provisioned topology is reconciled and every required structured server reports Accepting.
Parameters
- Context
- Data
Return value
Request_Stop
procedure Request_Stop (Context : in out Application_Context)
Must synchronously revoke new admission before returning, then request structured shutdown. It may be called more than once during cleanup.
Parameters
- Context
Run
procedure Run
(Context : in out Application_Context;
Ready_Timeout : Duration := 30.0;
Drain_Timeout : Duration := 30.0;
Control_Timeout : Duration := Flyology.IO.Infinite)
Adopt bootstrap channels and serve one coordinator-managed image.
Parameters
- Context
Image-local application context
- Ready_Timeout
Total wait for application readiness
- Drain_Timeout
Wait before reporting a stuck structured drain; process-level fencing remains the coordinator's responsibility
- Control_Timeout
Timeout for each long-lived control operation
Raised exceptions
- Agent_Error
Bootstrap or lifecycle processing fails
Run_Server
procedure Run_Server
(Context : in out Application_Context;
Listener : in out Flyology.IO.Sockets.Socket_Type;
Role : Candidate_Role)
Run the server until Request_Stop causes its structured scopes to join. The procedure executes in one native Agent-owned task.
Parameters
- Context
- Listener
- Role