Skip to main content

Mailbox

Struct Mailbox 

Source
pub struct Mailbox<S: Scheme, V: Variant> { /* private fields */ }
Expand description

A mailbox for sending messages to the marshal Actor.

Implementations§

Source§

impl<S: Scheme, V: Variant> Mailbox<S, V>

Source

pub async fn get_info( &self, identifier: impl Into<Identifier<<V::Block as Digestible>::Digest>>, ) -> Option<(Height, <V::Block as Digestible>::Digest)>

A request to retrieve the information about the highest finalized block.

Source

pub async fn get_block( &self, identifier: impl Into<Identifier<<V::Block as Digestible>::Digest>>, ) -> Option<V::Block>

A best-effort attempt to retrieve a given block from local storage. It is not an indication to go fetch the block from the network.

Source

pub async fn get_finalization( &self, height: Height, ) -> Option<Finalization<S, V::Commitment>>

A best-effort attempt to retrieve a given Finalization from local storage. It is not an indication to go fetch the Finalization from the network.

Source

pub async fn hint_finalized( &self, height: Height, targets: NonEmptyVec<S::PublicKey>, )

Hints that a finalized block may be available at the given height.

This method will request the finalization from the network via the resolver if it is not available locally.

Targets are required because this is typically called when a peer claims to be ahead. By targeting only those peers, we limit who we ask. If a target returns invalid data, they will be blocked by the resolver. If targets don’t respond or return “no data”, they effectively rate-limit themselves.

Calling this multiple times for the same height with different targets will add to the target set if there is an ongoing fetch, allowing more peers to be tried.

This is fire-and-forget: the finalization will be stored in marshal and delivered via the normal finalization flow when available.

The height must be covered by both the epocher and the provider. If the epocher cannot map the height to an epoch, or the provider cannot supply a scheme for that epoch, the hint is silently dropped.

Source

pub async fn subscribe_by_digest( &self, round: Option<Round>, digest: <V::Block as Digestible>::Digest, ) -> Receiver<V::Block>

Subscribe to a block by its digest.

If the block is found available locally, the block will be returned immediately.

If the block is not available locally, the request will be registered and the caller will be notified when the block is available. If the block is not finalized, it’s possible that it may never become available.

The oneshot receiver should be dropped to cancel the subscription.

Source

pub async fn subscribe_by_commitment( &self, round: Option<Round>, commitment: V::Commitment, ) -> Receiver<V::Block>

Subscribe to a block by its commitment.

If the block is found available locally, the block will be returned immediately.

If the block is not available locally, the request will be registered and the caller will be notified when the block is available. If the block is not finalized, it’s possible that it may never become available.

The oneshot receiver should be dropped to cancel the subscription.

Source

pub async fn ancestry( &self, __arg1: (Option<Round>, <V::Block as Digestible>::Digest), ) -> Option<AncestorStream<Self, V::ApplicationBlock>>

Returns an AncestorStream over the ancestry of a given block, leading up to genesis.

If the starting block is not found, None is returned.

Source

pub async fn proposed(&self, round: Round, block: V::Block)

Requests that a proposed block is sent to peers.

Source

pub async fn verified(&self, round: Round, block: V::Block)

Notifies the actor that a block has been verified.

Source

pub async fn set_floor(&self, height: Height)

Sets the sync starting point (advances if higher than current).

Marshal will sync and deliver blocks starting at floor + 1. Data below the floor is pruned.

To prune data without affecting the sync starting point (say at some trailing depth from tip), use Self::prune instead.

The default floor is 0.

Source

pub async fn prune(&self, height: Height)

Prunes finalized blocks and certificates below the given height.

Unlike Self::set_floor, this does not affect the sync starting point. The height must be at or below the current floor (last processed height), otherwise the prune request is ignored.

A prune request for a height above marshal’s current floor is dropped.

Source

pub async fn forward( &self, round: Round, commitment: V::Commitment, peers: Vec<S::PublicKey>, )

Forward a block to a set of peers.

Trait Implementations§

Source§

impl<S: Scheme, V: Variant> BlockProvider for Mailbox<S, V>

Source§

type Block = <V as Variant>::ApplicationBlock

The block type the provider fetches.
Source§

async fn fetch_block( self, digest: <V::Block as Digestible>::Digest, ) -> Option<Self::Block>

