Skip to content

Commit

Permalink
PoV Reclaim (Clawback) Node Side (paritytech#1462)
Browse files Browse the repository at this point in the history
This PR provides the infrastructure for the pov-reclaim mechanism
discussed in paritytech#209. The goal is to provide the current proof size to the
runtime so it can be used to reclaim storage weight.

## New Host Function
- A new host function is provided
[here](https://github.com/skunert/polkadot-sdk/blob/5b317fda3be205f4136f10d4490387ccd4f9765d/cumulus/primitives/pov-reclaim/src/lib.rs#L23).
It returns the size of the current proof size to the runtime. If
recording is not enabled, it returns 0.

## Implementation Overview
- Implement option to enable proof recording during import in the
client. This is currently enabled for `polkadot-parachain`,
`parachain-template` and the cumulus test node.
- Make the proof recorder ready for no-std. It was previously only
enabled for std environments, but we need to record the proof size in
`validate_block` too.
- Provide a recorder implementation that only the records the size of
incoming nodes and does not store the nodes itself.
- Fix benchmarks that were broken by async backing changes
- Provide new externalities extension that is registered by default if
proof recording is enabled.
- I think we should discuss the naming, pov-reclaim was more intuitive
to me, but we could also go with clawback like in the issue.

## Impact of proof recording during import
With proof recording: 6.3058 Kelem/s
Without proof recording: 6.3427 Kelem/s

The measured impact on the importing performance is quite low on my
machine using the block import benchmark. With proof recording I am
seeing a performance hit of 0.585%.

---------

Co-authored-by: command-bot <>
Co-authored-by: Davide Galassi <[email protected]>
Co-authored-by: Bastian Köcher <[email protected]>
  • Loading branch information
3 people authored Nov 30, 2023
1 parent 3a6d7cb commit aa5614b
Show file tree
Hide file tree
Showing 17 changed files with 314 additions and 170 deletions.
5 changes: 1 addition & 4 deletions substrate/client/api/src/execution_extensions.rs
Original file line number Diff line number Diff line change
Expand Up @@ -91,7 +91,6 @@ impl<Block: BlockT, Ext: Default + Extension> ExtensionsFactory<Block>
///
/// This crate aggregates extensions available for the offchain calls
/// and is responsible for producing a correct `Extensions` object.
/// for each call, based on required `Capabilities`.
pub struct ExecutionExtensions<Block: BlockT> {
extensions_factory: RwLock<Box<dyn ExtensionsFactory<Block>>>,
read_runtime_version: Arc<dyn ReadRuntimeVersion>,
Expand All @@ -116,8 +115,7 @@ impl<Block: BlockT> ExecutionExtensions<Block> {
*self.extensions_factory.write() = Box::new(maker);
}

/// Based on the execution context and capabilities it produces
/// the extensions object to support desired set of APIs.
/// Produces default extensions based on the input parameters.
pub fn extensions(
&self,
block_hash: Block::Hash,
Expand All @@ -127,7 +125,6 @@ impl<Block: BlockT> ExecutionExtensions<Block> {
self.extensions_factory.read().extensions_for(block_hash, block_number);

extensions.register(ReadRuntimeVersionExt::new(self.read_runtime_version.clone()));

extensions
}
}
1 change: 1 addition & 0 deletions substrate/client/block-builder/Cargo.toml
Original file line number Diff line number Diff line change
Expand Up @@ -20,6 +20,7 @@ sp-api = { path = "../../primitives/api" }
sp-block-builder = { path = "../../primitives/block-builder" }
sp-blockchain = { path = "../../primitives/blockchain" }
sp-core = { path = "../../primitives/core" }
sp-trie = { path = "../../primitives/trie" }
sp-inherents = { path = "../../primitives/inherents" }
sp-runtime = { path = "../../primitives/runtime" }

Expand Down
5 changes: 5 additions & 0 deletions substrate/client/block-builder/src/lib.rs
Original file line number Diff line number Diff line change
Expand Up @@ -42,6 +42,7 @@ use sp_runtime::{
use std::marker::PhantomData;

pub use sp_block_builder::BlockBuilder as BlockBuilderApi;
use sp_trie::proof_size_extension::ProofSizeExt;

/// A builder for creating an instance of [`BlockBuilder`].
pub struct BlockBuilderBuilder<'a, B, C> {
Expand Down Expand Up @@ -235,6 +236,10 @@ where

if record_proof {
api.record_proof();
let recorder = api
.proof_recorder()
.expect("Proof recording is enabled in the line above; qed.");
api.register_extension(ProofSizeExt::new(recorder));
}

api.set_call_context(CallContext::Onchain);
Expand Down
26 changes: 24 additions & 2 deletions substrate/client/service/src/builder.rs
Original file line number Diff line number Diff line change
Expand Up @@ -130,10 +130,11 @@ where
}

/// Create the initial parts of a full node with the default genesis block builder.
pub fn new_full_parts<TBl, TRtApi, TExec>(
pub fn new_full_parts_record_import<TBl, TRtApi, TExec>(
config: &Configuration,
telemetry: Option<TelemetryHandle>,
executor: TExec,
enable_import_proof_recording: bool,
) -> Result<TFullParts<TBl, TRtApi, TExec>, Error>
where
TBl: BlockT,
Expand All @@ -148,7 +149,26 @@ where
executor.clone(),
)?;

new_full_parts_with_genesis_builder(config, telemetry, executor, backend, genesis_block_builder)
new_full_parts_with_genesis_builder(
config,
telemetry,
executor,
backend,
genesis_block_builder,
enable_import_proof_recording,
)
}
/// Create the initial parts of a full node with the default genesis block builder.
pub fn new_full_parts<TBl, TRtApi, TExec>(
config: &Configuration,
telemetry: Option<TelemetryHandle>,
executor: TExec,
) -> Result<TFullParts<TBl, TRtApi, TExec>, Error>
where
TBl: BlockT,
TExec: CodeExecutor + RuntimeVersionOf + Clone,
{
new_full_parts_record_import(config, telemetry, executor, false)
}

/// Create the initial parts of a full node.
Expand All @@ -158,6 +178,7 @@ pub fn new_full_parts_with_genesis_builder<TBl, TRtApi, TExec, TBuildGenesisBloc
executor: TExec,
backend: Arc<TFullBackend<TBl>>,
genesis_block_builder: TBuildGenesisBlock,
enable_import_proof_recording: bool,
) -> Result<TFullParts<TBl, TRtApi, TExec>, Error>
where
TBl: BlockT,
Expand Down Expand Up @@ -225,6 +246,7 @@ where
SyncMode::LightState { .. } | SyncMode::Warp { .. }
),
wasm_runtime_substitutes,
enable_import_proof_recording,
},
)?;

