mirror of
https://github.com/servo/servo.git
synced 2025-06-28 02:53:48 +01:00
This patch introduces infrastructure for the rule tree, and constructs it. We don't use it yet, nor have good heuristics for GC'ing it, but this should not happen anymore once we store the rule node reference in the node. I haven't messed up with memory orders because I want to do a try run with it, then mess with them. Take down the ApplicableDeclarationsCache, use the rule tree for doing the cascade.
161 lines
5.5 KiB
Rust
161 lines
5.5 KiB
Rust
/* This Source Code Form is subject to the terms of the Mozilla Public
|
|
* License, v. 2.0. If a copy of the MPL was not distributed with this
|
|
* file, You can obtain one at http://mozilla.org/MPL/2.0/. */
|
|
|
|
//! Implements parallel traversal over the DOM tree.
|
|
//!
|
|
//! This code is highly unsafe. Keep this file small and easy to audit.
|
|
|
|
#![allow(unsafe_code)]
|
|
|
|
use dom::{OpaqueNode, StylingMode, TElement, TNode, UnsafeNode};
|
|
use std::mem;
|
|
use std::sync::atomic::Ordering;
|
|
use traversal::{STYLE_SHARING_CACHE_HITS, STYLE_SHARING_CACHE_MISSES};
|
|
use traversal::DomTraversalContext;
|
|
use util::opts;
|
|
use workqueue::{WorkQueue, WorkUnit, WorkerProxy};
|
|
|
|
#[allow(dead_code)]
|
|
fn static_assertion(node: UnsafeNode) {
|
|
unsafe {
|
|
let _: UnsafeNodeList = mem::transmute(node);
|
|
}
|
|
}
|
|
|
|
pub type UnsafeNodeList = (Box<Vec<UnsafeNode>>, OpaqueNode);
|
|
|
|
pub const CHUNK_SIZE: usize = 64;
|
|
|
|
pub struct WorkQueueData(usize, usize);
|
|
|
|
pub fn run_queue_with_custom_work_data_type<To, F, SharedContext: Sync>(
|
|
queue: &mut WorkQueue<SharedContext, WorkQueueData>,
|
|
callback: F,
|
|
shared: &SharedContext)
|
|
where To: 'static + Send, F: FnOnce(&mut WorkQueue<SharedContext, To>)
|
|
{
|
|
let queue: &mut WorkQueue<SharedContext, To> = unsafe {
|
|
mem::transmute(queue)
|
|
};
|
|
callback(queue);
|
|
queue.run(shared);
|
|
}
|
|
|
|
pub fn traverse_dom<N, C>(root: N,
|
|
queue_data: &C::SharedContext,
|
|
queue: &mut WorkQueue<C::SharedContext, WorkQueueData>)
|
|
where N: TNode,
|
|
C: DomTraversalContext<N>
|
|
{
|
|
debug_assert!(root.as_element().unwrap().styling_mode() != StylingMode::Stop);
|
|
if opts::get().style_sharing_stats {
|
|
STYLE_SHARING_CACHE_HITS.store(0, Ordering::SeqCst);
|
|
STYLE_SHARING_CACHE_MISSES.store(0, Ordering::SeqCst);
|
|
}
|
|
run_queue_with_custom_work_data_type(queue, |queue| {
|
|
queue.push(WorkUnit {
|
|
fun: top_down_dom::<N, C>,
|
|
data: (Box::new(vec![root.to_unsafe()]), root.opaque()),
|
|
});
|
|
}, queue_data);
|
|
|
|
if opts::get().style_sharing_stats {
|
|
let hits = STYLE_SHARING_CACHE_HITS.load(Ordering::SeqCst);
|
|
let misses = STYLE_SHARING_CACHE_MISSES.load(Ordering::SeqCst);
|
|
|
|
println!("Style sharing stats:");
|
|
println!(" * Hits: {}", hits);
|
|
println!(" * Misses: {}", misses);
|
|
}
|
|
}
|
|
|
|
/// A parallel top-down DOM traversal.
|
|
#[inline(always)]
|
|
fn top_down_dom<N, C>(unsafe_nodes: UnsafeNodeList,
|
|
proxy: &mut WorkerProxy<C::SharedContext, UnsafeNodeList>)
|
|
where N: TNode, C: DomTraversalContext<N>
|
|
{
|
|
let context = C::new(proxy.user_data(), unsafe_nodes.1);
|
|
|
|
let mut discovered_child_nodes = vec![];
|
|
for unsafe_node in *unsafe_nodes.0 {
|
|
// Get a real layout node.
|
|
let node = unsafe { N::from_unsafe(&unsafe_node) };
|
|
|
|
// Perform the appropriate traversal.
|
|
let mut children_to_process = 0isize;
|
|
context.process_preorder(node);
|
|
if let Some(el) = node.as_element() {
|
|
C::traverse_children(el, |kid| {
|
|
children_to_process += 1;
|
|
discovered_child_nodes.push(kid.to_unsafe())
|
|
});
|
|
}
|
|
|
|
// Reset the count of children if we need to do a bottom-up traversal
|
|
// after the top up.
|
|
if context.needs_postorder_traversal() {
|
|
if children_to_process == 0 {
|
|
// If there were no more children, start walking back up.
|
|
bottom_up_dom::<N, C>(unsafe_nodes.1, unsafe_node, proxy)
|
|
} else {
|
|
// Otherwise record the number of children to process when the
|
|
// time comes.
|
|
node.as_element().unwrap().store_children_to_process(children_to_process);
|
|
}
|
|
}
|
|
}
|
|
|
|
// NB: In parallel traversal mode we have to purge the LRU cache in order to
|
|
// be able to access it without races.
|
|
context.local_context().style_sharing_candidate_cache.borrow_mut().clear();
|
|
|
|
for chunk in discovered_child_nodes.chunks(CHUNK_SIZE) {
|
|
proxy.push(WorkUnit {
|
|
fun: top_down_dom::<N, C>,
|
|
data: (Box::new(chunk.iter().cloned().collect()), unsafe_nodes.1),
|
|
});
|
|
}
|
|
}
|
|
|
|
/// Process current node and potentially traverse its ancestors.
|
|
///
|
|
/// If we are the last child that finished processing, recursively process
|
|
/// our parent. Else, stop. Also, stop at the root.
|
|
///
|
|
/// Thus, if we start with all the leaves of a tree, we end up traversing
|
|
/// the whole tree bottom-up because each parent will be processed exactly
|
|
/// once (by the last child that finishes processing).
|
|
///
|
|
/// The only communication between siblings is that they both
|
|
/// fetch-and-subtract the parent's children count.
|
|
fn bottom_up_dom<N, C>(root: OpaqueNode,
|
|
unsafe_node: UnsafeNode,
|
|
proxy: &mut WorkerProxy<C::SharedContext, UnsafeNodeList>)
|
|
where N: TNode,
|
|
C: DomTraversalContext<N>
|
|
{
|
|
let context = C::new(proxy.user_data(), root);
|
|
|
|
// Get a real layout node.
|
|
let mut node = unsafe { N::from_unsafe(&unsafe_node) };
|
|
loop {
|
|
// Perform the appropriate operation.
|
|
context.process_postorder(node);
|
|
|
|
let parent = match node.layout_parent_element(root) {
|
|
None => break,
|
|
Some(parent) => parent,
|
|
};
|
|
|
|
let remaining = parent.did_process_child();
|
|
if remaining != 0 {
|
|
// Get out of here and find another node to work on.
|
|
break
|
|
}
|
|
|
|
// We were the last child of our parent. Construct flows for our parent.
|
|
node = parent.as_node();
|
|
}
|
|
}
|