use super::access::OpEnvPathAccess;
use super::cache::*;
use super::lock::*;
use super::path_env::*;
use super::single_env::*;
use super::isolate_path_env::*;
use crate::*;

use std::str::FromStr;
use std::sync::atomic::AtomicU64;
use std::sync::{Arc, Mutex};

#[derive(Clone, Debug, Copy, Eq, PartialEq)]
pub enum ObjectMapOpEnvType {
    Path,
    Single,
    IsolatePath,
}


impl ObjectMapOpEnvType {
    fn as_str(&self) -> &str {
        match *self {
            Self::Path => "path",
            Self::Single => "single",
            Self::IsolatePath => "isolate-path",
        }
    }
}

impl std::fmt::Display for ObjectMapOpEnvType {
    fn fmt(&self, f: &mut std::fmt::Formatter) -> std::fmt::Result {
		write!(f, "{}", self.as_str())
	}
}

impl FromStr for ObjectMapOpEnvType {
    type Err = BuckyError;

    fn from_str(value: &str) -> Result<Self, Self::Err> {
        let ret = match value {
            "path" => Self::Path,
            "single" => Self::Single,
            "isolate-path" => Self::IsolatePath,

            v @ _ => {
                let msg = format!("unknown op env type: {}", v);
                error!("{}", msg);

                return Err(BuckyError::new(BuckyErrorCode::InvalidData, msg));
            }
        };

        Ok(ret)
    }
}

#[derive(Clone, Debug, Copy)]
pub struct OpEnvSessionIDHelper;

// 最高位两位表示op_env的类型
const OP_ENV_PATH_FLAGS: u8 = 0b_00000000;
const OP_ENV_SINGLE_FLAGS: u8 = 0b_00000001;
const OP_ENV_ISOLATE_PATH_FLAGS: u8 = 0b_00000010;

impl OpEnvSessionIDHelper {
    pub fn get_flags(sid: u64) -> u8 {
        (sid >> 62) as u8
    }

    pub fn get_type(sid: u64) -> BuckyResult<ObjectMapOpEnvType> {
        let flags = Self::get_flags(sid);
        if flags == OP_ENV_PATH_FLAGS {
            Ok(ObjectMapOpEnvType::Path)
        } else if flags == OP_ENV_SINGLE_FLAGS {
            Ok(ObjectMapOpEnvType::Single)
        } else if flags == OP_ENV_ISOLATE_PATH_FLAGS {
            Ok(ObjectMapOpEnvType::IsolatePath)
        } else {
            let msg = format!("unknown op_ev sid flags: sid={}, flags={}", sid, flags);
            error!("{}", msg);
            Err(BuckyError::new(BuckyErrorCode::InvalidFormat, msg))
        }
    }

    pub fn set_type(sid: u64, op_env_type: ObjectMapOpEnvType) -> u64 {
        let flags = match op_env_type {
            ObjectMapOpEnvType::Path => OP_ENV_PATH_FLAGS,
            ObjectMapOpEnvType::Single => OP_ENV_SINGLE_FLAGS,
            ObjectMapOpEnvType::IsolatePath => OP_ENV_ISOLATE_PATH_FLAGS,
        };

        //assert!(Self::get_flags(sid) == 0);
        //println!("prev clear: {:#x}", sid);
        let sid = sid & 0b_00111111_11111111_11111111_11111111_11111111_11111111_11111111_11111111;
        //println!("after clear: {:#x}", sid);

        let sid = sid | ((flags as u64) << 62);
        //println!("after set: {:#x}", sid);

        sid
    }
}

#[cfg(test)]
mod test_sid {
    use std::sync::atomic::AtomicU64;

    use super::OpEnvSessionIDHelper;
    use crate::*;

    #[test]
    fn test_sid() {
        let sid = 123;
        let t = OpEnvSessionIDHelper::get_type(sid).unwrap();
        assert_eq!(t, ObjectMapOpEnvType::Path);
        let sid = OpEnvSessionIDHelper::set_type(sid, ObjectMapOpEnvType::Single);
        let t = OpEnvSessionIDHelper::get_type(sid).unwrap();
        assert_eq!(t, ObjectMapOpEnvType::Single);

        let sid = OpEnvSessionIDHelper::set_type(sid, ObjectMapOpEnvType::IsolatePath);
        let t = OpEnvSessionIDHelper::get_type(sid).unwrap();
        assert_eq!(t, ObjectMapOpEnvType::IsolatePath);

        let sid = OpEnvSessionIDHelper::set_type(sid, ObjectMapOpEnvType::Path);
        let t = OpEnvSessionIDHelper::get_type(sid).unwrap();
        assert_eq!(t, ObjectMapOpEnvType::Path);

        let sid = AtomicU64::new(u64::MAX);
        let ret = sid.fetch_add(1, std::sync::atomic::Ordering::SeqCst);
        assert_eq!(ret, u64::MAX);
        let ret = sid.fetch_add(1, std::sync::atomic::Ordering::SeqCst);
        assert_eq!(ret, 0);
    }
}

