use std::sync::Arc;
use std::time::{Duration, Instant};

use bytes::{BufMut, Bytes, BytesMut};

use super::{
    DeferredSessionEffects, PendingClass, PollResult, QUEUE_ITEM_COST, QueuedFrame,
    SessionCloseReason, SessionState, WebSession,
};
use crate::web::frame::{self, FrameType};
use crate::web::manager::ManagerError;
use crate::web::telemetry::WebSessionLifecycleObservation;

// Batch staging owns transient permits and detached response leases.
mod batch;

impl WebSession {
    /// Polls pending downlink frames with cursor replay and newest-poll-wins semantics.
    pub(crate) async fn poll_down(&self, cursor: u64) -> Result<PollResult, ManagerError> {
        self.poll_down_inner(cursor, true).await
    }

    async fn poll_down_inner(
        &self,
        cursor: u64,
        peer_activity: bool,
    ) -> Result<PollResult, ManagerError> {
        if !self.carrier().is_multiplexed() {
            return Err(ManagerError::Protocol);
        }
        if self.close_if_cancelled() {
            return Err(ManagerError::Closed);
        }
        let mut effects = DeferredSessionEffects::new();
        let (epoch, healthy) = {
            let mut state = self.state.lock();
            if state.closed || self.cancel.is_cancelled() {
                drop(state);
                self.close_if_cancelled();
                return Err(ManagerError::Closed);
            }
            if let Some(unacked) = &state.unacked {
                if cursor == unacked.base_cursor {
                    let result = PollResult {
                        body: unacked.body.clone(),
                        next_cursor: unacked.next_cursor,
                        lane_closed: false,
                    };
                    if peer_activity {
                        self.touch_peer_locked(
                            &mut state,
                            Instant::now(),
                            WebSessionLifecycleObservation::HttpActivityAfterGap,
                        );
                    }
                    return Ok(result);
                }
                if cursor != unacked.next_cursor {
                    drop(state);
                    self.close(SessionCloseReason::Protocol);
                    return Err(ManagerError::Protocol);
                }
                let carrier_health_eligible = unacked.carrier_health_eligible;
                self.release_unacked_locked(&mut state, &mut effects);
                state.carrier_health_downlink |= carrier_health_eligible;
                if carrier_health_eligible {
                    state.carrier_health_activity_at = Some(Instant::now());
                }
            } else if cursor != state.down_cursor {
                drop(state);
                self.close(SessionCloseReason::Protocol);
                return Err(ManagerError::Protocol);
            }
            let Some(epoch) = state.down_epoch.checked_add(1) else {
                drop(state);
                effects.finish();
                self.close(SessionCloseReason::Protocol);
                return Err(ManagerError::Protocol);
            };
            state.down_epoch = epoch;
            if peer_activity {
                self.touch_peer_locked(
                    &mut state,
                    Instant::now(),
                    WebSessionLifecycleObservation::HttpActivityAfterGap,
                );
            }
            let healthy = self.carrier_health_ready_locked(&mut state, Instant::now());
            (state.down_epoch, healthy)
        };
        effects.finish();
        if let Some(claim) = healthy {
            self.finish_carrier_health(claim);
        }
        self.down_notify.notify_waiters();

        let deadline = Duration::from_secs(self.timeouts.long_poll_secs);
        let poll = async {
            loop {
                let notified = self.down_notify.notified();
                tokio::pin!(notified);
                notified.as_mut().enable();
                let mut effects = DeferredSessionEffects::new();
                {
                    let mut state = self.state.lock();
                    if self.cancel.is_cancelled() {
                        drop(state);
                        self.close_if_cancelled();
                        return Err(ManagerError::Closed);
                    }
                    if state.down_epoch != epoch {
                        return Ok(PollResult {
                            body: Bytes::new(),
                            next_cursor: cursor,
                            lane_closed: false,
                        });
                    }
                    if !state.pending_frames.is_empty() {
                        let batch =
                            match self.take_down_batch_locked(&mut state, &mut effects, cursor) {
                                Ok(batch) => batch,
                                Err(ManagerError::Backpressure) => {
                                    return Err(ManagerError::Backpressure);
                                }
                                Err(error) => {
                                    drop(state);
                                    self.close(SessionCloseReason::Protocol);
                                    return Err(error);
                                }
                            };
                        let result = PollResult {
                            body: batch.body.clone(),
                            next_cursor: batch.next_cursor,
                            lane_closed: false,
                        };
                        if let Some(manager) = self.manager.upgrade() {
                            manager.record_down(result.body.len());
                        }
                        if let Some(previous) = state.unacked.replace(batch) {
                            effects.retain_batch(previous);
                        }
                        drop(state);
                        effects.finish();
                        return Ok(result);
                    }
                    if state.closed {
                        return Err(ManagerError::Closed);
                    }
                }
                notified.await;
            }
        };
        tokio::select! {
            biased;
            _ = self.cancel.cancelled() => {
                self.close_if_cancelled();
                Err(ManagerError::Closed)
            }
            result = tokio::time::timeout(deadline, poll) => match result {
                Ok(result) => result,
                Err(_) => {
                    if self.close_if_cancelled() {
                        return Err(ManagerError::Closed);
                    }
                    let mut state = self.state.lock();
                    if self.cancel.is_cancelled() {
                        drop(state);
                        self.close_if_cancelled();
                        return Err(ManagerError::Closed);
                    }
                    if state.down_epoch == epoch {
                        state.activity.touch_progress(Instant::now());
                    }
                    Ok(PollResult {
                        body: Bytes::new(),
                        next_cursor: cursor,
                        lane_closed: false,
                    })
                }
            }
        }
    }

    /// Polls multiplexed WebSocket downlink without renewing the peer lease.
    pub(crate) async fn poll_down_websocket(
        &self,
        cursor: u64,
    ) -> Result<PollResult, ManagerError> {
        self.poll_down_inner(cursor, false).await
    }

    /// Reserves session and process queue capacity while the session lock is held.
    pub(super) fn reserve_locked(
        &self,
        state: &mut SessionState,
        bytes: usize,
        items: usize,
        class: PendingClass,
    ) -> bool {
        if bytes == 0 && items == 0 {
            return true;
        }
        let data_byte_limit = self
            .limits
            .pending_bytes_per_session
            .saturating_sub(self.limits.control_bytes_per_session);
        let item_reserve =
            16usize.saturating_add(self.limits.max_streams_per_session.saturating_mul(3));
        let data_item_limit = self
            .limits
            .pending_items_per_session
            .saturating_sub(item_reserve);
        let resident = self.resident.snapshot();
        let pending_bytes = state.pending_bytes.saturating_add(resident.bytes());
        let pending_items = state.pending_items.saturating_add(resident.items());
        let pending_control_bytes = state
            .pending_control_bytes
            .saturating_add(resident.control_bytes);
        let pending_control_items = state
            .pending_control_items
            .saturating_add(resident.control_items);
        if state.closed {
            return false;
        }
        let control = class == PendingClass::Control;
        let fits = if control {
            bytes <= self.limits.control_bytes_per_session
                && items <= item_reserve
                && pending_bytes <= self.limits.pending_bytes_per_session.saturating_sub(bytes)
                && pending_items <= self.limits.pending_items_per_session.saturating_sub(items)
                && pending_control_bytes
                    <= self.limits.control_bytes_per_session.saturating_sub(bytes)
                && pending_control_items <= item_reserve.saturating_sub(items)
        } else {
            let data_bytes = pending_bytes.saturating_sub(pending_control_bytes);
            let data_items = pending_items.saturating_sub(pending_control_items);
            let (byte_limit, item_limit) = if class == PendingClass::Downlink {
                let uplink_bytes = self.limits.max_body_bytes.saturating_add(
                    self.limits
                        .max_frames_per_body
                        .saturating_mul(QUEUE_ITEM_COST),
                );
                (
                    data_byte_limit.saturating_sub(uplink_bytes),
                    data_item_limit.saturating_sub(self.limits.max_frames_per_body),
                )
            } else {
                (data_byte_limit, data_item_limit)
            };
            bytes <= byte_limit
                && items <= item_limit
                && data_bytes <= byte_limit - bytes
                && data_items <= item_limit - items
        };
        if !fits {
            if let Some(manager) = self.manager.upgrade() {
                manager.telemetry().record_rejection(
                    crate::web::telemetry::WebRejectionReason::QueueSessionCapacity,
                );
            }
            return false;
        }
        let Some(manager) = self.manager.upgrade() else {
            return false;
        };
        if !manager.try_reserve_pending(
            self.profile_key,
            bytes,
            items,
            control,
            class == PendingClass::Downlink,
        ) {
            return false;
        }
        state.pending_bytes += bytes;
        state.pending_items += items;
        if control {
            state.pending_control_bytes += bytes;
            state.pending_control_items += items;
        }
        true
    }

    /// Releases session and process queue capacity while the session lock is held.
    pub(super) fn release_locked(
        &self,
        state: &mut SessionState,
        effects: &mut DeferredSessionEffects,
        bytes: usize,
        items: usize,
        control: bool,
    ) {
        state.pending_bytes = state.pending_bytes.saturating_sub(bytes);
        state.pending_items = state.pending_items.saturating_sub(items);
        if control {
            state.pending_control_bytes = state.pending_control_bytes.saturating_sub(bytes);
            state.pending_control_items = state.pending_control_items.saturating_sub(items);
        }
        if let Some(manager) = self.manager.upgrade() {
            effects.notify(manager.release_pending_quiet(self.profile_key, bytes, items, control));
        }
    }

