-
Notifications
You must be signed in to change notification settings - Fork 46
Adding is_descendent_of defenitions and fork tree testing with blockqueues #1198
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Changes from 28 commits
baed83b
b7a6a37
8686ccc
4533b6b
111b7c8
07dcd74
fdbe2c6
de3d31a
26daddc
cfe8a6a
56d63cb
9882418
80a1c1e
35f055e
e88a6f0
473ce64
97128ef
01a574c
5d666cd
2e6ab83
c452dc2
ae8143a
d88d4ea
8dc3830
8620d4e
3fddc34
511b8cf
45afc72
3eccee1
d35d025
47b57fd
6202662
8b6669a
File filter
Filter by extension
Conversations
Jump to
Diff view
Diff view
There are no files selected for viewing
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,44 @@ | ||
| /* | ||
| Copyright 2021 Integritee AG and Supercomputing Systems AG | ||
|
|
||
| Licensed under the Apache License, Version 2.0 (the "License"); | ||
| you may not use this file except in compliance with the License. | ||
| You may obtain a copy of the License at | ||
|
|
||
| http://www.apache.org/licenses/LICENSE-2.0 | ||
|
|
||
| Unless required by applicable law or agreed to in writing, software | ||
| distributed under the License is distributed on an "AS IS" BASIS, | ||
| WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. | ||
| See the License for the specific language governing permissions and | ||
| limitations under the License. | ||
|
|
||
| */ | ||
| use itp_types::H256; | ||
| use its_primitives::{traits::Header as HeaderT, types::header::SidechainHeader}; | ||
| use std::{collections::HashMap, convert::From, hash::Hash as HashT}; | ||
|
|
||
| /// Normally implemented on the `client` in substrate. | ||
| /// Is a trait which can offer methods for interfacing with a block Database. | ||
| pub trait HeaderDbTrait { | ||
| type Header: HeaderT; | ||
| /// Retrieves Header for the corresponding block hash. | ||
| fn header(&self, hash: &H256) -> Option<Self::Header>; | ||
| } | ||
|
|
||
| /// A mocked Header Database which allows you to take a Block Hash and Query a Block Header. | ||
| pub struct HeaderDb<Hash, Header>(pub HashMap<Hash, Header>); | ||
|
|
||
| impl<Hash, Header> HeaderDbTrait for HeaderDb<Hash, Header> | ||
| where | ||
| // TODO: the H256 trait bounds are needed because: #1203 | ||
| Hash: PartialEq + HashT + Into<H256> + From<H256> + core::cmp::Eq + Clone, | ||
| Header: HeaderT + Clone + Into<SidechainHeader>, | ||
| { | ||
| type Header = SidechainHeader; | ||
|
|
||
| fn header(&self, hash: &H256) -> Option<Self::Header> { | ||
| let header = self.0.get(&Hash::from(*hash))?; | ||
| Some(header.clone().into()) | ||
| } | ||
| } | ||
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,136 @@ | ||
| /* | ||
| Copyright 2021 Integritee AG and Supercomputing Systems AG | ||
|
|
||
| Licensed under the Apache License, Version 2.0 (the "License"); | ||
| you may not use this file except in compliance with the License. | ||
| You may obtain a copy of the License at | ||
|
|
||
| http://www.apache.org/licenses/LICENSE-2.0 | ||
|
|
||
| Unless required by applicable law or agreed to in writing, software | ||
| distributed under the License is distributed on an "AS IS" BASIS, | ||
| WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. | ||
| See the License for the specific language governing permissions and | ||
| limitations under the License. | ||
|
|
||
| */ | ||
| use crate::header_db::HeaderDbTrait; | ||
| use core::{hash::Hash as HashT, marker::PhantomData}; | ||
| use itp_types::H256; | ||
| use its_primitives::traits::Header as HeaderT; | ||
|
|
||
| #[allow(dead_code)] | ||
coax1d marked this conversation as resolved.
Outdated
Show resolved
Hide resolved
|
||
| pub struct IsDescendantOfBuilder<Hash, HeaderDb, Error>(PhantomData<(Hash, HeaderDb, Error)>); | ||
|
|
||
| impl<'a, Hash, HeaderDb, Error> IsDescendantOfBuilder<Hash, HeaderDb, Error> | ||
| where | ||
| Error: From<()>, | ||
| Hash: PartialEq + HashT + Default + Into<H256> + From<H256> + Clone, | ||
| HeaderDb: HeaderDbTrait, | ||
| { | ||
|
Comment on lines
+25
to
+29
Contributor
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. Thanks a lot for all these comments here, they help a lot. Regardless, I have to tell you that we are very strict with documentation/comments. They should always be:
Hence, I will add some comments to this file. I hope you can cope with my pickiness. :)
Contributor
Author
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. I dont mind the pickiness might just take me a second to get it exactly correct though.
Contributor
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. Hahah, thanks for your understanding! :D |
||
| /// Build the `is_descendant_of` closure for the fork-tree structure | ||
| /// to utilize when adding and removing nodes from the tree. | ||
coax1d marked this conversation as resolved.
Outdated
Show resolved
Hide resolved
|
||
| #[allow(dead_code)] | ||
| pub fn build_is_descendant_of( | ||
| current: Option<(&'a Hash, &'a Hash)>, | ||
| header_db: &'a HeaderDb, | ||
| ) -> impl Fn(&Hash, &Hash) -> Result<bool, Error> + 'a { | ||
| move |base, head| { | ||
| // If the base is equal to the proposed head then the head is forsure not a descendant of the base | ||
coax1d marked this conversation as resolved.
Outdated
Show resolved
Hide resolved
|
||
| if base == head { | ||
| return Ok(false) | ||
| } | ||
|
|
||
| let mut head = head; | ||
| if let Some((current_hash, current_parent_hash)) = current { | ||
| // If the current hash is equal to the base then it will not be a descendant of base | ||
coax1d marked this conversation as resolved.
Outdated
Show resolved
Hide resolved
|
||
| if current_hash == base { | ||
| return Ok(false) | ||
| } | ||
|
|
||
| // if the current hash is the head and the parent is the base then we know that | ||
| // this current hash is the descendant of the parent otherwise we can set the | ||
| // head to the parent and find the lowest common ancestor between head and base in the tree. | ||
coax1d marked this conversation as resolved.
Outdated
Show resolved
Hide resolved
|
||
| if current_hash == head { | ||
| if current_parent_hash == base { | ||
| return Ok(true) | ||
| } else { | ||
| head = current_parent_hash; | ||
| } | ||
| } | ||
| } | ||
|
|
||
| let ancestor = | ||
| <LowestCommonAncestorFinder<Hash, HeaderDb>>::find_lowest_common_ancestor( | ||
| head, base, header_db, | ||
| )?; | ||
| Ok(ancestor == *base) | ||
| } | ||
| } | ||
| } | ||
|
|
||
| #[allow(dead_code)] | ||
| pub struct LowestCommonAncestorFinder<Hash, HeaderDb>(PhantomData<(Hash, HeaderDb)>); | ||
|
|
||
| impl<Hash, HeaderDb> LowestCommonAncestorFinder<Hash, HeaderDb> | ||
| where | ||
| Hash: PartialEq + Default + Into<H256> + From<H256> + Clone, | ||
| HeaderDb: HeaderDbTrait, | ||
| { | ||
| /// Used by the `build_is_descendant_of` to find the LCA of two nodes in the fork-tree. | ||
| #[allow(dead_code)] | ||
| fn find_lowest_common_ancestor(a: &Hash, b: &Hash, header_db: &HeaderDb) -> Result<Hash, ()> { | ||
| let header_1 = header_db.header(&a.clone().into()).ok_or(())?; | ||
| let header_2 = header_db.header(&b.clone().into()).ok_or(())?; | ||
| let mut blocknum_1 = header_1.block_number(); | ||
| let mut blocknum_2 = header_2.block_number(); | ||
| let mut parent_1 = Hash::from(header_1.parent_hash()); | ||
| let mut parent_2 = Hash::from(header_2.parent_hash()); | ||
|
|
||
| if *a == parent_2 { | ||
| // Then a is the common ancestor of b and it means it is itself the ancestor | ||
| return Ok(parent_2) | ||
| } | ||
|
|
||
| if *b == parent_1 { | ||
| // Then b is the common ancestor of a and it means it is itself the ancestor | ||
| return Ok(parent_1) | ||
| } | ||
|
|
||
| while blocknum_1 > blocknum_2 { | ||
| // This means block 1 is further down in the tree than block 2 | ||
| let new_parent = header_db.header(&parent_1.clone().into()).ok_or(())?; | ||
|
|
||
| if new_parent.block_number() >= blocknum_2 { | ||
| blocknum_1 = new_parent.block_number(); | ||
| parent_1 = Hash::from(new_parent.parent_hash()); | ||
| } else { | ||
| break | ||
| } | ||
| } | ||
|
|
||
| while blocknum_2 > blocknum_1 { | ||
| // This means block 2 is further down in the tree than block 1 | ||
| let new_parent = header_db.header(&parent_2.clone().into()).ok_or(())?; | ||
|
|
||
| if new_parent.block_number() >= blocknum_1 { | ||
| blocknum_2 = new_parent.block_number(); | ||
| parent_2 = Hash::from(new_parent.parent_hash()); | ||
| } else { | ||
| break | ||
| } | ||
| } | ||
|
|
||
| // At this point will be at equal height | ||
| while parent_1 != parent_2 { | ||
| // go up on both nodes | ||
| let new_header_1 = header_db.header(&parent_1.into()).ok_or(())?; | ||
| let new_header_2 = header_db.header(&parent_2.into()).ok_or(())?; | ||
| parent_1 = Hash::from(new_header_1.parent_hash()); | ||
| parent_2 = Hash::from(new_header_2.parent_hash()); | ||
| } | ||
|
|
||
| // Return any Parent node Hash as in worst case scenario it is the root which is shared amongst all | ||
| Ok(parent_1) | ||
| } | ||
| } | ||
This file was deleted.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
You can remove the
Into<SidechainHeader>and just use:type Header = HeaderUh oh!
There was an error while loading. Please reload this page.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
This is needed or else you get this
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
The thing is that you don't need
.into()whenHeader = SidechainHeader. Or a different question, why do you assume that theHeaderandSidechainheaderare not effectively the same type?