#[derive(Clone)]
pub enum ObjectMapOpEnv {
    Path(ObjectMapPathOpEnvRef),
    Single(ObjectMapSingleOpEnvRef),
    IsolatePath(ObjectMapIsolatePathOpEnvRef)
}

impl ObjectMapOpEnv {
    pub fn sid(&self) -> u64 {
        match self {
            Self::Path(value) => value.sid(),
            Self::Single(value) => value.sid(),
            Self::IsolatePath(value) => value.sid(),
        }
    }

    pub fn op_env_type(&self) -> ObjectMapOpEnvType {
        match self {
            Self::Path(_) => ObjectMapOpEnvType::Path,
            Self::Single(_) => ObjectMapOpEnvType::Single,
            Self::IsolatePath(_) => ObjectMapOpEnvType::IsolatePath,
        }
    }

    pub fn path_op_env(&self, sid: u64) -> BuckyResult<ObjectMapPathOpEnvRef> {
        match self {
            Self::Path(value) => Ok(value.clone()),
            _ => {
                let msg = format!(
                    "unmatch env type, path_op_env expected, got {}! sid={}",
                    self.op_env_type(),
                    sid
                );
                error!("{}", msg);
                Err(BuckyError::new(BuckyErrorCode::Unmatch, msg))
            }
        }
    }

    pub fn single_op_env(&self, sid: u64) -> BuckyResult<ObjectMapSingleOpEnvRef> {
        match self {
            Self::Single(value) => Ok(value.clone()),
            _ => {
                let msg = format!(
                    "unmatch env type, single_op_env expected, got {}! sid={}",
                    self.op_env_type(),
                    sid
                );
                error!("{}", msg);
                Err(BuckyError::new(BuckyErrorCode::Unmatch, msg))
            }
        }
    }

    pub fn isolate_path_op_env(&self, sid: u64) -> BuckyResult<ObjectMapIsolatePathOpEnvRef> {
        match self {
            Self::IsolatePath(value) => Ok(value.clone()),
            _ => {
                let msg = format!(
                    "unmatch env type, isolate_path_op_env expected, got {}! sid={}",
                    self.op_env_type(),
                    sid
                );
                error!("{}", msg);
                Err(BuckyError::new(BuckyErrorCode::Unmatch, msg))
            }
        }
    }

    pub async fn get_current_root(&self) -> BuckyResult<ObjectId> {
        match self {
            ObjectMapOpEnv::Path(env) => Ok(env.root()),
            ObjectMapOpEnv::Single(env) => match env.get_current_root().await {
                Some(root) => Ok(root),
                None => {
                    let msg = format!("single op_env root not been init yet! sid={}", env.sid());
                    error!("{}", msg);
                    Err(BuckyError::new(BuckyErrorCode::ErrorState, msg))
                }
            },
            ObjectMapOpEnv::IsolatePath(env) => match env.root() {
                Some(root) => Ok(root),
                None => {
                    let msg = format!("isolate_path_op_env root not been init yet! sid={}", env.sid());
                    error!("{}", msg);
                    Err(BuckyError::new(BuckyErrorCode::ErrorState, msg))
                }
            },
        }
    }

    pub async fn update(&self) -> BuckyResult<ObjectId> {
        match self {
            ObjectMapOpEnv::Path(env) => env.update().await,
            ObjectMapOpEnv::Single(env) => env.update().await,
            ObjectMapOpEnv::IsolatePath(env) => env.update().await,
        }
    }

    pub async fn commit(self) -> BuckyResult<ObjectId> {
        match self {
            ObjectMapOpEnv::Path(env) => env.commit().await,
            ObjectMapOpEnv::Single(env) => env.commit().await,
            ObjectMapOpEnv::IsolatePath(env) => env.commit().await,
        }
    }

    pub fn abort(self) -> BuckyResult<()> {
        match self {
            ObjectMapOpEnv::Path(env) => env.abort(),
            ObjectMapOpEnv::Single(env) => env.abort(),
            ObjectMapOpEnv::IsolatePath(env) => env.abort(),
        }
    }

