pub struct Shuffle {
pub feedback: u64,
pub size: u64,
pub min: u64,
/* private fields */
}Expand description
Deterministic, bijective permutation of a bounded integer range.
Signature: shuffle(input: u64, feedback: u64, size: u64, min: u64) -> (u64)
Maps every value in [min, min+size) to itself in a pseudo-random order, visiting each value exactly once per cycle. Uses a Galois LFSR with rejection sampling to handle ranges that are not exact powers of 2.
Use when you need every key in a range visited exactly once without
repetition and without materializing the full sequence in memory.
Common patterns: generating unique primary keys for bulk inserts,
distributing work across partitions without collision, or simulating
a deck-of-cards draw. Pick different feedback polynomial values
(via feedback_for_width_and_bank) for independent permutation
orderings across distributed workers.
JIT level: P3 — every arg + return is u64, so the macro auto-emits
compiled_u64 with feedback/size/min captured by Copy and
jit_constants returning [feedback, size, min] (the layout
JitOp::ShuffleConst consumes).
Fields§
§feedback: u64The feedback argument, as given at construction.
size: u64The size argument, as given at construction.
min: u64The min argument, as given at construction.
Implementations§
Trait Implementations§
Source§impl PolydatNode for Shuffle
impl PolydatNode for Shuffle
Source§fn compiled_u64(&self) -> Option<CompiledU64Op>
fn compiled_u64(&self) -> Option<CompiledU64Op>
Source§fn jit_constants(&self) -> Vec<u64>
fn jit_constants(&self) -> Vec<u64>
Source§fn scratch_layout(&self) -> Vec<ScratchElem>
fn scratch_layout(&self) -> Vec<ScratchElem>
Self::eval_in. Empty for a node that evaluates over
Values alone, which is every node but a native cone.Source§fn eval_in(
&self,
scratch: &mut [ScratchBuf],
inputs: &[Value],
outputs: &mut [Value],
)
fn eval_in( &self, scratch: &mut [ScratchBuf], inputs: &[Value], outputs: &mut [Value], )
Self::eval with the node’s scratch, which the evaluating
state owns and hands in: storage belongs to the state, never to
the node, which is shared by every state of the program.Source§fn commutativity(&self) -> Commutativity
fn commutativity(&self) -> Commutativity
Source§fn accepts_none_inputs(&self) -> bool
fn accepts_none_inputs(&self) -> bool
Value::None inputs
directly rather than have the kernel propagate None through
it. Default: false — most nodes follow SRD-74 Rule 1
(None in → None out, no eval invocation). Read moreSource§fn compiled_slot(&self, _wire_types: &[PortType]) -> Option<CompiledSlotKit>
fn compiled_slot(&self, _wire_types: &[PortType]) -> Option<CompiledSlotKit>
(ptr, len) slot
pairs; vector outputs write into kernel-owned scratch.
Checked by the compiled-kernel builders AFTER
Self::compiled_u64 — pure-scalar nodes never need it.
Default None: the node stays on typed eval.Source§fn purity(&self) -> Purity
fn purity(&self) -> Purity
runtime_model.md’s D2 axiom. Default:
Purity::Pure. Override to declare an observable
side channel (Purity::SideChannel) or
eval-call-spanning state (Purity::Nondeterministic). Read moreSource§fn simd_variant(&self) -> Option<SimdVariant>
fn simd_variant(&self) -> Option<SimdVariant>
Source§fn fusion_subgraph(&self) -> Option<FusionSubgraph<'_>>
fn fusion_subgraph(&self) -> Option<FusionSubgraph<'_>>
PolydatProgram::canonical_hash) walks THROUGH fusion
nodes into this subgraph, so identity is invariant to the
engine mix: jit=off and jit=auto compiles of the same
source hash identically, and resume-skip matching survives
mode changes. Default None: ordinary nodes hash as
themselves.