[][src]Struct finality_grandpa::voter::Voter

pub struct Voter<H, N, E: Environment<H, N>, GlobalIn, GlobalOut> where
    H: Clone + Eq + Ord + Debug,
    N: Copy + BlockNumberOps + Debug,
    GlobalIn: Stream<Item = CommunicationIn<H, N, E::Signature, E::Id>, Error = E::Error>,
    GlobalOut: Sink<SinkItem = CommunicationOut<H, N, E::Signature, E::Id>, SinkError = E::Error>, 
{ /* fields omitted */ }

A future that maintains and multiplexes between different rounds, and caches votes.

This voter also implements the commit protocol. The commit protocol allows a node to broadcast a message that finalizes a given block and includes a set of precommits as proof.

  • When a round is completable and we precommitted we start a commit timer and start accepting commit messages;
  • When we receive a commit message if it targets a block higher than what we've finalized we validate it and import its precommits if valid;
  • When our commit timer triggers we check if we've received any commit message for a block equal to what we've finalized, if we haven't then we broadcast a commit.

Additionally, we also listen to commit messages from rounds that aren't currently running, we validate the commit and dispatch a finalization notification (if any) to the environment.

Methods

impl<H, N, E: Environment<H, N>, GlobalIn, GlobalOut> Voter<H, N, E, GlobalIn, GlobalOut> where
    H: Clone + Eq + Ord + Debug,
    N: Copy + BlockNumberOps + Debug,
    GlobalIn: Stream<Item = CommunicationIn<H, N, E::Signature, E::Id>, Error = E::Error>,
    GlobalOut: Sink<SinkItem = CommunicationOut<H, N, E::Signature, E::Id>, SinkError = E::Error>, 
[src]

pub fn new(
    env: Arc<E>,
    voters: VoterSet<E::Id>,
    global_comms: (GlobalIn, GlobalOut),
    last_round_number: u64,
    last_round_votes: Vec<SignedMessage<H, N, E::Signature, E::Id>>,
    last_round_base: (H, N),
    last_finalized: (H, N)
) -> Self
[src]

Create new Voter tracker with given round number and base block.

Provide data about the last completed round. If there is no known last completed round, the genesis state (round number 0, no votes, genesis base), should be provided. When available, all messages required to complete the last round should be provided.

The input stream for commit messages should provide commits which correspond to known blocks only (including all its precommits). It is also responsible for validating the signature data in commit messages.

Trait Implementations

impl<H, N, E: Environment<H, N>, GlobalIn, GlobalOut> Future for Voter<H, N, E, GlobalIn, GlobalOut> where
    H: Clone + Eq + Ord + Debug,
    N: Copy + BlockNumberOps + Debug,
    GlobalIn: Stream<Item = CommunicationIn<H, N, E::Signature, E::Id>, Error = E::Error>,
    GlobalOut: Sink<SinkItem = CommunicationOut<H, N, E::Signature, E::Id>, SinkError = E::Error>, 
[src]

type Item = ()

The type of value that this future will resolved with if it is successful. Read more

type Error = E::Error

The type of error that this future will resolve with if it fails in a normal fashion. Read more

Auto Trait Implementations

impl<H, N, E, GlobalIn, GlobalOut> Send for Voter<H, N, E, GlobalIn, GlobalOut> where
    E: Send + Sync,
    GlobalIn: Send,
    GlobalOut: Send,
    H: Send + Sync,
    N: Send + Sync,
    <E as Environment<H, N>>::Id: Send,
    <E as Environment<H, N>>::In: Send,
    <E as Environment<H, N>>::Out: Send,
    <E as Environment<H, N>>::Signature: Send,
    <E as Environment<H, N>>::Timer: Send

impl<H, N, E, GlobalIn, GlobalOut> Sync for Voter<H, N, E, GlobalIn, GlobalOut> where
    E: Send + Sync,
    GlobalIn: Sync,
    GlobalOut: Sync,
    H: Send + Sync,
    N: Send + Sync,
    <E as Environment<H, N>>::Id: Send + Sync,
    <E as Environment<H, N>>::In: Sync,
    <E as Environment<H, N>>::Out: Sync,
    <E as Environment<H, N>>::Signature: Send + Sync,
    <E as Environment<H, N>>::Timer: Sync

impl<H, N, E, GlobalIn, GlobalOut> Unpin for Voter<H, N, E, GlobalIn, GlobalOut> where
    GlobalIn: Unpin,
    GlobalOut: Unpin,
    H: Unpin,
    N: Unpin,
    <E as Environment<H, N>>::Id: Unpin,
    <E as Environment<H, N>>::In: Unpin,
    <E as Environment<H, N>>::Out: Unpin,
    <E as Environment<H, N>>::Signature: Unpin,
    <E as Environment<H, N>>::Timer: Unpin

impl<H, N, E, GlobalIn, GlobalOut> !UnwindSafe for Voter<H, N, E, GlobalIn, GlobalOut>

impl<H, N, E, GlobalIn, GlobalOut> !RefUnwindSafe for Voter<H, N, E, GlobalIn, GlobalOut>

Blanket Implementations

impl<T, U> Into<U> for T where
    U: From<T>, 
[src]

impl<T> From<T> for T[src]

impl<T, U> TryFrom<U> for T where
    U: Into<T>, 
[src]

type Error = Infallible

The type returned in the event of a conversion error.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, 
[src]

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

The type returned in the event of a conversion error.

impl<T> Borrow<T> for T where
    T: ?Sized
[src]

impl<T> BorrowMut<T> for T where
    T: ?Sized
[src]

impl<T> Any for T where
    T: 'static + ?Sized
[src]

impl<F> IntoFuture for F where
    F: Future
[src]

type Future = F

The future that this type can be converted into.

type Item = <F as Future>::Item

The item that the future may resolve with.

type Error = <F as Future>::Error

The error that the future may resolve with.