mirror of
https://github.com/pezkuwichain/pezkuwi-subxt.git
synced 2026-06-29 06:47:24 +00:00
5134dabb4a
* txpool: don't maintain the pool during major sync Fix shall prevent from wasting the CPU during the major sync. No actions are actually required in transaction pool during the major sync. Fixes: #12903 * passing sync_oracle to maintain method * fixed: builder, txpool tests * do not maintain tx-pool if node gone out of sync * EnactmentAction: all logic moved to EnactmentState Tests to be done. * maintain guard logic moved directly to MaintainedTransactionPool * minor fixes * EnactmentAction: all logic moved to EnactmentState (again) * SyncOracle fixes here and there * Update client/transaction-pool/src/enactment_state.rs Co-authored-by: Bastian Köcher <git@kchr.de> * Update client/transaction-pool/src/enactment_state.rs Co-authored-by: Bastian Köcher <git@kchr.de> * sync_oracle removed * spelling + fmt + doc * Review suggestions applied * log::info -> debug * Update client/transaction-pool/src/enactment_state.rs Co-authored-by: Bastian Köcher <git@kchr.de> * ".git/.scripts/commands/fmt/fmt.sh" Co-authored-by: parity-processbot <> Co-authored-by: Bastian Köcher <git@kchr.de>
695 lines
21 KiB
Rust
695 lines
21 KiB
Rust
// This file is part of Substrate.
|
|
|
|
// Copyright (C) 2022 Parity Technologies (UK) Ltd.
|
|
// SPDX-License-Identifier: GPL-3.0-or-later WITH Classpath-exception-2.0
|
|
|
|
// This program is free software: you can redistribute it and/or modify
|
|
// it under the terms of the GNU General Public License as published by
|
|
// the Free Software Foundation, either version 3 of the License, or
|
|
// (at your option) any later version.
|
|
|
|
// This program is distributed in the hope that it will be useful,
|
|
// but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
// GNU General Public License for more details.
|
|
|
|
// You should have received a copy of the GNU General Public License
|
|
// along with this program. If not, see <https://www.gnu.org/licenses/>.
|
|
|
|
//! Substrate transaction pool implementation.
|
|
|
|
use num_traits::CheckedSub;
|
|
use sc_transaction_pool_api::ChainEvent;
|
|
use sp_blockchain::TreeRoute;
|
|
use sp_runtime::traits::{Block as BlockT, NumberFor};
|
|
|
|
/// The threshold since the last update where we will skip any maintenance for blocks.
|
|
///
|
|
/// This includes tracking re-orgs and sending out certain notifications. In general this shouldn't
|
|
/// happen and may only happen when the node is doing a full sync.
|
|
const SKIP_MAINTENANCE_THRESHOLD: u16 = 20;
|
|
|
|
/// Helper struct for keeping track of the current state of processed new best
|
|
/// block and finalized events. The main purpose of keeping track of this state
|
|
/// is to figure out which phases (enactment / finalization) of transaction pool
|
|
/// maintenance are needed.
|
|
///
|
|
/// Given the following chain:
|
|
///
|
|
/// B1-C1-D1-E1
|
|
/// /
|
|
/// A
|
|
/// \
|
|
/// B2-C2-D2-E2
|
|
///
|
|
/// Some scenarios and expected behavior for sequence of `NewBestBlock` (`nbb`) and `Finalized`
|
|
/// (`f`) events:
|
|
///
|
|
/// - `nbb(C1)`, `f(C1)` -> false (enactment was already performed in `nbb(C1))`
|
|
/// - `f(C1)`, `nbb(C1)` -> false (enactment was already performed in `f(C1))`
|
|
/// - `f(C1)`, `nbb(D2)` -> false (enactment was already performed in `f(C1)`,
|
|
/// we should not retract finalized block)
|
|
/// - `f(C1)`, `f(C2)`, `nbb(C1)` -> false
|
|
/// - `nbb(C1)`, `nbb(C2)` -> true (switching fork is OK)
|
|
/// - `nbb(B1)`, `nbb(B2)` -> true
|
|
/// - `nbb(B1)`, `nbb(C1)`, `f(C1)` -> false (enactment was already performed in `nbb(B1)`)
|
|
/// - `nbb(C1)`, `f(B1)` -> false (enactment was already performed in `nbb(B2)`)
|
|
pub struct EnactmentState<Block>
|
|
where
|
|
Block: BlockT,
|
|
{
|
|
recent_best_block: Block::Hash,
|
|
recent_finalized_block: Block::Hash,
|
|
}
|
|
|
|
/// Enactment action that should be performed after processing the `ChainEvent`
|
|
#[derive(Debug)]
|
|
pub enum EnactmentAction<Block: BlockT> {
|
|
/// Both phases of maintenance shall be skipped
|
|
Skip,
|
|
/// Both phases of maintenance shall be performed
|
|
HandleEnactment(TreeRoute<Block>),
|
|
/// Enactment phase of maintenance shall be skipped
|
|
HandleFinalization,
|
|
}
|
|
|
|
impl<Block> EnactmentState<Block>
|
|
where
|
|
Block: BlockT,
|
|
{
|
|
/// Returns a new `EnactmentState` initialized with the given parameters.
|
|
pub fn new(recent_best_block: Block::Hash, recent_finalized_block: Block::Hash) -> Self {
|
|
EnactmentState { recent_best_block, recent_finalized_block }
|
|
}
|
|
|
|
/// Returns the recently finalized block.
|
|
pub fn recent_finalized_block(&self) -> Block::Hash {
|
|
self.recent_finalized_block
|
|
}
|
|
|
|
/// Updates the state according to the given `ChainEvent`, returning
|
|
/// `Some(tree_route)` with a tree route including the blocks that need to
|
|
/// be enacted/retracted. If no enactment is needed then `None` is returned.
|
|
pub fn update<TreeRouteF, BlockNumberF>(
|
|
&mut self,
|
|
event: &ChainEvent<Block>,
|
|
tree_route: &TreeRouteF,
|
|
hash_to_number: &BlockNumberF,
|
|
) -> Result<EnactmentAction<Block>, String>
|
|
where
|
|
TreeRouteF: Fn(Block::Hash, Block::Hash) -> Result<TreeRoute<Block>, String>,
|
|
BlockNumberF: Fn(Block::Hash) -> Result<Option<NumberFor<Block>>, String>,
|
|
{
|
|
let (new_hash, current_hash, finalized) = match event {
|
|
ChainEvent::NewBestBlock { hash, .. } => (*hash, self.recent_best_block, false),
|
|
ChainEvent::Finalized { hash, .. } => (*hash, self.recent_finalized_block, true),
|
|
};
|
|
|
|
// do not proceed with txpool maintain if block distance is to high
|
|
let skip_maintenance = match (hash_to_number(new_hash), hash_to_number(current_hash)) {
|
|
(Ok(Some(new)), Ok(Some(current))) =>
|
|
new.checked_sub(¤t) > Some(SKIP_MAINTENANCE_THRESHOLD.into()),
|
|
_ => true,
|
|
};
|
|
|
|
if skip_maintenance {
|
|
log::debug!(target: "txpool", "skip maintain: tree_route would be too long");
|
|
self.force_update(event);
|
|
return Ok(EnactmentAction::Skip)
|
|
}
|
|
|
|
// block was already finalized
|
|
if self.recent_finalized_block == new_hash {
|
|
log::debug!(target: "txpool", "handle_enactment: block already finalized");
|
|
return Ok(EnactmentAction::Skip)
|
|
}
|
|
|
|
// compute actual tree route from best_block to notified block, and use
|
|
// it instead of tree_route provided with event
|
|
let tree_route = tree_route(self.recent_best_block, new_hash)?;
|
|
|
|
log::debug!(
|
|
target: "txpool",
|
|
"resolve hash:{:?} finalized:{:?} tree_route:{:?} best_block:{:?} finalized_block:{:?}",
|
|
new_hash, finalized, tree_route, self.recent_best_block, self.recent_finalized_block
|
|
);
|
|
|
|
// check if recently finalized block is on retracted path. this could be
|
|
// happening if we first received a finalization event and then a new
|
|
// best event for some old stale best head.
|
|
if tree_route.retracted().iter().any(|x| x.hash == self.recent_finalized_block) {
|
|
log::debug!(
|
|
target: "txpool",
|
|
"Recently finalized block {} would be retracted by ChainEvent {}, skipping",
|
|
self.recent_finalized_block, new_hash
|
|
);
|
|
return Ok(EnactmentAction::Skip)
|
|
}
|
|
|
|
if finalized {
|
|
self.recent_finalized_block = new_hash;
|
|
|
|
// if there are no enacted blocks in best_block -> hash tree_route,
|
|
// it means that block being finalized was already enacted (this
|
|
// case also covers best_block == new_hash), recent_best_block
|
|
// remains valid.
|
|
if tree_route.enacted().is_empty() {
|
|
log::trace!(
|
|
target: "txpool",
|
|
"handle_enactment: no newly enacted blocks since recent best block"
|
|
);
|
|
return Ok(EnactmentAction::HandleFinalization)
|
|
}
|
|
|
|
// otherwise enacted finalized block becomes best block...
|
|
}
|
|
|
|
self.recent_best_block = new_hash;
|
|
|
|
Ok(EnactmentAction::HandleEnactment(tree_route))
|
|
}
|
|
|
|
/// Forces update of the state according to the given `ChainEvent`. Intended to be used as a
|
|
/// fallback when tree_route cannot be computed.
|
|
pub fn force_update(&mut self, event: &ChainEvent<Block>) {
|
|
match event {
|
|
ChainEvent::NewBestBlock { hash, .. } => self.recent_best_block = *hash,
|
|
ChainEvent::Finalized { hash, .. } => self.recent_finalized_block = *hash,
|
|
};
|
|
log::debug!(target: "txpool", "forced update: {:?}, {:?}", self.recent_best_block, self.recent_finalized_block);
|
|
}
|
|
}
|
|
|
|
#[cfg(test)]
|
|
mod enactment_state_tests {
|
|
use super::{EnactmentAction, EnactmentState};
|
|
use sc_transaction_pool_api::ChainEvent;
|
|
use sp_blockchain::{HashAndNumber, TreeRoute};
|
|
use sp_runtime::traits::NumberFor;
|
|
use std::sync::Arc;
|
|
use substrate_test_runtime_client::runtime::{Block, Hash};
|
|
|
|
// some helpers for convenient blocks' hash naming
|
|
fn a() -> HashAndNumber<Block> {
|
|
HashAndNumber { number: 1, hash: Hash::from([0xAA; 32]) }
|
|
}
|
|
fn b1() -> HashAndNumber<Block> {
|
|
HashAndNumber { number: 2, hash: Hash::from([0xB1; 32]) }
|
|
}
|
|
fn c1() -> HashAndNumber<Block> {
|
|
HashAndNumber { number: 3, hash: Hash::from([0xC1; 32]) }
|
|
}
|
|
fn d1() -> HashAndNumber<Block> {
|
|
HashAndNumber { number: 4, hash: Hash::from([0xD1; 32]) }
|
|
}
|
|
fn e1() -> HashAndNumber<Block> {
|
|
HashAndNumber { number: 5, hash: Hash::from([0xE1; 32]) }
|
|
}
|
|
fn x1() -> HashAndNumber<Block> {
|
|
HashAndNumber { number: 22, hash: Hash::from([0x1E; 32]) }
|
|
}
|
|
fn b2() -> HashAndNumber<Block> {
|
|
HashAndNumber { number: 2, hash: Hash::from([0xB2; 32]) }
|
|
}
|
|
fn c2() -> HashAndNumber<Block> {
|
|
HashAndNumber { number: 3, hash: Hash::from([0xC2; 32]) }
|
|
}
|
|
fn d2() -> HashAndNumber<Block> {
|
|
HashAndNumber { number: 4, hash: Hash::from([0xD2; 32]) }
|
|
}
|
|
fn e2() -> HashAndNumber<Block> {
|
|
HashAndNumber { number: 5, hash: Hash::from([0xE2; 32]) }
|
|
}
|
|
fn x2() -> HashAndNumber<Block> {
|
|
HashAndNumber { number: 22, hash: Hash::from([0x2E; 32]) }
|
|
}
|
|
|
|
fn test_chain() -> Vec<HashAndNumber<Block>> {
|
|
vec![x1(), e1(), d1(), c1(), b1(), a(), b2(), c2(), d2(), e2(), x2()]
|
|
}
|
|
|
|
fn block_hash_to_block_number(hash: Hash) -> Result<Option<NumberFor<Block>>, String> {
|
|
Ok(test_chain().iter().find(|x| x.hash == hash).map(|x| x.number))
|
|
}
|
|
|
|
/// mock tree_route computing function for simple two-forks chain
|
|
fn tree_route(from: Hash, to: Hash) -> Result<TreeRoute<Block>, String> {
|
|
let chain = test_chain();
|
|
let pivot = chain.iter().position(|x| x.number == a().number).unwrap();
|
|
|
|
let from = chain
|
|
.iter()
|
|
.position(|bn| bn.hash == from)
|
|
.ok_or("existing block should be given")?;
|
|
let to = chain
|
|
.iter()
|
|
.position(|bn| bn.hash == to)
|
|
.ok_or("existing block should be given")?;
|
|
|
|
// B1-C1-D1-E1-..-X1
|
|
// /
|
|
// A
|
|
// \
|
|
// B2-C2-D2-E2-..-X2
|
|
//
|
|
// [X1 E1 D1 C1 B1 A B2 C2 D2 E2 X2]
|
|
|
|
let vec: Vec<HashAndNumber<Block>> = if from < to {
|
|
chain.into_iter().skip(from).take(to - from + 1).collect()
|
|
} else {
|
|
chain.into_iter().skip(to).take(from - to + 1).rev().collect()
|
|
};
|
|
|
|
let pivot = if from <= pivot && to <= pivot {
|
|
if from < to {
|
|
to - from
|
|
} else {
|
|
0
|
|
}
|
|
} else if from >= pivot && to >= pivot {
|
|
if from < to {
|
|
0
|
|
} else {
|
|
from - to
|
|
}
|
|
} else {
|
|
if from < to {
|
|
pivot - from
|
|
} else {
|
|
from - pivot
|
|
}
|
|
};
|
|
|
|
TreeRoute::new(vec, pivot)
|
|
}
|
|
|
|
mod mock_tree_route_tests {
|
|
use super::*;
|
|
|
|
/// asserts that tree routes are equal
|
|
fn assert_treeroute_eq(
|
|
expected: Result<TreeRoute<Block>, String>,
|
|
result: Result<TreeRoute<Block>, String>,
|
|
) {
|
|
let expected = expected.unwrap();
|
|
let result = result.unwrap();
|
|
assert_eq!(result.common_block().hash, expected.common_block().hash);
|
|
assert_eq!(result.enacted().len(), expected.enacted().len());
|
|
assert_eq!(result.retracted().len(), expected.retracted().len());
|
|
assert!(result
|
|
.enacted()
|
|
.iter()
|
|
.zip(expected.enacted().iter())
|
|
.all(|(a, b)| a.hash == b.hash));
|
|
assert!(result
|
|
.retracted()
|
|
.iter()
|
|
.zip(expected.retracted().iter())
|
|
.all(|(a, b)| a.hash == b.hash));
|
|
}
|
|
|
|
// some tests for mock tree_route function
|
|
|
|
#[test]
|
|
fn tree_route_mock_test_01() {
|
|
let result = tree_route(b1().hash, a().hash);
|
|
let expected = TreeRoute::new(vec![b1(), a()], 1);
|
|
assert_treeroute_eq(result, expected);
|
|
}
|
|
|
|
#[test]
|
|
fn tree_route_mock_test_02() {
|
|
let result = tree_route(a().hash, b1().hash);
|
|
let expected = TreeRoute::new(vec![a(), b1()], 0);
|
|
assert_treeroute_eq(result, expected);
|
|
}
|
|
|
|
#[test]
|
|
fn tree_route_mock_test_03() {
|
|
let result = tree_route(a().hash, c2().hash);
|
|
let expected = TreeRoute::new(vec![a(), b2(), c2()], 0);
|
|
assert_treeroute_eq(result, expected);
|
|
}
|
|
|
|
#[test]
|
|
fn tree_route_mock_test_04() {
|
|
let result = tree_route(e2().hash, a().hash);
|
|
let expected = TreeRoute::new(vec![e2(), d2(), c2(), b2(), a()], 4);
|
|
assert_treeroute_eq(result, expected);
|
|
}
|
|
|
|
#[test]
|
|
fn tree_route_mock_test_05() {
|
|
let result = tree_route(d1().hash, b1().hash);
|
|
let expected = TreeRoute::new(vec![d1(), c1(), b1()], 2);
|
|
assert_treeroute_eq(result, expected);
|
|
}
|
|
|
|
#[test]
|
|
fn tree_route_mock_test_06() {
|
|
let result = tree_route(d2().hash, b2().hash);
|
|
let expected = TreeRoute::new(vec![d2(), c2(), b2()], 2);
|
|
assert_treeroute_eq(result, expected);
|
|
}
|
|
|
|
#[test]
|
|
fn tree_route_mock_test_07() {
|
|
let result = tree_route(b1().hash, d1().hash);
|
|
let expected = TreeRoute::new(vec![b1(), c1(), d1()], 0);
|
|
assert_treeroute_eq(result, expected);
|
|
}
|
|
|
|
#[test]
|
|
fn tree_route_mock_test_08() {
|
|
let result = tree_route(b2().hash, d2().hash);
|
|
let expected = TreeRoute::new(vec![b2(), c2(), d2()], 0);
|
|
assert_treeroute_eq(result, expected);
|
|
}
|
|
|
|
#[test]
|
|
fn tree_route_mock_test_09() {
|
|
let result = tree_route(e2().hash, e1().hash);
|
|
let expected =
|
|
TreeRoute::new(vec![e2(), d2(), c2(), b2(), a(), b1(), c1(), d1(), e1()], 4);
|
|
assert_treeroute_eq(result, expected);
|
|
}
|
|
|
|
#[test]
|
|
fn tree_route_mock_test_10() {
|
|
let result = tree_route(e1().hash, e2().hash);
|
|
let expected =
|
|
TreeRoute::new(vec![e1(), d1(), c1(), b1(), a(), b2(), c2(), d2(), e2()], 4);
|
|
assert_treeroute_eq(result, expected);
|
|
}
|
|
#[test]
|
|
fn tree_route_mock_test_11() {
|
|
let result = tree_route(b1().hash, c2().hash);
|
|
let expected = TreeRoute::new(vec![b1(), a(), b2(), c2()], 1);
|
|
assert_treeroute_eq(result, expected);
|
|
}
|
|
|
|
#[test]
|
|
fn tree_route_mock_test_12() {
|
|
let result = tree_route(d2().hash, b1().hash);
|
|
let expected = TreeRoute::new(vec![d2(), c2(), b2(), a(), b1()], 3);
|
|
assert_treeroute_eq(result, expected);
|
|
}
|
|
|
|
#[test]
|
|
fn tree_route_mock_test_13() {
|
|
let result = tree_route(c2().hash, e1().hash);
|
|
let expected = TreeRoute::new(vec![c2(), b2(), a(), b1(), c1(), d1(), e1()], 2);
|
|
assert_treeroute_eq(result, expected);
|
|
}
|
|
|
|
#[test]
|
|
fn tree_route_mock_test_14() {
|
|
let result = tree_route(b1().hash, b1().hash);
|
|
let expected = TreeRoute::new(vec![b1()], 0);
|
|
assert_treeroute_eq(result, expected);
|
|
}
|
|
|
|
#[test]
|
|
fn tree_route_mock_test_15() {
|
|
let result = tree_route(b2().hash, b2().hash);
|
|
let expected = TreeRoute::new(vec![b2()], 0);
|
|
assert_treeroute_eq(result, expected);
|
|
}
|
|
|
|
#[test]
|
|
fn tree_route_mock_test_16() {
|
|
let result = tree_route(a().hash, a().hash);
|
|
let expected = TreeRoute::new(vec![a()], 0);
|
|
assert_treeroute_eq(result, expected);
|
|
}
|
|
|
|
#[test]
|
|
fn tree_route_mock_test_17() {
|
|
let result = tree_route(x2().hash, b1().hash);
|
|
let expected = TreeRoute::new(vec![x2(), e2(), d2(), c2(), b2(), a(), b1()], 5);
|
|
assert_treeroute_eq(result, expected);
|
|
}
|
|
}
|
|
|
|
fn trigger_new_best_block(
|
|
state: &mut EnactmentState<Block>,
|
|
from: HashAndNumber<Block>,
|
|
acted_on: HashAndNumber<Block>,
|
|
) -> EnactmentAction<Block> {
|
|
let (from, acted_on) = (from.hash, acted_on.hash);
|
|
|
|
let event_tree_route = tree_route(from, acted_on).expect("Tree route exists");
|
|
|
|
state
|
|
.update(
|
|
&ChainEvent::NewBestBlock {
|
|
hash: acted_on,
|
|
tree_route: Some(Arc::new(event_tree_route)),
|
|
},
|
|
&tree_route,
|
|
&block_hash_to_block_number,
|
|
)
|
|
.unwrap()
|
|
}
|
|
|
|
fn trigger_finalized(
|
|
state: &mut EnactmentState<Block>,
|
|
from: HashAndNumber<Block>,
|
|
acted_on: HashAndNumber<Block>,
|
|
) -> EnactmentAction<Block> {
|
|
let (from, acted_on) = (from.hash, acted_on.hash);
|
|
|
|
let v = tree_route(from, acted_on)
|
|
.expect("Tree route exists")
|
|
.enacted()
|
|
.iter()
|
|
.map(|h| h.hash)
|
|
.collect::<Vec<_>>();
|
|
|
|
state
|
|
.update(
|
|
&ChainEvent::Finalized { hash: acted_on, tree_route: v.into() },
|
|
&tree_route,
|
|
&block_hash_to_block_number,
|
|
)
|
|
.unwrap()
|
|
}
|
|
|
|
fn assert_es_eq(
|
|
es: &EnactmentState<Block>,
|
|
expected_best_block: HashAndNumber<Block>,
|
|
expected_finalized_block: HashAndNumber<Block>,
|
|
) {
|
|
assert_eq!(es.recent_best_block, expected_best_block.hash);
|
|
assert_eq!(es.recent_finalized_block, expected_finalized_block.hash);
|
|
}
|
|
|
|
#[test]
|
|
fn test_enactment_helper() {
|
|
sp_tracing::try_init_simple();
|
|
let mut es = EnactmentState::new(a().hash, a().hash);
|
|
|
|
// B1-C1-D1-E1
|
|
// /
|
|
// A
|
|
// \
|
|
// B2-C2-D2-E2
|
|
|
|
let result = trigger_new_best_block(&mut es, a(), d1());
|
|
assert!(matches!(result, EnactmentAction::HandleEnactment { .. }));
|
|
assert_es_eq(&es, d1(), a());
|
|
|
|
let result = trigger_new_best_block(&mut es, d1(), e1());
|
|
assert!(matches!(result, EnactmentAction::HandleEnactment { .. }));
|
|
assert_es_eq(&es, e1(), a());
|
|
|
|
let result = trigger_finalized(&mut es, a(), d2());
|
|
assert!(matches!(result, EnactmentAction::HandleEnactment { .. }));
|
|
assert_es_eq(&es, d2(), d2());
|
|
|
|
let result = trigger_new_best_block(&mut es, d2(), e1());
|
|
assert!(matches!(result, EnactmentAction::Skip));
|
|
assert_es_eq(&es, d2(), d2());
|
|
|
|
let result = trigger_finalized(&mut es, a(), b2());
|
|
assert!(matches!(result, EnactmentAction::Skip));
|
|
assert_es_eq(&es, d2(), d2());
|
|
|
|
let result = trigger_finalized(&mut es, a(), b1());
|
|
assert!(matches!(result, EnactmentAction::Skip));
|
|
assert_es_eq(&es, d2(), d2());
|
|
|
|
let result = trigger_new_best_block(&mut es, a(), d2());
|
|
assert!(matches!(result, EnactmentAction::Skip));
|
|
assert_es_eq(&es, d2(), d2());
|
|
|
|
let result = trigger_finalized(&mut es, a(), d2());
|
|
assert!(matches!(result, EnactmentAction::Skip));
|
|
assert_es_eq(&es, d2(), d2());
|
|
|
|
let result = trigger_new_best_block(&mut es, a(), c2());
|
|
assert!(matches!(result, EnactmentAction::Skip));
|
|
assert_es_eq(&es, d2(), d2());
|
|
|
|
let result = trigger_new_best_block(&mut es, a(), c1());
|
|
assert!(matches!(result, EnactmentAction::Skip));
|
|
assert_es_eq(&es, d2(), d2());
|
|
|
|
let result = trigger_new_best_block(&mut es, d2(), e2());
|
|
assert!(matches!(result, EnactmentAction::HandleEnactment { .. }));
|
|
assert_es_eq(&es, e2(), d2());
|
|
|
|
let result = trigger_finalized(&mut es, d2(), e2());
|
|
assert!(matches!(result, EnactmentAction::HandleFinalization));
|
|
assert_es_eq(&es, e2(), e2());
|
|
}
|
|
|
|
#[test]
|
|
fn test_enactment_helper_2() {
|
|
sp_tracing::try_init_simple();
|
|
let mut es = EnactmentState::new(a().hash, a().hash);
|
|
|
|
// A-B1-C1-D1-E1
|
|
|
|
let result = trigger_new_best_block(&mut es, a(), b1());
|
|
assert!(matches!(result, EnactmentAction::HandleEnactment { .. }));
|
|
assert_es_eq(&es, b1(), a());
|
|
|
|
let result = trigger_new_best_block(&mut es, b1(), c1());
|
|
assert!(matches!(result, EnactmentAction::HandleEnactment { .. }));
|
|
assert_es_eq(&es, c1(), a());
|
|
|
|
let result = trigger_new_best_block(&mut es, c1(), d1());
|
|
assert!(matches!(result, EnactmentAction::HandleEnactment { .. }));
|
|
assert_es_eq(&es, d1(), a());
|
|
|
|
let result = trigger_new_best_block(&mut es, d1(), e1());
|
|
assert!(matches!(result, EnactmentAction::HandleEnactment { .. }));
|
|
assert_es_eq(&es, e1(), a());
|
|
|
|
let result = trigger_finalized(&mut es, a(), c1());
|
|
assert!(matches!(result, EnactmentAction::HandleFinalization));
|
|
assert_es_eq(&es, e1(), c1());
|
|
|
|
let result = trigger_finalized(&mut es, c1(), e1());
|
|
assert!(matches!(result, EnactmentAction::HandleFinalization));
|
|
assert_es_eq(&es, e1(), e1());
|
|
}
|
|
|
|
#[test]
|
|
fn test_enactment_helper_3() {
|
|
sp_tracing::try_init_simple();
|
|
let mut es = EnactmentState::new(a().hash, a().hash);
|
|
|
|
// A-B1-C1-D1-E1
|
|
|
|
let result = trigger_new_best_block(&mut es, a(), e1());
|
|
assert!(matches!(result, EnactmentAction::HandleEnactment { .. }));
|
|
assert_es_eq(&es, e1(), a());
|
|
|
|
let result = trigger_finalized(&mut es, a(), b1());
|
|
assert!(matches!(result, EnactmentAction::HandleFinalization));
|
|
assert_es_eq(&es, e1(), b1());
|
|
}
|
|
|
|
#[test]
|
|
fn test_enactment_helper_4() {
|
|
sp_tracing::try_init_simple();
|
|
let mut es = EnactmentState::new(a().hash, a().hash);
|
|
|
|
// A-B1-C1-D1-E1
|
|
|
|
let result = trigger_finalized(&mut es, a(), e1());
|
|
assert!(matches!(result, EnactmentAction::HandleEnactment { .. }));
|
|
assert_es_eq(&es, e1(), e1());
|
|
|
|
let result = trigger_finalized(&mut es, e1(), b1());
|
|
assert!(matches!(result, EnactmentAction::Skip));
|
|
assert_es_eq(&es, e1(), e1());
|
|
}
|
|
|
|
#[test]
|
|
fn test_enactment_helper_5() {
|
|
sp_tracing::try_init_simple();
|
|
let mut es = EnactmentState::new(a().hash, a().hash);
|
|
|
|
// B1-C1-D1-E1
|
|
// /
|
|
// A
|
|
// \
|
|
// B2-C2-D2-E2
|
|
|
|
let result = trigger_finalized(&mut es, a(), e1());
|
|
assert!(matches!(result, EnactmentAction::HandleEnactment { .. }));
|
|
assert_es_eq(&es, e1(), e1());
|
|
|
|
let result = trigger_finalized(&mut es, e1(), e2());
|
|
assert!(matches!(result, EnactmentAction::Skip));
|
|
assert_es_eq(&es, e1(), e1());
|
|
}
|
|
|
|
#[test]
|
|
fn test_enactment_helper_6() {
|
|
sp_tracing::try_init_simple();
|
|
let mut es = EnactmentState::new(a().hash, a().hash);
|
|
|
|
// A-B1-C1-D1-E1
|
|
|
|
let result = trigger_new_best_block(&mut es, a(), b1());
|
|
assert!(matches!(result, EnactmentAction::HandleEnactment { .. }));
|
|
assert_es_eq(&es, b1(), a());
|
|
|
|
let result = trigger_finalized(&mut es, a(), d1());
|
|
assert!(matches!(result, EnactmentAction::HandleEnactment { .. }));
|
|
assert_es_eq(&es, d1(), d1());
|
|
|
|
let result = trigger_new_best_block(&mut es, a(), e1());
|
|
assert!(matches!(result, EnactmentAction::HandleEnactment { .. }));
|
|
assert_es_eq(&es, e1(), d1());
|
|
|
|
let result = trigger_new_best_block(&mut es, a(), c1());
|
|
assert!(matches!(result, EnactmentAction::Skip));
|
|
assert_es_eq(&es, e1(), d1());
|
|
}
|
|
|
|
#[test]
|
|
fn test_enactment_forced_update_best_block() {
|
|
sp_tracing::try_init_simple();
|
|
let mut es = EnactmentState::new(a().hash, a().hash);
|
|
|
|
es.force_update(&ChainEvent::NewBestBlock { hash: b1().hash, tree_route: None });
|
|
assert_es_eq(&es, b1(), a());
|
|
}
|
|
|
|
#[test]
|
|
fn test_enactment_forced_update_finalize() {
|
|
sp_tracing::try_init_simple();
|
|
let mut es = EnactmentState::new(a().hash, a().hash);
|
|
|
|
es.force_update(&ChainEvent::Finalized { hash: b1().hash, tree_route: Arc::from([]) });
|
|
assert_es_eq(&es, a(), b1());
|
|
}
|
|
|
|
#[test]
|
|
fn test_enactment_skip_long_enacted_path() {
|
|
sp_tracing::try_init_simple();
|
|
let mut es = EnactmentState::new(a().hash, a().hash);
|
|
|
|
// A-B1-C1-..-X1
|
|
let result = trigger_new_best_block(&mut es, a(), x1());
|
|
assert!(matches!(result, EnactmentAction::Skip));
|
|
assert_es_eq(&es, x1(), a());
|
|
}
|
|
|
|
#[test]
|
|
fn test_enactment_proceed_with_enacted_path_at_threshold() {
|
|
sp_tracing::try_init_simple();
|
|
let mut es = EnactmentState::new(b1().hash, b1().hash);
|
|
|
|
// A-B1-C1-..-X1
|
|
let result = trigger_new_best_block(&mut es, b1(), x1());
|
|
assert!(matches!(result, EnactmentAction::HandleEnactment { .. }));
|
|
assert_es_eq(&es, x1(), b1());
|
|
}
|
|
}
|