iggy_binary_protocol 0.11.0-edge.7

// Licensed to the Apache Software Foundation (ASF) under one
// or more contributor license agreements.  See the NOTICE file
// distributed with this work for additional information
// regarding copyright ownership.  The ASF licenses this file
// to you under the Apache License, Version 2.0 (the
// "License"); you may not use this file except in compliance
// with the License.  You may obtain a copy of the License at
//
//   http://www.apache.org/licenses/LICENSE-2.0
//
// Unless required by applicable law or agreed to in writing,
// software distributed under the License is distributed on an
// "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY
// KIND, either express or implied.  See the License for the
// specific language governing permissions and limitations
// under the License.

//! Consensus group-id packing constants.
//!
//! Clients send no group or namespace at all -- the server derives the
//! target from the operation and the request payload, stamps it into
//! `RoutedRequestHeader.group` at the dispatch boundary, and every internal
//! layer (sharding hash, consensus demux, repair replay) routes on that
//! stamped value. How stream/topic/partition triples pack into the `u64`
//! is therefore a server-side agreement between the resolver and the
//! sharding layer; the single source of truth lives here in the wire-format
//! crate both already depend on.

/// Only the HIGHEST field widens for free.
///
/// `STREAM_SHIFT` derives from `TOPIC_SHIFT + TOPIC_BITS`, so growing
/// `MAX_STREAMS` leaves packed values bit-identical. Growing the others shifts
/// the fields above them and rewrites every group id on the wire, needing a
/// version fence and a re-shard.
pub const MAX_STREAMS: usize = 1 << 20;
pub const MAX_TOPICS: usize = 4096;
pub const MAX_PARTITIONS: usize = 1_000_000;

#[must_use]
pub const fn bits_required(mut n: u64) -> u32 {
    if n == 0 {
        return 1;
    }
    let mut b = 0;
    while n > 0 {
        b += 1;
        n >>= 1;
    }
    b
}

pub const STREAM_BITS: u32 = bits_required((MAX_STREAMS - 1) as u64);
pub const TOPIC_BITS: u32 = bits_required((MAX_TOPICS - 1) as u64);
pub const PARTITION_BITS: u32 = bits_required((MAX_PARTITIONS - 1) as u64);

pub const PARTITION_SHIFT: u32 = 0;
pub const TOPIC_SHIFT: u32 = PARTITION_SHIFT + PARTITION_BITS;
pub const STREAM_SHIFT: u32 = TOPIC_SHIFT + TOPIC_BITS;

pub const PARTITION_MASK: u64 = (1u64 << PARTITION_BITS) - 1;
pub const TOPIC_MASK: u64 = (1u64 << TOPIC_BITS) - 1;
pub const STREAM_MASK: u64 = (1u64 << STREAM_BITS) - 1;

/// Total bits used by the packed namespace layout (stream | topic | partition).
/// Any `u64` whose set bits all sit within this range is a legal packable namespace.
pub const PACKED_NAMESPACE_BITS: u32 = STREAM_BITS + TOPIC_BITS + PARTITION_BITS;

/// Largest `u64` value producible by the packed layout.
/// Equivalent to `(1 << PACKED_NAMESPACE_BITS) - 1`.
pub const PACKED_NAMESPACE_MAX: u64 = (1u64 << PACKED_NAMESPACE_BITS) - 1;

/// Reserved consensus GROUP id for the cluster's metadata plane.
///
/// The group-id space is not a free namespace: values inside the packed
/// range are partition groups (the packed stream-topic-partition key), the
/// top bit is the control plane, and 0 is "unset", legal only on client
/// request headers. The packed layout uses only bits
/// `0..PACKED_NAMESPACE_BITS` (compile-asserted below), so the top bit is
/// unreachable from any packed value and routers distinguish metadata's
/// single global consensus group from per-partition groups by value alone.
/// Reserving the BOTTOM of the range instead (Redpanda's raft group 0)
/// only works for allocated ids; ours are derived, and packed 0 is the
/// legal partition `(0, 0, 0)`.
pub const METADATA_GROUP: u64 = 1u64 << 63;

// Compile-time invariants. Bumping `MAX_STREAMS`/`MAX_TOPICS`/`MAX_PARTITIONS`
// past the values here would silently collapse the sentinel-above-packed-range
// guarantee and route writes to the wrong shard; the assertions guard against
// that in every build (release included), not only under `cargo test`.
const _: () = {
    assert!(METADATA_GROUP > PACKED_NAMESPACE_MAX);
    assert!(PACKED_NAMESPACE_BITS == STREAM_BITS + TOPIC_BITS + PARTITION_BITS);
    assert!(PACKED_NAMESPACE_MAX == (1u64 << PACKED_NAMESPACE_BITS) - 1);
    // Guards the ENCODING: any width change re-encodes every group id on the wire.
    assert!(STREAM_BITS == 20 && TOPIC_BITS == 12 && PARTITION_BITS == 20);
    // Guards the ADMITTED SET. `bits_required` rounds up, so narrowing a maximum
    // inside its current width keeps the widths (and the assert above) intact
    // while turning already-committed ids above the new ceiling into a panic.
    assert!(MAX_STREAMS == 1 << 20 && MAX_TOPICS == 4096 && MAX_PARTITIONS == 1_000_000);
};

// `PARTITION_MASK` admits 48,576 ids `MAX_PARTITIONS` forbids, since only the
// former rounds to a power of two. Bound checks compare against the `MAX_*`
// constants: a mask is the looser bound and re-opens the aliasing.