2021-05-16 06:06:02 +00:00
|
|
|
//! # VirtualDOM Implementation for Rust
|
|
|
|
//! This module provides the primary mechanics to create a hook-based, concurrent VDOM for Rust.
|
|
|
|
//!
|
|
|
|
//! In this file, multiple items are defined. This file is big, but should be documented well to
|
|
|
|
//! navigate the innerworkings of the Dom. We try to keep these main mechanics in this file to limit
|
|
|
|
//! the possible exposed API surface (keep fields private). This particular implementation of VDOM
|
|
|
|
//! is extremely efficient, but relies on some unsafety under the hood to do things like manage
|
2021-05-18 05:16:43 +00:00
|
|
|
//! micro-heaps for components. We are currently working on refactoring the safety out into safe(r)
|
|
|
|
//! abstractions, but current tests (MIRI and otherwise) show no issues with the current implementation.
|
2021-05-16 06:06:02 +00:00
|
|
|
//!
|
|
|
|
//! Included is:
|
|
|
|
//! - The [`VirtualDom`] itself
|
|
|
|
//! - The [`Scope`] object for mangning component lifecycle
|
|
|
|
//! - The [`ActiveFrame`] object for managing the Scope`s microheap
|
|
|
|
//! - The [`Context`] object for exposing VirtualDOM API to components
|
2021-07-01 18:14:59 +00:00
|
|
|
//! - The [`NodeFactory`] object for lazyily exposing the `Context` API to the nodebuilder API
|
2021-05-16 06:06:02 +00:00
|
|
|
//!
|
|
|
|
//! This module includes just the barebones for a complete VirtualDOM API.
|
|
|
|
//! Additional functionality is defined in the respective files.
|
2021-08-27 13:40:04 +00:00
|
|
|
|
2021-08-10 04:29:53 +00:00
|
|
|
use crate::innerlude::*;
|
2021-09-01 04:57:04 +00:00
|
|
|
use futures_util::{Future, FutureExt};
|
2021-08-10 05:38:58 +00:00
|
|
|
use std::{
|
|
|
|
any::{Any, TypeId},
|
|
|
|
pin::Pin,
|
2021-09-01 19:45:53 +00:00
|
|
|
rc::Rc,
|
2021-08-10 05:38:58 +00:00
|
|
|
};
|
2021-07-09 05:36:18 +00:00
|
|
|
|
2021-02-03 07:26:04 +00:00
|
|
|
/// An integrated virtual node system that progresses events and diffs UI trees.
|
|
|
|
/// Differences are converted into patches which a renderer can use to draw the UI.
|
2021-07-15 07:38:09 +00:00
|
|
|
///
|
|
|
|
///
|
|
|
|
///
|
|
|
|
///
|
|
|
|
///
|
|
|
|
///
|
|
|
|
///
|
2021-02-13 08:19:35 +00:00
|
|
|
pub struct VirtualDom {
|
2021-08-27 13:40:04 +00:00
|
|
|
scheduler: Scheduler,
|
2021-03-12 21:58:30 +00:00
|
|
|
|
2021-08-09 21:09:33 +00:00
|
|
|
base_scope: ScopeId,
|
2021-03-29 16:31:47 +00:00
|
|
|
|
2021-09-01 19:45:53 +00:00
|
|
|
root_fc: Box<dyn Any>,
|
|
|
|
|
2021-08-27 13:40:04 +00:00
|
|
|
root_props: Pin<Box<dyn std::any::Any>>,
|
2021-02-03 07:26:04 +00:00
|
|
|
}
|
|
|
|
|
2021-02-13 08:19:35 +00:00
|
|
|
impl VirtualDom {
|
2021-08-10 05:38:58 +00:00
|
|
|
/// Create a new VirtualDOM with a component that does not have special props.
|
2021-05-16 06:06:02 +00:00
|
|
|
///
|
2021-08-10 05:38:58 +00:00
|
|
|
/// # Description
|
2021-05-16 06:06:02 +00:00
|
|
|
///
|
2021-08-10 05:38:58 +00:00
|
|
|
/// Later, the props can be updated by calling "update" with a new set of props, causing a set of re-renders.
|
2021-05-16 06:06:02 +00:00
|
|
|
///
|
2021-08-10 05:38:58 +00:00
|
|
|
/// This is useful when a component tree can be driven by external state (IE SSR) but it would be too expensive
|
|
|
|
/// to toss out the entire tree.
|
2021-05-16 06:06:02 +00:00
|
|
|
///
|
|
|
|
///
|
2021-08-10 05:38:58 +00:00
|
|
|
/// # Example
|
|
|
|
/// ```
|
2021-08-27 13:40:04 +00:00
|
|
|
/// fn Example(cx: Context<()>) -> DomTree {
|
|
|
|
/// cx.render(rsx!( div { "hello world" } ))
|
2021-05-16 06:06:02 +00:00
|
|
|
/// }
|
|
|
|
///
|
|
|
|
/// let dom = VirtualDom::new(Example);
|
|
|
|
/// ```
|
2021-08-10 05:38:58 +00:00
|
|
|
///
|
|
|
|
/// Note: the VirtualDOM is not progressed, you must either "run_with_deadline" or use "rebuild" to progress it.
|
2021-06-23 05:44:48 +00:00
|
|
|
pub fn new(root: FC<()>) -> Self {
|
2021-03-09 05:58:20 +00:00
|
|
|
Self::new_with_props(root, ())
|
2021-02-03 07:26:04 +00:00
|
|
|
}
|
2021-03-12 19:27:32 +00:00
|
|
|
|
2021-08-10 05:38:58 +00:00
|
|
|
/// Create a new VirtualDOM with the given properties for the root component.
|
|
|
|
///
|
|
|
|
/// # Description
|
|
|
|
///
|
2021-02-03 07:26:04 +00:00
|
|
|
/// Later, the props can be updated by calling "update" with a new set of props, causing a set of re-renders.
|
|
|
|
///
|
|
|
|
/// This is useful when a component tree can be driven by external state (IE SSR) but it would be too expensive
|
|
|
|
/// to toss out the entire tree.
|
2021-05-16 06:06:02 +00:00
|
|
|
///
|
|
|
|
///
|
2021-08-10 05:38:58 +00:00
|
|
|
/// # Example
|
|
|
|
/// ```
|
2021-08-27 13:40:04 +00:00
|
|
|
/// #[derive(PartialEq, Props)]
|
|
|
|
/// struct SomeProps {
|
|
|
|
/// name: &'static str
|
|
|
|
/// }
|
|
|
|
///
|
|
|
|
/// fn Example(cx: Context<SomeProps>) -> DomTree {
|
|
|
|
/// cx.render(rsx!{ div{ "hello {cx.name}" } })
|
2021-05-16 06:06:02 +00:00
|
|
|
/// }
|
|
|
|
///
|
|
|
|
/// let dom = VirtualDom::new(Example);
|
|
|
|
/// ```
|
2021-08-10 05:38:58 +00:00
|
|
|
///
|
2021-08-27 13:40:04 +00:00
|
|
|
/// Note: the VirtualDOM is not progressed on creation. You must either "run_with_deadline" or use "rebuild" to progress it.
|
|
|
|
///
|
|
|
|
/// ```rust
|
|
|
|
/// let mut dom = VirtualDom::new_with_props(Example, SomeProps { name: "jane" });
|
|
|
|
/// let mutations = dom.rebuild();
|
|
|
|
/// ```
|
2021-06-23 05:44:48 +00:00
|
|
|
pub fn new_with_props<P: Properties + 'static>(root: FC<P>, root_props: P) -> Self {
|
2021-08-25 20:40:18 +00:00
|
|
|
let scheduler = Scheduler::new();
|
2021-02-07 03:19:56 +00:00
|
|
|
|
2021-09-01 19:52:38 +00:00
|
|
|
let root_props: Pin<Box<dyn Any>> = Box::pin(root_props);
|
|
|
|
let props_ptr = root_props.downcast_ref::<P>().unwrap() as *const P;
|
2021-06-07 18:14:49 +00:00
|
|
|
|
2021-08-26 21:05:28 +00:00
|
|
|
let base_scope = scheduler.pool.insert_scope_with_key(|myidx| {
|
2021-07-23 14:27:43 +00:00
|
|
|
let caller = NodeFactory::create_component_caller(root, props_ptr as *const _);
|
2021-08-25 20:40:18 +00:00
|
|
|
Scope::new(
|
|
|
|
caller,
|
|
|
|
myidx,
|
|
|
|
None,
|
|
|
|
0,
|
|
|
|
ScopeChildren(&[]),
|
2021-08-27 02:05:09 +00:00
|
|
|
scheduler.pool.channel.clone(),
|
2021-08-25 20:40:18 +00:00
|
|
|
)
|
2021-07-23 14:27:43 +00:00
|
|
|
});
|
2021-02-07 22:38:17 +00:00
|
|
|
|
2021-03-11 17:27:01 +00:00
|
|
|
Self {
|
2021-09-01 19:45:53 +00:00
|
|
|
root_fc: Box::new(root),
|
2021-05-16 06:06:02 +00:00
|
|
|
base_scope,
|
2021-08-25 20:40:18 +00:00
|
|
|
scheduler,
|
2021-09-01 19:52:38 +00:00
|
|
|
root_props,
|
2021-03-11 17:27:01 +00:00
|
|
|
}
|
2021-02-12 08:07:35 +00:00
|
|
|
}
|
2021-02-03 07:26:04 +00:00
|
|
|
|
2021-09-01 19:52:38 +00:00
|
|
|
/// Get the [`Scope`] for the root component.
|
|
|
|
///
|
|
|
|
/// This is useful for traversing the tree from the root for heuristics or altnerative renderers that use Dioxus
|
|
|
|
/// directly.
|
2021-08-06 02:23:41 +00:00
|
|
|
pub fn base_scope(&self) -> &Scope {
|
2021-08-26 21:05:28 +00:00
|
|
|
self.scheduler.pool.get_scope(self.base_scope).unwrap()
|
2021-08-06 02:23:41 +00:00
|
|
|
}
|
|
|
|
|
2021-09-01 19:52:38 +00:00
|
|
|
/// Get the [`Scope`] for a component given its [`ScopeId`]
|
2021-08-06 02:23:41 +00:00
|
|
|
pub fn get_scope(&self, id: ScopeId) -> Option<&Scope> {
|
2021-08-26 21:05:28 +00:00
|
|
|
self.scheduler.pool.get_scope(id)
|
2021-08-06 02:23:41 +00:00
|
|
|
}
|
|
|
|
|
2021-09-01 19:45:53 +00:00
|
|
|
/// Update the root props of this VirtualDOM.
|
|
|
|
///
|
|
|
|
/// This method retuns None if the old props could not be removed. The entire VirtualDOM will be rebuilt immediately,
|
|
|
|
/// so calling this method will block the main thread until computation is done.
|
2021-09-01 19:52:38 +00:00
|
|
|
///
|
|
|
|
/// ## Example
|
|
|
|
///
|
|
|
|
/// ```rust
|
|
|
|
/// #[derive(Props, PartialEq)]
|
|
|
|
/// struct AppProps {
|
|
|
|
/// route: &'static str
|
|
|
|
/// }
|
|
|
|
/// static App: FC<AppProps> = |cx| cx.render(rsx!{ "route is {cx.route}" });
|
|
|
|
///
|
|
|
|
/// let mut dom = VirtualDom::new_with_props(App, AppProps { route: "start" });
|
|
|
|
///
|
|
|
|
/// let mutations = dom.update_root_props(AppProps { route: "end" }).unwrap();
|
|
|
|
/// ```
|
2021-09-01 19:45:53 +00:00
|
|
|
pub fn update_root_props<'s, P: 'static>(&'s mut self, root_props: P) -> Option<Mutations<'s>> {
|
|
|
|
let root_scope = self.scheduler.pool.get_scope_mut(self.base_scope).unwrap();
|
|
|
|
root_scope.ensure_drop_safety(&self.scheduler.pool);
|
|
|
|
|
2021-09-01 19:52:38 +00:00
|
|
|
let mut root_props: Pin<Box<dyn Any>> = Box::pin(root_props);
|
2021-09-01 19:45:53 +00:00
|
|
|
|
2021-09-01 19:52:38 +00:00
|
|
|
if let Some(props_ptr) = root_props.downcast_ref::<P>().map(|p| p as *const P) {
|
|
|
|
std::mem::swap(&mut self.root_props, &mut root_props);
|
2021-09-01 19:45:53 +00:00
|
|
|
|
|
|
|
let root = *self.root_fc.downcast_ref::<FC<P>>().unwrap();
|
|
|
|
|
|
|
|
let new_caller = NodeFactory::create_component_caller(root, props_ptr as *const _);
|
|
|
|
|
|
|
|
root_scope.update_scope_dependencies(new_caller, ScopeChildren(&[]));
|
|
|
|
|
|
|
|
Some(self.rebuild())
|
|
|
|
} else {
|
|
|
|
None
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2021-05-18 05:16:43 +00:00
|
|
|
/// Performs a *full* rebuild of the virtual dom, returning every edit required to generate the actual dom rom scratch
|
2021-07-14 06:04:19 +00:00
|
|
|
///
|
|
|
|
/// The diff machine expects the RealDom's stack to be the root of the application
|
2021-08-06 02:23:41 +00:00
|
|
|
///
|
|
|
|
/// Events like garabge collection, application of refs, etc are not handled by this method and can only be progressed
|
2021-08-22 21:08:25 +00:00
|
|
|
/// through "run". We completely avoid the task scheduler infrastructure.
|
2021-08-24 19:12:20 +00:00
|
|
|
pub fn rebuild<'s>(&'s mut self) -> Mutations<'s> {
|
2021-08-22 21:08:25 +00:00
|
|
|
let mut fut = self.rebuild_async().boxed_local();
|
|
|
|
|
|
|
|
loop {
|
|
|
|
if let Some(edits) = (&mut fut).now_or_never() {
|
|
|
|
break edits;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Rebuild the dom from the ground up
|
2021-08-24 19:12:20 +00:00
|
|
|
///
|
|
|
|
/// This method is asynchronous to prevent the application from blocking while the dom is being rebuilt. Computing
|
|
|
|
/// the diff and creating nodes can be expensive, so we provide this method to avoid blocking the main thread. This
|
|
|
|
/// method can be useful when needing to perform some crucial periodic tasks.
|
|
|
|
pub async fn rebuild_async<'s>(&'s mut self) -> Mutations<'s> {
|
2021-08-27 02:05:09 +00:00
|
|
|
let mut shared = self.scheduler.pool.clone();
|
|
|
|
let mut diff_machine = DiffMachine::new(Mutations::new(), &mut shared);
|
2021-08-25 19:54:33 +00:00
|
|
|
|
2021-08-27 02:05:09 +00:00
|
|
|
let cur_component = self
|
|
|
|
.scheduler
|
|
|
|
.pool
|
|
|
|
.get_scope_mut(self.base_scope)
|
|
|
|
.expect("The base scope should never be moved");
|
2021-08-25 19:54:33 +00:00
|
|
|
|
2021-09-02 03:22:34 +00:00
|
|
|
// We run the component. If it succeeds, then we can diff it and add the changes to the dom.
|
2021-08-27 13:53:26 +00:00
|
|
|
if cur_component.run_scope(&self.scheduler.pool) {
|
2021-08-27 02:05:09 +00:00
|
|
|
diff_machine
|
|
|
|
.stack
|
|
|
|
.create_node(cur_component.frames.fin_head(), MountType::Append);
|
|
|
|
diff_machine.stack.scope_stack.push(self.base_scope);
|
2021-09-02 03:22:34 +00:00
|
|
|
|
|
|
|
// let completed = diff_machine.work();
|
2021-08-27 02:05:09 +00:00
|
|
|
} else {
|
|
|
|
// todo: should this be a hard error?
|
|
|
|
log::warn!(
|
|
|
|
"Component failed to run succesfully during rebuild.
|
|
|
|
This does not result in a failed rebuild, but indicates a logic failure within your app."
|
|
|
|
);
|
|
|
|
}
|
2021-08-25 19:54:33 +00:00
|
|
|
|
2021-08-27 02:05:09 +00:00
|
|
|
unsafe { std::mem::transmute(diff_machine.mutations) }
|
2021-08-24 19:12:20 +00:00
|
|
|
}
|
|
|
|
|
2021-09-02 03:33:25 +00:00
|
|
|
/// Compute a manual diff of the VirtualDOM between states.
|
|
|
|
///
|
|
|
|
/// This can be useful when state inside the DOM is remotely changed from the outside, but not propogated as an event.
|
2021-09-02 03:22:34 +00:00
|
|
|
pub fn diff<'s>(&'s mut self) -> Mutations<'s> {
|
2021-08-23 14:43:49 +00:00
|
|
|
let cur_component = self
|
2021-08-25 16:42:50 +00:00
|
|
|
.scheduler
|
2021-08-26 21:05:28 +00:00
|
|
|
.pool
|
2021-08-23 14:43:49 +00:00
|
|
|
.get_scope_mut(self.base_scope)
|
2021-08-21 17:24:47 +00:00
|
|
|
.expect("The base scope should never be moved");
|
|
|
|
|
2021-08-27 13:53:26 +00:00
|
|
|
if cur_component.run_scope(&self.scheduler.pool) {
|
2021-09-02 03:33:25 +00:00
|
|
|
let mut diff_machine: DiffMachine<'s> =
|
|
|
|
DiffMachine::new(Mutations::new(), &mut self.scheduler.pool);
|
2021-09-02 03:22:34 +00:00
|
|
|
diff_machine.diff_scope(self.base_scope);
|
|
|
|
diff_machine.mutations
|
|
|
|
} else {
|
|
|
|
Mutations::new()
|
2021-08-27 13:40:04 +00:00
|
|
|
}
|
2021-08-21 17:24:47 +00:00
|
|
|
}
|
2021-08-22 21:08:25 +00:00
|
|
|
|
2021-08-08 19:15:16 +00:00
|
|
|
/// Runs the virtualdom immediately, not waiting for any suspended nodes to complete.
|
|
|
|
///
|
2021-09-02 03:22:34 +00:00
|
|
|
/// This method will not wait for any suspended nodes to complete. If there is no pending work, then this method will
|
|
|
|
/// return "None"
|
|
|
|
pub fn run_immediate<'s>(&'s mut self) -> Option<Vec<Mutations<'s>>> {
|
|
|
|
if self.scheduler.has_any_work() {
|
|
|
|
Some(self.scheduler.work_sync())
|
|
|
|
} else {
|
|
|
|
None
|
|
|
|
}
|
2021-08-08 19:15:16 +00:00
|
|
|
}
|
2021-08-06 02:23:41 +00:00
|
|
|
|
2021-08-09 21:09:33 +00:00
|
|
|
/// Run the virtualdom with a deadline.
|
2021-08-08 19:15:16 +00:00
|
|
|
///
|
|
|
|
/// This method will progress async tasks until the deadline is reached. If tasks are completed before the deadline,
|
|
|
|
/// and no tasks are pending, this method will return immediately. If tasks are still pending, then this method will
|
|
|
|
/// exhaust the deadline working on them.
|
|
|
|
///
|
|
|
|
/// This method is useful when needing to schedule the virtualdom around other tasks on the main thread to prevent
|
|
|
|
/// "jank". It will try to finish whatever work it has by the deadline to free up time for other work.
|
|
|
|
///
|
2021-08-09 17:17:19 +00:00
|
|
|
/// Due to platform differences in how time is handled, this method accepts a future that resolves when the deadline
|
|
|
|
/// is exceeded. However, the deadline won't be met precisely, so you might want to build some wiggle room into the
|
|
|
|
/// deadline closure manually.
|
2021-08-08 19:15:16 +00:00
|
|
|
///
|
2021-08-09 21:09:33 +00:00
|
|
|
/// The deadline is polled before starting to diff components. This strikes a balance between the overhead of checking
|
2021-08-08 19:15:16 +00:00
|
|
|
/// the deadline and just completing the work. However, if an individual component takes more than 16ms to render, then
|
|
|
|
/// the screen will "jank" up. In debug, this will trigger an alert.
|
|
|
|
///
|
2021-08-09 17:17:19 +00:00
|
|
|
/// If there are no in-flight fibers when this method is called, it will await any possible tasks, aborting early if
|
|
|
|
/// the provided deadline future resolves.
|
|
|
|
///
|
|
|
|
/// For use in the web, it is expected that this method will be called to be executed during "idle times" and the
|
|
|
|
/// mutations to be applied during the "paint times" IE "animation frames". With this strategy, it is possible to craft
|
|
|
|
/// entirely jank-free applications that perform a ton of work.
|
|
|
|
///
|
2021-08-08 19:15:16 +00:00
|
|
|
/// # Example
|
|
|
|
///
|
|
|
|
/// ```no_run
|
2021-08-09 17:17:19 +00:00
|
|
|
/// static App: FC<()> = |cx| rsx!(in cx, div {"hello"} );
|
|
|
|
/// let mut dom = VirtualDom::new(App);
|
2021-08-08 19:15:16 +00:00
|
|
|
/// loop {
|
2021-08-09 17:17:19 +00:00
|
|
|
/// let deadline = TimeoutFuture::from_ms(16);
|
2021-08-08 19:15:16 +00:00
|
|
|
/// let mutations = dom.run_with_deadline(deadline).await;
|
|
|
|
/// apply_mutations(mutations);
|
|
|
|
/// }
|
|
|
|
/// ```
|
2021-08-09 21:09:33 +00:00
|
|
|
///
|
|
|
|
/// ## Mutations
|
|
|
|
///
|
|
|
|
/// This method returns "mutations" - IE the necessary changes to get the RealDOM to match the VirtualDOM. It also
|
|
|
|
/// includes a list of NodeRefs that need to be applied and effects that need to be triggered after the RealDOM has
|
|
|
|
/// applied the edits.
|
|
|
|
///
|
|
|
|
/// Mutations are the only link between the RealDOM and the VirtualDOM.
|
2021-08-08 19:15:16 +00:00
|
|
|
pub async fn run_with_deadline<'s>(
|
|
|
|
&'s mut self,
|
2021-08-10 16:16:49 +00:00
|
|
|
deadline: impl Future<Output = ()>,
|
2021-08-25 21:09:16 +00:00
|
|
|
) -> Vec<Mutations<'s>> {
|
2021-08-15 14:13:03 +00:00
|
|
|
let mut deadline = Box::pin(deadline.fuse());
|
2021-08-26 06:41:30 +00:00
|
|
|
self.scheduler.work_with_deadline(deadline).await
|
2021-05-15 16:03:08 +00:00
|
|
|
}
|
2021-06-15 14:02:46 +00:00
|
|
|
|
2021-08-25 20:40:18 +00:00
|
|
|
pub fn get_event_sender(&self) -> futures_channel::mpsc::UnboundedSender<SchedulerMsg> {
|
2021-08-27 02:05:09 +00:00
|
|
|
self.scheduler.pool.channel.sender.clone()
|
2021-07-24 04:29:23 +00:00
|
|
|
}
|
2021-08-24 20:29:10 +00:00
|
|
|
|
|
|
|
pub fn has_work(&self) -> bool {
|
|
|
|
true
|
|
|
|
}
|
|
|
|
|
2021-08-25 14:49:18 +00:00
|
|
|
pub async fn wait_for_any_work(&mut self) {
|
|
|
|
let mut timeout = Box::pin(futures_util::future::pending().fuse());
|
|
|
|
self.scheduler.wait_for_any_trigger(&mut timeout).await;
|
|
|
|
}
|
2021-04-05 01:47:53 +00:00
|
|
|
}
|
|
|
|
|
2021-05-28 04:28:09 +00:00
|
|
|
// TODO!
|
|
|
|
// These impls are actually wrong. The DOM needs to have a mutex implemented.
|
|
|
|
unsafe impl Sync for VirtualDom {}
|
|
|
|
unsafe impl Send for VirtualDom {}
|