    pub fn is_dropable(&self) -> bool {
        match self {
            ObjectMapOpEnv::Path(env) => env.is_dropable(),
            ObjectMapOpEnv::Single(env) => env.is_dropable(),
            ObjectMapOpEnv::IsolatePath(env) => env.is_dropable(),
        }
    }
}

use std::collections::HashMap;

pub struct OpEnvSourceInfo {
    pub dec: ObjectId,
    pub device: Option<DeviceId>,
}

impl std::fmt::Debug for OpEnvSourceInfo {
    fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
        std::fmt::Display::fmt(self, f)
    }
}

impl std::fmt::Display for OpEnvSourceInfo {
    fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
        write!(f, "dec={}, device={:?}", self.dec, self.device)
    }
}

struct ObjectMapOpEnvHolder {
    last_access: u64,
    op_env: ObjectMapOpEnv,
    source: Option<OpEnvSourceInfo>,
}

const OP_ENV_EXPIRED_DURATION: u64 = 1000 * 1000 * 60 * 60;

impl ObjectMapOpEnvHolder {
    fn new(op_env: ObjectMapOpEnv, source: Option<OpEnvSourceInfo>) -> Self {
        Self {
            last_access: bucky_time_now(),
            op_env,
            source,
        }
    }

    fn op_env(&self) -> &ObjectMapOpEnv {
        &self.op_env
    }

    fn into_op_env(self) -> ObjectMapOpEnv {
        self.op_env
    }

    fn is_gc_able(&self, now: u64) -> bool {
        if self.op_env.is_dropable() {
            if now - self.last_access > OP_ENV_EXPIRED_DURATION {
                true
            } else {
                false
            }
        } else {
            false
        }
    }

    fn touch(&mut self) {
        self.last_access = bucky_time_now();
    }

    fn compare_source(&self, source: Option<&OpEnvSourceInfo>) -> bool {
        match &self.source {
            Some(this) => match source {
                Some(source) => {
                    if this.dec == source.dec && this.device == source.device {
                        true
                    } else {
                        false
                    }
                }
                None => false,
            },
            None => true,
        }
    }
}

#[derive(Clone)]
pub struct ObjectMapOpEnvContainer {
    all: Arc<Mutex<HashMap<u64, ObjectMapOpEnvHolder>>>,
}

impl ObjectMapOpEnvContainer {
    pub(crate) fn new() -> Self {
        let ret = Self {
            all: Arc::new(Mutex::new(HashMap::new())),
        };

        // 自动启动定期gc
        ret.start_monitor();

        ret
    }

    pub fn start_monitor(&self) {
        let this = self.clone();
        async_std::task::spawn(async move {
            loop {
                async_std::task::sleep(std::time::Duration::from_secs(60)).await;
                this.gc_once();
            }
        });
    }

    fn gc_once(&self) {
        let mut expired_list = vec![];
        let now = bucky_time_now();
        self.all.lock().unwrap().retain(|sid, op_env| {
            if op_env.is_gc_able(now) {
                expired_list.push((*sid, op_env.op_env().to_owned()));
                false
            } else {
                true
            }
        });

        self.gc_list(expired_list);
    }

    // 回收超时的op_env列表
    fn gc_list(&self, expired_list: Vec<(u64, ObjectMapOpEnv)>) {
        for (sid, op_env) in expired_list {
            warn!("will gc managed op_env on timeout: sid={}", sid);
            if let Err(e) = op_env.abort() {
                error!("op_env abort error! sid={}, {}", sid, e);
            }
        }
    }

    pub fn add_env(&self, env: ObjectMapOpEnv, source: Option<OpEnvSourceInfo>) {
        let sid = env.sid();
        let holder = ObjectMapOpEnvHolder::new(env, source);
        let prev = self.all.lock().unwrap().insert(sid, holder);
        assert!(prev.is_none());
    }

    pub fn get_op_env(
        &self,
        sid: u64,
        source: Option<&OpEnvSourceInfo>,
    ) -> BuckyResult<ObjectMapOpEnv> {
        let mut list = self.all.lock().unwrap();
        let ret = list.get_mut(&sid);
        match ret {
            Some(value) => {
                if !value.compare_source(source) {
                    let msg = format!(
                        "get op_env but source does not match! sid={}, source={:?}, current={:?}",
                        sid, source, value.source
                    );
                    error!("{}", msg);
                    return Err(BuckyError::new(BuckyErrorCode::PermissionDenied, msg));
                }

                value.touch();
                Ok(value.op_env().to_owned())
            }
            None => {
                let msg = format!("op_env not found! sid={}", sid);
                error!("{}", msg);
                Err(BuckyError::new(BuckyErrorCode::NotFound, msg))
            }
        }
    }

