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    /// The scene before this one exists, so a transition has something to blend.
107    pub fn set_has_previous(&self, has_previous: bool) {
108        self.rt.has_previous.set(has_previous);
109    }
110
111    /// Transition declared while the scene ran, if any.
112    pub fn transition(&self) -> Option<crate::transition::Recorded> {
113        *self.rt.transition.borrow()
114    }
115}
116
117#[cfg(test)]
118mod tests {
119    use std::cell::RefCell;
120
121    use super::*;
122    use crate::{
123        Signal, all, any, loop_while, next_frame, presets, repeat, sequence, spawn, stagger,
124        wait_for, wait_until,
125    };
126
127    /// Runs to completion, sampling `f` after each frame.
128    fn run<T>(fps: f64, fut: impl Future<Output = ()> + 'static, f: impl Fn() -> T) -> Vec<T> {
129        let mut ex = Executor::new(fps, Meta::default(), 0, fut);
130        let mut out = Vec::new();
131        for _ in 0..10_000 {
132            let done = ex.step();
133            out.push(f());
134            if done {
135                return out;
136            }
137        }
138        panic!("scene did not finish");
139    }
140
141    #[test]
142    fn tween_takes_exact_frames_and_hits_target() {
143        let s = Signal::new(0.0f64);
144        let s2 = s.clone();
145        let values = run(
146            60.0,
147            async move { s2.to(1.0, 1.0).ease(presets::LINEAR).await },
148            || s.get(),
149        );
150        // Frames 0..=60: t = 0, 1/60, ..., 1.
151        assert_eq!(values.len(), 61);
152        assert_eq!(values[0], 0.0);
153        assert!((values[30] - 0.5).abs() < 1e-12);
154        assert_eq!(values[60], 1.0);
155    }
156
157    #[test]
158    fn chained_waits_do_not_drift() {
159        // 0.1 s is not a multiple of 1/24; 30 of them must still end at 3 s.
160        let frames = run(
161            24.0,
162            async {
163                for _ in 0..30 {
164                    wait_for(0.1).await;
165                }
166            },
167            || (),
168        );
169        assert_eq!(frames.len(), 3 * 24 + 1);
170    }
171
172    #[test]
173    fn all_waits_for_longest_and_continues_from_its_end() {
174        let log = Rc::new(RefCell::new(Vec::new()));
175        let l = log.clone();
176        run(
177            10.0,
178            async move {
179                all((wait_for(0.5), wait_for(1.0), async {})).await;
180                l.borrow_mut().push((crate::frame(), crate::time()));
181            },
182            || (),
183        );
184        assert_eq!(*log.borrow(), vec![(10, 1.0)]);
185    }
186
187    #[test]
188    fn sequence_staggers_starts() {
189        let a = Signal::new(0.0f64);
190        let b = Signal::new(0.0f64);
191        let (a2, b2) = (a.clone(), b.clone());
192        let values = run(
193            10.0,
194            async move {
195                sequence(
196                    0.5,
197                    [
198                        a2.to(1.0, 1.0).ease(presets::LINEAR),
199                        b2.to(1.0, 1.0).ease(presets::LINEAR),
200                    ],
201                )
202                .await;
203            },
204            || (a.get(), b.get()),
205        );
206        assert_eq!(values.len(), 16);
207        assert!((values[5].0 - 0.5).abs() < 1e-12);
208        assert_eq!(values[5].1, 0.0);
209        assert!((values[10].1 - 0.5).abs() < 1e-12);
210    }
211
212    #[test]
213    fn spawn_runs_in_background_and_join_waits() {
214        let s = Signal::new(0.0f64);
215        let s2 = s.clone();
216        let values = run(
217            10.0,
218            async move {
219                let h = spawn(async move { s2.to(1.0, 0.5).ease(presets::LINEAR).await });
220                next_frame().await;
221                h.await;
222            },
223            || s.get(),
224        );
225        assert!((values[2] - 0.4).abs() < 1e-12);
226        assert_eq!(*values.last().unwrap(), 1.0);
227    }
228
229    #[test]
230    fn wait_until_records_default_and_reads_meta() {
231        let mut ex = Executor::new(10.0, Meta::default(), 0, async {
232            wait_for(0.3).await;
233            wait_until("beat").await;
234        });
235        while !ex.step() {}
236        assert!((ex.meta().markers["beat"] - 0.3).abs() < 1e-12);
237        assert!(ex.take_meta_changed());
238
239        let mut meta = Meta::default();
240        meta.markers.insert("beat".into(), 1.0);
241        let mut ex = Executor::new(10.0, meta, 0, async {
242            wait_for(0.3).await;
243            wait_until("beat").await;
244        });
245        while !ex.step() {}
246        assert_eq!(ex.frames_done(), 11);
247        assert!(!ex.take_meta_changed());
248    }
249
250    #[test]
251    fn random_is_seeded() {
252        let draw = |seed| {
253            let out = Rc::new(RefCell::new(Vec::new()));
254            let o = out.clone();
255            let mut ex = Executor::new(10.0, Meta::default(), seed, async move {
256                for _ in 0..4 {
257                    o.borrow_mut().push(crate::random());
258                }
259            });
260            ex.step();
261            out.take()
262        };
263        assert_eq!(draw(1), draw(1));
264        assert_ne!(draw(1), draw(2));
265        assert!(draw(3).iter().all(|v| (0.0..1.0).contains(v)));
266    }
267
268    /// `(frame, time)` when the scene reaches the logging point.
269    fn end_of(fps: f64, fut: impl Future<Output = ()> + 'static) -> (u32, f64) {
270        let log = Rc::new(RefCell::new(None));
271        let l = log.clone();
272        run(
273            fps,
274            async move {
275                fut.await;
276                *l.borrow_mut() = Some((crate::frame(), crate::time()));
277            },
278            || (),
279        );
280        log.borrow().expect("logged")
281    }
282
283    #[test]
284    fn all_takes_vecs_arrays_and_iterators() {
285        let durations = [0.5, 1.0, 0.2];
286        assert_eq!(
287            end_of(10.0, async move {
288                all(durations.map(wait_for)).await;
289            })
290            .1,
291            1.0
292        );
293        assert_eq!(
294            end_of(10.0, async move {
295                all(durations.iter().map(|&d| wait_for(d))).await;
296            })
297            .1,
298            1.0
299        );
300        assert_eq!(
301            end_of(10.0, async move {
302                all(vec![wait_for(0.3), wait_for(0.7)]).await;
303            })
304            .1,
305            0.7
306        );
307        // Outputs come back in order.
308        let out = Rc::new(RefCell::new(Vec::new()));
309        let o = out.clone();
310        end_of(10.0, async move {
311            *o.borrow_mut() = all((1..=3).map(|i| async move { i * 10 })).await;
312        });
313        assert_eq!(*out.borrow(), vec![10, 20, 30]);
314        // Nothing to wait for completes at once.
315        assert_eq!(
316            end_of(10.0, async {
317                all(Vec::<crate::flow::WaitFor>::new()).await;
318            })
319            .1,
320            0.0
321        );
322    }
323
324    #[test]
325    fn any_completes_with_the_first_and_continues_from_its_end() {
326        let s = Signal::new(0.0f64);
327        let s2 = s.clone();
328        let first = Rc::new(RefCell::new(None));
329        let f = first.clone();
330        let (frame, time) = end_of(10.0, async move {
331            let i = any((
332                wait_for(2.0),
333                s2.to(1.0, 2.0).ease(presets::LINEAR),
334                wait_for(0.5),
335            ))
336            .await;
337            *f.borrow_mut() = Some(i);
338        });
339        assert_eq!(*first.borrow(), Some(2));
340        assert_eq!((frame, time), (5, 0.5));
341        // The slower tween stopped where it was.
342        assert!((s.get() - 0.25).abs() < 1e-12, "{}", s.get());
343    }
344
345    #[test]
346    fn stagger_starts_each_item_later() {
347        let signals: Vec<Signal<f64>> = (0..3).map(|_| Signal::new(0.0)).collect();
348        let watch = signals.clone();
349        let values = run(
350            10.0,
351            async move {
352                stagger(0.2, &signals, |s| s.to(1.0, 1.0).ease(presets::LINEAR)).await;
353            },
354            move || watch.iter().map(Signal::get).collect::<Vec<_>>(),
355        );
356        // Last item starts at 0.4 s and ends at 1.4 s.
357        assert_eq!(values.len(), 15);
358        let at_half = &values[5];
359        assert!((at_half[0] - 0.5).abs() < 1e-12);
360        assert!((at_half[1] - 0.3).abs() < 1e-12);
361        assert!((at_half[2] - 0.1).abs() < 1e-12);
362    }
363
364    #[test]
365    fn repeat_and_loop_while() {
366        assert_eq!(end_of(10.0, repeat(3, || wait_for(0.5))).1, 1.5);
367        let left = Rc::new(std::cell::Cell::new(4));
368        let l = left.clone();
369        let end = end_of(
370            10.0,
371            loop_while(
372                move || {
373                    l.set(l.get() - 1);
374                    l.get() >= 0
375                },
376                || wait_for(0.25),
377            ),
378        );
379        assert_eq!(end.1, 1.0);
380        assert_eq!(left.get(), -1);
381    }
382}