-
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 1 commit
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,88 @@ | ||||||||
| /* | ||||||||
| 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, hash::Hash as HashT}; | ||||||||
|
|
||||||||
| // Normally implemented on the Client in substrate | ||||||||
| 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> HeaderDb<Hash, Header> | ||||||||
coax1d marked this conversation as resolved.
Outdated
Show resolved
Hide resolved
|
||||||||
| where | ||||||||
| Hash: PartialEq + Eq + HashT + Clone, | ||||||||
| Header: Clone, | ||||||||
| { | ||||||||
| pub fn new() -> Self { | ||||||||
| Self(HashMap::new()) | ||||||||
| } | ||||||||
|
|
||||||||
| pub fn insert(&mut self, hash: Hash, header: Header) { | ||||||||
| let _ = self.0.insert(hash, header); | ||||||||
coax1d marked this conversation as resolved.
Outdated
Show resolved
Hide resolved
|
||||||||
| } | ||||||||
| } | ||||||||
|
|
||||||||
| impl<Hash, Header> From<&[(Hash, Header)]> for HeaderDb<Hash, Header> | ||||||||
| where | ||||||||
| Hash: HashT + Eq + Copy + Clone, | ||||||||
| Header: Copy + Clone, | ||||||||
| { | ||||||||
| fn from(items: &[(Hash, Header)]) -> Self { | ||||||||
| let mut header_db = HeaderDb::<Hash, Header>::new(); | ||||||||
| for item in items { | ||||||||
| let (hash, header) = item; | ||||||||
| header_db.insert(*hash, *header); | ||||||||
| } | ||||||||
| header_db | ||||||||
| } | ||||||||
coax1d marked this conversation as resolved.
Outdated
Show resolved
Hide resolved
|
||||||||
| } | ||||||||
|
|
||||||||
| impl<Hash, Header> HeaderDbTrait for HeaderDb<Hash, Header> | ||||||||
| where | ||||||||
| Hash: PartialEq + HashT + Into<H256> + From<H256> + std::cmp::Eq + Clone, | ||||||||
coax1d marked this conversation as resolved.
Outdated
Show resolved
Hide resolved
coax1d marked this conversation as resolved.
Outdated
Show resolved
Hide resolved
|
||||||||
| 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()) | ||||||||
| } | ||||||||
| } | ||||||||
| #[derive(Debug)] | ||||||||
| pub enum TestError { | ||||||||
| Error, | ||||||||
| } | ||||||||
|
|
||||||||
| impl From<()> for TestError { | ||||||||
| fn from(_a: ()) -> Self { | ||||||||
| TestError::Error | ||||||||
| } | ||||||||
| } | ||||||||
|
|
||||||||
| impl std::fmt::Display for TestError { | ||||||||
|
||||||||
| impl std::fmt::Display for TestError { | |
| impl core::fmt::Display for TestError { | |
Outdated
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.
| impl std::error::Error for TestError {} | |
| impl core::error::Error for TestError {} | |
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -1,35 +1,129 @@ | ||
| #[cfg(test)] | ||
| use std::marker::PhantomData; | ||
|
|
||
| #[cfg(test)] | ||
| pub struct IsDescendentOfBuilder<Hash>(PhantomData<Hash>); | ||
| #[cfg(test)] | ||
| impl<'a, Hash: PartialEq> IsDescendentOfBuilder<Hash> { | ||
| #[cfg(test)] | ||
| /* | ||
| 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 itp_types::H256; | ||
| use its_primitives::traits::Header as HeaderT; | ||
| use std::{hash::Hash as HashT, marker::PhantomData}; | ||
coax1d marked this conversation as resolved.
Outdated
Show resolved
Hide resolved
|
||
|
|
||
| #[allow(dead_code)] | ||
| pub struct IsDescendentOfBuilder<Hash, HeaderDb, Error>(PhantomData<(Hash, HeaderDb, Error)>); | ||
coax1d marked this conversation as resolved.
Outdated
Show resolved
Hide resolved
|
||
| impl<'a, Hash, HeaderDb, Error> IsDescendentOfBuilder<Hash, HeaderDb, Error> | ||
| where | ||
| Error: From<()>, | ||
| Hash: PartialEq + HashT + Default + Into<H256> + From<H256> + Clone, | ||
| HeaderDb: HeaderDbTrait, | ||
| { | ||
| #[allow(dead_code)] | ||
| /// Build the `is_descendent_of` closure for the fork-tree structure | ||
| /// to utilize when adding and removing nodes from the tree. | ||
| pub fn build_is_descendent_of( | ||
| _curr_block: Option<(&Hash, &Hash)>, | ||
| ) -> impl Fn(&Hash, &Hash) -> Result<bool, ()> + 'a { | ||
| move |_base, _head| Ok(true) | ||
| current: Option<(&'a Hash, &'a Hash)>, | ||
| header_db: &'a HeaderDb, | ||
| ) -> impl Fn(&Hash, &Hash) -> Result<bool, Error> + 'a { | ||
| move |base, head| { | ||
| if base == head { | ||
| return Ok(false) | ||
| } | ||
|
|
||
| let mut head = head; | ||
| if let Some((current_hash, current_parent_hash)) = current { | ||
| if current_hash == base { | ||
| return Ok(false) | ||
| } | ||
|
|
||
| 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, | ||
| )?; | ||
coax1d marked this conversation as resolved.
Show resolved
Hide resolved
|
||
| Ok(ancestor == *base) | ||
| } | ||
| } | ||
| } | ||
|
|
||
| #[cfg(test)] | ||
| pub struct LowestCommonAncestorFinder<Hash>(PhantomData<Hash>); | ||
| #[cfg(test)] | ||
| impl<Hash: PartialEq + Default> LowestCommonAncestorFinder<Hash> { | ||
| #[cfg(test)] | ||
| #[allow(dead_code)] | ||
| pub struct LowestCommonAncestorFinder<Hash, HeaderDb>(PhantomData<(Hash, HeaderDb)>); | ||
coax1d marked this conversation as resolved.
Show resolved
Hide resolved
|
||
| impl<Hash, HeaderDb> LowestCommonAncestorFinder<Hash, HeaderDb> | ||
| where | ||
| Hash: PartialEq + Default + Into<H256> + From<H256> + Clone, | ||
| HeaderDb: HeaderDbTrait, | ||
| { | ||
coax1d marked this conversation as resolved.
Show resolved
Hide resolved
|
||
| #[allow(dead_code)] | ||
| /// Used by the `build_is_descendent_of` to find the LCA of two nodes in the fork-tree. | ||
| pub fn find_lowest_common_ancestor(_a: Hash, _b: Hash) -> Hash { | ||
| Default::default() | ||
| } | ||
| } | ||
| 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 | ||
| } | ||
| } | ||
|
|
||
| #[cfg(test)] | ||
| #[test] | ||
| fn test_build_is_descendent_of_works() { | ||
| let is_descendent_of = <IsDescendentOfBuilder<u64>>::build_is_descendent_of(None); | ||
| let my_result = is_descendent_of(&42u64, &42u64); | ||
| assert_eq!(my_result, Ok(true)); | ||
| 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) | ||
| } | ||
| } | ||
Uh oh!
There was an error while loading. Please reload this page.