Enum IsoDownloadState

pub enum IsoDownloadState {
    Init {
        config: DownloadConfig,
    },
    WaitingForNetwork {
        dhcp: DhcpState,
        config: DownloadConfig,
    },
    Downloading {
        http: HttpDownloadState,
        network_config: DhcpConfig,
        config: DownloadConfig,
        disk_position: u64,
        pending_write: usize,
        bytes_written: usize,
    },
    Verifying {
        result: DownloadResult,
        expected_hash: [u8; 32],
        verified_bytes: usize,
        start_tsc: TscTimestamp,
    },
    Done {
        result: DownloadResult,
    },
    Failed {
        error: DownloadError,
    },
}

ISO download orchestration state machine.

Coordinates DHCP → HTTP → Disk Write workflow.

Variants

Init

Initial state with configuration.

Fields

config: DownloadConfig

WaitingForNetwork

Waiting for DHCP to obtain network configuration.

Fields

dhcp: DhcpState

DHCP state machine

config: DownloadConfig

Download configuration

Downloading

Network ready, downloading ISO.

Fields

http: HttpDownloadState

HTTP download state machine

network_config: DhcpConfig

Network configuration from DHCP

config: DownloadConfig

Download configuration

disk_position: u64

Current disk write position (sectors)

pending_write: usize

Bytes pending disk write

bytes_written: usize

Total bytes written to disk

Verifying

Download complete, verifying checksum (if hash provided).

Fields

result: DownloadResult

Download result so far

expected_hash: [u8; 32]

Expected hash

verified_bytes: usize

Verification progress (bytes checked)

start_tsc: TscTimestamp

When verification started

Done

Download and verification complete.

Fields

result: DownloadResult

Failed

Download failed.

Fields

error: DownloadError

Implementations

impl IsoDownloadState

pub fn new(config: DownloadConfig) -> Self

Create new download state machine.

pub fn start(&mut self, existing_network: Option<DhcpConfig>, now_tsc: u64)

Start the download.

If already have network config, skip DHCP. Otherwise, start DHCP first.

pub fn step( &mut self, dhcp_event: Option<Result<DhcpConfig, ()>>, dns_result: Result<Option<Ipv4Addr>, ()>, tcp_state: TcpSocketState, recv_data: Option<&[u8]>, can_send: bool, disk_write_result: Option<Result<usize, ()>>, now_tsc: u64, dhcp_timeout: u64, dns_timeout: u64, tcp_timeout: u64, http_send_timeout: u64, http_recv_timeout: u64, ) -> StepResult

Step the state machine.

Arguments

• dhcp_event: DHCP event from smoltcp (if any)
• dns_result: DNS query result (if resolving)
• tcp_state: TCP socket state (if connected)
• recv_data: Data received from HTTP socket
• can_send: Whether socket can send
• disk_write_result: Result of disk write (Ok(written) or Err)
• now_tsc: Current TSC value
• timeouts: Timeout values

Returns

StepResult indicating current status

fn step_inner( &self, current: IsoDownloadState, dhcp_event: Option<Result<DhcpConfig, ()>>, dns_result: Result<Option<Ipv4Addr>, ()>, tcp_state: TcpSocketState, recv_data: Option<&[u8]>, can_send: bool, disk_write_result: Option<Result<usize, ()>>, now_tsc: u64, dhcp_timeout: u64, dns_timeout: u64, tcp_timeout: u64, http_send_timeout: u64, http_recv_timeout: u64, ) -> (IsoDownloadState, StepResult)

Internal step implementation.

pub fn progress(&self) -> DownloadProgress

Get current progress.

pub fn result(&self) -> Option<&DownloadResult>

Get download result (if complete).

pub fn error(&self) -> Option<&DownloadError>

Get error (if failed).

pub fn network_config(&self) -> Option<&DhcpConfig>

Get network config (if obtained).

pub fn socket_handle(&self) -> Option<usize>

Get HTTP socket handle (if downloading).

pub fn pending_send(&self) -> Option<(&[u8], usize)>

Get bytes to send (if in send phase).

pub fn mark_sent(&mut self, bytes: usize)

Mark bytes as sent.

pub fn pending_disk_write(&self) -> Option<(u64, usize)>

Get data pending disk write.

Returns (current_sector, bytes_pending)

pub fn is_terminal(&self) -> bool

Check if download is complete (success or failure).

pub fn is_active(&self) -> bool

Check if download is in progress.

pub fn cancel(&mut self)

Cancel the download.

Trait Implementations

impl Debug for IsoDownloadState

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for IsoDownloadState

fn default() -> Self

Returns the “default value” for a type.