    pub fn get_path_op_env(
        &self,
        sid: u64,
        source: Option<&OpEnvSourceInfo>,
    ) -> BuckyResult<ObjectMapPathOpEnvRef> {
        let op_env = self.get_op_env(sid, source)?;
        op_env.path_op_env(sid)
    }

    pub fn get_single_op_env(
        &self,
        sid: u64,
        source: Option<&OpEnvSourceInfo>,
    ) -> BuckyResult<ObjectMapSingleOpEnvRef> {
        let op_env = self.get_op_env(sid, source)?;
        op_env.single_op_env(sid)
    }

    pub fn get_isolate_path_op_env(
        &self,
        sid: u64,
        source: Option<&OpEnvSourceInfo>,
    ) -> BuckyResult<ObjectMapIsolatePathOpEnvRef> {
        let op_env = self.get_op_env(sid, source)?;
        op_env.isolate_path_op_env(sid)
    }

    pub async fn get_current_root(
        &self,
        sid: u64,
        source: Option<&OpEnvSourceInfo>,
    ) -> BuckyResult<ObjectId> {
        let op_env = self.get_op_env(sid, source)?;

        op_env.get_current_root().await
    }

    pub async fn update(
        &self,
        sid: u64,
        source: Option<&OpEnvSourceInfo>,
    ) -> BuckyResult<ObjectId> {
        let op_env = self.get_op_env(sid, source)?;

        op_env.update().await
    }

    pub async fn commit(
        &self,
        sid: u64,
        source: Option<&OpEnvSourceInfo>,
    ) -> BuckyResult<ObjectId> {
        let item = self.remove(sid, source)?;

        item.into_op_env().commit().await
    }

    pub fn abort(&self, sid: u64, source: Option<&OpEnvSourceInfo>) -> BuckyResult<()> {
        let item = self.remove(sid, source)?;

        item.into_op_env().abort()
    }

    fn remove(
        &self,
        sid: u64,
        source: Option<&OpEnvSourceInfo>,
    ) -> BuckyResult<ObjectMapOpEnvHolder> {
        let mut all = self.all.lock().unwrap();
        let ret = all.get(&sid);
        if ret.is_none() {
            let msg = format!("op_env not found! sid={}", sid);
            error!("{}", msg);
            return Err(BuckyError::new(BuckyErrorCode::NotFound, msg));
        }
        let value = ret.unwrap();
        if !value.compare_source(source) {
            let msg = format!(
                "get op_env but source does not match! sid={}, source={:?}, current={:?}",
                sid, source, value.source
            );
            error!("{}", msg);
            return Err(BuckyError::new(BuckyErrorCode::PermissionDenied, msg));
        }

        drop(value);

        let ret = all.remove(&sid);
        Ok(ret.unwrap())
    }
}

// 用来管理root的管理器
pub struct ObjectMapRootManager {
    // ObjectMap的核心属性
    owner: Option<ObjectId>,
    dec_id: Option<ObjectId>,

    // 为每个op_env分配唯一的sid
    next_sid: AtomicU64,

    // 所属的root
    root: ObjectMapRootHolder,

    // 一个root所有env共享一个锁管理器
    lock: ObjectMapPathLock,

    // root级别的cache
    cache: ObjectMapRootCacheRef,

    // 所有托管的env
    all_envs: ObjectMapOpEnvContainer,
}

impl ObjectMapRootManager {
    pub fn new(
        owner: Option<ObjectId>,
        dec_id: Option<ObjectId>,
        noc: ObjectMapNOCCacheRef,
        root: ObjectMapRootHolder,
    ) -> Self {
        use rand::Rng;
        let mut rng = rand::thread_rng();
        let sid1 = rng.gen::<u32>();
        let sid2 = rng.gen::<u16>();
        let begin_sid = sid1 as u64 * sid2 as u64;

        let lock = ObjectMapPathLock::new();
        let cache = ObjectMapRootMemoryCache::new_ref(dec_id.clone(), noc, 60 * 5, 1024);
        Self {
            owner,
            dec_id,
            next_sid: AtomicU64::new(begin_sid),
            root,
            lock,
            cache,
            all_envs: ObjectMapOpEnvContainer::new(),
        }
    }

