Struct frame_executive::Executive

pub struct Executive<System, Block, Context, UnsignedValidator, AllPalletsWithSystem, OnRuntimeUpgrade = ()>(_);

Main entry point for certain runtime actions as e.g. execute_block.

Generic parameters:

• System: Something that implements frame_system::Config

• Block: The block type of the runtime

• Context: The context that is used when checking an extrinsic.

• UnsignedValidator: The unsigned transaction validator of the runtime.

• AllPalletsWithSystem: Tuple that contains all pallets including frame system pallet. Will be used to call hooks e.g. on_initialize.

• OnRuntimeUpgrade: Custom logic that should be called after a runtime upgrade. Modules are already called by AllPalletsWithSystem. It will be called before all modules will be called.

  Executive implements ExecuteBlock that provieds two methods

  • execute_block that is responsible for execution of relay chain blocks (origin substrate impl)
  • execute_block_ver that is responsible for execution of parachain chain blocks (ver mangata impl)

VER block execution

Upon block execution.

• (if any) previous block extrinsics are executed, they are fetched from a queue that is field count, it is used for notifying how many txs were fetched and executed by collator when the block was build. That information can be used to fetch specific amount of txs at once during block execution process. Every network participant needs to fetch and execute exactly same amount of txs from the storage queue to reach exactly the same state as block author.
• (if any) new txs that were just collected from transaction pool are persisted into the storage

VER block execution includes number of steps that are not present in origin impl:

• shuffling seed validation
• enqueued txs size & weight limits validation
• validation of txs listed in block body
• malicious collator prevention (decoding txs)

flowchart TD A[Start] --> B{Is new shuffling seed valid} B -- Yes --> C[Store shufling seed in runtime storage] C --> D{Fetch Header::count
txs from storage queue} D -- Fail --> E D -- OK --> F{Number of executed txs} F -- >0 --> G{StorageQeueu::is_empty
or Header::count >0} F -- 0 --> H G -- No --> E G -- Yes --> H{extrinsics from block body
== txs popped from
StorageQueue } H -- No --> E H -- Yes --> I{Verify that there are no new
enqueued txs if there is no room
in storage queue} I -- Fail --> E I -- Ok --> J{validate if local state == Header::state_root} J -- OK --> K[Accept block] B -- No ----> E[Reject block]

Implementations

impl<System: Config + EnsureInherentsAreFirst<Block>, Block: Block<Header = HeaderFor<System>, Hash = System::Hash>, Context: Default, UnsignedValidator, AllPalletsWithSystem: OnRuntimeUpgrade + OnInitialize<BlockNumberFor<System>> + OnIdle<BlockNumberFor<System>> + OnFinalize<BlockNumberFor<System>> + OffchainWorker<BlockNumberFor<System>>, COnRuntimeUpgrade: OnRuntimeUpgrade> Executive<System, Block, Context, UnsignedValidator, AllPalletsWithSystem, COnRuntimeUpgrade>where Block::Extrinsic: IdentifyAccountWithLookup<Context> + Checkable<Context> + Codec + GetDispatchInfo, CheckedOf<Block::Extrinsic, Context>: Applyable + GetDispatchInfo, CallOf<Block::Extrinsic, Context>: Dispatchable<Info = DispatchInfo, PostInfo = PostDispatchInfo> + ExtendedCall, OriginOf<Block::Extrinsic, Context>: From<Option<System::AccountId>>, UnsignedValidator: ValidateUnsigned<Call = CallOf<Block::Extrinsic, Context>>,

pub fn execute_on_runtime_upgrade() -> Weight

Execute all OnRuntimeUpgrade of this runtime, and return the aggregate weight.

pub fn initialize_block(header: &HeaderFor<System>)

Start the execution of a particular block.

pub fn execute_block(block: Block)

Actually execute all transitions for block.

pub fn execute_block_ver_impl(block: Block, public: Vec<u8>)

Actually execute all transitions for block.

pub fn finalize_block() -> HeaderFor<System>

Finalize the block - it is up the caller to ensure that all header fields are valid except state-root.

pub fn apply_extrinsic(uxt: Block::Extrinsic) -> ApplyExtrinsicResult

Apply extrinsic outside of the block execution function.

This doesn’t attempt to validate anything regarding the block, but it builds a list of uxt hashes.

pub fn validate_transaction( source: TransactionSource, uxt: Block::Extrinsic, block_hash: Block::Hash ) -> TransactionValidity

Check a given signed transaction for validity. This doesn’t execute any side-effects; it merely checks whether the transaction would panic if it were included or not.

Changes made to storage should be discarded.

pub fn offchain_worker(header: &HeaderFor<System>)

Start an offchain worker and generate extrinsics.

Trait Implementations

impl<System: Config + EnsureInherentsAreFirst<Block>, Block: Block<Header = HeaderFor<System>, Hash = System::Hash>, Context: Default, UnsignedValidator, AllPalletsWithSystem: OnRuntimeUpgrade + OnInitialize<BlockNumberFor<System>> + OnIdle<BlockNumberFor<System>> + OnFinalize<BlockNumberFor<System>> + OffchainWorker<BlockNumberFor<System>>, COnRuntimeUpgrade: OnRuntimeUpgrade> ExecuteBlock<Block> for Executive<System, Block, Context, UnsignedValidator, AllPalletsWithSystem, COnRuntimeUpgrade>where Block::Extrinsic: IdentifyAccountWithLookup<Context> + Checkable<Context> + Codec + GetDispatchInfo, CheckedOf<Block::Extrinsic, Context>: Applyable + GetDispatchInfo, CallOf<Block::Extrinsic, Context>: Dispatchable<Info = DispatchInfo, PostInfo = PostDispatchInfo> + ExtendedCall, OriginOf<Block::Extrinsic, Context>: From<Option<System::AccountId>>, UnsignedValidator: ValidateUnsigned<Call = CallOf<Block::Extrinsic, Context>>,

fn execute_block(block: Block)

Execute the given block.

fn execute_block_ver(block: Block, public: Vec<u8>)

Execute the given block performing VER shuffling seed verification