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

use super::context::GlobalState;
use crate::{
    core::state::compute_state::ComputeState,
    db::{api::view::StaticGraphViewOps, task::node::eval_node::EvalNodeView},
};
use std::marker::PhantomData;

pub trait Task<G, CS, S>
where
    G: StaticGraphViewOps,
    CS: ComputeState,
{
    fn run<'graph, 'b>(&'b self, vv: &'b mut EvalNodeView<'graph, '_, G, S, &'graph G, CS>)
        -> Step;
}

#[derive(Debug, PartialEq)]
pub enum Step {
    Done,
    Continue,
}

pub struct ATask<G, CS, S: 'static, F>
where
    G: StaticGraphViewOps,
    CS: ComputeState,
{
    f: F,
    _g: PhantomData<G>,
    _cs: PhantomData<CS>,
    _s: PhantomData<S>,
}

impl<G: StaticGraphViewOps, CS: ComputeState, S: 'static, F: Clone> Clone for ATask<G, CS, S, F> {
    fn clone(&self) -> Self {
        Self {
            f: self.f.clone(),
            _g: PhantomData,
            _cs: PhantomData,
            _s: PhantomData,
        }
    }
}

// determines if the task is executed for all nodes or only for updated nodes (nodes that had a state change since last sync)
pub enum Job<G, CS: ComputeState, S> {
    Read(Box<dyn Task<G, CS, S> + Sync + Send>),
    Write(Box<dyn Task<G, CS, S> + Sync + Send>),
    Check(Box<dyn Fn(&GlobalState<CS>) -> Step + Send + Sync + 'static>),
}

impl<G: StaticGraphViewOps, CS: ComputeState, S> Job<G, CS, S> {
    pub fn new<T: Task<G, CS, S> + Send + Sync + 'static>(t: T) -> Self {
        Self::Write(Box::new(t))
    }

    pub fn read_only<T: Task<G, CS, S> + Send + Sync + 'static>(t: T) -> Self {
        Self::Read(Box::new(t))
    }
}

impl<G, CS, S, F> ATask<G, CS, S, F>
where
    G: StaticGraphViewOps,
    CS: ComputeState,
    F: for<'graph, 'a, 'b> Fn(&'b mut EvalNodeView<'graph, 'a, G, S, &'graph G, CS>) -> Step,
{
    pub fn new(f: F) -> Self {
        Self {
            f,
            _g: PhantomData,
            _cs: PhantomData,
            _s: PhantomData,
        }
    }
}

impl<G, CS, S, F> Task<G, CS, S> for ATask<G, CS, S, F>
where
    G: StaticGraphViewOps,
    CS: ComputeState,
    F: for<'graph, 'a, 'b> Fn(&'b mut EvalNodeView<'graph, 'a, G, S, &'graph G, CS>) -> Step,
{
    fn run<'graph, 'b>(
        &'b self,
        vv: &'b mut EvalNodeView<'graph, '_, G, S, &'graph G, CS>,
    ) -> Step {
        (self.f)(vv)
    }
}