Expand Down
15 changes: 13 additions & 2 deletions substrate/client/service/src/client/client.rs
Original file line number Diff line number Diff line change
Expand Up @@ -77,7 +77,7 @@ use sp_state_machine::{
ChildStorageCollection, KeyValueStates, KeyValueStorageLevel, StorageCollection,
MAX_NESTED_TRIE_DEPTH,
};
use sp_trie::{CompactProof, MerkleValue, StorageProof};
use sp_trie::{proof_size_extension::ProofSizeExt, CompactProof, MerkleValue, StorageProof};
use std::{
collections::{HashMap, HashSet},
marker::PhantomData,
Expand Down Expand Up @@ -184,7 +184,7 @@ where
)
}

/// Relevant client configuration items relevant for the client.
/// Client configuration items.
#[derive(Debug, Clone)]
pub struct ClientConfig<Block: BlockT> {
/// Enable the offchain worker db.
Expand All @@ -198,6 +198,8 @@ pub struct ClientConfig<Block: BlockT> {
/// Map of WASM runtime substitute starting at the child of the given block until the runtime
/// version doesn't match anymore.
pub wasm_runtime_substitutes: HashMap<NumberFor<Block>, Vec<u8>>,
/// Enable recording of storage proofs during block import
pub enable_import_proof_recording: bool,
}

impl<Block: BlockT> Default for ClientConfig<Block> {
Expand All @@ -208,6 +210,7 @@ impl<Block: BlockT> Default for ClientConfig<Block> {
wasm_runtime_overrides: None,
no_genesis: false,
wasm_runtime_substitutes: HashMap::new(),
enable_import_proof_recording: false,
}
}
}
Expand Down Expand Up @@ -858,6 +861,14 @@ where

