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