passes.rs 25 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911
  1. use crate::tree::{NodeId, TreeView};
  2. use crate::{FxDashSet, SendAnyMap};
  3. use rustc_hash::{FxHashMap, FxHashSet};
  4. use std::collections::BTreeMap;
  5. use std::ops::{BitAnd, BitAndAssign, BitOr, BitOrAssign};
  6. use std::sync::Arc;
  7. #[derive(Default)]
  8. struct DirtyNodes {
  9. passes_dirty: Vec<u64>,
  10. }
  11. impl DirtyNodes {
  12. fn add_node(&mut self, node_id: NodeId) {
  13. let node_id = node_id.0;
  14. let index = node_id / 64;
  15. let bit = node_id % 64;
  16. let encoded = 1 << bit;
  17. if let Some(passes) = self.passes_dirty.get_mut(index) {
  18. *passes |= encoded;
  19. } else {
  20. self.passes_dirty.resize(index + 1, 0);
  21. self.passes_dirty[index] |= encoded;
  22. }
  23. }
  24. fn is_empty(&self) -> bool {
  25. self.passes_dirty.iter().all(|dirty| *dirty == 0)
  26. }
  27. fn pop(&mut self) -> Option<NodeId> {
  28. let index = self.passes_dirty.iter().position(|dirty| *dirty != 0)?;
  29. let passes = self.passes_dirty[index];
  30. let node_id = passes.trailing_zeros();
  31. let encoded = 1 << node_id;
  32. self.passes_dirty[index] &= !encoded;
  33. Some(NodeId((index * 64) + node_id as usize))
  34. }
  35. }
  36. #[derive(Default)]
  37. pub struct DirtyNodeStates {
  38. dirty: BTreeMap<u16, FxHashMap<PassId, DirtyNodes>>,
  39. }
  40. impl DirtyNodeStates {
  41. pub fn insert(&mut self, pass_id: PassId, node_id: NodeId, height: u16) {
  42. if let Some(dirty) = self.dirty.get_mut(&height) {
  43. if let Some(entry) = dirty.get_mut(&pass_id) {
  44. entry.add_node(node_id);
  45. } else {
  46. let mut entry = DirtyNodes::default();
  47. entry.add_node(node_id);
  48. dirty.insert(pass_id, entry);
  49. }
  50. } else {
  51. let mut entry = DirtyNodes::default();
  52. entry.add_node(node_id);
  53. let mut hm = FxHashMap::default();
  54. hm.insert(pass_id, entry);
  55. self.dirty.insert(height, hm);
  56. }
  57. }
  58. fn pop_front(&mut self, pass_id: PassId) -> Option<(u16, NodeId)> {
  59. let (&height, values) = self
  60. .dirty
  61. .iter_mut()
  62. .find(|(_, values)| values.contains_key(&pass_id))?;
  63. let dirty = values.get_mut(&pass_id)?;
  64. let node_id = dirty.pop()?;
  65. if dirty.is_empty() {
  66. values.remove(&pass_id);
  67. }
  68. if values.is_empty() {
  69. self.dirty.remove(&height);
  70. }
  71. Some((height, node_id))
  72. }
  73. fn pop_back(&mut self, pass_id: PassId) -> Option<(u16, NodeId)> {
  74. let (&height, values) = self
  75. .dirty
  76. .iter_mut()
  77. .rev()
  78. .find(|(_, values)| values.contains_key(&pass_id))?;
  79. let dirty = values.get_mut(&pass_id)?;
  80. let node_id = dirty.pop()?;
  81. if dirty.is_empty() {
  82. values.remove(&pass_id);
  83. }
  84. if values.is_empty() {
  85. self.dirty.remove(&height);
  86. }
  87. Some((height, node_id))
  88. }
  89. }
  90. #[derive(Debug, PartialEq, Eq, Hash, Clone, Copy, PartialOrd, Ord)]
  91. pub struct PassId(pub u64);
  92. #[derive(Debug, PartialEq, Eq, Hash, Clone, Copy, Default)]
  93. pub struct MemberMask(pub u64);
  94. impl MemberMask {
  95. pub fn overlaps(&self, other: Self) -> bool {
  96. (*self & other).0 != 0
  97. }
  98. }
  99. impl BitAndAssign for MemberMask {
  100. fn bitand_assign(&mut self, rhs: Self) {
  101. self.0 &= rhs.0;
  102. }
  103. }
  104. impl BitAnd for MemberMask {
  105. type Output = Self;
  106. fn bitand(self, rhs: Self) -> Self::Output {
  107. MemberMask(self.0 & rhs.0)
  108. }
  109. }
  110. impl BitOrAssign for MemberMask {
  111. fn bitor_assign(&mut self, rhs: Self) {
  112. self.0 |= rhs.0;
  113. }
  114. }
  115. impl BitOr for MemberMask {
  116. type Output = Self;
  117. fn bitor(self, rhs: Self) -> Self::Output {
  118. Self(self.0 | rhs.0)
  119. }
  120. }
  121. pub struct PassReturn {
  122. pub progress: bool,
  123. pub mark_dirty: bool,
  124. }
  125. pub trait Pass {
  126. fn pass_id(&self) -> PassId;
  127. fn dependancies(&self) -> &'static [PassId];
  128. fn dependants(&self) -> &'static [PassId];
  129. fn mask(&self) -> MemberMask;
  130. }
  131. pub trait UpwardPass<T>: Pass {
  132. fn pass(
  133. &self,
  134. node: &mut T,
  135. children: &mut dyn Iterator<Item = &mut T>,
  136. ctx: &SendAnyMap,
  137. ) -> PassReturn;
  138. }
  139. fn resolve_upward_pass<T, P: UpwardPass<T> + ?Sized>(
  140. tree: &mut impl TreeView<T>,
  141. pass: &P,
  142. dirty_states: &mut DirtyNodeStates,
  143. nodes_updated: &FxDashSet<NodeId>,
  144. ctx: &SendAnyMap,
  145. ) {
  146. let pass_id = pass.pass_id();
  147. while let Some((height, id)) = dirty_states.pop_back(pass_id) {
  148. let (node, mut children) = tree.parent_child_mut(id).unwrap();
  149. let result = pass.pass(node, &mut children, ctx);
  150. drop(children);
  151. if result.progress || result.mark_dirty {
  152. nodes_updated.insert(id);
  153. if let Some(id) = tree.parent_id(id) {
  154. if result.mark_dirty {
  155. for dependant in pass.dependants() {
  156. dirty_states.insert(*dependant, id, height - 1);
  157. }
  158. }
  159. if result.progress && height > 0 {
  160. dirty_states.insert(pass_id, id, height - 1);
  161. }
  162. }
  163. }
  164. }
  165. }
  166. pub trait DownwardPass<T>: Pass {
  167. fn pass(&self, node: &mut T, parent: Option<&mut T>, ctx: &SendAnyMap) -> PassReturn;
  168. }
  169. fn resolve_downward_pass<T, P: DownwardPass<T> + ?Sized>(
  170. tree: &mut impl TreeView<T>,
  171. pass: &P,
  172. dirty_states: &mut DirtyNodeStates,
  173. nodes_updated: &FxDashSet<NodeId>,
  174. ctx: &SendAnyMap,
  175. ) {
  176. let pass_id = pass.pass_id();
  177. while let Some((height, id)) = dirty_states.pop_front(pass_id) {
  178. let (node, parent) = tree.node_parent_mut(id).unwrap();
  179. let result = pass.pass(node, parent, ctx);
  180. if result.mark_dirty {
  181. nodes_updated.insert(id);
  182. }
  183. if result.mark_dirty || result.progress {
  184. for id in tree.children_ids(id).unwrap() {
  185. if result.mark_dirty {
  186. for dependant in pass.dependants() {
  187. dirty_states.insert(*dependant, *id, height + 1);
  188. }
  189. }
  190. if result.progress {
  191. dirty_states.insert(pass_id, *id, height + 1);
  192. }
  193. }
  194. }
  195. }
  196. }
  197. pub trait NodePass<T>: Pass {
  198. fn pass(&self, node: &mut T, ctx: &SendAnyMap) -> bool;
  199. }
  200. fn resolve_node_pass<T, P: NodePass<T> + ?Sized>(
  201. tree: &mut impl TreeView<T>,
  202. pass: &P,
  203. dirty_states: &mut DirtyNodeStates,
  204. nodes_updated: &FxDashSet<NodeId>,
  205. ctx: &SendAnyMap,
  206. ) {
  207. let pass_id = pass.pass_id();
  208. while let Some((height, id)) = dirty_states.pop_back(pass_id) {
  209. let node = tree.get_mut(id).unwrap();
  210. if pass.pass(node, ctx) {
  211. nodes_updated.insert(id);
  212. for dependant in pass.dependants() {
  213. dirty_states.insert(*dependant, id, height);
  214. }
  215. }
  216. }
  217. }
  218. pub enum AnyPass<T: 'static> {
  219. Upward(&'static (dyn UpwardPass<T> + Send + Sync + 'static)),
  220. Downward(&'static (dyn DownwardPass<T> + Send + Sync + 'static)),
  221. Node(&'static (dyn NodePass<T> + Send + Sync + 'static)),
  222. }
  223. impl<T> AnyPass<T> {
  224. pub fn pass_id(&self) -> PassId {
  225. match self {
  226. Self::Upward(pass) => pass.pass_id(),
  227. Self::Downward(pass) => pass.pass_id(),
  228. Self::Node(pass) => pass.pass_id(),
  229. }
  230. }
  231. pub fn dependancies(&self) -> &'static [PassId] {
  232. match self {
  233. Self::Upward(pass) => pass.dependancies(),
  234. Self::Downward(pass) => pass.dependancies(),
  235. Self::Node(pass) => pass.dependancies(),
  236. }
  237. }
  238. fn resolve(
  239. &self,
  240. tree: &mut impl TreeView<T>,
  241. dirty_states: &mut DirtyNodeStates,
  242. nodes_updated: &FxDashSet<NodeId>,
  243. ctx: &SendAnyMap,
  244. ) {
  245. match self {
  246. Self::Downward(pass) => {
  247. resolve_downward_pass(tree, *pass, dirty_states, nodes_updated, ctx)
  248. }
  249. Self::Upward(pass) => {
  250. resolve_upward_pass(tree, *pass, dirty_states, nodes_updated, ctx)
  251. }
  252. Self::Node(pass) => resolve_node_pass(tree, *pass, dirty_states, nodes_updated, ctx),
  253. }
  254. }
  255. }
  256. pub fn resolve_passes<T, Tr: TreeView<T> + Sync + Send>(
  257. tree: &mut Tr,
  258. dirty_nodes: DirtyNodeStates,
  259. passes: Vec<&AnyPass<T>>,
  260. ctx: SendAnyMap,
  261. ) -> FxDashSet<NodeId> {
  262. resolve_passes_single_threaded(tree, dirty_nodes, passes, ctx)
  263. // TODO: multithreadeding has some safety issues currently that need to be resolved before it can be used
  264. // let dirty_states = Arc::new(dirty_nodes);
  265. // let mut resolved_passes: FxHashSet<PassId> = FxHashSet::default();
  266. // let mut resolving = Vec::new();
  267. // let nodes_updated = Arc::new(FxDashSet::default());
  268. // let ctx = Arc::new(ctx);
  269. // while !passes.is_empty() {
  270. // let mut currently_borrowed = MemberMask::default();
  271. // std::thread::scope(|s| {
  272. // let mut i = 0;
  273. // while i < passes.len() {
  274. // let pass = &passes[i];
  275. // let pass_id = pass.pass_id();
  276. // let pass_mask = pass.mask();
  277. // if pass
  278. // .dependancies()
  279. // .iter()
  280. // .all(|d| resolved_passes.contains(d) || *d == pass_id)
  281. // && !pass_mask.overlaps(currently_borrowed)
  282. // {
  283. // let pass = passes.remove(i);
  284. // resolving.push(pass_id);
  285. // currently_borrowed |= pass_mask;
  286. // let dirty_states = dirty_states.clone();
  287. // let nodes_updated = nodes_updated.clone();
  288. // let ctx = ctx.clone();
  289. // let mut dirty = DirtyNodes::default();
  290. // // dirty_states.all_dirty(pass_id, &mut dirty, tree);
  291. // // this is safe because the member_mask acts as a per-member mutex and we have verified that the pass does not overlap with any other pass
  292. // let tree_mut_unbounded = unsafe { &mut *(tree as *mut Tr) };
  293. // s.spawn(move || {
  294. // pass.resolve(
  295. // tree_mut_unbounded,
  296. // dirty,
  297. // &dirty_states,
  298. // &nodes_updated,
  299. // &ctx,
  300. // );
  301. // });
  302. // } else {
  303. // i += 1;
  304. // }
  305. // }
  306. // // all passes are resolved at the end of the scope
  307. // });
  308. // resolved_passes.extend(resolving.iter().copied());
  309. // resolving.clear()
  310. // }
  311. // std::sync::Arc::try_unwrap(nodes_updated).unwrap()
  312. }
  313. pub fn resolve_passes_single_threaded<T, Tr: TreeView<T>>(
  314. tree: &mut Tr,
  315. dirty_nodes: DirtyNodeStates,
  316. mut passes: Vec<&AnyPass<T>>,
  317. ctx: SendAnyMap,
  318. ) -> FxDashSet<NodeId> {
  319. let mut dirty_states = dirty_nodes;
  320. let mut resolved_passes: FxHashSet<PassId> = FxHashSet::default();
  321. let nodes_updated = Arc::new(FxDashSet::default());
  322. let ctx = Arc::new(ctx);
  323. while !passes.is_empty() {
  324. for (i, pass) in passes.iter().enumerate() {
  325. let pass_id = pass.pass_id();
  326. if pass
  327. .dependancies()
  328. .iter()
  329. .all(|d| resolved_passes.contains(d) || *d == pass_id)
  330. {
  331. let pass = passes.remove(i);
  332. let nodes_updated = nodes_updated.clone();
  333. let ctx = ctx.clone();
  334. pass.resolve(tree, &mut dirty_states, &nodes_updated, &ctx);
  335. resolved_passes.insert(pass_id);
  336. break;
  337. }
  338. }
  339. }
  340. std::sync::Arc::try_unwrap(nodes_updated).unwrap()
  341. }
  342. #[test]
  343. fn node_pass() {
  344. use crate::tree::{Tree, TreeLike};
  345. let mut tree = Tree::new(0);
  346. struct AddPass;
  347. impl Pass for AddPass {
  348. fn pass_id(&self) -> PassId {
  349. PassId(0)
  350. }
  351. fn dependancies(&self) -> &'static [PassId] {
  352. &[]
  353. }
  354. fn dependants(&self) -> &'static [PassId] {
  355. &[]
  356. }
  357. fn mask(&self) -> MemberMask {
  358. MemberMask(0)
  359. }
  360. }
  361. impl NodePass<i32> for AddPass {
  362. fn pass(&self, node: &mut i32, _: &SendAnyMap) -> bool {
  363. *node += 1;
  364. true
  365. }
  366. }
  367. let add_pass = AnyPass::Node(&AddPass);
  368. let passes = vec![&add_pass];
  369. let mut dirty_nodes: DirtyNodeStates = DirtyNodeStates::default();
  370. dirty_nodes.insert(PassId(0), tree.root(), 0);
  371. resolve_passes(&mut tree, dirty_nodes, passes, SendAnyMap::new());
  372. assert_eq!(tree.get(tree.root()).unwrap(), &1);
  373. }
  374. #[test]
  375. fn dependant_node_pass() {
  376. use crate::tree::{Tree, TreeLike};
  377. let mut tree = Tree::new(0);
  378. struct AddPass;
  379. impl Pass for AddPass {
  380. fn pass_id(&self) -> PassId {
  381. PassId(0)
  382. }
  383. fn dependancies(&self) -> &'static [PassId] {
  384. &[PassId(1)]
  385. }
  386. fn dependants(&self) -> &'static [PassId] {
  387. &[]
  388. }
  389. fn mask(&self) -> MemberMask {
  390. MemberMask(0)
  391. }
  392. }
  393. impl NodePass<i32> for AddPass {
  394. fn pass(&self, node: &mut i32, _: &SendAnyMap) -> bool {
  395. *node += 1;
  396. true
  397. }
  398. }
  399. struct SubtractPass;
  400. impl Pass for SubtractPass {
  401. fn pass_id(&self) -> PassId {
  402. PassId(1)
  403. }
  404. fn dependancies(&self) -> &'static [PassId] {
  405. &[]
  406. }
  407. fn dependants(&self) -> &'static [PassId] {
  408. &[PassId(0)]
  409. }
  410. fn mask(&self) -> MemberMask {
  411. MemberMask(0)
  412. }
  413. }
  414. impl NodePass<i32> for SubtractPass {
  415. fn pass(&self, node: &mut i32, _: &SendAnyMap) -> bool {
  416. *node -= 1;
  417. true
  418. }
  419. }
  420. let add_pass = AnyPass::Node(&AddPass);
  421. let subtract_pass = AnyPass::Node(&SubtractPass);
  422. let passes = vec![&add_pass, &subtract_pass];
  423. let mut dirty_nodes: DirtyNodeStates = DirtyNodeStates::default();
  424. dirty_nodes.insert(PassId(1), tree.root(), 0);
  425. resolve_passes(&mut tree, dirty_nodes, passes, SendAnyMap::new());
  426. assert_eq!(*tree.get(tree.root()).unwrap(), 0);
  427. }
  428. #[test]
  429. fn independant_node_pass() {
  430. use crate::tree::{Tree, TreeLike};
  431. let mut tree = Tree::new((0, 0));
  432. struct AddPass1;
  433. impl Pass for AddPass1 {
  434. fn pass_id(&self) -> PassId {
  435. PassId(0)
  436. }
  437. fn dependancies(&self) -> &'static [PassId] {
  438. &[]
  439. }
  440. fn dependants(&self) -> &'static [PassId] {
  441. &[]
  442. }
  443. fn mask(&self) -> MemberMask {
  444. MemberMask(0)
  445. }
  446. }
  447. impl NodePass<(i32, i32)> for AddPass1 {
  448. fn pass(&self, node: &mut (i32, i32), _: &SendAnyMap) -> bool {
  449. node.0 += 1;
  450. true
  451. }
  452. }
  453. struct AddPass2;
  454. impl Pass for AddPass2 {
  455. fn pass_id(&self) -> PassId {
  456. PassId(1)
  457. }
  458. fn dependancies(&self) -> &'static [PassId] {
  459. &[]
  460. }
  461. fn dependants(&self) -> &'static [PassId] {
  462. &[]
  463. }
  464. fn mask(&self) -> MemberMask {
  465. MemberMask(1)
  466. }
  467. }
  468. impl NodePass<(i32, i32)> for AddPass2 {
  469. fn pass(&self, node: &mut (i32, i32), _: &SendAnyMap) -> bool {
  470. node.1 += 1;
  471. true
  472. }
  473. }
  474. let add_pass1 = AnyPass::Node(&AddPass1);
  475. let add_pass2 = AnyPass::Node(&AddPass2);
  476. let passes = vec![&add_pass1, &add_pass2];
  477. let mut dirty_nodes: DirtyNodeStates = DirtyNodeStates::default();
  478. dirty_nodes.insert(PassId(0), tree.root(), 0);
  479. dirty_nodes.insert(PassId(1), tree.root(), 0);
  480. resolve_passes(&mut tree, dirty_nodes, passes, SendAnyMap::new());
  481. assert_eq!(tree.get(tree.root()).unwrap(), &(1, 1));
  482. }
  483. #[test]
  484. fn down_pass() {
  485. use crate::tree::{Tree, TreeLike};
  486. let mut tree = Tree::new(1);
  487. let parent = tree.root();
  488. let child1 = tree.create_node(1);
  489. tree.add_child(parent, child1);
  490. let grandchild1 = tree.create_node(1);
  491. tree.add_child(child1, grandchild1);
  492. let child2 = tree.create_node(1);
  493. tree.add_child(parent, child2);
  494. let grandchild2 = tree.create_node(1);
  495. tree.add_child(child2, grandchild2);
  496. struct AddPass;
  497. impl Pass for AddPass {
  498. fn pass_id(&self) -> PassId {
  499. PassId(0)
  500. }
  501. fn dependancies(&self) -> &'static [PassId] {
  502. &[]
  503. }
  504. fn dependants(&self) -> &'static [PassId] {
  505. &[]
  506. }
  507. fn mask(&self) -> MemberMask {
  508. MemberMask(0)
  509. }
  510. }
  511. impl DownwardPass<i32> for AddPass {
  512. fn pass(&self, node: &mut i32, parent: Option<&mut i32>, _: &SendAnyMap) -> PassReturn {
  513. if let Some(parent) = parent {
  514. *node += *parent;
  515. }
  516. PassReturn {
  517. progress: true,
  518. mark_dirty: true,
  519. }
  520. }
  521. }
  522. let add_pass = AnyPass::Downward(&AddPass);
  523. let passes = vec![&add_pass];
  524. let mut dirty_nodes: DirtyNodeStates = DirtyNodeStates::default();
  525. dirty_nodes.insert(PassId(0), tree.root(), 0);
  526. resolve_passes(&mut tree, dirty_nodes, passes, SendAnyMap::new());
  527. assert_eq!(tree.get(tree.root()).unwrap(), &1);
  528. assert_eq!(tree.get(child1).unwrap(), &2);
  529. assert_eq!(tree.get(grandchild1).unwrap(), &3);
  530. assert_eq!(tree.get(child2).unwrap(), &2);
  531. assert_eq!(tree.get(grandchild2).unwrap(), &3);
  532. }
  533. #[test]
  534. fn dependant_down_pass() {
  535. use crate::tree::{Tree, TreeLike};
  536. // 0
  537. let mut tree = Tree::new(1);
  538. let parent = tree.root();
  539. // 1
  540. let child1 = tree.create_node(1);
  541. tree.add_child(parent, child1);
  542. // 2
  543. let grandchild1 = tree.create_node(1);
  544. tree.add_child(child1, grandchild1);
  545. // 3
  546. let child2 = tree.create_node(1);
  547. tree.add_child(parent, child2);
  548. // 4
  549. let grandchild2 = tree.create_node(1);
  550. tree.add_child(child2, grandchild2);
  551. struct AddPass;
  552. impl Pass for AddPass {
  553. fn pass_id(&self) -> PassId {
  554. PassId(0)
  555. }
  556. fn dependancies(&self) -> &'static [PassId] {
  557. &[PassId(1)]
  558. }
  559. fn dependants(&self) -> &'static [PassId] {
  560. &[]
  561. }
  562. fn mask(&self) -> MemberMask {
  563. MemberMask(0)
  564. }
  565. }
  566. impl DownwardPass<i32> for AddPass {
  567. fn pass(&self, node: &mut i32, parent: Option<&mut i32>, _: &SendAnyMap) -> PassReturn {
  568. if let Some(parent) = parent {
  569. *node += *parent;
  570. } else {
  571. }
  572. PassReturn {
  573. progress: true,
  574. mark_dirty: true,
  575. }
  576. }
  577. }
  578. struct SubtractPass;
  579. impl Pass for SubtractPass {
  580. fn pass_id(&self) -> PassId {
  581. PassId(1)
  582. }
  583. fn dependancies(&self) -> &'static [PassId] {
  584. &[]
  585. }
  586. fn dependants(&self) -> &'static [PassId] {
  587. &[PassId(0)]
  588. }
  589. fn mask(&self) -> MemberMask {
  590. MemberMask(0)
  591. }
  592. }
  593. impl DownwardPass<i32> for SubtractPass {
  594. fn pass(&self, node: &mut i32, parent: Option<&mut i32>, _: &SendAnyMap) -> PassReturn {
  595. if let Some(parent) = parent {
  596. *node -= *parent;
  597. } else {
  598. }
  599. PassReturn {
  600. progress: true,
  601. mark_dirty: true,
  602. }
  603. }
  604. }
  605. let add_pass = AnyPass::Downward(&AddPass);
  606. let subtract_pass = AnyPass::Downward(&SubtractPass);
  607. let passes = vec![&add_pass, &subtract_pass];
  608. let mut dirty_nodes: DirtyNodeStates = DirtyNodeStates::default();
  609. dirty_nodes.insert(PassId(1), tree.root(), 0);
  610. resolve_passes(&mut tree, dirty_nodes, passes, SendAnyMap::new());
  611. // Tree before:
  612. // 1=\
  613. // 1=\
  614. // 1
  615. // 1=\
  616. // 1
  617. // Tree after subtract:
  618. // 1=\
  619. // 0=\
  620. // 1
  621. // 0=\
  622. // 1
  623. // Tree after add:
  624. // 1=\
  625. // 1=\
  626. // 2
  627. // 1=\
  628. // 2
  629. assert_eq!(tree.get(tree.root()).unwrap(), &1);
  630. assert_eq!(tree.get(child1).unwrap(), &1);
  631. assert_eq!(tree.get(grandchild1).unwrap(), &2);
  632. assert_eq!(tree.get(child2).unwrap(), &1);
  633. assert_eq!(tree.get(grandchild2).unwrap(), &2);
  634. }
  635. #[test]
  636. fn up_pass() {
  637. use crate::tree::{Tree, TreeLike};
  638. // Tree before:
  639. // 0=\
  640. // 0=\
  641. // 1
  642. // 0=\
  643. // 1
  644. // Tree after:
  645. // 2=\
  646. // 1=\
  647. // 1
  648. // 1=\
  649. // 1
  650. let mut tree = Tree::new(0);
  651. let parent = tree.root();
  652. let child1 = tree.create_node(0);
  653. tree.add_child(parent, child1);
  654. let grandchild1 = tree.create_node(1);
  655. tree.add_child(child1, grandchild1);
  656. let child2 = tree.create_node(0);
  657. tree.add_child(parent, child2);
  658. let grandchild2 = tree.create_node(1);
  659. tree.add_child(child2, grandchild2);
  660. struct AddPass;
  661. impl Pass for AddPass {
  662. fn pass_id(&self) -> PassId {
  663. PassId(0)
  664. }
  665. fn dependancies(&self) -> &'static [PassId] {
  666. &[]
  667. }
  668. fn dependants(&self) -> &'static [PassId] {
  669. &[]
  670. }
  671. fn mask(&self) -> MemberMask {
  672. MemberMask(0)
  673. }
  674. }
  675. impl UpwardPass<i32> for AddPass {
  676. fn pass(
  677. &self,
  678. node: &mut i32,
  679. children: &mut dyn Iterator<Item = &mut i32>,
  680. _: &SendAnyMap,
  681. ) -> PassReturn {
  682. *node += children.map(|i| *i).sum::<i32>();
  683. PassReturn {
  684. progress: true,
  685. mark_dirty: true,
  686. }
  687. }
  688. }
  689. let add_pass = AnyPass::Upward(&AddPass);
  690. let passes = vec![&add_pass];
  691. let mut dirty_nodes: DirtyNodeStates = DirtyNodeStates::default();
  692. dirty_nodes.insert(PassId(0), grandchild1, tree.height(grandchild1).unwrap());
  693. dirty_nodes.insert(PassId(0), grandchild2, tree.height(grandchild2).unwrap());
  694. resolve_passes(&mut tree, dirty_nodes, passes, SendAnyMap::new());
  695. assert_eq!(tree.get(tree.root()).unwrap(), &2);
  696. assert_eq!(tree.get(child1).unwrap(), &1);
  697. assert_eq!(tree.get(grandchild1).unwrap(), &1);
  698. assert_eq!(tree.get(child2).unwrap(), &1);
  699. assert_eq!(tree.get(grandchild2).unwrap(), &1);
  700. }
  701. #[test]
  702. fn dependant_up_pass() {
  703. use crate::tree::{Tree, TreeLike};
  704. // 0
  705. let mut tree = Tree::new(0);
  706. let parent = tree.root();
  707. // 1
  708. let child1 = tree.create_node(0);
  709. tree.add_child(parent, child1);
  710. // 2
  711. let grandchild1 = tree.create_node(1);
  712. tree.add_child(child1, grandchild1);
  713. // 3
  714. let child2 = tree.create_node(0);
  715. tree.add_child(parent, child2);
  716. // 4
  717. let grandchild2 = tree.create_node(1);
  718. tree.add_child(child2, grandchild2);
  719. struct AddPass;
  720. impl Pass for AddPass {
  721. fn pass_id(&self) -> PassId {
  722. PassId(0)
  723. }
  724. fn dependancies(&self) -> &'static [PassId] {
  725. &[PassId(1)]
  726. }
  727. fn dependants(&self) -> &'static [PassId] {
  728. &[]
  729. }
  730. fn mask(&self) -> MemberMask {
  731. MemberMask(0)
  732. }
  733. }
  734. impl UpwardPass<i32> for AddPass {
  735. fn pass(
  736. &self,
  737. node: &mut i32,
  738. children: &mut dyn Iterator<Item = &mut i32>,
  739. _: &SendAnyMap,
  740. ) -> PassReturn {
  741. *node += children.map(|i| *i).sum::<i32>();
  742. PassReturn {
  743. progress: true,
  744. mark_dirty: true,
  745. }
  746. }
  747. }
  748. struct SubtractPass;
  749. impl Pass for SubtractPass {
  750. fn pass_id(&self) -> PassId {
  751. PassId(1)
  752. }
  753. fn dependancies(&self) -> &'static [PassId] {
  754. &[]
  755. }
  756. fn dependants(&self) -> &'static [PassId] {
  757. &[PassId(0)]
  758. }
  759. fn mask(&self) -> MemberMask {
  760. MemberMask(0)
  761. }
  762. }
  763. impl UpwardPass<i32> for SubtractPass {
  764. fn pass(
  765. &self,
  766. node: &mut i32,
  767. children: &mut dyn Iterator<Item = &mut i32>,
  768. _: &SendAnyMap,
  769. ) -> PassReturn {
  770. *node -= children.map(|i| *i).sum::<i32>();
  771. PassReturn {
  772. progress: true,
  773. mark_dirty: true,
  774. }
  775. }
  776. }
  777. let add_pass = AnyPass::Upward(&AddPass);
  778. let subtract_pass = AnyPass::Upward(&SubtractPass);
  779. let passes = vec![&add_pass, &subtract_pass];
  780. let mut dirty_nodes: DirtyNodeStates = DirtyNodeStates::default();
  781. dirty_nodes.insert(PassId(1), grandchild1, tree.height(grandchild1).unwrap());
  782. dirty_nodes.insert(PassId(1), grandchild2, tree.height(grandchild2).unwrap());
  783. resolve_passes(&mut tree, dirty_nodes, passes, SendAnyMap::new());
  784. // Tree before:
  785. // 0=\
  786. // 0=\
  787. // 1
  788. // 0=\
  789. // 1
  790. // Tree after subtract:
  791. // 2=\
  792. // -1=\
  793. // 1
  794. // -1=\
  795. // 1
  796. // Tree after add:
  797. // 2=\
  798. // 0=\
  799. // 1
  800. // 0=\
  801. // 1
  802. assert_eq!(tree.get(tree.root()).unwrap(), &2);
  803. assert_eq!(tree.get(child1).unwrap(), &0);
  804. assert_eq!(tree.get(grandchild1).unwrap(), &1);
  805. assert_eq!(tree.get(child2).unwrap(), &0);
  806. assert_eq!(tree.get(grandchild2).unwrap(), &1);
  807. }