    pub(super) fn release_local_locked(
        &self,
        state: &mut SessionState,
        bytes: usize,
        items: usize,
        control: bool,
    ) {
        state.pending_bytes = state.pending_bytes.saturating_sub(bytes);
        state.pending_items = state.pending_items.saturating_sub(items);
        if control {
            state.pending_control_bytes = state.pending_control_bytes.saturating_sub(bytes);
            state.pending_control_items = state.pending_control_items.saturating_sub(items);
        }
    }

    /// Coalesces one flow-control update into the bounded control queue.
    pub(super) fn queue_window_locked(
        &self,
        state: &mut SessionState,
        effects: &mut DeferredSessionEffects,
        stream_id: u32,
        amount: u32,
    ) -> bool {
        if amount == 0 {
            return true;
        }
        if self.carrier().uses_lanes() {
            return self.queue_control_locked(
                state,
                effects,
                FrameType::Window,
                stream_id,
                &frame::window_payload(amount),
            );
        }
        if let Some(index) = state.pending_windows.get(&stream_id).copied()
            && let Some(queued) = state.pending_frames.get_mut(index)
        {
            let previous = u32::from_be_bytes(
                queued.encoded[frame::HEADER_BYTES..frame::HEADER_BYTES + 4]
                    .try_into()
                    .unwrap_or([0; 4]),
            );
            if let Some(total) = previous.checked_add(amount) {
                queued.encoded[frame::HEADER_BYTES..frame::HEADER_BYTES + 4]
                    .copy_from_slice(&total.to_be_bytes());
                effects.notify(Arc::clone(&self.down_notify));
                return true;
            }
        }
        self.queue_control_locked(
            state,
            effects,
            FrameType::Window,
            stream_id,
            &frame::window_payload(amount),
        )
    }

    /// Appends one control frame under both reserved queue budgets.
    pub(super) fn queue_control_locked(
        &self,
        state: &mut SessionState,
        effects: &mut DeferredSessionEffects,
        frame_type: FrameType,
        stream_id: u32,
        payload: &[u8],
    ) -> bool {
        self.queue_frame_locked(state, effects, frame_type, stream_id, payload, true)
    }

    /// Appends one server-to-client DATA frame under downlink data budgets.
    pub(super) fn queue_data_locked(
        &self,
        state: &mut SessionState,
        effects: &mut DeferredSessionEffects,
        stream_id: u32,
        payload: &[u8],
    ) -> bool {
        if self.carrier().uses_lanes() {
            return self.queue_frame_locked(
                state,
                effects,
                FrameType::Data,
                stream_id,
                payload,
                false,
            );
        }
        let can_coalesce = state.pending_frames.back().is_some_and(|last| {
            last.frame_type == FrameType::Data
                && last.stream_id == stream_id
                && last.encoded.len() - frame::HEADER_BYTES + payload.len()
                    <= self.limits.max_frame_payload_bytes
        });
        if can_coalesce {
            if !self.reserve_locked(state, payload.len(), 0, PendingClass::Downlink) {
                return false;
            }
            let Some(last) = state.pending_frames.back_mut() else {
                return false;
            };
            last.encoded.extend_from_slice(payload);
            last.cost += payload.len();
            let payload_len = (last.encoded.len() - frame::HEADER_BYTES) as u32;
            last.encoded[4..8].copy_from_slice(&payload_len.to_be_bytes());
            return true;
        }
        self.queue_frame_locked(state, effects, FrameType::Data, stream_id, payload, false)
    }

    fn queue_frame_locked(
        &self,
        state: &mut SessionState,
        effects: &mut DeferredSessionEffects,
        frame_type: FrameType,
        stream_id: u32,
        payload: &[u8],
        control: bool,
    ) -> bool {
        if self.carrier().uses_lanes() {
            return self
                .queue_lane_frame_locked(state, effects, frame_type, stream_id, payload, control);
        }
        let cost = frame::HEADER_BYTES + payload.len() + QUEUE_ITEM_COST;
        let class = if control {
            PendingClass::Control
        } else {
            PendingClass::Downlink
        };
        if !self.reserve_locked(state, cost, 1, class) {
            return false;
        }
        let mut encoded = BytesMut::with_capacity(frame::HEADER_BYTES + payload.len());
        encoded.put_u8(frame_type as u8);
        encoded.put_u8((stream_id >> 16) as u8);
        encoded.put_u8((stream_id >> 8) as u8);
        encoded.put_u8(stream_id as u8);
        encoded.put_u32(payload.len() as u32);
        encoded.extend_from_slice(payload);
        let index = state.pending_frames.len();
        state.pending_frames.push_back(QueuedFrame {
            encoded,
            frame_type,
            stream_id,
            control,
            cost,
        });
        if frame_type == FrameType::Window {
            state.pending_windows.insert(stream_id, index);
        }
        effects.notify(Arc::clone(&self.down_notify));
        true
    }
}

#[cfg(test)]
#[path = "downlink_tests.rs"]
mod tests;