runtime_api.set_call_context(CallContext::Onchain);

if self.config.enable_import_proof_recording {
runtime_api.record_proof();
let recorder = runtime_api
.proof_recorder()
.expect("Proof recording is enabled in the line above; qed.");
runtime_api.register_extension(ProofSizeExt::new(recorder));
}

runtime_api.execute_block(
*parent_hash,
Block::new(import_block.header.clone(), body.clone()),
Expand Down
7 changes: 4 additions & 3 deletions substrate/client/service/src/lib.rs
Original file line number Diff line number Diff line change
Expand Up @@ -53,9 +53,10 @@ use sp_runtime::traits::{Block as BlockT, Header as HeaderT};
pub use self::{
builder::{
build_network, new_client, new_db_backend, new_full_client, new_full_parts,
new_full_parts_with_genesis_builder, new_native_or_wasm_executor, new_wasm_executor,
spawn_tasks, BuildNetworkParams, KeystoreContainer, NetworkStarter, SpawnTasksParams,
TFullBackend, TFullCallExecutor, TFullClient,
new_full_parts_record_import, new_full_parts_with_genesis_builder,
new_native_or_wasm_executor, new_wasm_executor, spawn_tasks, BuildNetworkParams,
KeystoreContainer, NetworkStarter, SpawnTasksParams, TFullBackend, TFullCallExecutor,
TFullClient,
},
client::{ClientConfig, LocalCallExecutor},
error::Error,
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -253,7 +253,7 @@ pub fn construct_runtime(input: TokenStream) -> TokenStream {
let res = res.unwrap_or_else(|e| e.to_compile_error());

let res = expander::Expander::new("construct_runtime")
.dry(std::env::var("FRAME_EXPAND").is_err())
.dry(std::env::var("EXPAND_MACROS").is_err())
.verbose(true)
.write_to_out_dir(res)
.expect("Does not fail because of IO in OUT_DIR; qed");
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -729,7 +729,7 @@ fn decl_runtime_apis_impl_inner(api_decls: &[ItemTrait]) -> Result<TokenStream>
};

let decl = expander::Expander::new("decl_runtime_apis")
.dry(std::env::var("SP_API_EXPAND").is_err())
.dry(std::env::var("EXPAND_MACROS").is_err())
.verbose(true)
.write_to_out_dir(decl)
.expect("Does not fail because of IO in OUT_DIR; qed");
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -846,7 +846,7 @@ fn impl_runtime_apis_impl_inner(api_impls: &[ItemImpl]) -> Result<TokenStream> {
);

let impl_ = expander::Expander::new("impl_runtime_apis")
.dry(std::env::var("SP_API_EXPAND").is_err())
.dry(std::env::var("EXPAND_MACROS").is_err())
.verbose(true)
.write_to_out_dir(impl_)
.expect("Does not fail because of IO in OUT_DIR; qed");
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -20,4 +20,5 @@ Inflector = "0.11.4"
proc-macro-crate = "1.1.3"
proc-macro2 = "1.0.56"
quote = "1.0.28"
expander = "2.0.0"
syn = { version = "2.0.38", features = ["full", "visit", "fold", "extra-traits"] }
Original file line number Diff line number Diff line change
Expand Up @@ -68,5 +68,11 @@ pub fn runtime_interface_impl(
}
};

let res = expander::Expander::new("runtime_interface")
.dry(std::env::var("EXPAND_MACROS").is_err())
.verbose(true)
.write_to_out_dir(res)
.expect("Does not fail because of IO in OUT_DIR; qed");

Ok(res)
}
Loading

0 comments on commit aa5614b

Please sign in to comment.