morpheus_network/state/tcp.rs
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 231 232 233 234 235 236 237 238 239 240 241 242 243 244 245 246 247 248 249 250 251 252 253 254 255 256 257 258 259 260 261 262 263 264 265 266 267 268 269 270 271 272 273 274 275 276 277 278 279 280 281 282 283 284 285 286 287 288 289 290 291 292 293 294 295 296 297 298 299 300 301 302 303 304 305 306 307 308 309 310 311 312 313 314 315 316 317 318 319 320 321 322 323 324 325 326 327 328 329 330 331 332 333 334 335 336 337 338 339 340 341 342 343 344 345 346 347 348 349 350 351 352 353 354 355 356 357 358 359 360 361 362 363 364 365 366 367 368 369 370 371 372 373 374 375 376 377 378 379 380 381 382 383 384 385 386 387 388 389 390 391 392 393 394 395 396 397 398 399 400 401 402 403 404 405 406 407 408 409
//! TCP connection state machine.
//!
//! Non-blocking TCP connection establishment and lifecycle management.
//!
//! # States
//! ```text
//! Closed → Connecting → Established → Closing → Closed
//! ↓ ↓ ↓
//! Error Error Error
//! ```
//!
//! # Usage
//!
//! ```ignore
//! let mut tcp = TcpConnState::new();
//!
//! // Start connection (non-blocking)
//! tcp.initiate(socket_handle, remote_ip, remote_port, now_tsc);
//!
//! loop {
//! iface.poll(...);
//!
//! // Get socket state from smoltcp
//! let socket_state = get_tcp_state(socket_handle);
//!
//! match tcp.step(socket_state, now_tsc, timeout_ticks) {
//! StepResult::Pending => continue,
//! StepResult::Done => {
//! let socket = tcp.socket().unwrap();
//! // Use socket for send/recv
//! break;
//! }
//! StepResult::Timeout => panic!("connect timeout"),
//! StepResult::Failed => panic!("connect failed"),
//! }
//! }
//! ```
//!
//! # Reference
//! NETWORK_IMPL_GUIDE.md §5.4
use super::{StateError, StepResult, TscTimestamp};
use core::net::Ipv4Addr;
// ═══════════════════════════════════════════════════════════════════════════
// TCP SOCKET STATE (mirrors smoltcp)
// ═══════════════════════════════════════════════════════════════════════════
/// TCP socket state (simplified from smoltcp).
///
/// Used to communicate socket state from smoltcp to our state machine.
#[derive(Debug, Clone, Copy, PartialEq, Eq)]
pub enum TcpSocketState {
/// Socket is closed
Closed,
/// Listening (server mode - not used here)
Listen,
/// SYN sent, waiting for SYN-ACK
SynSent,
/// SYN-ACK received, sending ACK
SynReceived,
/// Connection established
Established,
/// FIN sent, waiting for ACK
FinWait1,
/// FIN-ACK received
FinWait2,
/// Waiting for FIN from peer
CloseWait,
/// FIN sent after CloseWait
Closing,
/// FIN received in FinWait1
LastAck,
/// Waiting for timeout
TimeWait,
}
impl TcpSocketState {
/// Check if socket is connected and can send/receive.
pub fn is_active(self) -> bool {
matches!(self, Self::Established | Self::CloseWait)
}
/// Check if connection attempt failed.
pub fn is_failed(self) -> bool {
// Closed after SynSent means connection refused
self == Self::Closed
}
/// Check if connection is closing.
pub fn is_closing(self) -> bool {
matches!(
self,
Self::FinWait1 | Self::FinWait2 | Self::Closing | Self::LastAck | Self::TimeWait
)
}
}
// ═══════════════════════════════════════════════════════════════════════════
// TCP ERROR
// ═══════════════════════════════════════════════════════════════════════════
/// TCP-specific errors.
#[derive(Debug, Clone, Copy, PartialEq, Eq)]
pub enum TcpError {
/// Connection timed out
ConnectTimeout,
/// Connection refused by remote
ConnectionRefused,
/// Connection reset by remote
ConnectionReset,
/// Close timed out
CloseTimeout,
/// Socket error
SocketError,
/// Invalid state
InvalidState,
}
impl From<TcpError> for StateError {
fn from(e: TcpError) -> Self {
match e {
TcpError::ConnectTimeout | TcpError::CloseTimeout => StateError::Timeout,
TcpError::ConnectionRefused => StateError::ConnectionRefused,
TcpError::ConnectionReset => StateError::ConnectionReset,
_ => StateError::ConnectionFailed,
}
}
}
// ═══════════════════════════════════════════════════════════════════════════
// TCP CONNECTION INFO
// ═══════════════════════════════════════════════════════════════════════════
/// Information about an established connection.
#[derive(Debug, Clone, Copy)]
pub struct TcpConnectionInfo {
/// Local port
pub local_port: u16,
/// Remote IP address
pub remote_ip: Ipv4Addr,
/// Remote port
pub remote_port: u16,
}
// ═══════════════════════════════════════════════════════════════════════════
// TCP CONNECTION STATE MACHINE
// ═══════════════════════════════════════════════════════════════════════════
/// TCP connection state machine.
///
/// Manages non-blocking TCP connection establishment and closing.
/// Does NOT handle data transfer - that's done directly on the socket.
#[derive(Debug)]
pub enum TcpConnState {
/// Socket not connected
Closed,
/// Connection initiated, waiting for establishment
Connecting {
/// Socket handle (opaque, passed to smoltcp)
socket_handle: usize,
/// Remote address
remote_ip: Ipv4Addr,
/// Remote port
remote_port: u16,
/// Local port (for reference)
local_port: u16,
/// When connect started
start_tsc: TscTimestamp,
},
/// Connection established
Established {
/// Socket handle
socket_handle: usize,
/// Connection info
info: TcpConnectionInfo,
},
/// Connection closing
Closing {
/// Socket handle
socket_handle: usize,
/// When close started
start_tsc: TscTimestamp,
},
/// Error state
Error {
/// Error details
error: TcpError,
},
}
impl TcpConnState {
/// Create new TCP state machine in closed state.
pub fn new() -> Self {
TcpConnState::Closed
}
/// Initiate connection.
///
/// Called AFTER smoltcp's `socket.connect()` has been called.
/// This just tracks the state - actual connect is done by smoltcp.
///
/// # Arguments
/// - `socket_handle`: Socket handle from smoltcp
/// - `remote_ip`: Remote IP address
/// - `remote_port`: Remote port
/// - `local_port`: Local port (0 for ephemeral)
/// - `now_tsc`: Current TSC timestamp
pub fn initiate(
&mut self,
socket_handle: usize,
remote_ip: Ipv4Addr,
remote_port: u16,
local_port: u16,
now_tsc: u64,
) {
*self = TcpConnState::Connecting {
socket_handle,
remote_ip,
remote_port,
local_port,
start_tsc: TscTimestamp::new(now_tsc),
};
}
/// Step the state machine.
///
/// # Arguments
/// - `socket_state`: Current TCP socket state from smoltcp
/// - `now_tsc`: Current TSC value
/// - `timeout_ticks`: Connect/close timeout in TSC ticks
///
/// # Returns
/// - `Pending`: Still connecting/closing
/// - `Done`: Connected (when Connecting) or Closed (when Closing)
/// - `Timeout`: Operation timed out
/// - `Failed`: Operation failed
pub fn step(
&mut self,
socket_state: TcpSocketState,
now_tsc: u64,
timeout_ticks: u64,
) -> StepResult {
match self {
TcpConnState::Closed => {
// Not started
StepResult::Pending
}
TcpConnState::Connecting {
socket_handle,
remote_ip,
remote_port,
local_port,
start_tsc,
} => {
// Check timeout first
if start_tsc.is_expired(now_tsc, timeout_ticks) {
*self = TcpConnState::Error {
error: TcpError::ConnectTimeout,
};
return StepResult::Timeout;
}
// Check socket state
if socket_state.is_active() {
// Connected!
let handle = *socket_handle;
let info = TcpConnectionInfo {
local_port: *local_port,
remote_ip: *remote_ip,
remote_port: *remote_port,
};
*self = TcpConnState::Established {
socket_handle: handle,
info,
};
return StepResult::Done;
}
if socket_state == TcpSocketState::Closed {
// Connection refused or reset
*self = TcpConnState::Error {
error: TcpError::ConnectionRefused,
};
return StepResult::Failed;
}
// Still connecting
StepResult::Pending
}
TcpConnState::Established { .. } => {
// Already connected
StepResult::Done
}
TcpConnState::Closing {
socket_handle,
start_tsc,
} => {
// Check timeout
if start_tsc.is_expired(now_tsc, timeout_ticks) {
*self = TcpConnState::Error {
error: TcpError::CloseTimeout,
};
return StepResult::Timeout;
}
// Check if fully closed
if socket_state == TcpSocketState::Closed {
*self = TcpConnState::Closed;
return StepResult::Done;
}
// Still closing
let _ = socket_handle;
StepResult::Pending
}
TcpConnState::Error { error } => match error {
TcpError::ConnectTimeout | TcpError::CloseTimeout => StepResult::Timeout,
_ => StepResult::Failed,
},
}
}
/// Start graceful close.
///
/// Called AFTER smoltcp's `socket.close()` has been called.
pub fn close(&mut self, now_tsc: u64) {
if let TcpConnState::Established { socket_handle, .. } = self {
let handle = *socket_handle;
*self = TcpConnState::Closing {
socket_handle: handle,
start_tsc: TscTimestamp::new(now_tsc),
};
}
}
/// Abort connection immediately.
pub fn abort(&mut self) {
*self = TcpConnState::Closed;
}
/// Mark as failed with error.
pub fn fail(&mut self, error: TcpError) {
*self = TcpConnState::Error { error };
}
/// Get socket handle (if connecting or established).
pub fn socket_handle(&self) -> Option<usize> {
match self {
TcpConnState::Connecting { socket_handle, .. } => Some(*socket_handle),
TcpConnState::Established { socket_handle, .. } => Some(*socket_handle),
TcpConnState::Closing { socket_handle, .. } => Some(*socket_handle),
_ => None,
}
}
/// Get connection info (if established).
pub fn connection_info(&self) -> Option<&TcpConnectionInfo> {
match self {
TcpConnState::Established { info, .. } => Some(info),
_ => None,
}
}
/// Get error (if failed).
pub fn error(&self) -> Option<TcpError> {
match self {
TcpConnState::Error { error } => Some(*error),
_ => None,
}
}
/// Check if connection is established.
pub fn is_established(&self) -> bool {
matches!(self, TcpConnState::Established { .. })
}
/// Check if closed (initial or after close).
pub fn is_closed(&self) -> bool {
matches!(self, TcpConnState::Closed)
}
/// Check if in error state.
pub fn is_error(&self) -> bool {
matches!(self, TcpConnState::Error { .. })
}
/// Check if terminal (established, closed, or error).
pub fn is_terminal(&self) -> bool {
matches!(
self,
TcpConnState::Established { .. } | TcpConnState::Closed | TcpConnState::Error { .. }
)
}
}
impl Default for TcpConnState {
fn default() -> Self {
Self::new()
}
}