Autonomic.ExecutionDomain behaviour (Autonomic v0.1.0)

Backend-neutral isolation boundary for an untrusted episode worker.

Implementations MUST treat epoch as fencing data and reject lifecycle or exec operations addressed to a stale domain generation.

Summary

Types

signal()

Callbacks

checkpoint(t)

create(t)

destroy(t)

exec(t, t)

inspect_domain(t)

restore(t)

signal(t, signal)

Types

signal()

@type signal() :: :sigterm | :sigkill | :sigint | :sigtstp | :sigcont

Callbacks

checkpoint(t)

@callback checkpoint(Autonomic.ExecutionDomain.Domain.t()) ::
  {:ok, Autonomic.ExecutionDomain.CheckpointRef.t()} | {:error, term()}

create(t)

@callback create(Autonomic.ExecutionDomain.Spec.t()) ::
  {:ok, Autonomic.ExecutionDomain.Domain.t()} | {:error, term()}

destroy(t)

@callback destroy(Autonomic.ExecutionDomain.Domain.t()) :: :ok | {:error, term()}

exec(t, t)

@callback exec(
  Autonomic.ExecutionDomain.Domain.t(),
  Autonomic.ExecutionDomain.Command.t()
) ::
  {:ok, Autonomic.ExecutionDomain.Execution.t()} | {:error, term()}

inspect_domain(t)

@callback inspect_domain(Autonomic.ExecutionDomain.Domain.t()) ::
  {:ok, map()} | {:error, term()}

restore(t)

@callback restore(Autonomic.ExecutionDomain.CheckpointRef.t()) ::
  {:ok, Autonomic.ExecutionDomain.Domain.t()} | {:error, term()}

signal(t, signal)

@callback signal(Autonomic.ExecutionDomain.Domain.t(), signal()) :: :ok | {:error, term()}