    fn next_sid(&self, op_env_type: ObjectMapOpEnvType) -> u64 {
        let sid = self
            .next_sid
            .fetch_add(1, std::sync::atomic::Ordering::SeqCst);
        // 设置类型
        OpEnvSessionIDHelper::set_type(sid, op_env_type)
    }

    pub fn owner(&self) -> &Option<ObjectId> {
        &self.owner
    }
    
    pub fn dec_id(&self) -> &Option<ObjectId> {
        &self.dec_id
    }

    pub fn get_current_root(&self) -> ObjectId {
        self.root.get_current_root()
    }

    pub fn root_holder(&self) -> &ObjectMapRootHolder {
        &self.root
    }

    pub fn root_cache(&self) -> &ObjectMapRootCacheRef {
        &self.cache
    }

    pub fn managed_envs(&self) -> &ObjectMapOpEnvContainer {
        &self.all_envs
    }

    pub fn create_op_env(
        &self,
        access: Option<OpEnvPathAccess>,
    ) -> BuckyResult<ObjectMapPathOpEnvRef> {
        let sid = self.next_sid(ObjectMapOpEnvType::Path);
        let env = ObjectMapPathOpEnv::new(sid, &self.root, &self.lock, &self.cache, access);
        let env = ObjectMapPathOpEnvRef::new(env);

        Ok(env)
    }

    pub fn create_managed_op_env(
        &self,
        access: Option<OpEnvPathAccess>,
        source: Option<OpEnvSourceInfo>,
    ) -> BuckyResult<ObjectMapPathOpEnvRef> {
        let env = self.create_op_env(access)?;

        self.all_envs
            .add_env(ObjectMapOpEnv::Path(env.clone()), source);

        Ok(env)
    }

    pub fn create_single_op_env(
        &self,
        access: Option<OpEnvPathAccess>,
    ) -> BuckyResult<ObjectMapSingleOpEnvRef> {
        let sid = self.next_sid(ObjectMapOpEnvType::Single);
        let env = ObjectMapSingleOpEnv::new(
            sid,
            &self.root,
            &self.cache,
            access,
        );
        let env = ObjectMapSingleOpEnvRef::new(env);

        Ok(env)
    }

    pub fn create_managed_single_op_env(
        &self,
        access: Option<OpEnvPathAccess>,
        source: Option<OpEnvSourceInfo>,
    ) -> BuckyResult<ObjectMapSingleOpEnvRef> {
        let env = self.create_single_op_env(access)?;
        self.all_envs
            .add_env(ObjectMapOpEnv::Single(env.clone()), source);

        Ok(env)
    }

    pub fn create_isolate_path_op_env(
        &self,
        access: Option<OpEnvPathAccess>,
    ) -> BuckyResult<ObjectMapIsolatePathOpEnvRef> {
        let sid = self.next_sid(ObjectMapOpEnvType::IsolatePath);
        let env = ObjectMapIsolatePathOpEnv::new(
            sid,
            &self.root,
            &self.cache,
            access,
        );
        let env = ObjectMapIsolatePathOpEnvRef::new(env);

        Ok(env)
    }

    pub fn create_managed_isolate_path_op_env(
        &self,
        access: Option<OpEnvPathAccess>,
        source: Option<OpEnvSourceInfo>,
    ) -> BuckyResult<ObjectMapIsolatePathOpEnvRef> {
        let env = self.create_isolate_path_op_env(access)?;
        self.all_envs
            .add_env(ObjectMapOpEnv::IsolatePath(env.clone()), source);

        Ok(env)
    }
}

pub type ObjectMapRootManagerRef = Arc<ObjectMapRootManager>;

mod test_root {
    use crate::*;
    use std::future::Future;

    async fn update_root<F, Fut>(update_root_fn: F) -> BuckyResult<()>
    where
        F: FnOnce(i32, i32) -> Fut,
        Fut: Future<Output = BuckyResult<i32>>,
    {
        info!("begin exec update fn...");
        let result = update_root_fn(1, 2).await?;
        info!("end exec update fn: {}", result);

        assert_eq!(result, 3);
        Ok(())
    }

    #[test]
    fn test_fn() {
        crate::init_simple_log("test-root-fn", Some("debug"));

        let update = |first: i32, second: i32| async move {
            info!("will exec add: {} + {}", first, second);
            Ok(first + second)
        };

        async_std::task::block_on(async move {
            update_root(update).await.unwrap();
        });
    }
}