mirror of
https://github.com/servo/servo.git
synced 2025-08-04 05:00:08 +01:00
Stop using UnsafeNode in the bloom filter.
This commit is contained in:
parent
96dc0d1eac
commit
b3cb786c81
2 changed files with 25 additions and 48 deletions
|
@ -5,23 +5,19 @@
|
||||||
//! The style bloom filter is used as an optimization when matching deep
|
//! The style bloom filter is used as an optimization when matching deep
|
||||||
//! descendant selectors.
|
//! descendant selectors.
|
||||||
|
|
||||||
use dom::{TNode, TElement, UnsafeNode};
|
use dom::{SendElement, TElement};
|
||||||
use matching::MatchMethods;
|
use matching::MatchMethods;
|
||||||
use selectors::bloom::BloomFilter;
|
use selectors::bloom::BloomFilter;
|
||||||
|
|
||||||
pub struct StyleBloom {
|
pub struct StyleBloom<E: TElement> {
|
||||||
/// The bloom filter per se.
|
/// The bloom filter per se.
|
||||||
filter: Box<BloomFilter>,
|
filter: Box<BloomFilter>,
|
||||||
|
|
||||||
/// The stack of elements that this bloom filter contains. These unsafe
|
/// The stack of elements that this bloom filter contains.
|
||||||
/// nodes are guaranteed to be elements.
|
elements: Vec<SendElement<E>>,
|
||||||
///
|
|
||||||
/// Note that the use we do for them is safe, since the data we access from
|
|
||||||
/// them is completely read-only during restyling.
|
|
||||||
elements: Vec<UnsafeNode>,
|
|
||||||
}
|
}
|
||||||
|
|
||||||
impl StyleBloom {
|
impl<E: TElement> StyleBloom<E> {
|
||||||
pub fn new() -> Self {
|
pub fn new() -> Self {
|
||||||
StyleBloom {
|
StyleBloom {
|
||||||
filter: Box::new(BloomFilter::new()),
|
filter: Box::new(BloomFilter::new()),
|
||||||
|
@ -33,39 +29,27 @@ impl StyleBloom {
|
||||||
&*self.filter
|
&*self.filter
|
||||||
}
|
}
|
||||||
|
|
||||||
pub fn maybe_pop<E>(&mut self, element: E)
|
pub fn maybe_pop(&mut self, element: E) {
|
||||||
where E: TElement + MatchMethods
|
if self.elements.last().map(|el| **el) == Some(element) {
|
||||||
{
|
self.pop().unwrap();
|
||||||
if self.elements.last() == Some(&element.as_node().to_unsafe()) {
|
|
||||||
self.pop::<E>().unwrap();
|
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
/// Push an element to the bloom filter, knowing that it's a child of the
|
/// Push an element to the bloom filter, knowing that it's a child of the
|
||||||
/// last element parent.
|
/// last element parent.
|
||||||
pub fn push<E>(&mut self, element: E)
|
pub fn push(&mut self, element: E) {
|
||||||
where E: TElement + MatchMethods,
|
|
||||||
{
|
|
||||||
if cfg!(debug_assertions) {
|
if cfg!(debug_assertions) {
|
||||||
if self.elements.is_empty() {
|
if self.elements.is_empty() {
|
||||||
assert!(element.parent_element().is_none());
|
assert!(element.parent_element().is_none());
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
element.insert_into_bloom_filter(&mut *self.filter);
|
element.insert_into_bloom_filter(&mut *self.filter);
|
||||||
self.elements.push(element.as_node().to_unsafe());
|
self.elements.push(unsafe { SendElement::new(element) });
|
||||||
}
|
}
|
||||||
|
|
||||||
/// Pop the last element in the bloom filter and return it.
|
/// Pop the last element in the bloom filter and return it.
|
||||||
fn pop<E>(&mut self) -> Option<E>
|
fn pop(&mut self) -> Option<E> {
|
||||||
where E: TElement + MatchMethods,
|
let popped = self.elements.pop().map(|el| *el);
|
||||||
{
|
|
||||||
let popped =
|
|
||||||
self.elements.pop().map(|unsafe_node| {
|
|
||||||
let parent = unsafe {
|
|
||||||
E::ConcreteNode::from_unsafe(&unsafe_node)
|
|
||||||
};
|
|
||||||
parent.as_element().unwrap()
|
|
||||||
});
|
|
||||||
if let Some(popped) = popped {
|
if let Some(popped) = popped {
|
||||||
popped.remove_from_bloom_filter(&mut self.filter);
|
popped.remove_from_bloom_filter(&mut self.filter);
|
||||||
}
|
}
|
||||||
|
@ -78,14 +62,12 @@ impl StyleBloom {
|
||||||
self.elements.clear();
|
self.elements.clear();
|
||||||
}
|
}
|
||||||
|
|
||||||
fn rebuild<E>(&mut self, mut element: E) -> usize
|
fn rebuild(&mut self, mut element: E) -> usize {
|
||||||
where E: TElement + MatchMethods,
|
|
||||||
{
|
|
||||||
self.clear();
|
self.clear();
|
||||||
|
|
||||||
while let Some(parent) = element.parent_element() {
|
while let Some(parent) = element.parent_element() {
|
||||||
parent.insert_into_bloom_filter(&mut *self.filter);
|
parent.insert_into_bloom_filter(&mut *self.filter);
|
||||||
self.elements.push(parent.as_node().to_unsafe());
|
self.elements.push(unsafe { SendElement::new(parent) });
|
||||||
element = parent;
|
element = parent;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
@ -96,14 +78,11 @@ impl StyleBloom {
|
||||||
|
|
||||||
/// In debug builds, asserts that all the parents of `element` are in the
|
/// In debug builds, asserts that all the parents of `element` are in the
|
||||||
/// bloom filter.
|
/// bloom filter.
|
||||||
pub fn assert_complete<E>(&self, mut element: E)
|
pub fn assert_complete(&self, mut element: E) {
|
||||||
where E: TElement,
|
|
||||||
{
|
|
||||||
if cfg!(debug_assertions) {
|
if cfg!(debug_assertions) {
|
||||||
let mut checked = 0;
|
let mut checked = 0;
|
||||||
while let Some(parent) = element.parent_element() {
|
while let Some(parent) = element.parent_element() {
|
||||||
assert_eq!(parent.as_node().to_unsafe(),
|
assert_eq!(parent, *self.elements[self.elements.len() - 1 - checked]);
|
||||||
self.elements[self.elements.len() - 1 - checked]);
|
|
||||||
element = parent;
|
element = parent;
|
||||||
checked += 1;
|
checked += 1;
|
||||||
}
|
}
|
||||||
|
@ -118,11 +97,10 @@ impl StyleBloom {
|
||||||
/// provided always rebuilds the filter from scratch.
|
/// provided always rebuilds the filter from scratch.
|
||||||
///
|
///
|
||||||
/// Returns the new bloom filter depth.
|
/// Returns the new bloom filter depth.
|
||||||
pub fn insert_parents_recovering<E>(&mut self,
|
pub fn insert_parents_recovering(&mut self,
|
||||||
element: E,
|
element: E,
|
||||||
element_depth: Option<usize>)
|
element_depth: Option<usize>)
|
||||||
-> usize
|
-> usize
|
||||||
where E: TElement,
|
|
||||||
{
|
{
|
||||||
// Easy case, we're in a different restyle, or we're empty.
|
// Easy case, we're in a different restyle, or we're empty.
|
||||||
if self.elements.is_empty() {
|
if self.elements.is_empty() {
|
||||||
|
@ -138,8 +116,7 @@ impl StyleBloom {
|
||||||
}
|
}
|
||||||
};
|
};
|
||||||
|
|
||||||
let unsafe_parent = parent_element.as_node().to_unsafe();
|
if self.elements.last().map(|el| **el) == Some(parent_element) {
|
||||||
if self.elements.last() == Some(&unsafe_parent) {
|
|
||||||
// Ta da, cache hit, we're all done.
|
// Ta da, cache hit, we're all done.
|
||||||
return self.elements.len();
|
return self.elements.len();
|
||||||
}
|
}
|
||||||
|
@ -171,7 +148,7 @@ impl StyleBloom {
|
||||||
// If the filter represents an element too deep in the dom, we need to
|
// If the filter represents an element too deep in the dom, we need to
|
||||||
// pop ancestors.
|
// pop ancestors.
|
||||||
while current_depth > element_depth - 1 {
|
while current_depth > element_depth - 1 {
|
||||||
self.pop::<E>().expect("Emilio is bad at math");
|
self.pop().expect("Emilio is bad at math");
|
||||||
current_depth -= 1;
|
current_depth -= 1;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
@ -208,9 +185,9 @@ impl StyleBloom {
|
||||||
// off the document (such as scrollbars) as a separate subtree from the
|
// off the document (such as scrollbars) as a separate subtree from the
|
||||||
// document root. Thus it's possible with Gecko that we do not find any
|
// document root. Thus it's possible with Gecko that we do not find any
|
||||||
// common ancestor.
|
// common ancestor.
|
||||||
while *self.elements.last().unwrap() != common_parent.as_node().to_unsafe() {
|
while **self.elements.last().unwrap() != common_parent {
|
||||||
parents_to_insert.push(common_parent);
|
parents_to_insert.push(common_parent);
|
||||||
self.pop::<E>().unwrap();
|
self.pop().unwrap();
|
||||||
common_parent = match common_parent.parent_element() {
|
common_parent = match common_parent.parent_element() {
|
||||||
Some(parent) => parent,
|
Some(parent) => parent,
|
||||||
None => {
|
None => {
|
||||||
|
|
|
@ -78,7 +78,7 @@ pub struct SharedStyleContext {
|
||||||
|
|
||||||
pub struct ThreadLocalStyleContext<E: TElement> {
|
pub struct ThreadLocalStyleContext<E: TElement> {
|
||||||
pub style_sharing_candidate_cache: StyleSharingCandidateCache<E>,
|
pub style_sharing_candidate_cache: StyleSharingCandidateCache<E>,
|
||||||
pub bloom_filter: StyleBloom,
|
pub bloom_filter: StyleBloom<E>,
|
||||||
/// A channel on which new animations that have been triggered by style
|
/// A channel on which new animations that have been triggered by style
|
||||||
/// recalculation can be sent.
|
/// recalculation can be sent.
|
||||||
pub new_animations_sender: Sender<Animation>,
|
pub new_animations_sender: Sender<Animation>,
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue