Skip to main content

oxframe_core/
executor.rs

1use std::future::Future;
2use std::rc::Rc;
3use std::task::{Context, Waker};
4
5use oxframe_protocol::Meta;
6
7use crate::flow::{Task, TaskState};
8use crate::runtime::{self, Runtime};
9
10/// Deterministic single-threaded executor: one [`step`](Executor::step) is
11/// one frame. The root future and every spawned task are polled once per
12/// step, in a fixed order (root, then tasks in spawn order). No wakers, no
13/// clocks, no threads — the same input always produces the same frames.
14pub struct Executor {
15    rt: Rc<Runtime>,
16    root: Option<Task>,
17    tasks: Vec<Task>,
18    next_frame: u32,
19}
20
21impl Executor {
22    /// `seed` feeds the scene's random generator ([`random`](crate::random)).
23    pub fn new(fps: f64, meta: Meta, seed: u64, root: impl Future<Output = ()> + 'static) -> Self {
24        Self {
25            rt: Runtime::new(fps, meta, seed),
26            root: Some(Task {
27                fut: Box::pin(root),
28                time: 0.0,
29                state: Rc::new(TaskState {
30                    finished: Default::default(),
31                    cancelled: Default::default(),
32                }),
33            }),
34            tasks: Vec::new(),
35            next_frame: 0,
36        }
37    }
38
39    /// Runs `f` with this executor's runtime installed, so that `now()`,
40    /// `tune!` and friends work outside of [`step`](Executor::step).
41    pub fn enter<R>(&self, f: impl FnOnce() -> R) -> R {
42        let _guard = runtime::install(&self.rt);
43        f()
44    }
45
46    /// Computes the next frame. Returns `true` if the scene is finished
47    /// (its root future completed during this or an earlier step).
48    pub fn step(&mut self) -> bool {
49        let Some(root) = self.root.as_mut() else {
50            return true;
51        };
52        let _guard = runtime::install(&self.rt);
53        self.rt.frame.set(self.next_frame);
54        let mut cx = Context::from_waker(Waker::noop());
55
56        let root_done = root.poll(&mut cx);
57        self.tasks.retain_mut(|t| !t.poll(&mut cx));
58        // Tasks spawned during this frame start in this frame.
59        loop {
60            let new: Vec<Task> = std::mem::take(&mut *self.rt.spawned.borrow_mut());
61            if new.is_empty() {
62                break;
63            }
64            for mut t in new {
65                if !t.poll(&mut cx) {
66                    self.tasks.push(t);
67                }
68            }
69        }
70
71        self.next_frame += 1;
72        if root_done {
73            self.root = None;
74            self.tasks.clear();
75        }
76        root_done
77    }
78
79    /// Whether the scene's root task has completed.
80    pub fn is_finished(&self) -> bool {
81        self.root.is_none()
82    }
83
84    /// Number of frames computed so far; the last computed frame is
85    /// `frames_done() - 1`.
86    pub fn frames_done(&self) -> u32 {
87        self.next_frame
88    }
89
90    /// Frames per second.
91    pub fn fps(&self) -> f64 {
92        self.rt.fps
93    }
94
95    /// Current markers, eases and tunables, including defaults recorded so far.
96    pub fn meta(&self) -> Meta {
97        self.rt.meta.borrow().clone()
98    }
99
100    /// True if scene code recorded new defaults into the meta since the
101    /// last call.
102    pub fn take_meta_changed(&self) -> bool {
103        self.rt.meta_changed.replace(false)
104    }
105}
106
107#[cfg(test)]
108mod tests {
109    use std::cell::RefCell;
110
111    use super::*;
112    use crate::{
113        Signal, all, any, loop_while, next_frame, presets, repeat, sequence, spawn, stagger,
114        wait_for, wait_until,
115    };
116
117    /// Runs to completion, sampling `f` after each frame.
118    fn run<T>(fps: f64, fut: impl Future<Output = ()> + 'static, f: impl Fn() -> T) -> Vec<T> {
119        let mut ex = Executor::new(fps, Meta::default(), 0, fut);
120        let mut out = Vec::new();
121        for _ in 0..10_000 {
122            let done = ex.step();
123            out.push(f());
124            if done {
125                return out;
126            }
127        }
128        panic!("scene did not finish");
129    }
130
131    #[test]
132    fn tween_takes_exact_frames_and_hits_target() {
133        let s = Signal::new(0.0f64);
134        let s2 = s.clone();
135        let values = run(
136            60.0,
137            async move { s2.to(1.0, 1.0).ease(presets::LINEAR).await },
138            || s.get(),
139        );
140        // Frames 0..=60: t = 0, 1/60, ..., 1.
141        assert_eq!(values.len(), 61);
142        assert_eq!(values[0], 0.0);
143        assert!((values[30] - 0.5).abs() < 1e-12);
144        assert_eq!(values[60], 1.0);
145    }
146
147    #[test]
148    fn chained_waits_do_not_drift() {
149        // 0.1 s is not a multiple of 1/24; 30 of them must still end at 3 s.
150        let frames = run(
151            24.0,
152            async {
153                for _ in 0..30 {
154                    wait_for(0.1).await;
155                }
156            },
157            || (),
158        );
159        assert_eq!(frames.len(), 3 * 24 + 1);
160    }
161
162    #[test]
163    fn all_waits_for_longest_and_continues_from_its_end() {
164        let log = Rc::new(RefCell::new(Vec::new()));
165        let l = log.clone();
166        run(
167            10.0,
168            async move {
169                all((wait_for(0.5), wait_for(1.0), async {})).await;
170                l.borrow_mut().push((crate::frame(), crate::time()));
171            },
172            || (),
173        );
174        assert_eq!(*log.borrow(), vec![(10, 1.0)]);
175    }
176
177    #[test]
178    fn sequence_staggers_starts() {
179        let a = Signal::new(0.0f64);
180        let b = Signal::new(0.0f64);
181        let (a2, b2) = (a.clone(), b.clone());
182        let values = run(
183            10.0,
184            async move {
185                sequence(
186                    0.5,
187                    [
188                        a2.to(1.0, 1.0).ease(presets::LINEAR),
189                        b2.to(1.0, 1.0).ease(presets::LINEAR),
190                    ],
191                )
192                .await;
193            },
194            || (a.get(), b.get()),
195        );
196        assert_eq!(values.len(), 16);
197        assert!((values[5].0 - 0.5).abs() < 1e-12);
198        assert_eq!(values[5].1, 0.0);
199        assert!((values[10].1 - 0.5).abs() < 1e-12);
200    }
201
202    #[test]
203    fn spawn_runs_in_background_and_join_waits() {
204        let s = Signal::new(0.0f64);
205        let s2 = s.clone();
206        let values = run(
207            10.0,
208            async move {
209                let h = spawn(async move { s2.to(1.0, 0.5).ease(presets::LINEAR).await });
210                next_frame().await;
211                h.await;
212            },
213            || s.get(),
214        );
215        assert!((values[2] - 0.4).abs() < 1e-12);
216        assert_eq!(*values.last().unwrap(), 1.0);
217    }
218
219    #[test]
220    fn wait_until_records_default_and_reads_meta() {
221        let mut ex = Executor::new(10.0, Meta::default(), 0, async {
222            wait_for(0.3).await;
223            wait_until("beat").await;
224        });
225        while !ex.step() {}
226        assert!((ex.meta().markers["beat"] - 0.3).abs() < 1e-12);
227        assert!(ex.take_meta_changed());
228
229        let mut meta = Meta::default();
230        meta.markers.insert("beat".into(), 1.0);
231        let mut ex = Executor::new(10.0, meta, 0, async {
232            wait_for(0.3).await;
233            wait_until("beat").await;
234        });
235        while !ex.step() {}
236        assert_eq!(ex.frames_done(), 11);
237        assert!(!ex.take_meta_changed());
238    }
239
240    #[test]
241    fn random_is_seeded() {
242        let draw = |seed| {
243            let out = Rc::new(RefCell::new(Vec::new()));
244            let o = out.clone();
245            let mut ex = Executor::new(10.0, Meta::default(), seed, async move {
246                for _ in 0..4 {
247                    o.borrow_mut().push(crate::random());
248                }
249            });
250            ex.step();
251            out.take()
252        };
253        assert_eq!(draw(1), draw(1));
254        assert_ne!(draw(1), draw(2));
255        assert!(draw(3).iter().all(|v| (0.0..1.0).contains(v)));
256    }
257
258    /// `(frame, time)` when the scene reaches the logging point.
259    fn end_of(fps: f64, fut: impl Future<Output = ()> + 'static) -> (u32, f64) {
260        let log = Rc::new(RefCell::new(None));
261        let l = log.clone();
262        run(
263            fps,
264            async move {
265                fut.await;
266                *l.borrow_mut() = Some((crate::frame(), crate::time()));
267            },
268            || (),
269        );
270        log.borrow().expect("logged")
271    }
272
273    #[test]
274    fn all_takes_vecs_arrays_and_iterators() {
275        let durations = [0.5, 1.0, 0.2];
276        assert_eq!(
277            end_of(10.0, async move {
278                all(durations.map(wait_for)).await;
279            })
280            .1,
281            1.0
282        );
283        assert_eq!(
284            end_of(10.0, async move {
285                all(durations.iter().map(|&d| wait_for(d))).await;
286            })
287            .1,
288            1.0
289        );
290        assert_eq!(
291            end_of(10.0, async move {
292                all(vec![wait_for(0.3), wait_for(0.7)]).await;
293            })
294            .1,
295            0.7
296        );
297        // Outputs come back in order.
298        let out = Rc::new(RefCell::new(Vec::new()));
299        let o = out.clone();
300        end_of(10.0, async move {
301            *o.borrow_mut() = all((1..=3).map(|i| async move { i * 10 })).await;
302        });
303        assert_eq!(*out.borrow(), vec![10, 20, 30]);
304        // Nothing to wait for completes at once.
305        assert_eq!(
306            end_of(10.0, async {
307                all(Vec::<crate::flow::WaitFor>::new()).await;
308            })
309            .1,
310            0.0
311        );
312    }
313
314    #[test]
315    fn any_completes_with_the_first_and_continues_from_its_end() {
316        let s = Signal::new(0.0f64);
317        let s2 = s.clone();
318        let first = Rc::new(RefCell::new(None));
319        let f = first.clone();
320        let (frame, time) = end_of(10.0, async move {
321            let i = any((
322                wait_for(2.0),
323                s2.to(1.0, 2.0).ease(presets::LINEAR),
324                wait_for(0.5),
325            ))
326            .await;
327            *f.borrow_mut() = Some(i);
328        });
329        assert_eq!(*first.borrow(), Some(2));
330        assert_eq!((frame, time), (5, 0.5));
331        // The slower tween stopped where it was.
332        assert!((s.get() - 0.25).abs() < 1e-12, "{}", s.get());
333    }
334
335    #[test]
336    fn stagger_starts_each_item_later() {
337        let signals: Vec<Signal<f64>> = (0..3).map(|_| Signal::new(0.0)).collect();
338        let watch = signals.clone();
339        let values = run(
340            10.0,
341            async move {
342                stagger(0.2, &signals, |s| s.to(1.0, 1.0).ease(presets::LINEAR)).await;
343            },
344            move || watch.iter().map(Signal::get).collect::<Vec<_>>(),
345        );
346        // Last item starts at 0.4 s and ends at 1.4 s.
347        assert_eq!(values.len(), 15);
348        let at_half = &values[5];
349        assert!((at_half[0] - 0.5).abs() < 1e-12);
350        assert!((at_half[1] - 0.3).abs() < 1e-12);
351        assert!((at_half[2] - 0.1).abs() < 1e-12);
352    }
353
354    #[test]
355    fn repeat_and_loop_while() {
356        assert_eq!(end_of(10.0, repeat(3, || wait_for(0.5))).1, 1.5);
357        let left = Rc::new(std::cell::Cell::new(4));
358        let l = left.clone();
359        let end = end_of(
360            10.0,
361            loop_while(
362                move || {
363                    l.set(l.get() - 1);
364                    l.get() >= 0
365                },
366                || wait_for(0.25),
367            ),
368        );
369        assert_eq!(end.1, 1.0);
370        assert_eq!(left.get(), -1);
371    }
372}