Struct Mailbox 

pub struct Mailbox {

    pub n: u32,
    pub g: u32,
    pub sb: u32,
    pub prepare: u32,
    pub will_cert: u32,
    pub will_commit: u32,
    pub commit: u32,
    pub certify_valid: u32,
    pub certify: u32,
    pub vc: u32,
    pub vc_valid: u32,
    pub newview: u32,
    pub newview_valid: u32,
    pub view: u32,
    pub end: u32,
}

The mailbox bases for a cluster of n replicas and a window of g slots, computed exactly as ubft_new’s ubft() does at init.

Fields

n: u32

Replicas in the cluster (node_num).

g: u32

Slots in the window (G_T).

sb: u32

64-byte beats per certify share (Ed25519 1, DSig 26).

prepare: u32

prepare.

will_cert: u32

will_cert.

will_commit: u32

will_commit.

commit: u32

commit.

certify_valid: u32

certify_valid.

certify: u32

certify.

vc: u32

vc.

vc_valid: u32

vc_valid.

newview: u32

newview.

newview_valid: u32

newview_valid.

view: u32

view.

end: u32

One past the last mailbox word.

Implementations

impl Mailbox

pub const fn new(n: u32, g: u32, sb: u32) -> Mailbox

The layout for n replicas, g slots and shares of sb beats (ubft_new: sb = 1).

pub const fn v2(n: u32, g: u32, sb: u32) -> Mailbox

rhdl_ubft’s layout (v2): the same regions in the same order from the same base, but a prepare is (k, m, view, 0), a vote or flag is two words (tag(view, k), m) so it binds the value, and a share is sb beats. Records stay four words, (view, slot | phase << 16, k, m).

pub fn name(&self, word: u32) -> &'static str

The mailbox a word belongs to, for traces.

pub fn write_to( &self, id: u32, dest: u32, word: u32, len: u32, ) -> Option<RdmaMeta>

The RDMA write that puts len bytes at word of peer dest, sent by replica id. The RoCE stack programs N − 1 connections per replica and none to itself: peer j is local queue pair `(N − 1)·id

• rank(j), rank jbelowidandj − 1above (docs/rhdl_ubft-roce.md).Nonefordest == id`.

pub fn peer_of(&self, id: u32, qpn: u32) -> Option<u32>

The peer a local queue pair of replica id reaches, if the RoCE stack programmed it.

Trait Implementations

impl Clone for Mailbox

fn clone(&self) -> Mailbox

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Mailbox

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl PartialEq for Mailbox

fn eq(&self, other: &Mailbox) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for Mailbox

impl Eq for Mailbox

impl StructuralPartialEq for Mailbox