use core::panic;
use std::{
    cell::{Cell, RefCell},
    collections::{HashMap, VecDeque},
    process::ExitCode,
    sync::Arc,
};

use futures_util::{future::LocalBoxFuture, stream::FuturesUnordered, Future};
use mlua::prelude::*;

use tokio::sync::{mpsc, Mutex as AsyncMutex};

use super::{
    scheduler_message::TaskSchedulerMessage,
    task_waiter::{TaskWaiterFuture, TaskWaiterState},
};
pub use super::{task_kind::TaskKind, task_reference::TaskReference};

type TaskFutureRets<'fut> = LuaResult<Option<LuaMultiValue<'fut>>>;
type TaskFuture<'fut> = LocalBoxFuture<'fut, (Option<TaskReference>, TaskFutureRets<'fut>)>;

/// A struct representing a task contained in the task scheduler
#[derive(Debug)]
pub struct Task {
    kind: TaskKind,
    thread: LuaRegistryKey,
    args: LuaRegistryKey,
}

/// A task scheduler that implements task queues
/// with instant, deferred, and delayed tasks
#[derive(Debug)]
pub struct TaskScheduler<'fut> {
    /*
        Lots of cell and refcell here, however we need full interior mutability and never outer
        since the scheduler struct may be accessed from lua more than once at the same time.

        An example of this is the implementation of coroutine.resume, which instantly resumes the given
        task, where the task getting resumed may also create new scheduler tasks during its resumption.

        The same goes for values used during resumption of futures (`futures` and `futures_rx`)
        which must use async-aware mutexes to be cancellation safe across await points.
    */
    // Internal state & flags
    pub(super) lua: &'static Lua,
    pub(super) guid: Cell<usize>,
    pub(super) exit_code: Cell<Option<ExitCode>>,
    // Blocking tasks
    pub(super) tasks: RefCell<HashMap<TaskReference, Task>>,
    pub(super) tasks_count: Cell<usize>,
    pub(super) tasks_current: Cell<Option<TaskReference>>,
    pub(super) tasks_queue_blocking: RefCell<VecDeque<TaskReference>>,
    pub(super) tasks_waiter_states:
        RefCell<HashMap<TaskReference, Arc<AsyncMutex<TaskWaiterState<'fut>>>>>,
    pub(super) tasks_current_lua_error: Arc<AsyncMutex<Option<LuaError>>>,
    // Future tasks & objects for waking
    pub(super) futures: AsyncMutex<FuturesUnordered<TaskFuture<'fut>>>,
    pub(super) futures_count: Cell<usize>,
    pub(super) futures_background_count: Cell<usize>,
    pub(super) futures_tx: mpsc::UnboundedSender<TaskSchedulerMessage>,
    pub(super) futures_rx: AsyncMutex<mpsc::UnboundedReceiver<TaskSchedulerMessage>>,
}

impl<'fut> TaskScheduler<'fut> {
    /**
        Creates a new task scheduler.
    */
    pub fn new(lua: &'static Lua) -> LuaResult<Self> {
        let (tx, rx) = mpsc::unbounded_channel();
        let tasks_current_lua_error = Arc::new(AsyncMutex::new(None));
        let tasks_current_lua_error_inner = tasks_current_lua_error.clone();
        lua.set_interrupt(
            move || match tasks_current_lua_error_inner.try_lock().unwrap().take() {
                Some(err) => Err(err),
                None => Ok(LuaVmState::Continue),
            },
        );
        Ok(Self {
            lua,
            guid: Cell::new(0),
            exit_code: Cell::new(None),
            tasks: RefCell::new(HashMap::new()),
            tasks_count: Cell::new(0),
            tasks_current: Cell::new(None),
            tasks_queue_blocking: RefCell::new(VecDeque::new()),
            tasks_waiter_states: RefCell::new(HashMap::new()),
            tasks_current_lua_error,
            futures: AsyncMutex::new(FuturesUnordered::new()),
            futures_tx: tx,
            futures_rx: AsyncMutex::new(rx),
            futures_count: Cell::new(0),
            futures_background_count: Cell::new(0),
        })
    }

