Struct SplitPublishCommand 

pub struct SplitPublishCommand {
    pub source: TabletDescriptor,
    pub children: [TabletDescriptor; 2],
    pub split_key: Key,
    pub split_ts: HlcTimestamp,
}

The two-phase routing publication of one split, applied by the meta group as ONE command (spec section 12.5 step 8): the children become Active and the source becomes Retiring atomically at one new generation. Never proposed before the children are caught up (the executor’s phase machine is the barrier of step 7).

This is the shape the meta wave adopts as a meta command; the reference TabletMetaPlane::publish_split applies its semantics.

Fields

source: TabletDescriptor

The source, republished Retiring at the publication generation.

children: [TabletDescriptor; 2]

The children, published Active at the publication generation, lower half first. Publication promotes the caught-up learners to voters (the Raft membership change rides the same meta command in the runtime wave).

split_key: Key

The split key the child bounds meet at.

split_ts: HlcTimestamp

The pinned split timestamp the children were built at.

Implementations

impl SplitPublishCommand

pub fn from_plan(plan: &SplitPlan) -> Result<Self, SplitError>

Builds the publication of plan: the source transitions Splitting -> Retiring and the children Creating -> Active, all at the publication generation (g + 2, see the generation rules on TabletDescriptor).

pub fn publish_generation(&self) -> u64

The generation the publication assigns to all three descriptors.

pub fn validate(&self) -> Result<(), SplitError>

Structural validation of the atomic publication: states and the shared generation, one table, and child bounds that partition the source exactly at split_key.

Trait Implementations

impl Clone for SplitPublishCommand

fn clone(&self) -> SplitPublishCommand

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SplitPublishCommand

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for SplitPublishCommand

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for SplitPublishCommand

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for SplitPublishCommand

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for SplitPublishCommand