A request to retrieve a block by its digest. Read more
Source§

impl<S: Clone + Scheme, V: Clone + Variant> Clone for Mailbox<S, V>

Source§

fn clone(&self) -> Mailbox<S, V>

Returns a duplicate of the value. Read more
1.0.0 · Source§

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source. Read more
Source§

impl<S: Scheme, V: Variant> Reporter for Mailbox<S, V>

Source§

type Activity = Activity<S, <V as Variant>::Commitment>

Activity is specified by the underlying consensus implementation and can be interpreted if desired. Read more
Source§

async fn report(&mut self, activity: Self::Activity)

Report some activity observed by the consensus implementation.

Auto Trait Implementations§

§

impl<S, V> Freeze for Mailbox<S, V>

§

impl<S, V> RefUnwindSafe for Mailbox<S, V>

§

impl<S, V> Send for Mailbox<S, V>

§

impl<S, V> Sync for Mailbox<S, V>

§

impl<S, V> Unpin for Mailbox<S, V>

§

impl<S, V> UnsafeUnpin for Mailbox<S, V>

§

impl<S, V> UnwindSafe for Mailbox<S, V>

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T> CloneToUninit for T
where T: Clone,

Source§

unsafe fn clone_to_uninit(&self, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dest. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T> FromRef<T> for T
where T: Clone,

Source§

fn from_ref(input: &T) -> T

Converts to this type from a reference to the input type.
Source§

impl<T> FutureExt for T

Source§

fn with_context(self, otel_cx: Context) -> WithContext<Self>

Attaches the provided Context to this type, returning a WithContext wrapper. Read more
Source§

fn with_current_context(self) -> WithContext<Self>

Attaches the current Context to this type, returning a WithContext wrapper. Read more
Source§

impl<T> Instrument for T

Source§

fn instrument(self, span: Span) -> Instrumented<Self>

Instruments this type with the provided Span, returning an Instrumented wrapper. Read more
Source§

fn in_current_span(self) -> Instrumented<Self>

Instruments this type with the current Span, returning an Instrumented wrapper. Read more
Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<B> IntoBlock<B> for B
where B: Clone + Send,

Source§

fn into_block(self) -> B

Convert this cached block into the underlying block type.
Source§

impl<T> IntoEither for T

Source§

fn into_either(self, into_left: bool) -> Either<Self, Self>

Converts self into a Left variant of Either<Self, Self> if into_left is true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
Source§

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

Converts self into a Left variant of Either<Self, Self> if into_left(&self) returns true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
Source§

impl<T> Pointable for T

Source§

const ALIGN: usize

The alignment of pointer.
Source§

type Init = T

The type for initializers.
Source§

unsafe fn init(init: <T as Pointable>::Init) -> usize

Initializes a with the given initializer. Read more
Source§

unsafe fn deref<'a>(ptr: usize) -> &'a T

Dereferences the given pointer. Read more
Source§

unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T

Mutably dereferences the given pointer. Read more
Source§

unsafe fn drop(ptr: usize)

Drops the object pointed to by the given pointer. Read more
Source§

impl<T> PolicyExt for T
where T: ?Sized,

Source§

fn and<P, B, E>(self, other: P) -> And<T, P>
where T: Policy<B, E>, P: Policy<B, E>,

Create a new Policy that returns Action::Follow only if self and other return Action::Follow. Read more
Source§

fn or<P, B, E>(self, other: P) -> Or<T, P>
where T: Policy<B, E>, P: Policy<B, E>,

Create a new Policy that returns Action::Follow if either self or other returns Action::Follow. Read more
Source§

impl<T> Same for T

Source§

type Output = T

Should always be Self
Source§

impl<T> ToOwned for T
where T: Clone,

Source§

type Owned = T

The resulting type after obtaining ownership.
Source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
Source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
Source§

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

Source§

fn vzip(self) -> V

Source§

impl<T> WithSubscriber for T

Source§

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
where S: Into<Dispatch>,

Attaches the provided Subscriber to this type, returning a WithDispatch wrapper. Read more
Source§

fn with_current_subscriber(self) -> WithDispatch<Self>

Attaches the current default Subscriber to this type, returning a WithDispatch wrapper. Read more
Source§

impl<A, B, T> HttpServerConnExec<A, B> for T
where B: Body,