    /**
        Consumes and leaks the task scheduler,
        returning a static reference `&'static TaskScheduler`.

        This function is useful when the task scheduler object is
        supposed to live for the remainder of the program's life.

        Note that dropping the returned reference will cause a memory leak.
    */
    pub fn into_static(self) -> &'static Self {
        Box::leak(Box::new(self))
    }

    /**
        Stores the exit code for the task scheduler.

        This will be passed back to the Rust thread that is running the task scheduler,
        in the [`TaskSchedulerState`] returned on resumption of the task scheduler queue.

        Setting this exit code will signal to that thread that it
        should stop resuming tasks, and gracefully terminate the program.
    */
    pub fn set_exit_code(&self, code: ExitCode) {
        self.exit_code.set(Some(code));
    }

    /**
        Forwards a lua error to be emitted as soon as possible,
        after any current blocking / queued tasks have been resumed.

        Useful when an async function may call into Lua and get a
        result back, without erroring out of the entire async block.
    */
    pub fn forward_lua_error(&self, err: LuaError) {
        let sender = self.futures_tx.clone();
        sender
            .send(TaskSchedulerMessage::NewLuaErrorReady(err))
            .unwrap_or_else(|e| {
                panic!(
                    "\
                    \nFailed to forward lua error - this is an internal error! \
                    \nPlease report it at {} \
                    \nDetails: {e} \
                    ",
                    env!("CARGO_PKG_REPOSITORY")
                )
            });
    }

    /**
        Forces the current task to be set to the given reference.

        Useful if a task is to be resumed externally but full
        compatibility with the task scheduler is still necessary.
    */
    pub(crate) fn force_set_current_task(&self, reference: Option<TaskReference>) {
        self.tasks_current.set(reference);
    }

    /**
        Checks if a task still exists in the scheduler.

        A task may no longer exist in the scheduler if it has been manually
        cancelled and removed by calling [`TaskScheduler::cancel_task()`].
    */
    #[allow(dead_code)]
    pub fn contains_task(&self, reference: TaskReference) -> bool {
        self.tasks.borrow().contains_key(&reference)
    }

    /**
        Returns the currently running task, if any.
    */
    pub fn current_task(&self) -> Option<TaskReference> {
        self.tasks_current.get()
    }

    /**
        Returns the status of a specific task, if it exists in the scheduler.
    */
    pub fn get_task_status(&self, reference: TaskReference) -> Option<LuaString> {
        self.tasks.borrow().get(&reference).map(|task| {
            let status: LuaFunction = self
                .lua
                .named_registry_value("co.status")
                .expect("Missing coroutine status function in registry");
            let thread: LuaThread = self
                .lua
                .registry_value(&task.thread)
                .expect("Task thread missing from registry");
            status
                .call(thread)
                .expect("Task thread failed to call status")
        })
    }

    /**
        Creates a new task, storing a new Lua thread
        for it, as well as the arguments to give the
        thread on resumption, in the Lua registry.

        Note that this task will ***not*** resume on its
        own, it needs to be used together with either the
        scheduling functions or [`TaskScheduler::resume_task`].
    */
    pub fn create_task(
        &self,
        kind: TaskKind,
        thread: LuaThread<'_>,
        thread_args: Option<LuaMultiValue<'_>>,
        inherit_current_guid: bool,
    ) -> LuaResult<TaskReference> {
        // Store the thread and its arguments in the registry
        // NOTE: We must convert to a vec since multis
        // can't be stored in the registry directly
        let task_args_vec: Option<Vec<LuaValue>> = thread_args.map(|opt| opt.into_vec());
        let task_args_key: LuaRegistryKey = self.lua.create_registry_value(task_args_vec)?;
        let task_thread_key: LuaRegistryKey = self.lua.create_registry_value(thread)?;
        // Create the full task struct
        let task = Task {
            kind,
            thread: task_thread_key,
            args: task_args_key,
        };
        // Create the task ref to use
        let guid = if inherit_current_guid {
            self.current_task()
                .ok_or_else(|| LuaError::RuntimeError("No current guid to inherit".to_string()))?
                .id()
        } else {
            let guid = self.guid.get();
            self.guid.set(guid + 1);
            guid
        };
        let reference = TaskReference::new(kind, guid);
        // Increment the corresponding task counter
        match kind {
            TaskKind::Future => self.futures_count.set(self.futures_count.get() + 1),
            _ => self.tasks_count.set(self.tasks_count.get() + 1),
        }
        // Add the task to the scheduler
        {
            let mut tasks = self.tasks.borrow_mut();
            tasks.insert(reference, task);
        }
        Ok(reference)
    }

    /**
        Cancels a task, if the task still exists in the scheduler.

        It is possible to hold one or more task references that point
        to a task that no longer exists in the scheduler, and calling
        this method with one of those references will return `false`.
    */
    pub fn remove_task(&self, reference: TaskReference) -> LuaResult<bool> {
        /*
            Remove the task from the task list and the Lua registry

            This is all we need to do since resume_task will always
            ignore resumption of any task that no longer exists there

            This does lead to having some amount of "junk" futures that will
            build up in the queue but these will get cleaned up and not block
            the program from exiting since the scheduler only runs until there
            are no tasks left in the task list, the futures do not matter there
        */
        let mut found = false;
        let mut tasks = self.tasks.borrow_mut();
        // Unfortunately we have to loop through to find which task
        // references to remove instead of removing directly since
        // tasks can switch kinds between instant, deferred, future
        let tasks_to_remove: Vec<_> = tasks
            .keys()
            .filter(|task_ref| task_ref.id() == reference.id())
            .copied()
            .collect();
        for task_ref in &tasks_to_remove {
            if let Some(task) = tasks.remove(task_ref) {
                // Decrement the corresponding task counter
                match task.kind {
                    TaskKind::Future => self.futures_count.set(self.futures_count.get() - 1),
                    _ => self.tasks_count.set(self.tasks_count.get() - 1),
                }
                // NOTE: We need to close the thread here to
                // make 100% sure that nothing can resume it
                let close: LuaFunction = self.lua.named_registry_value("co.close")?;
                let thread: LuaThread = self.lua.registry_value(&task.thread)?;
                close.call(thread)?;
                self.lua.remove_registry_value(task.thread)?;
                self.lua.remove_registry_value(task.args)?;
                found = true;
            }
        }
        Ok(found)
    }

    /**
        Resumes a task, if the task still exists in the scheduler.

        A task may no longer exist in the scheduler if it has been manually
        cancelled and removed by calling [`TaskScheduler::cancel_task()`].

        This will be a no-op if the task no longer exists.
    */
    pub fn resume_task<'a, 'r>(
        &self,
        reference: TaskReference,
        override_args: Option<LuaResult<LuaMultiValue<'a>>>,
    ) -> LuaResult<(LuaThreadStatus, LuaMultiValue<'r>)>
    where
        'a: 'r,
    {
        // Fetch and check if the task was removed, if it got
        // removed it means it was intentionally cancelled
        let task = {
            let mut tasks = self.tasks.borrow_mut();
            match tasks.remove(&reference) {
                Some(task) => task,
                None => return Ok((LuaThreadStatus::Unresumable, LuaMultiValue::new())),
            }
        };
        // Decrement the corresponding task counter
        match task.kind {
            TaskKind::Future => self.futures_count.set(self.futures_count.get() - 1),
            _ => self.tasks_count.set(self.tasks_count.get() - 1),
        }
        // Fetch and remove the thread to resume + its arguments
        let thread: LuaThread = self.lua.registry_value(&task.thread)?;
        let thread_args: Option<LuaMultiValue> = {
            self.lua
                .registry_value::<Option<Vec<LuaValue>>>(&task.args)
                .expect("Failed to get stored args for task")
                .map(LuaMultiValue::from_vec)
        };
        self.lua.remove_registry_value(task.thread)?;
        self.lua.remove_registry_value(task.args)?;
        // We got everything we need and our references
        // were cleaned up properly, resume the thread
        self.tasks_current.set(Some(reference));
        let rets = match override_args {
            Some(override_res) => match override_res {
                Ok(args) => thread.resume(args),
                Err(e) => {
                    // NOTE: Setting this error here means that when the thread
                    // is resumed it will error instantly, so we don't need
                    // to call it with proper args, empty args is fine
                    self.tasks_current_lua_error.try_lock().unwrap().replace(e);
                    thread.resume(())
                }
            },
            None => match thread_args {
                Some(args) => thread.resume(args),
                None => thread.resume(()),
            },
        };
        self.tasks_current.set(None);
        match rets {
            Ok(rets) => Ok((thread.status(), rets)),
            Err(e) => Err(e),
        }
    }

    /**
        Queues a new blocking task to run on the task scheduler.
    */
    pub(crate) fn queue_blocking_task(
        &self,
        kind: TaskKind,
        thread: LuaThread<'_>,
        thread_args: Option<LuaMultiValue<'_>>,
    ) -> LuaResult<TaskReference> {
        if kind == TaskKind::Future {
            panic!("Tried to schedule future using normal task schedule method")
        }
        let task_ref = self.create_task(kind, thread, thread_args, false)?;
        // Add the task to the front of the queue, unless it
        // should be deferred, in that case add it to the back
        let mut queue = self.tasks_queue_blocking.borrow_mut();
        let num_prev_blocking_tasks = queue.len();
        if kind == TaskKind::Deferred {
            queue.push_back(task_ref);
        } else {
            queue.push_front(task_ref);
        }
        /*
            If we had any previous task and are currently async
            waiting on tasks, we should send a signal to wake up
            and run the new blocking task that was just queued

            This can happen in cases such as an async http
            server waking up from a connection and then wanting to
            run a lua callback in response, to create the.. response
        */
        if num_prev_blocking_tasks == 0 {
            self.futures_tx
                .send(TaskSchedulerMessage::NewBlockingTaskReady)
                .expect("Futures waker channel was closed")
        }
        Ok(task_ref)
    }

    /**
        Queues a new future to run on the task scheduler.
    */
    pub(crate) fn queue_async_task(
        &self,
        thread: LuaThread<'_>,
        thread_args: Option<LuaMultiValue<'_>>,
        fut: impl Future<Output = TaskFutureRets<'fut>> + 'fut,
    ) -> LuaResult<TaskReference> {
        let task_ref = self.create_task(TaskKind::Future, thread, thread_args, false)?;
        let futs = self
            .futures
            .try_lock()
            .expect("Tried to add future to queue during futures resumption");
        futs.push(Box::pin(async move {
            let result = fut.await;
            (Some(task_ref), result)
        }));
        Ok(task_ref)
    }

    /**
        Queues a new future to run on the task scheduler,
        inheriting the task id of the currently running task.
    */
    pub(crate) fn queue_async_task_inherited(
        &self,
        thread: LuaThread<'_>,
        thread_args: Option<LuaMultiValue<'_>>,
        fut: impl Future<Output = TaskFutureRets<'fut>> + 'fut,
    ) -> LuaResult<TaskReference> {
        let task_ref = self.create_task(TaskKind::Future, thread, thread_args, true)?;
        let futs = self
            .futures
            .try_lock()
            .expect("Tried to add future to queue during futures resumption");
        futs.push(Box::pin(async move {
            let result = fut.await;
            (Some(task_ref), result)
        }));
        Ok(task_ref)
    }

    /**
        Waits for a task to complete.

        Panics if the task is not currently in the scheduler.
    */
    pub(crate) async fn wait_for_task_completion(
        &self,
        reference: TaskReference,
    ) -> LuaResult<LuaMultiValue> {
        if !self.tasks.borrow().contains_key(&reference) {
            panic!("Task does not exist in scheduler")
        }
        let state = TaskWaiterState::new();
        self.tasks_waiter_states
            .borrow_mut()
            .insert(reference, Arc::clone(&state));
        TaskWaiterFuture::new(&state).await
    }

    /**
        Wakes a task that has been completed and may have external code
        waiting on it using [`TaskScheduler::wait_for_task_completion`].
    */
    pub(super) fn wake_completed_task(
        &self,
        reference: TaskReference,
        result: LuaResult<LuaMultiValue<'fut>>,
    ) {
        if let Some(waiter_state) = self.tasks_waiter_states.borrow_mut().remove(&reference) {
            waiter_state.try_lock().unwrap().finalize(result);
        }
    }
}