rudb_vector/vector.rs
1//! The vector itself.
2//!
3//! `spec/07-execution.md` section 7.1 calls this the widest interface in the system, says every
4//! operator depends on it, and says changing it after twenty operators exist is expensive. So it
5//! is written before the first operator rather than after the fifth.
6//!
7//! A vector is a type, a length of at most [`VECTOR_SIZE`], a physical form, a validity
8//! representation and some data. Four of the forms are the ones in `spec/04-architecture.md`
9//! section 4.3: flat, constant, sequence and dictionary. Run length, bit packed and string view come
10//! after them, one at a time with the kernels that read them rather than all at once ahead of
11//! anything that can use them.
12//!
13//! Dictionary and run length are the pair worth understanding together, because they answer
14//! different questions about the same column. A dictionary says which distinct values there are, so
15//! it wins on low cardinality however the rows are ordered. Run length says where the values stop,
16//! so it wins on a clustered column however many distinct values it has. A column can want either
17//! one without wanting the other, and `hits` has columns of both kinds.
18//!
19//! String view is the odd one out, because it is not about making a column smaller. It is about who
20//! owns the bytes: the views are the vector's and the arena is shared, so cutting a chunk out of a
21//! page of strings moves sixteen bytes a row and copies none of the payload. Every other form here
22//! trades a little work per row for less memory, and that one trades nothing at all.
23//!
24//! The nested forms are the odd ones out in a different direction. The forms above are all ways of
25//! writing a column of scalars down more cheaply, and a nested value is not a scalar at all, so
26//! [`Form::List`] and [`Form::Struct`] are each the only form their column has rather than one of
27//! several it could be in. A list is a child vector of every element plus a start and a length per
28//! row. A struct is one child per field with no entries at all, because a struct row holds one value
29//! per field rather than a run of them. Either way the children are ordinary vectors and can be in any
30//! of the forms above, which is where a nested column gets made smaller.
31//!
32//! **What is not here yet.** Buffers are owned. Section 7.1 says a vector borrowed from a buffer
33//! managed page carries a pin, and there is no buffer manager until M2, so there is nothing to pin
34//! and pretending otherwise would be an interface built against an imaginary caller. `ARRAY` is not
35//! stored yet either, and it is a composition of what is here rather than a new shape: it is a list
36//! whose length is the type's rather than the row's, the way a `MAP` is a list whose child is a two
37//! field struct of keys and values. `UNION` is the one that is genuinely different, since it is one
38//! child per member plus a tag saying which member each row is in.
39
40use std::borrow::Cow;
41use std::cmp::Ordering;
42use std::sync::Arc;
43
44use rudb_common::{Cause, Error, Field, LogicalType, Result, Value, slow};
45
46use crate::buffer::Buffer;
47use crate::fsst::SymbolTable;
48use crate::string::{StringColumn, StringView};
49use crate::validity::Validity;
50
51/// How many values are in a full vector.
52///
53/// 1024 rather than DuckDB's 2048, per `spec/04-architecture.md` section 4.3. It is the FastLanes
54/// unit, it makes a validity mask exactly 16 `u64` words, and it keeps a vector of 16 byte string
55/// views at 16 KiB, which is the size at which several of these fit in L1 together rather than
56/// evicting each other.
57pub const VECTOR_SIZE: usize = 1024;
58
59/// What the key field of a map's child struct is called.
60///
61/// A map is stored as a list of two field structs, and these are the two names. They are DuckDB's, and
62/// they are also the names the Parquet specification gives a map's repeated group, so a reader that
63/// builds one of these from a file finds the names already agreed rather than translated.
64pub const MAP_KEY: &str = "key";
65
66/// What the value field of a map's child struct is called. See [`MAP_KEY`].
67pub const MAP_VALUE: &str = "value";
68
69/// What [`Vector::map_parts`] hands back: one entry per row, then the keys and then the values.
70///
71/// A name rather than the triple written out, because the triple written out is over the complexity
72/// clippy allows and because a kernel that takes these as an argument should be able to say so in one
73/// word.
74pub type MapParts<'a> = (&'a [(u32, u32)], &'a Vector, &'a Vector);
75
76/// Which physical form a vector is in.
77///
78/// An operator asks this once per vector and then takes the path it wants, which is the one branch
79/// per vector that the whole design is willing to spend.
80///
81/// Not exhaustive, and that is a decision rather than an oversight. `Encoded` is the fifth form
82/// and it arrives at layer three with the specialization contract. If this enum were exhaustive,
83/// the day it lands is the day every kernel in the workspace stops compiling, and the pressure at
84/// that moment would be to add an arm to each of them in a hurry rather than to think about what
85/// each one should do with an encoded vector. A required fallback arm means each kernel already
86/// has a correct answer for a form it has never seen, and specializing it is then a change that
87/// can be made one kernel at a time with a benchmark next to it.
88#[derive(Debug, Clone, Copy, PartialEq, Eq, Hash)]
89#[non_exhaustive]
90pub enum Form {
91 /// One value per position.
92 Flat,
93 /// One value, repeated.
94 Constant,
95 /// A start and a step, computed rather than stored.
96 Sequence,
97 /// Codes into a smaller vector of distinct values.
98 Dictionary,
99 /// Integers stored in as many bits as the range of the column needs, offset from a base.
100 ///
101 /// The form a narrow integer column is in. A ClickBench `ResolutionWidth` is a `SMALLINT` whose
102 /// values live between 0 and 2560, which is twelve bits, so the column is three quarters of the
103 /// size it was and the pages behind it are three quarters of the reads. What it costs is a shift
104 /// and a mask per value, which is why this is worth it at storage and at rest and is not a form
105 /// anything should be building in the middle of a pipeline.
106 BitPacked,
107 /// Sixteen byte views over an arena the vector shares rather than owns.
108 ///
109 /// The form a varchar column is in once more than one vector is looking at the same page. A flat
110 /// varchar vector owns its arena, so cutting a chunk out of it copies every byte of every long
111 /// string in the range, and on ClickBench that is most of what reading `URL` costs. Sharing the
112 /// arena makes the cut the views and nothing else, the way a dictionary cut is the codes and
113 /// nothing else.
114 StringView,
115 /// Strings compressed against one symbol table, each row on its own.
116 ///
117 /// The form a text column is in at rest. FSST is about half the bytes on the ClickBench `URL`
118 /// and `Title` columns, and unlike a block compressor it keeps random access, so reading row
119 /// four million does not decompress the four million before it. What it costs is a decompression
120 /// per row read, which is why an equality filter over it is worth writing in code space: the
121 /// literal compresses once and the rows never decompress at all.
122 Fsst,
123 /// One value per run, with the row each run ends at.
124 ///
125 /// The form a clustered column is in. `hits` is written in time order, so `EventDate` is a few
126 /// hundred runs over a hundred million rows, and a sum over it is a few hundred multiplications
127 /// rather than a hundred million additions. Dictionary says which distinct values there are and
128 /// this says where they stop, and a column can want either one without wanting the other.
129 Rle,
130 /// A child vector of every element, and a start and a length per row.
131 ///
132 /// The form a `LIST` column is in, and the only form it has. The others are all ways of writing
133 /// down a column of scalars more cheaply and this is the shape a nested value has at all, so a
134 /// list vector reports this whether or not anything has tried to make it smaller. Making it
135 /// smaller happens in the child, which is an ordinary vector and can be any of the forms above.
136 ///
137 /// A `MAP` column reports this too, because a map is a list whose child is a two field struct and
138 /// the bytes really are a list's. This enum is about the physical layout, and the logical type is
139 /// what remembers the difference, which is the same division `LogicalType::physical` already makes.
140 List,
141 /// One child vector per field, each as long as the vector itself.
142 ///
143 /// The form a `STRUCT` column is in, and the only form it has, for the reason [`Form::List`] is
144 /// the only form a list has. A struct holds exactly one value per field per row rather than a run
145 /// of them, so there are no entries here and the children line up with the rows one to one, which
146 /// makes a cut a cut of every child and a gather a gather of every child. Each child is an
147 /// ordinary vector and can be in any of the forms above, so that is where a struct column gets
148 /// made smaller.
149 Struct,
150}
151
152/// The values of a flat vector, one Rust vector per physical type.
153///
154/// The variants are physical rather than logical, which is what lets `DATE` and `INTEGER` share
155/// storage and share a kernel. What a run of `i32` means is the vector's logical type's business.
156#[derive(Debug, Clone, PartialEq)]
157#[non_exhaustive]
158pub enum Data {
159 /// No values, for the type of an untyped `NULL`.
160 Empty,
161 /// One byte per value.
162 Bool(Buffer<bool>),
163 /// 8 bit signed.
164 Int8(Buffer<i8>),
165 /// 16 bit signed.
166 Int16(Buffer<i16>),
167 /// 32 bit signed.
168 Int32(Buffer<i32>),
169 /// 64 bit signed.
170 Int64(Buffer<i64>),
171 /// 128 bit signed.
172 Int128(Buffer<i128>),
173 /// 8 bit unsigned.
174 UInt8(Buffer<u8>),
175 /// 16 bit unsigned.
176 UInt16(Buffer<u16>),
177 /// 32 bit unsigned.
178 UInt32(Buffer<u32>),
179 /// 64 bit unsigned.
180 UInt64(Buffer<u64>),
181 /// 128 bit unsigned.
182 UInt128(Buffer<u128>),
183 /// IEEE 754 binary32.
184 Float32(Buffer<f32>),
185 /// IEEE 754 binary64.
186 Float64(Buffer<f64>),
187 /// The months, days and microseconds triple.
188 Interval(Buffer<(i32, i32, i64)>),
189 /// Strings, as 16 byte views plus the arena the long ones live in.
190 Varlen(StringColumn),
191}
192
193impl Data {
194 /// How many values are stored.
195 ///
196 /// The match below has no wildcard arm, and that is what makes this function the check that
197 /// keeps [`for_each_layout`](crate::for_each_layout) honest. A variant added to this enum
198 /// without being added to the `all` group fails to compile here, which is a line in a build log
199 /// rather than a layout quietly missing from six kernels.
200 #[must_use]
201 pub fn len(&self) -> usize {
202 macro_rules! lengths {
203 ($(($variant:ident, $native:ty, $zero:expr)),+ $(,)?) => {
204 match self {
205 Self::Empty => 0,
206 $(Self::$variant(values) => values.len(),)+
207 }
208 };
209 }
210 crate::for_each_layout!(all, lengths)
211 }
212
213 /// Whether there are no values.
214 #[must_use]
215 pub fn is_empty(&self) -> bool {
216 self.len() == 0
217 }
218
219 /// How many bytes of memory these values are holding.
220 ///
221 /// One arm per layout through the same macro as [`Data::len`], for the same reason: a layout
222 /// added without a size here is a layout the memory limit would charge nothing for, and a
223 /// buffer that is free is a buffer that can be grown until the process dies.
224 #[must_use]
225 pub fn footprint(&self) -> usize {
226 macro_rules! sizes {
227 ($(($variant:ident, $native:ty, $zero:expr)),+ $(,)?) => {
228 match self {
229 Self::Empty => 0,
230 $(Self::$variant(values) => values.footprint(),)+
231 }
232 };
233 }
234 crate::for_each_layout!(all, sizes)
235 }
236
237 /// These values held as a page, so that copying or cutting them does not copy the values.
238 ///
239 /// For a producer that is going to hand the same values out many times, which is what a stored
240 /// column is. It costs one `Arc` per layout and moves the run into it without touching a value,
241 /// and after it a write through any reader copies out rather than writing the page, which is
242 /// [`Buffer::to_mut`]. A run that is already a page comes back as it was.
243 #[must_use]
244 pub fn into_pages(self) -> Self {
245 macro_rules! paged {
246 ($(($variant:ident, $native:ty, $zero:expr)),+ $(,)?) => {
247 match self {
248 Self::Empty => Self::Empty,
249 $(Self::$variant(values) => Self::$variant(values.into_page()),)+
250 }
251 };
252 }
253 crate::for_each_layout!(all, paged)
254 }
255
256 /// An integer at `index`, widened, for any of the signed integer layouts.
257 ///
258 /// Used by the decimal path, which needs the unscaled value out of whichever width the width
259 /// and scale picked, and by anything else that would otherwise repeat the same five arms.
260 #[must_use]
261 pub fn signed_at(&self, index: usize) -> Option<i128> {
262 macro_rules! widened {
263 ($(($variant:ident, $native:ty, $zero:expr)),+ $(,)?) => {
264 match self {
265 $(Self::$variant(v) => v.get(index).map(|&x| i128::from(x)),)+
266 _ => None,
267 }
268 };
269 }
270 crate::for_each_layout!(signed, widened)
271 }
272
273 /// The first `len` signed integers, widened to `i64`, appended to `out`.
274 ///
275 /// The bulk form of [`Self::signed_at`]. Four of the five signed layouts, because the fifth is
276 /// 128 bits wide and does not fit what this hands back. `Int64` is a copy of the run and the
277 /// three narrower ones are a sign extension the compiler turns into one instruction per lane.
278 ///
279 /// `false`, leaving `out` as it found it, for the wide layout, for a run shorter than `len` and
280 /// for every layout that is not a signed integer.
281 #[must_use]
282 pub fn signed_block(&self, len: usize, out: &mut Vec<i64>) -> bool {
283 match self {
284 Self::Int8(v) => widen(v.as_slice(), len, out),
285 Self::Int16(v) => widen(v.as_slice(), len, out),
286 Self::Int32(v) => widen(v.as_slice(), len, out),
287 Self::Int64(v) => match v.as_slice().get(..len) {
288 Some(run) => {
289 out.extend_from_slice(run);
290 true
291 }
292 None => false,
293 },
294 _ => false,
295 }
296 }
297
298 /// An unsigned integer at `index`, widened.
299 #[must_use]
300 pub fn unsigned_at(&self, index: usize) -> Option<u128> {
301 macro_rules! widened {
302 ($(($variant:ident, $native:ty, $zero:expr)),+ $(,)?) => {
303 match self {
304 $(Self::$variant(v) => v.get(index).map(|&x| u128::from(x)),)+
305 _ => None,
306 }
307 };
308 }
309 crate::for_each_layout!(unsigned, widened)
310 }
311
312 /// The string at `index`, for a `Varlen`.
313 #[must_use]
314 pub fn str_at(&self, index: usize) -> Option<&str> {
315 match self {
316 Self::Varlen(column) => column.get(index),
317 _ => None,
318 }
319 }
320
321 /// The bytes at `index`, for a `Varlen`, whatever they are.
322 ///
323 /// What a `BLOB` reads through, since the bytes of one are not required to be text and
324 /// [`Self::str_at`] answers `None` for the ones that are not.
325 #[must_use]
326 pub fn bytes_at(&self, index: usize) -> Option<&[u8]> {
327 match self {
328 Self::Varlen(column) => column.bytes(index),
329 _ => None,
330 }
331 }
332}
333
334/// A type, a length, a validity representation and some data.
335#[derive(Debug, Clone, PartialEq)]
336pub struct Vector {
337 ty: LogicalType,
338 len: usize,
339 validity: Validity,
340 body: Body,
341}
342
343/// What the vector holds, which is what its form is decided by.
344#[derive(Debug, Clone, PartialEq)]
345enum Body {
346 Flat(Data),
347 Constant(Box<Value>),
348 Sequence {
349 start: i64,
350 step: i64,
351 },
352 /// The values are behind an `Arc` rather than a `Box` because slicing shares them.
353 ///
354 /// A dictionary vector is cut once per chunk and the dictionary itself is the same dictionary
355 /// every time, so a `Box` meant a copy of every value in it per cut. On the ClickBench columns
356 /// that are dictionary encoded the dictionary is larger than the chunk of codes pointing into
357 /// it, and copying it was ten percent of the cycles of reading the file.
358 ///
359 /// Nothing here mutates a dictionary in place, so sharing one is only ever a read, and the one
360 /// place that wants an owned copy of the values is [`compose`], which asks for one.
361 Dictionary {
362 codes: Vec<u32>,
363 values: Arc<Vector>,
364 stable: bool,
365 },
366 /// Integer codes of `width` bits each, packed end to end, each one an offset from `base`.
367 ///
368 /// Row `r` is the `width` bits starting at bit `(offset + r) * width`, read little end first, so
369 /// a code that straddles a word boundary has its low bits in the earlier word. `offset` is what
370 /// lets a cut of a packed column be free: the bits are not byte aligned, so a slice either
371 /// repacks or remembers where it starts, and remembering is one addition per read.
372 ///
373 /// The words are behind an `Arc` for the reason the dictionary's values are. A page is packed
374 /// once and cut into chunk sized pieces, and copying the words per cut would undo most of what
375 /// the packing saved.
376 Packed {
377 words: Arc<Vec<u64>>,
378 width: u32,
379 base: i128,
380 offset: usize,
381 },
382 /// The views of a string column, over an arena that other vectors are reading at the same time.
383 ///
384 /// The views are owned because a cut is a different run of views, and the arena is shared
385 /// because a cut is the same bytes. That split is the whole form: sixteen bytes a row move and
386 /// the payload does not, however many cuts a page is taken in.
387 ///
388 /// A row's bytes are found the same way [`StringColumn`] finds them, through
389 /// [`StringView::bytes_in`], so a short string never reads the arena at all and the two ways of
390 /// holding strings cannot answer a row differently.
391 Views {
392 views: Vec<StringView>,
393 arena: Arc<Buffer<u8>>,
394 },
395 /// Text owned by a storage source and fetched by position.
396 ExternalText {
397 source: Arc<dyn TextSource>,
398 },
399 /// The FSST codes of every row, end to end, with one symbol table over all of them.
400 ///
401 /// A span rather than a run of offsets, because a gather keeps this form and a gather puts the
402 /// rows in an order the codes are not in. Eight bytes a row either way, and the span is the one
403 /// that survives being permuted.
404 ///
405 /// The codes and the table are shared for the reason a dictionary's values are: one table is
406 /// trained per page and every chunk cut out of it points at the same one. A table is sixty five
407 /// thousand hash slots, so a table per chunk would cost more than the compression saves.
408 Coded {
409 codes: Arc<Vec<u8>>,
410 spans: Vec<(u32, u32)>,
411 table: Arc<SymbolTable>,
412 },
413 /// One value per run, with the row each run ends at, exclusive and increasing.
414 ///
415 /// Ends rather than lengths, because every reader of this wants to know which run holds a row
416 /// and ends answer that with a binary search while lengths answer it with a running total. The
417 /// two are the same information and only one of them is the one that gets asked for.
418 ///
419 /// The values are behind an `Arc` for the reason the dictionary's are: a page is cut into chunk
420 /// sized pieces and the values are the same values every time.
421 Runs {
422 ends: Vec<u32>,
423 values: Arc<Vector>,
424 },
425 /// One child vector holding every element of every row, and a start and a length per row.
426 ///
427 /// Start and length rather than the run of offsets Arrow carries, because offsets say where a
428 /// row ends by saying where the next one begins, and that is only true while the rows are in
429 /// order and none is skipped. A gather permutes the rows and a filter drops them, both of which
430 /// this form has to survive without copying the child, so each row says where its own elements
431 /// are and nothing is implied about its neighbour.
432 ///
433 /// The child is behind an `Arc` for the reason a dictionary's values are. A cut of a list column
434 /// is the entries and nothing else, so a page of lists taken in chunk sized pieces holds one
435 /// child however many pieces it is read in, and the elements outside the cut stay reachable but
436 /// unreferenced rather than being copied out.
437 ///
438 /// A null list and an empty list are different rows and this is where the difference lives. A
439 /// null is the validity mask at this level being false, the same as for any other type, and its
440 /// entry is `(start, 0)` and never read. An empty list is a valid row whose entry is `(start, 0)`
441 /// as well. So the entry alone does not say which one a row is, the mask does, which is the same
442 /// division of labour every other form here uses.
443 ///
444 /// A `MAP` is stored here too, with a [`Body::Fields`] child of `key` and `value`. Everything above
445 /// is true of it unchanged, which is the point of storing it this way: the cut, the gather and the
446 /// null rule are written once and a map inherits all three.
447 Nested {
448 entries: Vec<(u32, u32)>,
449 child: Arc<Vector>,
450 },
451 /// One child vector per field, in the order the type names them, each as long as this vector.
452 ///
453 /// No entries, which is the whole difference from [`Body::Nested`]. A list row is a run of
454 /// elements so it needs to say where its run is, and a struct row is one value per field so row
455 /// `r` of field `f` is position `r` of child `f` and there is nothing to record. That makes a cut
456 /// a cut of every child and a gather a gather of every child, both at the same positions, rather
457 /// than a rewrite of an index.
458 ///
459 /// The children are behind an `Arc` for the reason a dictionary's values are, and it pays off less
460 /// often here. A cut of a list column shares its child untouched because the entries carry the
461 /// range, and a cut of a struct column has to cut each child, so the sharing only survives the
462 /// cases where nothing moves. It is still worth having, because a struct of a hundred fields
463 /// handed between operators is a hundred pointers rather than a hundred columns.
464 ///
465 /// A null struct is the validity mask at this level being false and says nothing about the
466 /// children, which still hold whatever was put in them at that row. That is DuckDB's behaviour and
467 /// it is the reason this form cannot decide a row is null by looking down: the mask is the answer,
468 /// the same as it is for a list.
469 Fields {
470 children: Vec<Arc<Vector>>,
471 },
472}
473
474/// Random access to immutable text kept by a storage reader.
475pub trait TextSource: std::fmt::Debug + Send + Sync {
476 /// Number of values available.
477 fn len(&self) -> usize;
478 /// Whether this source has no values.
479 fn is_empty(&self) -> bool {
480 self.len() == 0
481 }
482 /// Bytes at one position, or no value when the position is outside the source.
483 fn bytes_at(&self, index: usize) -> Result<Option<&[u8]>>;
484 /// Byte length at one position without requiring the payload when the source has an index.
485 fn bytes_len_at(&self, index: usize) -> Result<Option<usize>> {
486 Ok(self.bytes_at(index)?.map(<[u8]>::len))
487 }
488 /// Hands `body` the values from `first` up to at most `limit`, and answers where it stopped.
489 ///
490 /// The point of it is what it does not do, which is keep what it read.
491 /// [`bytes_at`](Self::bytes_at) hands back a borrow, so a source that decodes a block to answer
492 /// it has to hold that block for as long as the source lives, and a reader that walks the whole
493 /// source therefore ends up holding the whole thing decoded. On the ClickBench `URL` dictionary
494 /// that is 4.2 GB resident to answer one `LIKE`, and none of it is read twice.
495 ///
496 /// A caller that means to walk a stretch of values once calls this instead and gets the bytes
497 /// on loan for the length of the call. The source decides how much it hands over at a time,
498 /// which for a blocked payload is the rest of the block it had to decode anyway, and answers
499 /// with one past the last value it visited so the caller can come back for the next stretch.
500 /// The answer is always above `first` where `first` is a value this source has, so a loop on it
501 /// finishes.
502 ///
503 /// The default hands over one value through `bytes_at` and is correct for every source. It is
504 /// also pointless for a source that keeps everything anyway, which is every source built in
505 /// memory, and that is the right default for exactly that reason.
506 fn sweep(
507 &self,
508 first: usize,
509 limit: usize,
510 body: &mut dyn FnMut(usize, &[u8]) -> Result<()>,
511 ) -> Result<usize> {
512 if first >= limit.min(self.len()) {
513 return Ok(first);
514 }
515 body(first, self.bytes_at(first)?.unwrap_or_default())?;
516 Ok(first + 1)
517 }
518 /// Resident bytes retained by this source.
519 fn footprint(&self) -> usize;
520 /// How many ranks this source's sorted value order has, when it has one.
521 ///
522 /// A rank is a position in the values sorted by their bytes, so rank zero is the smallest value
523 /// and rank `ranks() - 1` is the largest. A storage format that keeps a dictionary for a whole
524 /// column can afford to sort the distinct values once when it writes the file, and what that
525 /// buys is a binary search where a reader that only knows the values are distinct has to ask
526 /// every one of them whether it matches.
527 ///
528 /// `None` means the source does not know its order, which is the honest answer for anything
529 /// built in memory and for a file written before its format stored one. Nothing is allowed to
530 /// depend on this for correctness, only for speed.
531 ///
532 /// A source that answers with `Some` promises the ranks cover every value it has, and that
533 /// [`compare_rank`](Self::compare_rank) is consistent with an ordering in which the values are
534 /// strictly increasing. Strictly, which is to say the values are distinct, because what reads
535 /// this searches it, and a search of a run of equal values finds one of them rather than all of
536 /// them. A source that holds the same value twice must answer `None` here even though it could
537 /// sort itself perfectly well.
538 fn ranks(&self) -> Option<usize> {
539 None
540 }
541 /// How the value at `rank` compares against `wanted`.
542 ///
543 /// This is a method rather than a slice of positions the caller indexes because the answer is
544 /// the only thing a search wants, and a source that knows that can answer most probes without
545 /// reading a value at all. A file that stores the first few bytes of each value in rank order
546 /// settles every probe from those bytes except the ones where two values start the same way,
547 /// and the payload stays untouched. A caller handed positions instead would have to read a
548 /// value per probe, which for a dictionary of half a million entries spread over thirty
549 /// megabytes is a fresh block of the file every time.
550 ///
551 /// Only called for a rank below [`ranks`](Self::ranks), so the default is the error a source
552 /// that has no order should never be asked to produce.
553 fn compare_rank(&self, rank: usize, wanted: &[u8]) -> Result<Ordering> {
554 let _ = (rank, wanted);
555 Err(Error::internal("a text source without a sorted order was asked to compare a rank"))
556 }
557 /// The position of the value at `rank`, which is what a search returns once it has found one.
558 ///
559 /// Called about once per search rather than once per probe, so unlike
560 /// [`compare_rank`](Self::compare_rank) it is free to be the expensive one.
561 fn code_at_rank(&self, rank: usize) -> Result<u32> {
562 let _ = rank;
563 Err(Error::internal("a text source without a sorted order was asked for a rank"))
564 }
565 /// The rank of every value, in position order, when the source can hand the whole map over.
566 ///
567 /// This is [`code_at_rank`](Self::code_at_rank) turned round, and it is a separate method
568 /// because the two are wanted by opposite kinds of reader. A search wants one code out of a
569 /// rank and probes a handful of times, so it reads the order a block at a time and leaves the
570 /// rest alone. A min or a max over a grouped column wants a rank out of a code once per row,
571 /// and a walk of the order per row costs far more than reading the order once and turning it
572 /// round. What that buys is a comparison of two integers where the alternative is a fetch of
573 /// two strings out of a payload the size of the column.
574 ///
575 /// The slice is indexed by position and is as long as [`len`](Self::len), so a caller holding a
576 /// dictionary code indexes it directly.
577 ///
578 /// `None` from a source with no order, and from one with an order it would rather not invert.
579 /// Nothing depends on this for correctness, only for speed.
580 fn code_ranks(&self) -> Option<&[u32]> {
581 None
582 }
583 /// Whether another source presents the same values.
584 fn equal(&self, other: &dyn TextSource) -> bool {
585 self.len() == other.len()
586 && (0..self.len()).all(|index| {
587 matches!(
588 (self.bytes_at(index), other.bytes_at(index)),
589 (Ok(left), Ok(right)) if left == right
590 )
591 })
592 }
593}
594
595impl PartialEq for dyn TextSource {
596 fn eq(&self, other: &Self) -> bool {
597 self.equal(other)
598 }
599}
600
601impl Vector {
602 /// A flat vector of `data`, all valid.
603 ///
604 /// # Errors
605 ///
606 /// If the data's physical layout is not the one the type calls for. That check is here rather
607 /// than left to the caller because a vector whose type and layout disagree is a wrong answer
608 /// waiting to be read out, and it costs one comparison at construction to prevent.
609 pub fn flat(ty: LogicalType, data: Data) -> Result<Self> {
610 let len = data.len();
611 if !matches!(data, Data::Empty) && layout_of(&data) != ty.physical() {
612 return Err(Error::internal(format!(
613 "a {ty} vector cannot hold {:?} data",
614 layout_of(&data)
615 )));
616 }
617 Ok(Self { ty, len, validity: Validity::AllValid, body: Body::Flat(data) })
618 }
619
620 /// A flat vector built from single values, with the nulls among them turning into validity.
621 ///
622 /// The slow way in, and the only way in that anything outside this crate has. It is what an
623 /// `INSERT`, a `VALUES` clause and a test build a column with, all of which arrive holding
624 /// values rather than a run of `i32`. Nothing on a scan path calls it: a scan produces a run of
625 /// data directly and hands it to [`Self::flat`].
626 ///
627 /// # Errors
628 ///
629 /// If a value is not one the type can hold, or if the type is one there is no vector for yet,
630 /// which today means `ARRAY` and `UNION`. A `LIST`, a `STRUCT` and a `MAP` are routed to their own
631 /// builders and come back built.
632 pub fn from_values(ty: LogicalType, values: &[Value]) -> Result<Self> {
633 match &ty {
634 LogicalType::List(element) => {
635 return Self::list_from_values(element.as_ref().clone(), values);
636 }
637 LogicalType::Struct(fields) => return Self::struct_from_values(fields, values),
638 LogicalType::Map(key, value) => {
639 return Self::map_from_values(key.as_ref().clone(), value.as_ref().clone(), values);
640 }
641 _ => {}
642 }
643 let mut data = empty_data_for(&ty)?;
644 for value in values {
645 push_value(&mut data, value)?;
646 }
647 let validity = Validity::from_iter(values.len(), |index| !values[index].is_null());
648 Ok(Self { ty, len: values.len(), validity, body: Body::Flat(data) })
649 }
650
651 /// A list vector of `element`, built from one [`Value::List`] per row.
652 ///
653 /// The elements of every row go into one child vector end to end, so a row's elements are a
654 /// contiguous range of it and a row is a start and a length into it. That is what makes a cut of
655 /// this form the entries and nothing else.
656 ///
657 /// A null row contributes no elements and gets an entry of length zero, which is the same entry
658 /// an empty list gets. The two are told apart by the validity mask rather than by the entry, for
659 /// the reason written on [`Body::Nested`].
660 fn list_from_values(element: LogicalType, values: &[Value]) -> Result<Self> {
661 let mut flat = Vec::new();
662 let mut entries = Vec::with_capacity(values.len());
663 for value in values {
664 let start = u32::try_from(flat.len())
665 .map_err(|_| Error::internal("a list column with more than u32 elements in it"))?;
666 match value {
667 Value::Null => entries.push((start, 0)),
668 Value::List { values: held, .. } => {
669 let len = u32::try_from(held.len())
670 .map_err(|_| Error::internal("a list longer than u32"))?;
671 flat.extend_from_slice(held);
672 entries.push((start, len));
673 }
674 other => {
675 return Err(Error::internal(format!(
676 "{other:?} does not belong in a list vector"
677 )));
678 }
679 }
680 }
681 // The element type is the column's rather than any one value's. A `Value::List` carries what
682 // it thinks it is empty of, and a column built from a row of `INTEGER[]` and a row of
683 // `[]::NULL[]` would otherwise take its type from whichever row came first.
684 let child = Self::from_values(element, &flat)?;
685 let validity = Validity::from_iter(values.len(), |index| !values[index].is_null());
686 Ok(Self {
687 ty: LogicalType::list(child.ty.clone()),
688 len: values.len(),
689 validity,
690 body: Body::Nested { entries, child: Arc::new(child) },
691 })
692 }
693
694 /// A list vector over a child that already exists, one entry per row.
695 ///
696 /// What a scan and a list returning kernel build, both of which produce the elements in bulk and
697 /// then say which row each range belongs to. Every row is valid, since a caller with nulls to
698 /// record adds them with [`Self::with_validity`].
699 ///
700 /// # Errors
701 ///
702 /// If an entry runs past the end of the child, which would be a row that reads elements belonging
703 /// to nobody and is the one mistake this form makes easy.
704 pub fn list(entries: Vec<(u32, u32)>, child: Vector) -> Result<Self> {
705 let reach = child.len();
706 for &(start, len) in &entries {
707 if start as usize + len as usize > reach {
708 return Err(Error::internal(format!(
709 "a list entry of {len} at {start} in a child of {reach}"
710 )));
711 }
712 }
713 Ok(Self {
714 ty: LogicalType::list(child.ty.clone()),
715 len: entries.len(),
716 validity: Validity::AllValid,
717 body: Body::Nested { entries, child: Arc::new(child) },
718 })
719 }
720
721 /// A struct vector of `fields`, built from one [`Value::Struct`] per row.
722 ///
723 /// One pass per field rather than one pass per row, because each field becomes its own child
724 /// vector and a child is built from a run of values of one type. So a struct of three fields over
725 /// a thousand rows is three calls to [`Self::from_values`] and not a thousand.
726 ///
727 /// The fields are matched by name and not by position. A `Value::Struct` carries its names, and a
728 /// caller that built one in a different order from the type's would otherwise get the values
729 /// silently transposed into the wrong columns, which is the kind of wrong answer that reads as
730 /// right. A row missing a field the type names is an error rather than a null for the same reason.
731 ///
732 /// A null row is a null in every child as well as a false bit in the mask here. [`Body::Fields`]
733 /// says a null struct is allowed to have readable children and that is about a struct built out of
734 /// children that already exist, where whatever is underneath is the caller's. Built from values
735 /// there is nothing underneath to keep, so the children get the null.
736 fn struct_from_values(fields: &[Field], values: &[Value]) -> Result<Self> {
737 let mut children = Vec::with_capacity(fields.len());
738 for field in fields {
739 let mut column = Vec::with_capacity(values.len());
740 for value in values {
741 column.push(match value {
742 Value::Null => Value::Null,
743 Value::Struct(held) => held
744 .iter()
745 .find(|(name, _)| *name == field.name)
746 .map(|(_, held)| held.clone())
747 .ok_or_else(|| {
748 Error::internal(format!(
749 "a struct row with no {} field in it",
750 field.name
751 ))
752 })?,
753 other => {
754 return Err(Error::internal(format!(
755 "{other:?} does not belong in a struct vector"
756 )));
757 }
758 });
759 }
760 children.push(Arc::new(Self::from_values(field.ty.clone(), &column)?));
761 }
762 let validity = Validity::from_iter(values.len(), |index| !values[index].is_null());
763 Ok(Self {
764 ty: LogicalType::Struct(fields.to_vec()),
765 len: values.len(),
766 validity,
767 body: Body::Fields { children },
768 })
769 }
770
771 /// A struct vector over children that already exist, one per field.
772 ///
773 /// What a scan and a struct returning kernel build, both of which produce each field as a column
774 /// and then put them side by side. Every row is valid, since a caller with nulls to record adds
775 /// them with [`Self::with_validity`].
776 ///
777 /// # Errors
778 ///
779 /// If there are no fields, or if the children are not all the same length. The first is not a
780 /// fussy restriction: a struct vector with no children has no child to take its length from, so a
781 /// zero field struct column would be a length with nothing to check it against, and a caller that
782 /// wants a column of empty structs wants a constant vector of one.
783 pub fn structure(children: Vec<(String, Vector)>) -> Result<Self> {
784 let Some((_, first)) = children.first() else {
785 return Err(Error::internal("a struct vector of no fields, which has no length"));
786 };
787 let len = first.len();
788 for (name, child) in &children {
789 if child.len() != len {
790 return Err(Error::internal(format!(
791 "a {} field of {} rows beside a struct of {len}",
792 name,
793 child.len()
794 )));
795 }
796 }
797 let fields = children
798 .iter()
799 .map(|(name, child)| Field::new(name.clone(), child.ty.clone()))
800 .collect();
801 let children = children.into_iter().map(|(_, child)| Arc::new(child)).collect();
802 Ok(Self {
803 ty: LogicalType::Struct(fields),
804 len,
805 validity: Validity::AllValid,
806 body: Body::Fields { children },
807 })
808 }
809
810 /// The children, for a struct vector, and `None` for any other form.
811 ///
812 /// The accessor a kernel over a struct column reads, and the reason field extraction is free:
813 /// picking one field out of a struct is picking one of these, so a projection of `s.a` hands back
814 /// a vector that already exists rather than reading a row at a time and rebuilding a column.
815 #[must_use]
816 pub fn struct_parts(&self) -> Option<&[Arc<Self>]> {
817 match &self.body {
818 Body::Fields { children } => Some(children),
819 _ => None,
820 }
821 }
822
823 /// A map vector, built from one [`Value::Map`] per row.
824 ///
825 /// A map is a list whose child is a two field struct of keys and values, which is what DuckDB
826 /// stores and what Arrow and Parquet store, so this is the list builder and the struct builder
827 /// composed rather than a third layout. The keys of every row go into one column end to end, the
828 /// values into another beside it, and a row is a start and a length into the pair.
829 ///
830 /// The field names are [`MAP_KEY`] and [`MAP_VALUE`] because those are the names DuckDB gives them
831 /// and the names anything reading a Parquet map field will expect to find.
832 ///
833 /// A null row and an empty map are both an entry of length zero, told apart by the validity mask,
834 /// for the reason written on [`Body::Nested`].
835 fn map_from_values(key: LogicalType, value: LogicalType, values: &[Value]) -> Result<Self> {
836 let mut keys = Vec::new();
837 let mut held = Vec::new();
838 let mut entries = Vec::with_capacity(values.len());
839 for row in values {
840 let start = u32::try_from(keys.len())
841 .map_err(|_| Error::internal("a map column with more than u32 entries in it"))?;
842 match row {
843 Value::Null => entries.push((start, 0)),
844 Value::Map { entries: pairs, .. } => {
845 let len = u32::try_from(pairs.len())
846 .map_err(|_| Error::internal("a map with more than u32 entries"))?;
847 for (one, other) in pairs {
848 keys.push(one.clone());
849 held.push(other.clone());
850 }
851 entries.push((start, len));
852 }
853 other => {
854 return Err(Error::internal(format!(
855 "{other:?} does not belong in a map vector"
856 )));
857 }
858 }
859 }
860 // The two types are the column's rather than any one row's, for the reason the list builder
861 // takes the element type from the column: a row that is the empty map carries whatever it was
862 // built as being empty of, and the column is not entitled to take its type from that.
863 let child = Self::structure(vec![
864 (MAP_KEY.to_string(), Self::from_values(key, &keys)?),
865 (MAP_VALUE.to_string(), Self::from_values(value, &held)?),
866 ])?;
867 let ty = LogicalType::map(
868 fields_of(&child.ty)[0].ty.clone(),
869 fields_of(&child.ty)[1].ty.clone(),
870 );
871 let validity = Validity::from_iter(values.len(), |index| !values[index].is_null());
872 Ok(Self {
873 ty,
874 len: values.len(),
875 validity,
876 body: Body::Nested { entries, child: Arc::new(child) },
877 })
878 }
879
880 /// A map vector over a pair of columns that already exist, one entry per row.
881 ///
882 /// What a scan and a map returning kernel build. The keys and the values are two columns of the
883 /// same length, and each row of the map is the same range of both. Every row is valid, since a
884 /// caller with nulls to record adds them with [`Self::with_validity`].
885 ///
886 /// # Errors
887 ///
888 /// If the two columns are different lengths, or if an entry runs past the end of them.
889 pub fn map(entries: Vec<(u32, u32)>, keys: Vector, values: Vector) -> Result<Self> {
890 let key = keys.ty.clone();
891 let value = values.ty.clone();
892 let child =
893 Self::structure(vec![(MAP_KEY.to_string(), keys), (MAP_VALUE.to_string(), values)])?;
894 let mut vector = Self::list(entries, child)?;
895 vector.ty = LogicalType::map(key, value);
896 Ok(vector)
897 }
898
899 /// The entries and the two columns, for a map vector, and `None` for anything else.
900 ///
901 /// Reaches through the struct child that a map is stored as, so that a kernel over a map column
902 /// reads the keys and the values as the two columns they are rather than having to know that the
903 /// pair is spelled as a struct underneath.
904 #[must_use]
905 pub fn map_parts(&self) -> Option<MapParts<'_>> {
906 if !matches!(self.ty, LogicalType::Map(_, _)) {
907 return None;
908 }
909 let (entries, child) = self.list_parts()?;
910 let [keys, values] = child.struct_parts()? else { return None };
911 Some((entries, keys, values))
912 }
913
914 /// The entries and the child, for a list vector, and `None` for any other form.
915 ///
916 /// The accessor a kernel over a list column reads, for the reason
917 /// [`Self::dictionary_parts`] exists: `unnest` over 1024 rows wants the child once and the
918 /// entries once, and reading it through [`Self::value_at`] would build a `Value::List` per row
919 /// and then throw every one of them away.
920 ///
921 /// A map answers here as well, with the struct child it is stored as, because this is a question
922 /// about the layout and a map's layout is a list's. A caller that wants the keys and the values as
923 /// two columns wants [`Self::map_parts`], which reaches through that child.
924 #[must_use]
925 pub fn list_parts(&self) -> Option<(&[(u32, u32)], &Self)> {
926 match &self.body {
927 Body::Nested { entries, child } => Some((entries, child)),
928 _ => None,
929 }
930 }
931
932 /// A vector of `len` copies of one value.
933 ///
934 /// Costs one value regardless of the length, which is what makes a literal in a predicate free
935 /// and what makes a projection of a constant free.
936 #[must_use]
937 pub fn constant(ty: LogicalType, value: Value, len: usize) -> Self {
938 let validity = if value.is_null() { Validity::AllInvalid } else { Validity::AllValid };
939 Self { ty, len, validity, body: Body::Constant(Box::new(value)) }
940 }
941
942 /// A vector of `len` values starting at `start` and stepping by `step`.
943 ///
944 /// This is what a row identifier column is, and it costs sixteen bytes rather than eight
945 /// kilobytes. A scan that produces row ids for a later fetch produces one of these.
946 #[must_use]
947 pub fn sequence(start: i64, step: i64, len: usize) -> Self {
948 Self {
949 ty: LogicalType::BigInt,
950 len,
951 validity: Validity::AllValid,
952 body: Body::Sequence { start, step },
953 }
954 }
955
956 /// A vector of codes into a smaller vector of distinct values.
957 ///
958 /// The form the whole M3 thesis rests on. A dictionary vector handed to a group by is an
959 /// integer column, and an aggregate over one is an aggregate over integers no matter what the
960 /// logical type says.
961 ///
962 /// A dictionary over a dictionary is composed into one level here rather than left as two, so
963 /// the form has a depth of one always and a kernel that reads [`Self::dictionary_parts`] is
964 /// reading the values rather than another layer of codes. Two filters over the same chunk build
965 /// the second case and four conjuncts pushed down separately build four of it.
966 ///
967 /// The cost of leaving them stacked turned out to be a cliff rather than a slope. Every loop in
968 /// `rudb-kernels` reaches for the values behind the codes with [`Self::data`], a dictionary
969 /// pointing at a dictionary has no data to hand back, so the second level does not make the
970 /// kernels slower, it turns them off and drops the work onto the row at a time path that exists
971 /// to be correct rather than fast. Measured on server3 over a chunk of two numeric columns and a
972 /// consumer of two vectorized passes, one level reads at 3.5 nanoseconds a row and two levels at
973 /// 104, and the third and fourth levels cost almost nothing more because the first one had
974 /// already given up everything there was to give. Composing is one pass over the outer codes,
975 /// which the range check above is already making.
976 ///
977 /// The one dictionary that is not composed past is one carrying a validity of its own. A
978 /// dictionary is built all valid and only [`Self::with_validity`] can change that, so such a
979 /// vector is saying that its nulls are at this level rather than in the values it points at, and
980 /// composing past it would drop them.
981 ///
982 /// # Errors
983 ///
984 /// If any code is past the end of the value vector.
985 pub fn dictionary(codes: Vec<u32>, values: Vector) -> Result<Self> {
986 Self::dictionary_over(codes, Arc::new(values))
987 }
988
989 /// The same, over a set of values somebody else is holding too.
990 ///
991 /// The body holds its values in an `Arc` either way, so a caller that already has one has
992 /// nothing to hand over but a pointer. The caller this is for is a Parquet chunk: one dictionary
993 /// page serves every data page of the chunk, and going through [`Self::dictionary`] meant
994 /// copying the whole dictionary into each page's vector on the way to putting it in an `Arc`
995 /// that then had a single holder. On a ClickBench scan that copy was sixteen percent of the
996 /// instructions the query ran.
997 ///
998 /// Composing a dictionary over a dictionary keeps the handle too. The leaf of the stack is what
999 /// the composed dictionary points at and neither its values nor anything about it changes, so
1000 /// there is nothing to own and the new dictionary shares the same leaf the old one did.
1001 ///
1002 /// The range check takes the highest code rather than stopping at the first bad one. Stopping
1003 /// early sounds cheaper and is not, because a loop that can exit anywhere cannot be vectorized
1004 /// and a running maximum can, and the only run that would have exited early is the one about to
1005 /// fail the query anyway. Every other run reads the whole of `codes` either way. It was 5.2
1006 /// percent of a ClickBench scan as a `find`.
1007 ///
1008 /// # Errors
1009 ///
1010 /// If any code is past the end of the value vector.
1011 pub fn dictionary_over(codes: Vec<u32>, values: Arc<Vector>) -> Result<Self> {
1012 let highest = codes.iter().copied().fold(0, u32::max);
1013 if !codes.is_empty() && highest as usize >= values.len() {
1014 return Err(Error::internal(format!(
1015 "dictionary code {highest} is past the end of a {} value dictionary",
1016 values.len()
1017 )));
1018 }
1019 let (codes, values) = compose(codes, values);
1020 Ok(Self {
1021 ty: values.ty.clone(),
1022 len: codes.len(),
1023 validity: Validity::AllValid,
1024 body: Body::Dictionary { codes, values, stable: false },
1025 })
1026 }
1027
1028 /// A dictionary whose codes keep the same meaning across every page of its source.
1029 pub fn stable_dictionary(codes: Vec<u32>, values: Arc<Vector>) -> Result<Self> {
1030 let mut vector = Self::dictionary_over(codes, values)?;
1031 if let Body::Dictionary { stable, .. } = &mut vector.body {
1032 *stable = true;
1033 }
1034 Ok(vector)
1035 }
1036
1037 /// A stable dictionary whose caller already found the largest code while decoding it.
1038 pub fn stable_dictionary_validated(
1039 codes: Vec<u32>,
1040 values: Arc<Vector>,
1041 highest: Option<u32>,
1042 ) -> Result<Self> {
1043 if highest.is_some_and(|code| code as usize >= values.len()) {
1044 return Err(Error::internal("a stable dictionary code is past its value dictionary"));
1045 }
1046 Ok(Self {
1047 ty: values.ty.clone(),
1048 len: codes.len(),
1049 validity: Validity::AllValid,
1050 body: Body::Dictionary { codes, values, stable: true },
1051 })
1052 }
1053
1054 /// A vector of runs, one value each, with the row each run ends at.
1055 ///
1056 /// `ends` is exclusive and strictly increasing, so run `i` covers the rows from `ends[i - 1]` to
1057 /// `ends[i]` and run zero starts at nothing. The length of the vector is the last end.
1058 ///
1059 /// The depth is one, the same way a dictionary's is, and for a sharper reason. Every kernel that
1060 /// wants runs wants the value of a run without another search, and a run length vector over a
1061 /// run length vector turns one search into two and then into three. Rather than compose, this
1062 /// refuses: nothing in the engine builds a stacked one, because [`Self::run_encoded`] only ever
1063 /// reads a flat body, so a stacked one is a caller doing something by hand and the useful answer
1064 /// is to say so rather than to quietly do a pass of work they did not ask for.
1065 ///
1066 /// A run over a dictionary is fine and is not that case. The two forms answer different
1067 /// questions and a column that is both clustered and low cardinality genuinely wants both.
1068 ///
1069 /// # Errors
1070 ///
1071 /// If there is not exactly one value per run, if the ends do not increase, or if the values are
1072 /// themselves run length encoded.
1073 pub fn runs(ends: Vec<u32>, values: Vector) -> Result<Self> {
1074 if matches!(values.body, Body::Runs { .. }) {
1075 return Err(Error::internal("runs of runs, which is two searches to read one row"));
1076 }
1077 if ends.len() != values.len() {
1078 return Err(Error::internal(format!(
1079 "{} runs and {} values to put in them",
1080 ends.len(),
1081 values.len()
1082 )));
1083 }
1084 if ends.windows(2).any(|pair| pair[0] >= pair[1]) || ends.first() == Some(&0) {
1085 return Err(Error::internal("run ends that do not increase"));
1086 }
1087 let len = ends.last().copied().unwrap_or(0) as usize;
1088 Ok(Self {
1089 ty: values.ty.clone(),
1090 len,
1091 validity: Validity::AllValid,
1092 body: Body::Runs { ends, values: Arc::new(values) },
1093 })
1094 }
1095
1096 /// The same values as runs, when there are few enough runs for that to be smaller.
1097 ///
1098 /// Costs one pass over the column to find out, which is why this is a call somebody makes rather
1099 /// than something a constructor does. The decision is the same arithmetic every time: a row in
1100 /// flat form costs one value, a run costs one value plus the four bytes of its end, so runs are
1101 /// smaller once there are fewer than about half as many runs as rows, and the narrower the
1102 /// column the more runs it takes. `RUNS_PAY_AT` is that ratio, written down rather than spelt
1103 /// into an `if`, because it is the number a sweep will want to move.
1104 ///
1105 /// Only a flat body is looked at. A constant and a sequence are already one value and two
1106 /// numbers, so there is nothing to win, and a dictionary that is also clustered is a real case
1107 /// that wants its codes run length encoded rather than its values, which is a different function
1108 /// and not this one.
1109 ///
1110 /// Two adjacent nulls are one run. Two adjacent equal values with a null between them are three,
1111 /// because the null is a value of the column as far as anything reading it is concerned.
1112 ///
1113 /// # Errors
1114 ///
1115 /// From the gather this does at the end, and nowhere else. A body that is not flat comes back
1116 /// unchanged rather than as an error, so a nested vector never reaches the part that can fail.
1117 pub fn run_encoded(&self) -> Result<Self> {
1118 let Body::Flat(data) = &self.body else {
1119 return Ok(self.clone());
1120 };
1121 let ends = boundaries(data, &self.validity, self.len);
1122 if ends.len().saturating_mul(RUNS_PAY_AT) >= self.len {
1123 return Ok(self.clone());
1124 }
1125 let starts: Vec<u32> =
1126 std::iter::once(0).chain(ends.iter().copied()).take(ends.len()).collect();
1127 Self::runs(ends, self.gather(&starts)?)
1128 }
1129
1130 /// A vector of `len` integers packed `width` bits each, every one an offset from `base`.
1131 ///
1132 /// The way in for a reader that already has the packed bits, which is what a column file holds
1133 /// and what a network frame carries. Nothing unpacks on the way in, so a scan of a packed column
1134 /// hands the bits straight to the chunk and the cost of the form is paid by whoever reads a
1135 /// value rather than by the scan.
1136 ///
1137 /// The range check is on the two ends rather than on every code, which is the whole check. A
1138 /// code is between zero and `2^width - 1` by construction, so if `base` and `base + 2^width - 1`
1139 /// both fit the column's layout then every value does, and that is two comparisons instead of
1140 /// one per row.
1141 ///
1142 /// # Errors
1143 ///
1144 /// If the type is not one of the integer layouts, if the width is not between one and
1145 /// [`PACKED_WIDTH_MAX`], if there are not enough words for the length, or if either end of the
1146 /// range would not fit the type.
1147 pub fn packed(
1148 ty: LogicalType,
1149 words: Vec<u64>,
1150 width: u32,
1151 base: i128,
1152 len: usize,
1153 ) -> Result<Self> {
1154 let Some((low, high)) = layout_range(&ty) else {
1155 return Err(Error::internal(format!("a {ty} vector has no integer layout to pack")));
1156 };
1157 if width == 0 || width > PACKED_WIDTH_MAX {
1158 return Err(Error::internal(format!(
1159 "a packed width of {width}, which is outside 1 to {PACKED_WIDTH_MAX}"
1160 )));
1161 }
1162 let needed = words_for(len, width);
1163 if words.len() < needed {
1164 return Err(Error::internal(format!(
1165 "{} words for {len} values of {width} bits, which needs {needed}",
1166 words.len()
1167 )));
1168 }
1169 let top = base + i128::from(u64::MAX >> (64 - width));
1170 if base < low || top > high {
1171 return Err(Error::internal(format!(
1172 "packed values from {base} to {top}, which a {ty} cannot hold"
1173 )));
1174 }
1175 Ok(Self {
1176 ty,
1177 len,
1178 validity: Validity::AllValid,
1179 body: Body::Packed { words: Arc::new(words), width, base, offset: 0 },
1180 })
1181 }
1182
1183 /// The same values bit packed, when the range of the column makes that smaller.
1184 ///
1185 /// Costs one pass to find the range and one to write the bits, which is why this is a call
1186 /// somebody makes rather than something a constructor does. It is the counterpart of
1187 /// [`Self::run_encoded`] and the decision has the same shape: a row flat costs the width of its
1188 /// layout, a row packed costs the bits the column's range needs, and the form is worth having
1189 /// only when the second is a good deal smaller than the first. [`PACKING_PAYS_AT`] is that
1190 /// ratio, written down rather than spelt into an `if`, because it is the number a sweep will
1191 /// want to move.
1192 ///
1193 /// Only a flat integer body is looked at. A constant and a sequence are already smaller than any
1194 /// packing of them, a dictionary's codes are the thing that would want packing rather than its
1195 /// values, and a float has no range to pack into since the bits of an `f64` are not an integer
1196 /// that arithmetic on the column agrees with.
1197 ///
1198 /// The range is taken over every slot including the null ones, which hold a zero. A column of
1199 /// large values with one null in it therefore packs a range that reaches down to zero and comes
1200 /// out wider than it needed to be. The alternative is a pass that consults the validity per slot
1201 /// to find the range and a second rule for what to write into a null slot, and this form exists
1202 /// to make reads cheap rather than to squeeze the last bit out of a sparse column.
1203 ///
1204 /// A column whose values are all the same packs to nothing at all, and rather than invent a zero
1205 /// bit code this declines and leaves it to [`Self::run_encoded`], which turns that column into
1206 /// one run and is smaller than any packing of it.
1207 ///
1208 /// # Errors
1209 ///
1210 /// If the packed bits and the length disagree, which would be a bug here rather than a caller
1211 /// doing something wrong.
1212 pub fn bit_packed(&self) -> Result<Self> {
1213 let Body::Flat(data) = &self.body else {
1214 return Ok(self.clone());
1215 };
1216 let Some((low, high)) = span_of(data, self.len) else {
1217 return Ok(self.clone());
1218 };
1219 let Some(range) = high.checked_sub(low).and_then(|range| u64::try_from(range).ok()) else {
1220 return Ok(self.clone());
1221 };
1222 let width = u64::BITS - range.leading_zeros();
1223 if width == 0 || width > PACKED_WIDTH_MAX {
1224 return Ok(self.clone());
1225 }
1226 if words_for(self.len, width) * size_of::<u64>() * PACKING_PAYS_AT > data.footprint() {
1227 return Ok(self.clone());
1228 }
1229 let words = pack(data, self.len, low, width);
1230 let packed = Self::packed(self.ty.clone(), words, width, low, self.len)?;
1231 Ok(packed.with_validity(self.validity.clone()))
1232 }
1233
1234 /// A vector of string views over an arena somebody else is holding too.
1235 ///
1236 /// The way in for a scan that has a page of strings and wants several chunks over it. Each chunk
1237 /// gets its own run of views and they all share the one arena, so the bytes are read where the
1238 /// page put them and nothing copies them.
1239 ///
1240 /// Every view is checked against the arena here rather than when a row is read. That is a pass
1241 /// over the views at construction, which is the same pass the caller just did to build them, and
1242 /// what it buys is that a row of this form cannot resolve to bytes that are not there. The check
1243 /// is on the offsets and not on the bytes, so it says nothing about whether the payload is text,
1244 /// which is the same promise a `BLOB` column makes.
1245 ///
1246 /// # Errors
1247 ///
1248 /// If the type is not one stored as views, or if a view points past the end of the arena.
1249 pub fn string_views(
1250 ty: LogicalType,
1251 views: Vec<StringView>,
1252 arena: Arc<Buffer<u8>>,
1253 ) -> Result<Self> {
1254 if ty.physical() != rudb_common::PhysicalType::Varlen {
1255 return Err(Error::internal(format!("a {ty} vector cannot hold string views")));
1256 }
1257 if views.iter().any(|view| view.bytes_in(&arena).is_none()) {
1258 return Err(Error::internal("a string view points past the end of its arena"));
1259 }
1260 let len = views.len();
1261 Ok(Self { ty, len, validity: Validity::AllValid, body: Body::Views { views, arena } })
1262 }
1263
1264 /// A text vector whose values remain in a storage source until they are read.
1265 pub fn external_text(ty: LogicalType, source: Arc<dyn TextSource>) -> Result<Self> {
1266 if ty.physical() != rudb_common::PhysicalType::Varlen {
1267 return Err(Error::internal(format!(
1268 "a {ty} vector cannot use an external text source"
1269 )));
1270 }
1271 let len = source.len();
1272 Ok(Self { ty, len, validity: Validity::AllValid, body: Body::ExternalText { source } })
1273 }
1274
1275 /// The same strings, in a form where a cut of them does not copy the bytes.
1276 ///
1277 /// The counterpart of [`Self::run_encoded`] and [`Self::bit_packed`] for a string column, and
1278 /// the only one of the three that takes `self` by value. It has to: what it does is move the
1279 /// arena into an `Arc` so nothing copies it again, and a version taking `&self` would start by
1280 /// copying the arena once to have one to move.
1281 ///
1282 /// Anything that is not a flat string column comes back as it was, which includes a column that
1283 /// is already in this form.
1284 ///
1285 /// # Errors
1286 ///
1287 /// Nothing here fails today. The result is a `Result` because the check inside
1288 /// [`Self::string_views`] is worth running on the views this builds rather than trusting that
1289 /// this function built them right.
1290 pub fn shared_text(self) -> Result<Self> {
1291 let Body::Flat(Data::Varlen(column)) = self.body else {
1292 return Ok(self);
1293 };
1294 let (views, arena) = column.into_parts();
1295 let shared = Self::string_views(self.ty, views, Arc::new(arena))?;
1296 Ok(shared.with_validity(self.validity))
1297 }
1298
1299 /// A vector of FSST codes against a table somebody else trained.
1300 ///
1301 /// The way in for a reader that has a page of compressed strings and the table that goes with
1302 /// it. The codes are not copied and the table is not retrained, so laying several chunks over
1303 /// one page costs the spans and nothing else.
1304 ///
1305 /// # Errors
1306 ///
1307 /// If the type is not one stored as text, or if a span runs past the end of the codes.
1308 pub fn coded(
1309 ty: LogicalType,
1310 codes: Arc<Vec<u8>>,
1311 spans: Vec<(u32, u32)>,
1312 table: Arc<SymbolTable>,
1313 ) -> Result<Self> {
1314 if ty.physical() != rudb_common::PhysicalType::Varlen {
1315 return Err(Error::internal(format!("a {ty} vector cannot hold FSST codes")));
1316 }
1317 let end = u32::try_from(codes.len()).unwrap_or(u32::MAX);
1318 if spans.iter().any(|&(from, to)| from > to || to > end) {
1319 return Err(Error::internal("an FSST span runs past the end of the codes"));
1320 }
1321 let len = spans.len();
1322 Ok(Self {
1323 ty,
1324 len,
1325 validity: Validity::AllValid,
1326 body: Body::Coded { codes, spans, table },
1327 })
1328 }
1329
1330 /// The same strings, compressed against a table trained on them.
1331 ///
1332 /// The counterpart of [`Self::run_encoded`] and [`Self::bit_packed`] for a text column, and it
1333 /// takes `self` by value for the reason [`Self::shared_text`] does.
1334 ///
1335 /// The table is trained on every row rather than on a sample. A vector is at most 1024 rows, so
1336 /// the sample would be most of the column anyway, and the systematic sampling
1337 /// `spec/06-compression.md` section 6.3 asks for is a decision about a page and belongs to
1338 /// whoever is holding one.
1339 ///
1340 /// It declines unless the codes are at most half the bytes the strings are. FSST gets about that
1341 /// on text and rather less on anything already short or already random, and below that the
1342 /// decompression per row read is not bought back. A column it declines on comes back as it was.
1343 ///
1344 /// # Errors
1345 ///
1346 /// Nothing here fails today. The result is a `Result` because the checks inside [`Self::coded`]
1347 /// are worth running on what this builds rather than trusting that this built it right.
1348 pub fn compressed(self) -> Result<Self> {
1349 let Body::Flat(Data::Varlen(column)) = &self.body else {
1350 return Ok(self);
1351 };
1352 let rows: Vec<&[u8]> = (0..self.len).filter_map(|row| column.bytes(row)).collect();
1353 if rows.len() != self.len {
1354 return Ok(self);
1355 }
1356 let plain: usize = rows.iter().map(|row| row.len()).sum();
1357 let table = SymbolTable::train(&rows);
1358 let mut codes = Vec::with_capacity(plain);
1359 let mut spans = Vec::with_capacity(self.len);
1360 for row in &rows {
1361 let from = u32::try_from(codes.len()).unwrap_or(u32::MAX);
1362 table.compress(row, &mut codes);
1363 spans.push((from, u32::try_from(codes.len()).unwrap_or(u32::MAX)));
1364 }
1365 if codes.len() * FSST_PAYS_AT > plain {
1366 return Ok(self);
1367 }
1368 let coded = Self::coded(self.ty.clone(), Arc::new(codes), spans, Arc::new(table))?;
1369 Ok(coded.with_validity(self.validity.clone()))
1370 }
1371
1372 /// The same vector with a different validity.
1373 #[must_use]
1374 pub fn with_validity(mut self, validity: Validity) -> Self {
1375 self.validity = validity;
1376 self
1377 }
1378
1379 /// What kind of values these are.
1380 #[must_use]
1381 pub fn logical_type(&self) -> &LogicalType {
1382 &self.ty
1383 }
1384
1385 /// How many values there are.
1386 #[must_use]
1387 pub fn len(&self) -> usize {
1388 self.len
1389 }
1390
1391 /// Whether there are no values.
1392 #[must_use]
1393 pub fn is_empty(&self) -> bool {
1394 self.len == 0
1395 }
1396
1397 /// How many bytes of memory this vector is holding.
1398 ///
1399 /// What the memory limit charges for it. A constant and a sequence hold one value and two
1400 /// numbers however long they are, which is the point of both forms, so the number here is the
1401 /// form's cost and not the column's width times its length.
1402 ///
1403 /// A part that is behind an `Arc` counts as one holder's share of it, which is
1404 /// [`Buffer::footprint`]'s rule for a shared page applied to the other shared parts. A
1405 /// dictionary counted in full in every vector sharing it is not a conservative over count, it is
1406 /// a number with the chunk count in it: an aggregate that emits nineteen thousand chunks of
1407 /// groups out of one stable dictionary reported that dictionary nineteen thousand times and
1408 /// refused itself a budget of twenty five gigabytes while the process held one. Dividing by the
1409 /// holders makes the sum over everything sharing the part come to about the part, which is what
1410 /// the number is supposed to mean, and it errs high rather than low whenever the holders arrive
1411 /// one after another, because each of them counts what it sees at the time it asks.
1412 #[must_use]
1413 pub fn footprint(&self) -> usize {
1414 let body = match &self.body {
1415 Body::Flat(data) => data.footprint(),
1416 Body::Constant(value) => value.footprint(),
1417 Body::Sequence { .. } => 0,
1418 Body::Dictionary { codes, values, .. } => {
1419 codes.capacity() * size_of::<u32>() + share(values.footprint(), values)
1420 }
1421 Body::Packed { words, .. } => share(words.capacity() * size_of::<u64>(), words),
1422 Body::Views { views, arena } => {
1423 views.capacity() * size_of::<StringView>() + share(arena.footprint(), arena)
1424 }
1425 Body::ExternalText { source } => share(source.footprint(), source),
1426 Body::Coded { codes, spans, table } => {
1427 share(codes.capacity(), codes)
1428 + spans.capacity() * size_of::<(u32, u32)>()
1429 + share(table.footprint(), table)
1430 }
1431 Body::Runs { ends, values } => {
1432 ends.capacity() * size_of::<u32>() + share(values.footprint(), values)
1433 }
1434 Body::Nested { entries, child } => {
1435 entries.capacity() * size_of::<(u32, u32)>() + share(child.footprint(), child)
1436 }
1437 // A struct is as wide as its fields are, so this is the one body whose cost is a sum
1438 // over children rather than one number, and a struct of a hundred narrow fields costs
1439 // what the hundred columns cost.
1440 Body::Fields { children } => {
1441 children.capacity() * size_of::<Arc<Self>>()
1442 + children.iter().map(|child| share(child.footprint(), child)).sum::<usize>()
1443 }
1444 };
1445 size_of::<Self>() + self.validity.footprint() + body
1446 }
1447
1448 /// Which of the values are not null, at this level and no deeper.
1449 ///
1450 /// This is not the same question as [`Self::is_null_at`] and the difference has already cost
1451 /// one wrong answer. A dictionary and a run length vector keep their nulls in the values they
1452 /// point at rather than in a mask of their own, so both are built with every row marked present
1453 /// here and a row whose value is null reads as valid. A caller that wants to know whether a row
1454 /// is null wants the other one. A caller that wants the mask of a flat column, to copy it or to
1455 /// count it, wants this one.
1456 #[must_use]
1457 pub fn validity(&self) -> &Validity {
1458 &self.validity
1459 }
1460
1461 /// Whether the row at `index` is null, in whichever form the vector is in.
1462 ///
1463 /// Reads through a dictionary or a run to the value it stands for, which is where those two
1464 /// forms keep their nulls, and answers from the mask for every other form. A row past the end
1465 /// is null, the same answer [`Self::value_at`] gives it.
1466 #[must_use]
1467 pub fn is_null_at(&self, index: usize) -> bool {
1468 if index >= self.len || !self.validity.is_valid(index) {
1469 return true;
1470 }
1471 match &self.body {
1472 Body::Dictionary { codes, values, .. } => match codes.get(index) {
1473 Some(&code) => values.is_null_at(code as usize),
1474 None => true,
1475 },
1476 Body::Runs { ends, values } => match run_holding(ends, index) {
1477 Some(run) => values.is_null_at(run),
1478 None => true,
1479 },
1480 _ => false,
1481 }
1482 }
1483
1484 /// Which physical form this vector is in.
1485 #[must_use]
1486 pub fn form(&self) -> Form {
1487 match self.body {
1488 Body::Flat(_) => Form::Flat,
1489 Body::Constant(_) => Form::Constant,
1490 Body::Sequence { .. } => Form::Sequence,
1491 Body::Dictionary { .. } => Form::Dictionary,
1492 Body::Packed { .. } => Form::BitPacked,
1493 Body::Views { .. } => Form::StringView,
1494 Body::ExternalText { .. } => Form::StringView,
1495 Body::Coded { .. } => Form::Fsst,
1496 Body::Runs { .. } => Form::Rle,
1497 Body::Nested { .. } => Form::List,
1498 Body::Fields { .. } => Form::Struct,
1499 }
1500 }
1501
1502 /// The data, for a flat vector, and `None` for any other form.
1503 ///
1504 /// A kernel that wants a slice asks for it and takes the flat path if it gets one. A kernel
1505 /// that can do better on a constant or a dictionary checks [`Self::form`] first.
1506 #[must_use]
1507 pub fn data(&self) -> Option<&Data> {
1508 match &self.body {
1509 Body::Flat(data) => Some(data),
1510 _ => None,
1511 }
1512 }
1513
1514 /// The one value, for a constant vector, and `None` for any other form.
1515 ///
1516 /// A kernel comparing a column against a literal wants the literal once rather than 1024
1517 /// times, and [`Self::value_at`] on a constant clones it on every call because it has to be
1518 /// able to hand back a `Value` for any form. This is the accessor that lets the specialized
1519 /// path hoist the clone out of the loop.
1520 #[must_use]
1521 pub fn constant_value(&self) -> Option<&Value> {
1522 match &self.body {
1523 Body::Constant(value) => Some(value.as_ref()),
1524 _ => None,
1525 }
1526 }
1527
1528 /// The codes and the values, for a dictionary vector, and `None` for any other form.
1529 ///
1530 /// The reason a kernel needs this rather than reading the dictionary through
1531 /// [`Self::value_at`] is the entire argument for the form existing. A filter against a
1532 /// dictionary column of 1024 rows and 40 distinct values is 40 comparisons and 1024 lookups,
1533 /// not 1024 comparisons, and there is no way to write that loop without seeing the codes.
1534 ///
1535 /// Note what the validity of the returned vector means. A dictionary keeps its nulls in the
1536 /// vector it points at, and the dictionary's own validity says nothing about them, so a caller
1537 /// deciding whether row `i` is null has to ask the value vector about `codes[i]` rather than
1538 /// asking this vector about `i`. [`Self::flatten`] has the same note on it for the same
1539 /// reason, because getting this wrong is a null that survives being selected and comes out as
1540 /// a zero.
1541 #[must_use]
1542 pub fn dictionary_parts(&self) -> Option<(&[u32], &Self)> {
1543 match &self.body {
1544 Body::Dictionary { codes, values, .. } => Some((codes, values.as_ref())),
1545 _ => None,
1546 }
1547 }
1548
1549 /// The codes and the shared dictionary handle for a dictionary vector.
1550 ///
1551 /// Storage readers use the identity of this handle to prove that codes from separate pages
1552 /// belong to one table-wide dictionary. Kernels that only read values should continue to use
1553 /// [`Self::dictionary_parts`].
1554 #[must_use]
1555 pub fn shared_dictionary_parts(&self) -> Option<(&[u32], &Arc<Self>)> {
1556 match &self.body {
1557 Body::Dictionary { codes, values, .. } => Some((codes, values)),
1558 _ => None,
1559 }
1560 }
1561
1562 /// Stable codes and their shared values, when storage guarantees one code space across pages.
1563 #[must_use]
1564 pub fn stable_dictionary_parts(&self) -> Option<(&[u32], &Arc<Self>)> {
1565 match &self.body {
1566 Body::Dictionary { codes, values, stable: true } => Some((codes, values)),
1567 _ => None,
1568 }
1569 }
1570
1571 /// The run ends and the run values, for a run length vector, and `None` for any other form.
1572 ///
1573 /// The ends are exclusive and increasing, and there is exactly one value per run, so a kernel
1574 /// that wants to walk this walks the pairs and never asks which run a row is in. That is the
1575 /// whole argument for the form: an aggregate over a clustered column is one multiply per run
1576 /// instead of one add per row, and there is no way to write that loop without seeing the ends.
1577 ///
1578 /// The nulls are in the values, the way a dictionary's are, so a caller deciding whether row `i`
1579 /// is null asks the value vector about the run rather than asking this vector about `i`.
1580 #[must_use]
1581 pub fn run_parts(&self) -> Option<(&[u32], &Self)> {
1582 match &self.body {
1583 Body::Runs { ends, values } => Some((ends, values.as_ref())),
1584 _ => None,
1585 }
1586 }
1587
1588 /// Where each row's value is, for the two forms that keep their values somewhere else.
1589 ///
1590 /// A dictionary and a run length vector are the same shape seen from a kernel: a run of
1591 /// positions and a vector to read them out of. The difference is that a dictionary stores the
1592 /// positions and a run length vector works them out, and a kernel writing `values[at[row]]` does
1593 /// not care which. So every specialization written against [`Self::dictionary_parts`] covers
1594 /// both forms by asking this instead, and the day a third form with an indirection arrives it
1595 /// covers that one too without any of those kernels being reopened.
1596 ///
1597 /// The run length side costs an allocation of one position per row and a pass to fill it, which
1598 /// is the same four bytes a row a dictionary was already carrying and is paid once per kernel
1599 /// call rather than once per row. That is the price of this being one accessor rather than a
1600 /// second arm in eighteen kernels, and it is not the last word: a kernel that wants a run at a
1601 /// time reads [`Self::run_parts`] and pays nothing, which is the specialization this makes it
1602 /// possible to skip writing until a sweep says it is worth it.
1603 #[must_use]
1604 pub fn positions(&self) -> Option<(Cow<'_, [u32]>, &Self)> {
1605 match &self.body {
1606 Body::Dictionary { codes, values, .. } => Some((Cow::Borrowed(codes), values.as_ref())),
1607 Body::Runs { ends, values } => {
1608 let mut at = Vec::with_capacity(self.len);
1609 for (run, &stop) in ends.iter().enumerate() {
1610 let run = u32::try_from(run).unwrap_or(u32::MAX);
1611 at.resize(stop as usize, run);
1612 }
1613 Some((Cow::Owned(at), values.as_ref()))
1614 }
1615 _ => None,
1616 }
1617 }
1618
1619 /// The bits and what they mean, for a bit packed vector, and `None` for any other form.
1620 ///
1621 /// What a kernel needs to stay in code space. A comparison against a literal is the case that
1622 /// pays: `column > 900` over a column packed from a base of 40 is `code > 860`, which is the
1623 /// same shift and mask the read was going to do anyway and no unpacking at all, and a literal
1624 /// outside the packed range answers the whole vector without reading a bit of it. None of that
1625 /// can be written without seeing the width and the base.
1626 #[must_use]
1627 pub fn packed_parts(&self) -> Option<Packed<'_>> {
1628 match &self.body {
1629 Body::Packed { words, width, base, offset } => {
1630 Some(Packed { words, width: *width, base: *base, offset: *offset })
1631 }
1632 _ => None,
1633 }
1634 }
1635
1636 /// The views and the arena, for either form that stores strings, and `None` for the rest.
1637 ///
1638 /// This is to the two string forms what [`Self::positions`] is to the two forms that point
1639 /// somewhere else. A flat varchar column owns its arena and a string view column shares one, and
1640 /// a kernel reading a row wants the view and the bytes either way, so every specialization
1641 /// written against this covers both forms and neither has to be reopened when a third way of
1642 /// holding an arena arrives.
1643 ///
1644 /// The arena is whatever the long strings live in, which for a column over a page is the page,
1645 /// including the parts of it no view points at. Only the views say which bytes are a row.
1646 #[must_use]
1647 pub fn text_parts(&self) -> Option<(&[StringView], &[u8])> {
1648 match &self.body {
1649 Body::Flat(Data::Varlen(column)) => Some((column.views(), column.arena())),
1650 Body::Views { views, arena } => Some((views, arena)),
1651 _ => None,
1652 }
1653 }
1654
1655 /// The codes and the table, for an FSST vector, and `None` for any other form.
1656 ///
1657 /// What a kernel needs to stay in code space. An equality filter is the case that pays, and it
1658 /// pays completely: the literal is compressed once against the same table and after that a row
1659 /// matches exactly when its code bytes match, because compressing is a function and so is
1660 /// decompressing. No row is decompressed at all. An ordering comparison cannot do that, since a
1661 /// symbol code says nothing about where its symbol sorts, so those decompress and say so.
1662 #[must_use]
1663 pub fn coded_parts(&self) -> Option<Coded<'_>> {
1664 match &self.body {
1665 Body::Coded { codes, spans, table } => Some(Coded { codes, spans, table }),
1666 _ => None,
1667 }
1668 }
1669
1670 /// The start and the step, for a sequence vector, and `None` for any other form.
1671 #[must_use]
1672 pub fn sequence_parts(&self) -> Option<(i64, i64)> {
1673 match self.body {
1674 Body::Sequence { start, step } => Some((start, step)),
1675 _ => None,
1676 }
1677 }
1678
1679 /// The value at `index`, as a single value.
1680 ///
1681 /// This is the slow path on purpose. It is what a result set is read out with and what a test
1682 /// asserts on, and an operator that calls it per row is an operator that has already lost the
1683 /// argument the vector interface exists to win.
1684 #[must_use]
1685 pub fn value_at(&self, index: usize) -> Value {
1686 if index >= self.len || !self.validity.is_valid(index) {
1687 return Value::Null;
1688 }
1689 match &self.body {
1690 Body::Constant(value) => value.as_ref().clone(),
1691 Body::Sequence { start, step } => Value::BigInt(start + step * index as i64),
1692 Body::Dictionary { codes, values, .. } => match codes.get(index) {
1693 Some(&code) => values.value_at(code as usize),
1694 None => Value::Null,
1695 },
1696 Body::Runs { ends, values } => match run_holding(ends, index) {
1697 Some(run) => values.value_at(run),
1698 None => Value::Null,
1699 },
1700 // One value unpacked into a run of one, so that what a packed value means is decided in
1701 // the same place a flat one is rather than in a second copy of the type mapping that
1702 // could drift from it. It allocates, which this path is allowed to do and the typed
1703 // unpack in `copied` is not, and it is the reason anything about to read a packed
1704 // column a row at a time should flatten it once instead.
1705 Body::Packed { words, width, base, offset } => {
1706 unpack(&self.ty, words, *offset, *width, *base, &[index])
1707 .map_or(Value::Null, |data| value_from(&self.ty, &data, 0))
1708 }
1709 // The bytes are where the arena has them, and what they are read as is the logical
1710 // type's business, so this hands the row to the same reader a flat column goes through
1711 // rather than deciding here that a `BLOB` is a string.
1712 Body::Views { views, arena } => {
1713 match views.get(index).and_then(|v| v.bytes_in(arena)) {
1714 Some(bytes) => bytes_as(&self.ty, bytes),
1715 None => Value::Null,
1716 }
1717 }
1718 Body::ExternalText { source } => source
1719 .bytes_at(index)
1720 .ok()
1721 .flatten()
1722 .map_or(Value::Null, |bytes| bytes_as(&self.ty, bytes)),
1723 // One row decompressed on its own, which is the property the form is chosen for. It
1724 // allocates, which this path is allowed to do, and it is the reason anything about to
1725 // read a compressed column a row at a time should flatten it once instead.
1726 Body::Coded { codes, spans, table } => {
1727 match spans.get(index).and_then(|&(from, to)| {
1728 let mut out = Vec::new();
1729 table.decompress(codes.get(from as usize..to as usize)?, &mut out).ok()?;
1730 Some(out)
1731 }) {
1732 Some(bytes) => bytes_as(&self.ty, &bytes),
1733 None => Value::Null,
1734 }
1735 }
1736 // A row's elements are read out of the child one at a time, which is the slow path this
1737 // whole function is and is why a kernel over a list column reads `list_parts` instead.
1738 // The element type comes from the child rather than from this vector's type, so a list
1739 // whose child was built narrower than the column claims still hands back what is in it.
1740 //
1741 // A map is stored in this body too, so which value comes out is decided by the logical
1742 // type rather than by the body. That is the one place the composition shows: the bytes of
1743 // a map really are the bytes of a list of two field structs, and the only thing that
1744 // remembers it is a map is the type.
1745 Body::Nested { entries, child } => match (entries.get(index), &self.ty) {
1746 (Some(&(start, len)), LogicalType::Map(key, value)) => {
1747 let pairs = child.struct_parts().unwrap_or_default();
1748 Value::map(
1749 key.as_ref().clone(),
1750 value.as_ref().clone(),
1751 (start..start + len)
1752 .filter_map(|at| {
1753 let [keys, values] = pairs else { return None };
1754 Some((keys.value_at(at as usize), values.value_at(at as usize)))
1755 })
1756 .collect(),
1757 )
1758 }
1759 (Some(&(start, len)), _) => Value::List {
1760 element: child.ty.clone(),
1761 values: (start..start + len).map(|at| child.value_at(at as usize)).collect(),
1762 },
1763 (None, _) => Value::Null,
1764 },
1765 // One value read out of each child at the same position, which is the slow path this whole
1766 // function is and is why a kernel over a struct column reads `struct_parts` instead. The
1767 // names come from this vector's type rather than from the children, because a child is a
1768 // vector and a vector has no name, and the type is where the field order is written down.
1769 Body::Fields { children } => Value::Struct(
1770 fields_of(&self.ty)
1771 .iter()
1772 .zip(children)
1773 .map(|(field, child)| (field.name.clone(), child.value_at(index)))
1774 .collect(),
1775 ),
1776 Body::Flat(data) => value_from(&self.ty, data, index),
1777 }
1778 }
1779
1780 /// One value of this vector's type, built out of bytes the caller already holds.
1781 ///
1782 /// [`try_value_at`](Self::try_value_at) finds the bytes itself, which over a dictionary that
1783 /// keeps its payload in a file means a read. A caller that swept the values out has the bytes in
1784 /// hand already and wants nothing from here but the type.
1785 pub fn value_of(&self, bytes: &[u8]) -> Value {
1786 bytes_as(&self.ty, bytes)
1787 }
1788
1789 /// The value at `index`, preserving storage read and validation failures.
1790 pub fn try_value_at(&self, index: usize) -> Result<Value> {
1791 if index >= self.len || !self.validity.is_valid(index) {
1792 return Ok(Value::Null);
1793 }
1794 match &self.body {
1795 Body::ExternalText { source } => {
1796 Ok(source.bytes_at(index)?.map_or(Value::Null, |bytes| bytes_as(&self.ty, bytes)))
1797 }
1798 Body::Dictionary { codes, values, .. } => match codes.get(index) {
1799 Some(&code) => values.try_value_at(code as usize),
1800 None => Ok(Value::Null),
1801 },
1802 Body::Runs { ends, values } => match run_holding(ends, index) {
1803 Some(run) => values.try_value_at(run),
1804 None => Ok(Value::Null),
1805 },
1806 Body::Nested { entries, child } => match (entries.get(index), &self.ty) {
1807 (Some(&(start, len)), LogicalType::Map(key, value)) => {
1808 let pairs = child.struct_parts().unwrap_or_default();
1809 let [keys, values] = pairs else { return Ok(Value::Null) };
1810 let mut entries = Vec::with_capacity(len as usize);
1811 for at in start..start + len {
1812 entries.push((
1813 keys.try_value_at(at as usize)?,
1814 values.try_value_at(at as usize)?,
1815 ));
1816 }
1817 Ok(Value::map(key.as_ref().clone(), value.as_ref().clone(), entries))
1818 }
1819 (Some(&(start, len)), _) => {
1820 let mut values = Vec::with_capacity(len as usize);
1821 for at in start..start + len {
1822 values.push(child.try_value_at(at as usize)?);
1823 }
1824 Ok(Value::List { element: child.ty.clone(), values })
1825 }
1826 (None, _) => Ok(Value::Null),
1827 },
1828 Body::Fields { children } => {
1829 let mut values = Vec::with_capacity(children.len());
1830 for (field, child) in fields_of(&self.ty).iter().zip(children) {
1831 values.push((field.name.clone(), child.try_value_at(index)?));
1832 }
1833 Ok(Value::Struct(values))
1834 }
1835 _ => Ok(self.value_at(index)),
1836 }
1837 }
1838
1839 /// The text at `index`, borrowed rather than copied.
1840 ///
1841 /// [`Self::value_at`] on a `VARCHAR` column allocates a `String` per call, and a group by that
1842 /// reads a string column keys on one string per input row. This hands back the bytes where they
1843 /// already are, so a caller with somewhere to put them does not go to the allocator at all.
1844 ///
1845 /// `None` for a null, for an index past the end, for a column that is not `VARCHAR`, and for the
1846 /// constant and sequence forms, whose values are not stored per position. A caller that gets
1847 /// `None` has to fall back to [`Self::value_at`], which is correct for all of those.
1848 #[must_use]
1849 pub fn text_at(&self, index: usize) -> Option<&str> {
1850 if self.ty != LogicalType::Varchar || index >= self.len || !self.validity.is_valid(index) {
1851 return None;
1852 }
1853 match &self.body {
1854 Body::Flat(data) => data.str_at(index),
1855 Body::Dictionary { codes, values, .. } => {
1856 values.text_at(usize::try_from(*codes.get(index)?).ok()?)
1857 }
1858 Body::Runs { ends, values } => values.text_at(run_holding(ends, index)?),
1859 Body::Views { views, arena } => {
1860 std::str::from_utf8(views.get(index)?.bytes_in(arena)?).ok()
1861 }
1862 Body::ExternalText { source } => {
1863 std::str::from_utf8(source.bytes_at(index).ok().flatten()?).ok()
1864 }
1865 _ => None,
1866 }
1867 }
1868
1869 /// The variable length bytes at `index`, borrowed without validating or copying them.
1870 ///
1871 /// String data is validated when it enters a vector. Hashing and equality only need its bytes,
1872 /// so those kernels should not pay for UTF-8 validation again on every read.
1873 #[must_use]
1874 pub fn bytes_at(&self, index: usize) -> Option<&[u8]> {
1875 if index >= self.len || !self.validity.is_valid(index) {
1876 return None;
1877 }
1878 match &self.body {
1879 Body::Constant(value) => match value.as_ref() {
1880 Value::Varchar(text) => Some(text.as_bytes()),
1881 Value::Blob(bytes) => Some(bytes),
1882 _ => None,
1883 },
1884 Body::Dictionary { codes, values, .. } => {
1885 values.bytes_at(usize::try_from(*codes.get(index)?).ok()?)
1886 }
1887 Body::Runs { ends, values } => values.bytes_at(run_holding(ends, index)?),
1888 Body::Views { views, arena } => views.get(index)?.bytes_in(arena),
1889 Body::ExternalText { source } => source.bytes_at(index).ok().flatten(),
1890 Body::Flat(data) => data.bytes_at(index),
1891 // The same `None` [`Self::text_at`] gives, for the same reason. A compressed row is not
1892 // anywhere in its plain bytes, so there is nothing here to hand back a borrow of, and a
1893 // caller that gets `None` goes to `value_at` and gets the row decompressed into a value.
1894 // A list row is `None` for a nearer reason: it is not bytes at all, and a caller wanting
1895 // its elements wants [`Self::list_parts`] rather than a borrow of one row.
1896 Body::Coded { .. }
1897 | Body::Sequence { .. }
1898 | Body::Packed { .. }
1899 | Body::Nested { .. }
1900 | Body::Fields { .. } => None,
1901 }
1902 }
1903
1904 /// Variable length bytes at `index`, preserving storage read and validation failures.
1905 pub fn try_bytes_at(&self, index: usize) -> Result<Option<&[u8]>> {
1906 if index >= self.len || !self.validity.is_valid(index) {
1907 return Ok(None);
1908 }
1909 match &self.body {
1910 Body::Constant(value) => Ok(match value.as_ref() {
1911 Value::Varchar(text) => Some(text.as_bytes()),
1912 Value::Blob(bytes) => Some(bytes.as_slice()),
1913 _ => None,
1914 }),
1915 Body::Dictionary { codes, values, .. } => match codes.get(index) {
1916 Some(&code) => values.try_bytes_at(code as usize),
1917 None => Ok(None),
1918 },
1919 Body::Runs { ends, values } => match run_holding(ends, index) {
1920 Some(run) => values.try_bytes_at(run),
1921 None => Ok(None),
1922 },
1923 Body::Views { views, arena } => {
1924 Ok(views.get(index).and_then(|view| view.bytes_in(arena)))
1925 }
1926 Body::ExternalText { source } => source.bytes_at(index),
1927 Body::Flat(data) => Ok(data.bytes_at(index)),
1928 Body::Coded { .. }
1929 | Body::Sequence { .. }
1930 | Body::Packed { .. }
1931 | Body::Nested { .. }
1932 | Body::Fields { .. } => Ok(None),
1933 }
1934 }
1935
1936 /// Walks the values from `first` up to at most `limit`, without keeping what it read.
1937 ///
1938 /// [`TextSource::sweep`] is what this is for and what the doc on it explains. Everything else
1939 /// here is the honest fallback: a vector that is not reading text out of a file has its values
1940 /// already, so there is nothing to avoid keeping, and it hands over one value and lets the
1941 /// caller come back. The answer is one past the last value visited either way, so the loop that
1942 /// calls this is the same loop whichever form it got.
1943 ///
1944 /// Nulls go the slow way. A source that reads a file holds no validity of its own, so the
1945 /// vector's own mask is the only thing that knows, and rather than teach the sweep about it the
1946 /// one form that can have both hands over a value at a time through the reader that checks.
1947 ///
1948 /// # Errors
1949 ///
1950 /// Whatever reading a value raises, and whatever `body` raises.
1951 pub fn sweep_text(
1952 &self,
1953 first: usize,
1954 limit: usize,
1955 body: &mut dyn FnMut(usize, &[u8]) -> Result<()>,
1956 ) -> Result<usize> {
1957 let limit = limit.min(self.len);
1958 if first >= limit {
1959 return Ok(first);
1960 }
1961 if let Body::ExternalText { source } = &self.body {
1962 if matches!(self.validity, Validity::AllValid) {
1963 return source.sweep(first, limit, body);
1964 }
1965 }
1966 body(first, self.try_bytes_at(first)?.unwrap_or_default())?;
1967 Ok(first + 1)
1968 }
1969
1970 /// Variable length byte count at `index`, preserving storage failures.
1971 pub fn try_bytes_len_at(&self, index: usize) -> Result<Option<usize>> {
1972 if index >= self.len || !self.validity.is_valid(index) {
1973 return Ok(None);
1974 }
1975 match &self.body {
1976 Body::Dictionary { codes, values, .. } => match codes.get(index) {
1977 Some(&code) => values.try_bytes_len_at(code as usize),
1978 None => Ok(None),
1979 },
1980 Body::Runs { ends, values } => match run_holding(ends, index) {
1981 Some(run) => values.try_bytes_len_at(run),
1982 None => Ok(None),
1983 },
1984 Body::ExternalText { source } => source.bytes_len_at(index),
1985 _ => Ok(self.bytes_at(index).map(<[u8]>::len)),
1986 }
1987 }
1988
1989 /// How many ranks this vector's values have in sorted order, when whatever holds them knows.
1990 ///
1991 /// See [`TextSource::ranks`] for what a rank is and what a source promises by answering with
1992 /// one. Only a vector whose values come from storage can answer, because only storage is in a
1993 /// position to have sorted them once and written the answer down.
1994 #[must_use]
1995 pub fn ranks(&self) -> Option<usize> {
1996 match &self.body {
1997 Body::ExternalText { source } => source.ranks(),
1998 _ => None,
1999 }
2000 }
2001
2002 /// How the value at `rank` compares against `wanted`. See [`TextSource::compare_rank`].
2003 pub fn compare_rank(&self, rank: usize, wanted: &[u8]) -> Result<Ordering> {
2004 match &self.body {
2005 Body::ExternalText { source } => source.compare_rank(rank, wanted),
2006 _ => {
2007 Err(Error::internal("a vector without a sorted order was asked to compare a rank"))
2008 }
2009 }
2010 }
2011
2012 /// The position of the value at `rank`. See [`TextSource::code_at_rank`].
2013 pub fn code_at_rank(&self, rank: usize) -> Result<u32> {
2014 match &self.body {
2015 Body::ExternalText { source } => source.code_at_rank(rank),
2016 _ => Err(Error::internal("a vector without a sorted order was asked for a rank")),
2017 }
2018 }
2019
2020 /// The rank of every value, indexed by position. See [`TextSource::code_ranks`].
2021 #[must_use]
2022 pub fn code_ranks(&self) -> Option<&[u32]> {
2023 match &self.body {
2024 Body::ExternalText { source } => source.code_ranks(),
2025 _ => None,
2026 }
2027 }
2028
2029 /// Text at `index`, preserving storage read, validation and UTF-8 failures.
2030 pub fn try_text_at(&self, index: usize) -> Result<Option<&str>> {
2031 if self.ty != LogicalType::Varchar {
2032 return Ok(None);
2033 }
2034 self.try_bytes_at(index)?
2035 .map(|bytes| {
2036 std::str::from_utf8(bytes).map_err(|error| {
2037 Error::conversion(format!("invalid UTF-8 in VARCHAR: {error}"))
2038 })
2039 })
2040 .transpose()
2041 }
2042
2043 /// Read every storage-backed value reachable through this vector.
2044 pub fn validate_external(&self) -> Result<()> {
2045 match &self.body {
2046 Body::ExternalText { source } => {
2047 for index in 0..source.len() {
2048 source.bytes_at(index)?;
2049 }
2050 }
2051 Body::Dictionary { codes, values, .. } => {
2052 for &code in codes {
2053 values.try_bytes_at(code as usize)?;
2054 }
2055 }
2056 Body::Runs { values, .. } => values.validate_external()?,
2057 Body::Nested { child, .. } => child.validate_external()?,
2058 Body::Fields { children } => {
2059 for child in children {
2060 child.validate_external()?;
2061 }
2062 }
2063 _ => {}
2064 }
2065 Ok(())
2066 }
2067
2068 /// The signed integer at `index`, widened, read without building a [`Value`].
2069 ///
2070 /// The integer sibling of [`Self::bytes_at`], and it is here for the same caller. A group by on
2071 /// an integer column compares one key per input row against the group it probed, and doing that
2072 /// through [`Self::value_at`] built and dropped a sixty four byte value a row at a time for a
2073 /// number that was already sitting in the column.
2074 ///
2075 /// Widened to `i128` because that is what [`Data::signed_at`] hands back underneath, and one
2076 /// method that covers every signed width is worth more than five that do not. A caller that
2077 /// wants a narrower type narrows it, which is a range check against a value in a register.
2078 ///
2079 /// The types this answers for are the ones whose flat data is read through `signed_at`, so the
2080 /// five signed integer widths and the decimal, date, time and timestamp types that are stored
2081 /// in them. A decimal answers with its unscaled value, which is the number the column holds.
2082 ///
2083 /// `None` for a null, for an index past the end, for a column of any other type, and for the
2084 /// compressed form. Packed integers stay in code space and answer `base + code` directly. A
2085 /// caller that gets `None` falls back to [`Self::value_at`], which is correct for the remaining
2086 /// forms.
2087 #[must_use]
2088 pub fn signed_at(&self, index: usize) -> Option<i128> {
2089 if index >= self.len || !self.validity.is_valid(index) {
2090 return None;
2091 }
2092 match &self.body {
2093 Body::Flat(data) => data.signed_at(index),
2094 Body::Constant(value) => match value.as_ref() {
2095 Value::TinyInt(x) => Some(i128::from(*x)),
2096 Value::SmallInt(x) => Some(i128::from(*x)),
2097 Value::Integer(x) | Value::Date(x) => Some(i128::from(*x)),
2098 Value::BigInt(x) | Value::Time(x) | Value::Timestamp(x) => Some(i128::from(*x)),
2099 Value::HugeInt(x) | Value::Decimal { unscaled: x, .. } => Some(*x),
2100 _ => None,
2101 },
2102 // The same arithmetic [`Self::value_at`] does on a sequence, so the two agree about a
2103 // sequence that runs off the end of the width it is stored in.
2104 Body::Sequence { start, step } => {
2105 Some(i128::from(start.wrapping_add(step.wrapping_mul(index as i64))))
2106 }
2107 Body::Dictionary { codes, values, .. } => {
2108 values.signed_at(usize::try_from(*codes.get(index)?).ok()?)
2109 }
2110 Body::Runs { ends, values } => values.signed_at(run_holding(ends, index)?),
2111 Body::Packed { words, width, base, offset } => Some(
2112 *base + i128::from(code_at(words, (*offset + index) * *width as usize, *width)),
2113 ),
2114 // The same `None` [`Self::bytes_at`] gives, for the same reason. A compressed row is not
2115 // an integer anywhere until it has been unpacked, and a caller that gets
2116 // `None` goes to `value_at` and gets the row unpacked into a value. A list row is not an
2117 // integer in any form, however many integers are in it, and a struct row is not one even
2118 // when it has exactly one integer field, since the row is the struct and not the field.
2119 Body::Coded { .. }
2120 | Body::Views { .. }
2121 | Body::ExternalText { .. }
2122 | Body::Nested { .. }
2123 | Body::Fields { .. } => None,
2124 }
2125 }
2126
2127 /// Every signed value in order, widened to `i64`, written into `out`.
2128 ///
2129 /// The bulk form of [`Self::signed_at`], for a caller that is going to read the whole vector
2130 /// anyway. A group by on two integer columns called `signed_at` once per column per row, and
2131 /// every one of those matched on the body, called into the data and matched again on the
2132 /// layout, which is about sixty five instructions to read a number that was already sitting in
2133 /// a slice. It was a fifth of ClickBench 32 on its own.
2134 ///
2135 /// A null writes whatever the body holds under it, which is the zero a flat column keeps behind
2136 /// its mask. Nulls are a separate question and the caller asks it separately, from
2137 /// [`Self::none_null`] once for the vector when that answers and a row at a time when it does
2138 /// not.
2139 ///
2140 /// `false`, with `out` left empty, for a vector this cannot hand over as a block: `HUGEINT` and
2141 /// the wide decimals, whose values do not fit an `i64`, the string and nested forms, the
2142 /// compressed form, and the dictionary and run forms, which are a gather rather than a copy and
2143 /// are left until something wants them. A caller that gets `false` reads the vector the way it
2144 /// read it before, with [`Self::signed_at`].
2145 #[must_use]
2146 pub fn signed_block(&self, out: &mut Vec<i64>) -> bool {
2147 out.clear();
2148 match &self.body {
2149 Body::Flat(data) => data.signed_block(self.len, out),
2150 Body::Constant(value) => {
2151 let held = match value.as_ref() {
2152 Value::TinyInt(x) => i64::from(*x),
2153 Value::SmallInt(x) => i64::from(*x),
2154 Value::Integer(x) | Value::Date(x) => i64::from(*x),
2155 Value::BigInt(x) | Value::Time(x) | Value::Timestamp(x) => *x,
2156 _ => return false,
2157 };
2158 out.resize(self.len, held);
2159 true
2160 }
2161 // The same arithmetic [`Self::signed_at`] does on a sequence, once per row rather than
2162 // once per call, and it wraps where that one wraps.
2163 Body::Sequence { start, step } => {
2164 out.extend(
2165 (0..self.len).map(|index| start.wrapping_add(step.wrapping_mul(index as i64))),
2166 );
2167 true
2168 }
2169 Body::Packed { words, width, base, offset } => match i64::try_from(*base) {
2170 Ok(base) => {
2171 out.extend((0..self.len).map(|index| {
2172 base.wrapping_add(code_at(
2173 words,
2174 (*offset + index) * *width as usize,
2175 *width,
2176 ) as i64)
2177 }));
2178 true
2179 }
2180 Err(_) => false,
2181 },
2182 Body::Dictionary { .. }
2183 | Body::Runs { .. }
2184 | Body::Coded { .. }
2185 | Body::Views { .. }
2186 | Body::ExternalText { .. }
2187 | Body::Nested { .. }
2188 | Body::Fields { .. } => false,
2189 }
2190 }
2191
2192 /// Whether the vector holds no nulls at all, asked once rather than a row at a time.
2193 ///
2194 /// The bulk form of [`Self::is_null_at`], and it answers the same question that one does, so a
2195 /// dictionary and a run are read through to the values behind them where those two keep their
2196 /// nulls. A dictionary that holds a null no code points at answers `false` here and `false` at
2197 /// every row, which is the safe direction and is the only place the two can differ.
2198 ///
2199 /// A caller that gets `false` goes back to asking a row at a time.
2200 #[must_use]
2201 pub fn none_null(&self) -> bool {
2202 if self.validity.has_nulls(self.len) {
2203 return false;
2204 }
2205 match &self.body {
2206 Body::Dictionary { values, .. } | Body::Runs { values, .. } => values.none_null(),
2207 _ => true,
2208 }
2209 }
2210
2211 /// Every value in order, as single values.
2212 pub fn iter(&self) -> impl Iterator<Item = Value> + '_ {
2213 (0..self.len).map(|index| self.value_at(index))
2214 }
2215
2216 /// This vector with its payload held as a page, so that copying or cutting it is free.
2217 ///
2218 /// For a producer that means to hand the same values out many times, which is what a stored
2219 /// column is. A flat body is the form this changes, because it is the only one that owns a run
2220 /// of values a copy would have to copy. Every other form already shares what is expensive and
2221 /// owns only what a cut has to rewrite, so it comes back as it was: a dictionary shares its
2222 /// values, a packed body shares its words, a string body shares its arena, an FSST body shares
2223 /// its codes and its table, and a constant and a sequence have nothing to share.
2224 ///
2225 /// Not recursive into a nested column's children, because a `LIST` or a `STRUCT` holds its
2226 /// children behind an `Arc` already.
2227 #[must_use]
2228 pub fn into_pages(self) -> Self {
2229 let body = match self.body {
2230 Body::Flat(data) => Body::Flat(data.into_pages()),
2231 other => other,
2232 };
2233 Self { body, ..self }
2234 }
2235
2236 /// A contiguous run of the values, in the form they are already in.
2237 ///
2238 /// This is the cut [`Self::gather`] cannot do. A gather walks a dictionary to its leaf and
2239 /// copies, so gathering a piece of a dictionary encoded column hands back a flat one, and a
2240 /// caller that only wanted the first thousand rows of a page has silently paid for a copy and
2241 /// thrown the dictionary away. A group by over a dictionary encoded column is the case that
2242 /// cares, and it is most of ClickBench.
2243 ///
2244 /// So each form is cut as itself. A dictionary keeps its dictionary and slices its codes, a
2245 /// sequence stays arithmetic with its start moved along, a constant stays a shorter constant,
2246 /// and a flat body is a window into its page when it has one and a copy of its range when it
2247 /// does not, which [`Self::into_pages`] is how a producer decides.
2248 ///
2249 /// The dictionary itself is shared rather than copied, so a cut is the codes and nothing else.
2250 /// It used to be copied, and on a read of a ClickBench partition that copy was ten percent of
2251 /// the cycles: a page holds one dictionary and is cut into chunk sized pieces, so the whole
2252 /// dictionary was copied once per chunk to be read the same way each time.
2253 ///
2254 /// # Errors
2255 ///
2256 /// If the range runs past the end of the vector, or if the type has no flat layout and the
2257 /// body is one that has to be copied.
2258 pub fn slice(&self, at: usize, len: usize) -> Result<Self> {
2259 let end = at.checked_add(len).ok_or_else(|| Error::internal("a slice that wraps"))?;
2260 if end > self.len {
2261 return Err(Error::internal(format!("rows {at} to {end} of a vector of {}", self.len)));
2262 }
2263 if at == 0 && len == self.len {
2264 return Ok(self.clone());
2265 }
2266 let validity = self.validity.slice(at, len);
2267 let body = match &self.body {
2268 Body::Constant(value) => Body::Constant(value.clone()),
2269 Body::Sequence { start, step } => {
2270 Body::Sequence { start: start + step * at as i64, step: *step }
2271 }
2272 Body::Dictionary { codes, values, stable } => Body::Dictionary {
2273 codes: codes[at..end].to_vec(),
2274 values: Arc::clone(values),
2275 stable: *stable,
2276 },
2277 // The bits are not byte aligned, so a cut either repacks them or moves the row the
2278 // reading starts at. Moving it is one addition and repacking is a pass, and a page is
2279 // cut into chunk sized pieces often enough that the difference is the form.
2280 Body::Packed { words, width, base, offset } => Body::Packed {
2281 words: Arc::clone(words),
2282 width: *width,
2283 base: *base,
2284 offset: offset + at,
2285 },
2286 // The cut a flat string column cannot do. Sixteen bytes a row move and the payload stays
2287 // where the page put it, so taking a chunk out of a column of long strings costs the
2288 // same as taking one out of a column of integers. A flat varchar body copies every byte
2289 // of every long string in the range instead, which is the measurement written down in
2290 // `Chunk::compact`: compaction loses on a varchar column, and this is the half of the
2291 // reason that is about cutting rather than about selecting.
2292 Body::Views { views, arena } => {
2293 Body::Views { views: views[at..end].to_vec(), arena: Arc::clone(arena) }
2294 }
2295 // The spans are absolute positions in the shared codes, so a cut is a run of them and
2296 // nothing has to be rebased. One page of compressed strings, one table, and as many
2297 // chunks over it as the reader wants.
2298 Body::Coded { codes, spans, table } => Body::Coded {
2299 codes: Arc::clone(codes),
2300 spans: spans[at..end].to_vec(),
2301 table: Arc::clone(table),
2302 },
2303 // Only the runs the range touches survive, the first and last of them cut back to where
2304 // the range starts and stops, and every end moved to be relative to the new row zero. A
2305 // cut of a hundred rows out of a column of a hundred million is a handful of runs, which
2306 // is the reason this form is worth cutting as itself rather than copying out.
2307 Body::Runs { ends, values } if len > 0 => {
2308 let first = run_holding(ends, at).unwrap_or(0);
2309 let last = run_holding(ends, end - 1).unwrap_or(first);
2310 let cut: Vec<u32> = ends[first..=last]
2311 .iter()
2312 .map(|&stop| stop.min(end as u32) - at as u32)
2313 .collect();
2314 let values = values.slice(first, last - first + 1)?;
2315 Body::Runs { ends: cut, values: Arc::new(values) }
2316 }
2317 // An empty cut has no run to point at and an empty run length body would be a vector of
2318 // no runs claiming a length, so it comes back as the empty flat vector instead.
2319 Body::Runs { .. } => return self.gather(&[]),
2320 // The entries are absolute positions in the shared child, so a cut is a run of them and
2321 // nothing has to be rebased, the same as a cut of FSST spans. The elements outside the
2322 // range stay in the child unreferenced, which is the trade this form makes: a chunk cut
2323 // out of a page of lists moves eight bytes a row and copies no elements at all.
2324 Body::Nested { entries, child } => {
2325 Body::Nested { entries: entries[at..end].to_vec(), child: Arc::clone(child) }
2326 }
2327 // Every child cut at the same place, because a struct row is one value per field at the
2328 // same position in each and there is no entry standing between the row and the child to
2329 // rewrite instead. So this is the one nested form whose cut is not free, and what it costs
2330 // is whatever cutting each field costs, which for a field of string views is sixteen bytes
2331 // a row and for a field of packed integers is one addition.
2332 Body::Fields { children } => Body::Fields {
2333 children: children
2334 .iter()
2335 .map(|child| child.slice(at, len).map(Arc::new))
2336 .collect::<Result<Vec<_>>>()?,
2337 },
2338 Body::ExternalText { source } => {
2339 let mut out = StringColumn::with_capacity(len);
2340 for index in at..end {
2341 out.push_bytes(source.bytes_at(index)?.unwrap_or_default());
2342 }
2343 Body::Flat(Data::Varlen(out))
2344 }
2345 // The one form with nowhere to point, so its range is copied out. A run and not a
2346 // gather: this used to build a vector of the positions `at..end` and hand it to
2347 // `gather`, which then built a vector of `usize` from it, a vector of `bool` beside
2348 // that, and read the values back one bounds checked index at a time. That is five
2349 // passes and three allocations to say `memcpy`, and on a scan it was the largest thing
2350 // in the program after the aggregation itself, because every chunk of every column of
2351 // every page comes through here.
2352 Body::Flat(data) => Body::Flat(run_of(data, at, end)),
2353 };
2354 Ok(Self { ty: self.ty.clone(), len, validity, body })
2355 }
2356
2357 /// The same values in flat form.
2358 ///
2359 /// Flattening a vector that is already flat is free. Flattening any other form costs a copy,
2360 /// which is exactly why the other forms exist and why nothing on the hot path should call
2361 /// this. It is here for the operators that genuinely cannot do better and for the tests that
2362 /// check the other forms against it.
2363 ///
2364 /// A call that copies counts itself against [`Cause::Flatten`], because a flatten on a hot path
2365 /// is the most expensive thing in this crate and the only way to find one is to have the number.
2366 /// A call on a vector that is already flat does not count, since it neither copies nor gives
2367 /// anything up.
2368 ///
2369 /// # Errors
2370 ///
2371 /// If the type is one there is no vector for yet, which today means `ARRAY` and `UNION`. A `LIST`
2372 /// and a `MAP` flatten to themselves and a `STRUCT` to a struct of flattened fields, since none of
2373 /// the three has a data slice in any form and there is nothing flatter to become.
2374 pub fn flatten(&self) -> Result<Self> {
2375 if let Body::Flat(_) = self.body {
2376 return Ok(self.clone());
2377 }
2378 slow::took(Cause::Flatten);
2379 self.copied((0..self.len).collect(), false)
2380 }
2381
2382 /// The values at the given positions, copied, in a form that does not point back at this vector.
2383 ///
2384 /// This is the copying counterpart to [`Self::dictionary`], and the two are the two halves of
2385 /// the decision `spec/07-execution.md` section 7.1 describes. Which half is right is measured
2386 /// rather than argued, and [`Chunk::compact`](crate::Chunk::compact) is where the measurement
2387 /// is written down.
2388 ///
2389 /// A dictionary chain is walked to its leaf first and the codes composed on the way down, so the
2390 /// copy runs once over the data rather than once per level, and a position that is null at any
2391 /// level comes out null here. The copy is a typed loop per physical layout rather than a `Value`
2392 /// per row, which is the whole point of it and is what [`Self::flatten`] now goes through too.
2393 ///
2394 /// # Errors
2395 ///
2396 /// If the type is one there is no vector for yet, which today means `ARRAY` and `UNION`. A `LIST`
2397 /// and a `MAP` gather by permuting their entries and a `STRUCT` by gathering every field.
2398 pub fn gather(&self, indices: &[u32]) -> Result<Self> {
2399 self.copied(indices.iter().map(|&index| index as usize).collect(), true)
2400 }
2401
2402 /// The copy both [`Self::gather`] and [`Self::flatten`] are.
2403 ///
2404 /// `forms_stay` is the one thing the two want differently. A gather of a constant is a shorter
2405 /// constant and copying it out would be a thousand writes of the same value for nothing, and a
2406 /// gather of string views is a shorter run of views over the same arena rather than a copy of
2407 /// the bytes. Flattening promises flat form to a caller that is about to read the data slice, so
2408 /// for that one both of them have to be written out.
2409 fn copied(&self, at: Vec<usize>, forms_stay: bool) -> Result<Self> {
2410 let rows = at.len();
2411 if forms_stay {
2412 if let Body::Dictionary { codes, values, stable: true } = &self.body {
2413 let validity = Validity::from_iter(rows, |row| {
2414 at.get(row).is_some_and(|&index| index < self.len && !self.is_null_at(index))
2415 });
2416 let gathered =
2417 at.iter().map(|&index| codes.get(index).copied().unwrap_or(0)).collect();
2418 return Ok(
2419 Self::stable_dictionary(gathered, Arc::clone(values))?.with_validity(validity)
2420 );
2421 }
2422 }
2423 let (at, leaf) = self.resolve(at);
2424 let live: Vec<bool> = at.iter().map(|&index| index != NOWHERE).collect();
2425 let validity = Validity::from_run(&live);
2426 let body = match &leaf.body {
2427 // The same gather the arm below is, for a type that has no flat layout to be written out
2428 // into. It goes through the nested builders rather than through a run of data, because they
2429 // are the one place that knows a row of a list column is a range of a child and a row of a
2430 // struct column is one position in each of several, and a second copy of that here would
2431 // be a second thing to keep in step with them.
2432 Body::Constant(value)
2433 if matches!(
2434 self.ty,
2435 LogicalType::List(_) | LogicalType::Struct(_) | LogicalType::Map(_, _)
2436 ) =>
2437 {
2438 if forms_stay && matches!(validity, Validity::AllValid) {
2439 return Ok(Self::constant(self.ty.clone(), value.as_ref().clone(), rows));
2440 }
2441 let rows: Vec<Value> = at
2442 .iter()
2443 .map(
2444 |&index| {
2445 if index == NOWHERE { Value::Null } else { value.as_ref().clone() }
2446 },
2447 )
2448 .collect();
2449 return Self::from_values(self.ty.clone(), &rows);
2450 }
2451 // Every position holds the same value, so the only thing the gather can change is the
2452 // length and which positions are null. A gather with no null in it is still a constant.
2453 Body::Constant(value) => {
2454 if forms_stay && matches!(validity, Validity::AllValid) {
2455 return Ok(Self::constant(self.ty.clone(), value.as_ref().clone(), rows));
2456 }
2457 let mut data = empty_data_for(&self.ty)?;
2458 for &index in &at {
2459 push_value(&mut data, if index == NOWHERE { &Value::Null } else { value })?;
2460 }
2461 Body::Flat(data)
2462 }
2463 // A sequence is arithmetic rather than storage, so the gather is the arithmetic done at
2464 // the positions asked for, and a null writes the zero every other layout writes.
2465 Body::Sequence { start, step } => Body::Flat(Data::Int64(
2466 at.iter()
2467 .map(|&index| if index == NOWHERE { 0 } else { start + step * index as i64 })
2468 .collect(),
2469 )),
2470 // A flat body with no values is the untyped null, so every position asked for is null
2471 // whatever was asked for. Going through the copy would build a run of no values and
2472 // call it `rows` long, which is a vector whose length and data disagree.
2473 Body::Flat(Data::Empty) => {
2474 return Ok(Self::constant(self.ty.clone(), Value::Null, rows));
2475 }
2476 Body::Flat(data) => Body::Flat(copy_of(data, &at)),
2477 // The one form whose copy is arithmetic rather than a move of bytes. It goes through a
2478 // typed loop per layout the way the flat copy does, because the alternative is a `Value`
2479 // per row and this is the path a flatten of a scanned column takes.
2480 Body::Packed { words, width, base, offset } => {
2481 Body::Flat(unpack(&self.ty, words, *offset, *width, *base, &at)?)
2482 }
2483 // A gather keeps the form, which is what makes selecting rows out of a string column
2484 // cost sixteen bytes a row instead of the bytes of the strings. The arena it shares is
2485 // the whole arena and not the part the kept rows point at, so a selection that throws
2486 // most of a page away goes on holding the page. That is the trade the form is: a cut and
2487 // a filter are cheap and the memory comes back when the last vector over the page goes,
2488 // and a caller that wants the bytes narrowed asks for a flatten.
2489 Body::Views { views, arena } if forms_stay => Body::Views {
2490 views: at
2491 .iter()
2492 .map(|&index| views.get(index).copied().unwrap_or_else(StringView::empty))
2493 .collect(),
2494 arena: Arc::clone(arena),
2495 },
2496 // Flattening promises a data slice, so the bytes are copied out into an arena of their
2497 // own and the shared one is let go of. The total is known before any of it is copied,
2498 // the way the flat copy works it out, so the new arena is one allocation.
2499 Body::Views { views, arena } => {
2500 let mut out = StringColumn::with_capacity(at.len());
2501 out.reserve_bytes(
2502 at.iter()
2503 .filter_map(|&index| views.get(index))
2504 .filter(|view| !view.is_inline())
2505 .map(StringView::len)
2506 .sum(),
2507 );
2508 for &index in &at {
2509 let bytes = views.get(index).and_then(|view| view.bytes_in(arena));
2510 out.push_bytes(bytes.unwrap_or_default());
2511 }
2512 Body::Flat(Data::Varlen(out))
2513 }
2514 Body::ExternalText { source } => {
2515 let mut out = StringColumn::with_capacity(at.len());
2516 for &index in &at {
2517 out.push_bytes(source.bytes_at(index)?.unwrap_or_default());
2518 }
2519 Body::Flat(Data::Varlen(out))
2520 }
2521 // A gather keeps the form, because the codes do not move and a span survives being put
2522 // in an order the codes are not in. A position that resolved to nowhere gets the empty
2523 // span, which decompresses to no bytes, which is the zero every other layout writes.
2524 Body::Coded { codes, spans, table } if forms_stay => Body::Coded {
2525 codes: Arc::clone(codes),
2526 spans: at
2527 .iter()
2528 .map(|&index| spans.get(index).copied().unwrap_or((0, 0)))
2529 .collect(),
2530 table: Arc::clone(table),
2531 },
2532 // Flattening decompresses, which is the price of the data slice it promises. The scratch
2533 // buffer is reused across rows, so this is one allocation for the whole column rather
2534 // than one per row the way reading it a value at a time would be.
2535 Body::Coded { codes, spans, table } => {
2536 let mut out = StringColumn::with_capacity(at.len());
2537 let mut scratch = Vec::new();
2538 for &index in &at {
2539 scratch.clear();
2540 let span = spans
2541 .get(index)
2542 .and_then(|&(from, to)| codes.get(from as usize..to as usize));
2543 if let Some(span) = span {
2544 table.decompress(span, &mut scratch)?;
2545 }
2546 out.push_bytes(&scratch);
2547 }
2548 Body::Flat(Data::Varlen(out))
2549 }
2550 // The entries move and the child does not, which is the same trade the string forms
2551 // make and is why a gather of a list column costs eight bytes a row however long the
2552 // lists are. A position that resolved to nowhere gets a zero length entry, and the mask
2553 // already says it is null, so the entry is never read.
2554 //
2555 // This arm ignores `forms_stay`, unlike every arm above it, because there is nothing
2556 // flatter for a list to become. The other forms are all cheaper ways of writing down a
2557 // column of scalars and flattening gives up the saving to hand back a data slice, and a
2558 // list has no data slice in any form, so a flatten of one is this and a caller reading it
2559 // goes through `list_parts` either way.
2560 Body::Nested { entries, child } => Body::Nested {
2561 entries: at
2562 .iter()
2563 .map(|&index| entries.get(index).copied().unwrap_or((0, 0)))
2564 .collect(),
2565 child: Arc::clone(child),
2566 },
2567 // Every child gathered at the same positions, for the reason the cut cuts every child:
2568 // there are no entries to permute instead, so the permutation happens once per field. The
2569 // positions handed down are the resolved ones, sentinel and all, so a row that resolved to
2570 // nowhere comes back null in each field as well as null here.
2571 //
2572 // `forms_stay` is passed straight through rather than ignored, which is the opposite of
2573 // what the list arm does, and the difference is real. There is nothing flatter for a list
2574 // to become, and a struct is only as flat as its fields are, so a flatten of a struct
2575 // column is a flatten of each field and a caller that asked for data slices gets them.
2576 Body::Fields { children } => Body::Fields {
2577 children: children
2578 .iter()
2579 .map(|child| child.copied(at.clone(), forms_stay).map(Arc::new))
2580 .collect::<Result<Vec<_>>>()?,
2581 },
2582 // Unreachable, because `resolve` walks past both of the forms that point at another
2583 // vector and stops at the first body that does not.
2584 Body::Dictionary { .. } | Body::Runs { .. } => {
2585 return Err(Error::internal(
2586 "a form that points somewhere survived being resolved",
2587 ));
2588 }
2589 };
2590 Ok(Self { ty: self.ty.clone(), len: rows, validity, body })
2591 }
2592
2593 /// Where each wanted position lives in the first body that is not a dictionary, and that body.
2594 ///
2595 /// A position that is null anywhere on the way down, or past the end of anything on the way
2596 /// down, comes back as [`NOWHERE`]. That single sentinel is what keeps the copy loop from
2597 /// carrying a validity mask alongside the positions it is already walking.
2598 fn resolve(&self, mut at: Vec<usize>) -> (Vec<usize>, &Self) {
2599 let mut source = self;
2600 loop {
2601 for slot in &mut at {
2602 if *slot >= source.len || !source.validity.is_valid(*slot) {
2603 *slot = NOWHERE;
2604 }
2605 }
2606 source = match &source.body {
2607 Body::Dictionary { codes, values, .. } => {
2608 for slot in &mut at {
2609 *slot = match codes.get(*slot) {
2610 Some(&code) => code as usize,
2611 None => NOWHERE,
2612 };
2613 }
2614 values.as_ref()
2615 }
2616 // A run length body is a dictionary whose code is worked out from the position
2617 // rather than stored, so the walk down is the same walk with a search where the
2618 // lookup was. `NOWHERE` searches for nothing and stays `NOWHERE`.
2619 Body::Runs { ends, values } => {
2620 for slot in &mut at {
2621 *slot = run_holding(ends, *slot).unwrap_or(NOWHERE);
2622 }
2623 values.as_ref()
2624 }
2625 _ => return (at, source),
2626 };
2627 }
2628 }
2629}
2630
2631/// So that a kernel can take its operands as either a list of vectors or a list of references.
2632///
2633/// A caller that built a `Vec<Vector>` and a caller whose operands are already somewhere else, in a
2634/// chunk or in an evaluator's scratch, want the same kernel. Without this the second kind has to
2635/// clone every operand into a `Vec` to satisfy the signature, and a clone of a vector is a copy of
2636/// the whole column, so the type would be charging real memory traffic for nothing.
2637impl AsRef<Vector> for Vector {
2638 fn as_ref(&self) -> &Vector {
2639 self
2640 }
2641}
2642
2643/// The bits of a packed vector and what they mean, for a kernel that wants to stay in code space.
2644///
2645/// Borrowed from the vector rather than owning anything, so getting one costs nothing and a kernel
2646/// that finds it cannot use them has given up nothing by asking.
2647#[derive(Debug, Clone, Copy)]
2648pub struct Packed<'a> {
2649 words: &'a [u64],
2650 width: u32,
2651 base: i128,
2652 offset: usize,
2653}
2654
2655impl Packed<'_> {
2656 /// Packed words. A persisted vector also records [`Self::offset`].
2657 #[must_use]
2658 pub fn words(&self) -> &[u64] {
2659 self.words
2660 }
2661
2662 /// Bit offset, in rows, of the first value.
2663 #[must_use]
2664 pub fn offset(&self) -> usize {
2665 self.offset
2666 }
2667
2668 /// How many bits one code takes, between one and [`PACKED_WIDTH_MAX`].
2669 #[must_use]
2670 pub fn width(&self) -> u32 {
2671 self.width
2672 }
2673
2674 /// What zero means, so that the value of a row is the base plus its code.
2675 #[must_use]
2676 pub fn base(&self) -> i128 {
2677 self.base
2678 }
2679
2680 /// The largest value this vector can be holding, whatever it is actually holding.
2681 ///
2682 /// With [`Self::base`] this is the pair a comparison kernel wants first. A literal outside the
2683 /// two answers every row of the vector the same way, which is a whole chunk decided without a
2684 /// bit being read, and that is the case a zone map would have caught if there were one here.
2685 #[must_use]
2686 pub fn ceiling(&self) -> i128 {
2687 self.base + i128::from(u64::MAX >> (u64::BITS - self.width))
2688 }
2689
2690 /// The code of row `row`, which is its value minus [`Self::base`].
2691 ///
2692 /// Out of range rows read as zero rather than panicking, the way every other accessor in this
2693 /// file answers for a row that is not there.
2694 #[must_use]
2695 pub fn code(&self, row: usize) -> u64 {
2696 code_at(self.words, (self.offset + row) * self.width as usize, self.width)
2697 }
2698
2699 /// Which code a value would have, and `None` for a value this vector cannot be holding.
2700 ///
2701 /// The translation a comparison does once per vector so that it does not have to unpack once per
2702 /// row. `None` is the useful answer rather than a failure: it says the literal is outside the
2703 /// packed range, so every row compares against it the same way.
2704 #[must_use]
2705 pub fn code_of(&self, value: i128) -> Option<u64> {
2706 u64::try_from(value.checked_sub(self.base)?).ok().filter(|&code| code <= self.mask())
2707 }
2708
2709 /// The largest code the width allows.
2710 fn mask(&self) -> u64 {
2711 u64::MAX >> (u64::BITS - self.width)
2712 }
2713}
2714
2715/// The widest a packed code is allowed to be.
2716///
2717/// Sixty three rather than sixty four so that a mask is `u64::MAX >> (64 - width)` with no shift of
2718/// a whole word in it, and reading a code is one branch on whether it straddles rather than two. A
2719/// sixty four bit code saves nothing anyway, since it is the layout it came from.
2720pub const PACKED_WIDTH_MAX: u32 = 63;
2721
2722/// How much smaller packing has to be before it is worth the shift and the mask on every read.
2723///
2724/// Two, so a column packs when the bits come to half the flat size or less. A column that would save
2725/// a tenth stays flat, because a tenth of a column is not worth turning every read of it into
2726/// arithmetic, and the whole argument for the form is that a narrow column saves most of itself.
2727pub const PACKING_PAYS_AT: usize = 2;
2728
2729/// How much smaller compressing has to be before it is worth a decompression on every read.
2730///
2731/// Two, the same rule packing follows and for the same reason. FSST gets about that on text, so a
2732/// column of English or of URLs compresses and a column of short codes or of random bytes does not,
2733/// which is the right answer for both.
2734pub const FSST_PAYS_AT: usize = 2;
2735
2736/// The codes of a compressed column and the table they are against.
2737///
2738/// Handed out by [`Vector::coded_parts`] so a kernel can work in code space. Nothing here
2739/// decompresses, which is the point: [`Self::encode`] puts the literal into the same space the rows
2740/// are already in, and after that an equality test is a byte slice comparison.
2741#[derive(Debug, Clone, Copy)]
2742pub struct Coded<'a> {
2743 codes: &'a [u8],
2744 spans: &'a [(u32, u32)],
2745 table: &'a SymbolTable,
2746}
2747
2748impl Coded<'_> {
2749 /// The table every row in this vector is compressed against.
2750 #[must_use]
2751 pub fn table(&self) -> &SymbolTable {
2752 self.table
2753 }
2754
2755 /// The code bytes of one row, still compressed.
2756 #[must_use]
2757 pub fn row(&self, row: usize) -> Option<&[u8]> {
2758 let &(from, to) = self.spans.get(row)?;
2759 self.codes.get(from as usize..to as usize)
2760 }
2761
2762 /// Some bytes in the code space this vector is in.
2763 ///
2764 /// The literal side of an equality filter. Compressing is a function of the table and the bytes,
2765 /// so two strings compress to the same codes exactly when they are the same string, and an
2766 /// equality test on the codes is an equality test on the strings with no decompression in it.
2767 #[must_use]
2768 pub fn encode(&self, bytes: &[u8]) -> Vec<u8> {
2769 let mut out = Vec::with_capacity(bytes.len());
2770 self.table.compress(bytes, &mut out);
2771 out
2772 }
2773}
2774
2775/// The first `len` of a run of some narrower signed width, sign extended into `out`.
2776///
2777/// Written once and called from the three narrow arms of [`Data::signed_block`], so that the sign
2778/// extension is one loop the compiler can widen rather than three written out by hand.
2779fn widen<T: Copy + Into<i64>>(run: &[T], len: usize, out: &mut Vec<i64>) -> bool {
2780 match run.get(..len) {
2781 Some(run) => {
2782 out.extend(run.iter().map(|&x| x.into()));
2783 true
2784 }
2785 None => false,
2786 }
2787}
2788
2789/// One holder's share of a part that several vectors are reading at the same time.
2790///
2791/// The rule [`Buffer::footprint`] already uses for a shared page. Everything holding the part asks
2792/// this, so what they say between them comes to about what the part costs rather than to the part
2793/// times the number of them, and the answer is never zero for a part that costs anything, because a
2794/// caller with a reference is at least one holder.
2795fn share<T: ?Sized>(bytes: usize, held: &Arc<T>) -> usize {
2796 bytes / Arc::strong_count(held).max(1)
2797}
2798
2799/// How many words hold `len` codes of `width` bits.
2800fn words_for(len: usize, width: u32) -> usize {
2801 (len * width as usize).div_ceil(u64::BITS as usize)
2802}
2803
2804/// The lowest and highest value a type's layout can hold, and `None` for a type with no integer one.
2805///
2806/// This is also the test of whether a type can be packed at all, and it is the only one, so the
2807/// layouts listed here and the layouts [`pack`] and [`unpack`] know how to walk are the same list
2808/// from the same macro and cannot drift apart.
2809fn layout_range(ty: &LogicalType) -> Option<(i128, i128)> {
2810 use rudb_common::PhysicalType as P;
2811 macro_rules! ranges {
2812 ($(($variant:ident, $native:ty, $zero:expr)),+ $(,)?) => {
2813 match ty.physical() {
2814 $(P::$variant => Some((i128::from(<$native>::MIN), i128::from(<$native>::MAX))),)+
2815 _ => None,
2816 }
2817 };
2818 }
2819 crate::for_each_layout!(exact, ranges)
2820}
2821
2822/// The lowest and highest value in the first `len` slots of a run of integer data.
2823///
2824/// `None` for data that is not integers, which is what says a column cannot be packed. The null
2825/// slots are in the span, holding whatever zero was written into them, which
2826/// [`Vector::bit_packed`] says more about.
2827fn span_of(data: &Data, len: usize) -> Option<(i128, i128)> {
2828 macro_rules! spans {
2829 ($(($variant:ident, $native:ty, $zero:expr)),+ $(,)?) => {
2830 match data {
2831 $(Data::$variant(values) => {
2832 let mut low = i128::MAX;
2833 let mut high = i128::MIN;
2834 for &value in values.as_slice().iter().take(len) {
2835 let value = i128::from(value);
2836 low = low.min(value);
2837 high = high.max(value);
2838 }
2839 (low <= high).then_some((low, high))
2840 })+
2841 _ => None,
2842 }
2843 };
2844 }
2845 crate::for_each_layout!(exact, spans)
2846}
2847
2848/// The first `len` values of a run of integer data, written out as codes of `width` bits from `base`.
2849fn pack(data: &Data, len: usize, base: i128, width: u32) -> Vec<u64> {
2850 let mut words = vec![0u64; words_for(len, width)];
2851 macro_rules! packing {
2852 ($(($variant:ident, $native:ty, $zero:expr)),+ $(,)?) => {
2853 match data {
2854 $(Data::$variant(values) => {
2855 for (row, &value) in values.as_slice().iter().take(len).enumerate() {
2856 // In range because `base` and `width` came from the span of this same run.
2857 let code = u64::try_from(i128::from(value) - base).unwrap_or(0);
2858 write_code(&mut words, row * width as usize, width, code);
2859 }
2860 })+
2861 _ => {}
2862 }
2863 };
2864 }
2865 crate::for_each_layout!(exact, packing);
2866 words
2867}
2868
2869/// The codes at the given rows, unpacked into the flat layout the type calls for.
2870///
2871/// A row of [`NOWHERE`] writes the layout's zero, which is the rule [`copy_of`] follows for the same
2872/// reason: every layout here is a parallel array to a validity mask, so a null takes a slot.
2873///
2874/// # Errors
2875///
2876/// If the type has no flat layout, which a packed vector cannot have and which is checked when one
2877/// is built, so an error here is a bug rather than a caller mistake.
2878fn unpack(
2879 ty: &LogicalType,
2880 words: &[u64],
2881 offset: usize,
2882 width: u32,
2883 base: i128,
2884 at: &[usize],
2885) -> Result<Data> {
2886 let mut out = empty_data_for(ty)?;
2887 let value_of = |row: usize| {
2888 if row == NOWHERE {
2889 return None;
2890 }
2891 Some(base + i128::from(code_at(words, (offset + row) * width as usize, width)))
2892 };
2893 macro_rules! unpacking {
2894 ($(($variant:ident, $native:ty, $zero:expr)),+ $(,)?) => {
2895 match &mut out {
2896 $(Data::$variant(values) => {
2897 values.reserve(at.len());
2898 for &row in at {
2899 // In range because both ends of it were checked when the vector was built.
2900 let value = value_of(row)
2901 .and_then(|value| <$native>::try_from(value).ok())
2902 .unwrap_or($zero);
2903 values.push(value);
2904 }
2905 })+
2906 _ => {
2907 return Err(Error::internal(format!(
2908 "a {ty} vector was packed, which no integer layout allows"
2909 )));
2910 }
2911 }
2912 };
2913 }
2914 crate::for_each_layout!(exact, unpacking);
2915 Ok(out)
2916}
2917
2918/// The `width` bits starting at `bit`, low end first.
2919///
2920/// Zero for bits past the end of the words, which keeps a read of a row that is not there from
2921/// panicking and matches what every other accessor here does with one.
2922fn code_at(words: &[u64], bit: usize, width: u32) -> u64 {
2923 let word = bit / u64::BITS as usize;
2924 let shift = (bit % u64::BITS as usize) as u32;
2925 let mask = u64::MAX >> (u64::BITS - width);
2926 let low = words.get(word).copied().unwrap_or(0) >> shift;
2927 let taken = u64::BITS - shift;
2928 if taken >= width {
2929 return low & mask;
2930 }
2931 // The code straddles two words, and `taken` is under the width here so it is under sixty four,
2932 // which is what makes the shift below one the hardware will do rather than one it refuses.
2933 let high = words.get(word + 1).copied().unwrap_or(0) << taken;
2934 (low | high) & mask
2935}
2936
2937/// Writes `width` bits of `code` starting at `bit`, over words that started out zero.
2938fn write_code(words: &mut [u64], bit: usize, width: u32, code: u64) {
2939 let word = bit / u64::BITS as usize;
2940 let shift = (bit % u64::BITS as usize) as u32;
2941 words[word] |= code << shift;
2942 let taken = u64::BITS - shift;
2943 if taken < width {
2944 words[word + 1] |= code >> taken;
2945 }
2946}
2947
2948/// One level of dictionary out of however many levels were handed to [`Vector::dictionary`].
2949///
2950/// Every dictionary in the system is built through that constructor and every one of them comes
2951/// through here first, so the invariant this maintains is that the vector a dictionary points at is
2952/// never itself a dictionary that could have been composed away. That makes the work a single `if`
2953/// rather than a loop: the inner vector was already composed when it was built, so composing the
2954/// outer codes through it leaves the result no deeper than the inner vector already was.
2955///
2956/// The codes are indexed rather than fetched with `get`, because the caller has already walked the
2957/// whole outer array to check that every code is in range and the inner array is exactly as long as
2958/// the vector those codes were checked against.
2959fn compose(codes: Vec<u32>, values: Arc<Vector>) -> (Vec<u32>, Arc<Vector>) {
2960 // A dictionary carrying a validity of its own is one whose nulls live at this level rather than
2961 // in the values, which is the one thing composition cannot carry down with it.
2962 if !matches!(values.validity, Validity::AllValid) {
2963 return (codes, values);
2964 }
2965 let Body::Dictionary { codes: inner, values: leaf, .. } = &values.body else {
2966 return (codes, values);
2967 };
2968 debug_assert!(
2969 !matches!(leaf.body, Body::Dictionary { .. })
2970 || !matches!(leaf.validity, Validity::AllValid),
2971 "a dictionary was stacked on a dictionary without going through the constructor"
2972 );
2973 // The leaf is handed on as the handle it already is. Nothing here reads it and nothing here
2974 // changes it, so the composed dictionary points at the same values the stacked one did and
2975 // whoever else is holding them keeps holding them. This used to take them out of the `Arc`,
2976 // which copied the whole leaf whenever anybody else was still reading it, and a scan selecting
2977 // rows out of a chunk whose column came from a shared page dictionary is exactly that: the page
2978 // holds the leaf, every chunk cut from the page composes through it, and every one of those
2979 // cuts copied the page's dictionary. TPC-H q21 does it once per thousand rows of `lineitem`.
2980 let composed = codes.iter().map(|&code| inner[code as usize]).collect();
2981 (composed, Arc::clone(leaf))
2982}
2983
2984/// How many rows a run has to cover on average before run length encoding is smaller.
2985///
2986/// A run costs its value plus the four bytes of its end, so on a four byte column a run of two rows
2987/// breaks even and a run of three wins. Wider columns win sooner and narrower ones later, and this
2988/// is the one ratio for all of them because a threshold per width is a table that has to be right
2989/// nine times rather than once. It is a constant with a name so that the sweep that eventually moves
2990/// it has something to move.
2991const RUNS_PAY_AT: usize = 2;
2992
2993/// Which run holds `row`, given ends that are exclusive and increasing.
2994///
2995/// A binary search rather than a scan, because the callers that ask this are the ones that are not
2996/// walking the runs in order: a single value read out of a result set, or a gather at scattered
2997/// positions. Anything walking in order should be reading [`Vector::run_parts`] instead, which is
2998/// what the form is for.
2999fn run_holding(ends: &[u32], row: usize) -> Option<usize> {
3000 let row = u32::try_from(row).ok()?;
3001 let run = match ends.binary_search(&row) {
3002 // The ends are exclusive, so landing exactly on one means the row is the first of the next.
3003 Ok(at) => at + 1,
3004 Err(at) => at,
3005 };
3006 (run < ends.len()).then_some(run)
3007}
3008
3009/// The row each run ends at, for a flat body read alongside the validity that goes with it.
3010///
3011/// Two adjacent nulls are one run, because a reader of either gets a null and cannot tell them
3012/// apart. A null between two equal values is three runs for the same reason, since the null is a
3013/// value of the column as far as anything reading it is concerned.
3014///
3015/// The comparison is per layout rather than per `Value`, which is the whole reason this is a macro.
3016/// A `Value` a row would allocate a string per row on a `VARCHAR` column and would be the exact
3017/// defect `cargo xtask rowloop` exists to fail the build on.
3018fn boundaries(data: &Data, validity: &Validity, len: usize) -> Vec<u32> {
3019 if len == 0 {
3020 return Vec::new();
3021 }
3022 let breaks = |ends: &mut Vec<u32>, mut differs: Box<dyn FnMut(usize, usize) -> bool + '_>| {
3023 for row in 1..len {
3024 let same = match (validity.is_valid(row), validity.is_valid(row - 1)) {
3025 (false, false) => true,
3026 (true, true) => !differs(row, row - 1),
3027 _ => false,
3028 };
3029 if !same {
3030 ends.push(u32::try_from(row).unwrap_or(u32::MAX));
3031 }
3032 }
3033 ends.push(u32::try_from(len).unwrap_or(u32::MAX));
3034 };
3035 let mut ends = Vec::new();
3036 macro_rules! walked {
3037 ($(($variant:ident, $native:ty, $zero:expr)),+ $(,)?) => {
3038 match data {
3039 // No values at all, so every row is the same null and the column is one run.
3040 Data::Empty => ends.push(u32::try_from(len).unwrap_or(u32::MAX)),
3041 $(Data::$variant(values) => {
3042 breaks(&mut ends, Box::new(|a, b| values.get(a) != values.get(b)));
3043 })+
3044 Data::Varlen(values) => {
3045 breaks(&mut ends, Box::new(|a, b| values.bytes(a) != values.bytes(b)));
3046 }
3047 }
3048 };
3049 }
3050 crate::for_each_layout!(fixed, walked);
3051 ends
3052}
3053
3054/// The position of a value that is not anywhere, because it is null or out of range.
3055///
3056/// `usize::MAX` rather than an `Option<usize>`, because the copy loop's bounds check rejects it for
3057/// free and an `Option` would put a second branch next to the one already there.
3058pub(crate) const NOWHERE: usize = usize::MAX;
3059
3060/// A run of data copied at the given positions, with a zero wherever the position is [`NOWHERE`].
3061///
3062/// A zero and not a skip, because every layout here is a parallel array to a validity mask and a
3063/// short one would put every value after the first null at the wrong index. It is the same rule
3064/// [`push_value`] follows for a null.
3065/// A contiguous run of a flat body, copied out.
3066///
3067/// The counterpart to [`copy_of`] for the one case that is a range rather than a set of positions,
3068/// which is what [`Vector::slice`] asks for. Every fixed width layout is one `memcpy` and the
3069/// string layout is a run of views and their bytes, where `copy_of` is a bounds checked index and a
3070/// null test per row.
3071///
3072/// The caller has already checked that `end` is inside the vector, and a body whose data is shorter
3073/// than its vector claims is a bug elsewhere, so a short run is clamped rather than reported.
3074///
3075/// A fixed width run over a buffer that is a window into a page does not copy anything, because
3076/// [`Buffer::slice`] moves the offset instead. That is the case a scan over stored memory is in, and
3077/// it is why the flat body is no longer the one form of a vector whose cut costs an allocation.
3078fn run_of(data: &Data, at: usize, end: usize) -> Data {
3079 macro_rules! run {
3080 ($(($variant:ident, $native:ty, $zero:expr)),+ $(,)?) => {
3081 match data {
3082 Data::Empty => Data::Empty,
3083 $(Data::$variant(values) => {
3084 let held = values.len();
3085 let from = at.min(held);
3086 let to = end.max(from).min(held);
3087 if to == end {
3088 // The whole run is there, so this is a window on a shared page and a copy on
3089 // an owned one, decided inside the buffer rather than here.
3090 Data::$variant(values.slice(from, end - from))
3091 } else {
3092 let values = values.as_slice();
3093 let mut out = Buffer::with_capacity(end - at);
3094 out.extend_from_slice(&values[from..to]);
3095 // A body shorter than the rows asked for pads with the zero every layout
3096 // uses for a null, which is the answer `copy_of` gives for a position past
3097 // the end.
3098 // row at a time: never runs on a vector whose data matches its length.
3099 for _ in to..end {
3100 out.push($zero);
3101 }
3102 Data::$variant(out)
3103 }
3104 })+
3105 // A view says where its bytes are, so a run of rows is not a run of bytes and this
3106 // is the one layout whose cut is still a loop. The total is known before any of it
3107 // is copied, so the arena is one allocation.
3108 Data::Varlen(values) => {
3109 let views = values.views();
3110 let mut out = StringColumn::with_capacity(end - at);
3111 out.reserve_bytes(
3112 views
3113 .get(at.min(views.len())..end.min(views.len()))
3114 .unwrap_or(&[])
3115 .iter()
3116 .filter(|view| !view.is_inline())
3117 .map(StringView::len)
3118 .sum(),
3119 );
3120 // row at a time: see above, the bytes of consecutive rows need not be next to
3121 // each other.
3122 for index in at..end {
3123 out.push_from(values, index);
3124 }
3125 Data::Varlen(out)
3126 }
3127 }
3128 };
3129 }
3130 crate::for_each_layout!(fixed, run)
3131}
3132
3133pub(crate) fn copy_of(data: &Data, at: &[usize]) -> Data {
3134 macro_rules! copied {
3135 ($(($variant:ident, $native:ty, $zero:expr)),+ $(,)?) => {
3136 match data {
3137 Data::Empty => Data::Empty,
3138 $(Data::$variant(values) => {
3139 let mut out = Buffer::with_capacity(at.len());
3140 for &index in at {
3141 // One bounds check rather than a null test and a bounds check, because
3142 // `NOWHERE` is past the end of every slice there can be.
3143 out.push(values.get(index).copied().unwrap_or($zero));
3144 }
3145 Data::$variant(out)
3146 })+
3147 // The one layout where a gather is a copy of bytes rather than a copy of fixed
3148 // width slots, and the reason compaction is a decision rather than a default on a
3149 // string column.
3150 Data::Varlen(values) => {
3151 let mut out = StringColumn::with_capacity(at.len());
3152 // The bytes are known before any of them are copied, because a view carries its
3153 // length and the wanted positions are already in hand, so the arena is one
3154 // allocation rather than a run of doublings that each copy what the last one
3155 // copied.
3156 let views = values.views();
3157 out.reserve_bytes(
3158 at.iter()
3159 .filter_map(|&index| views.get(index))
3160 .filter(|view| !view.is_inline())
3161 .map(StringView::len)
3162 .sum(),
3163 );
3164 for &index in at {
3165 out.push_from(values, index);
3166 }
3167 Data::Varlen(out)
3168 }
3169 }
3170 };
3171 }
3172 crate::for_each_layout!(fixed, copied)
3173}
3174
3175/// The physical layout a run of data is in, for the check that it matches its type.
3176///
3177/// The two enums name their variants the same way on purpose, so this is one generated arm rather
3178/// than sixteen chances to pair the wrong two up.
3179pub(crate) fn layout_of(data: &Data) -> rudb_common::PhysicalType {
3180 use rudb_common::PhysicalType as P;
3181 macro_rules! layouts {
3182 ($(($variant:ident, $native:ty, $zero:expr)),+ $(,)?) => {
3183 match data {
3184 Data::Empty => P::Empty,
3185 $(Data::$variant(_) => P::$variant,)+
3186 }
3187 };
3188 }
3189 crate::for_each_layout!(all, layouts)
3190}
3191
3192/// One value out of a run of data, given what the run means.
3193///
3194/// The match is on the logical type rather than on the data, because the data cannot tell a `DATE`
3195/// from an `INTEGER` and that is the whole reason the two are kept apart.
3196fn value_from(ty: &LogicalType, data: &Data, index: usize) -> Value {
3197 let signed = || data.signed_at(index);
3198 let unsigned = || data.unsigned_at(index);
3199 let value = match ty {
3200 LogicalType::Boolean => match data {
3201 Data::Bool(v) => v.get(index).map(|&x| Value::Boolean(x)),
3202 _ => None,
3203 },
3204 LogicalType::TinyInt => signed().and_then(|x| i8::try_from(x).ok()).map(Value::TinyInt),
3205 LogicalType::SmallInt => signed().and_then(|x| i16::try_from(x).ok()).map(Value::SmallInt),
3206 LogicalType::Integer => signed().and_then(|x| i32::try_from(x).ok()).map(Value::Integer),
3207 LogicalType::BigInt => signed().and_then(|x| i64::try_from(x).ok()).map(Value::BigInt),
3208 LogicalType::HugeInt => signed().map(Value::HugeInt),
3209 LogicalType::UTinyInt => unsigned().and_then(|x| u8::try_from(x).ok()).map(Value::UTinyInt),
3210 LogicalType::USmallInt => {
3211 unsigned().and_then(|x| u16::try_from(x).ok()).map(Value::USmallInt)
3212 }
3213 LogicalType::UInteger => {
3214 unsigned().and_then(|x| u32::try_from(x).ok()).map(Value::UInteger)
3215 }
3216 LogicalType::UBigInt => unsigned().and_then(|x| u64::try_from(x).ok()).map(Value::UBigInt),
3217 LogicalType::UHugeInt => unsigned().map(Value::UHugeInt),
3218 LogicalType::Float => match data {
3219 Data::Float32(v) => v.get(index).map(|&x| Value::Float(x)),
3220 _ => None,
3221 },
3222 LogicalType::Double => match data {
3223 Data::Float64(v) => v.get(index).map(|&x| Value::Double(x)),
3224 _ => None,
3225 },
3226 LogicalType::Decimal { width, scale } => {
3227 signed().map(|unscaled| Value::Decimal { unscaled, width: *width, scale: *scale })
3228 }
3229 LogicalType::Varchar | LogicalType::Blob | LogicalType::Bit => {
3230 data.bytes_at(index).map(|bytes| bytes_as(ty, bytes))
3231 }
3232 LogicalType::Date => signed().and_then(|x| i32::try_from(x).ok()).map(Value::Date),
3233 LogicalType::Time => signed().and_then(|x| i64::try_from(x).ok()).map(Value::Time),
3234 LogicalType::TimeTz => signed().and_then(|x| i64::try_from(x).ok()).map(Value::TimeTz),
3235 LogicalType::Timestamp
3236 | LogicalType::TimestampS
3237 | LogicalType::TimestampMs
3238 | LogicalType::TimestampNs => {
3239 signed().and_then(|x| i64::try_from(x).ok()).map(Value::Timestamp)
3240 }
3241 LogicalType::TimestampTz => {
3242 signed().and_then(|x| i64::try_from(x).ok()).map(Value::TimestampTz)
3243 }
3244 LogicalType::Interval => match data {
3245 Data::Interval(v) => {
3246 v.get(index).map(|&(months, days, micros)| Value::Interval { months, days, micros })
3247 }
3248 _ => None,
3249 },
3250 _ => None,
3251 };
3252 value.unwrap_or(Value::Null)
3253}
3254
3255/// The fields a struct type names, and nothing for any other type.
3256///
3257/// Only a `STRUCT` vector has a [`Body::Fields`] body, and the two are built together, so in practice
3258/// the empty slice is unreachable and is here so that reading a field name is not a panic if that ever
3259/// stops being true. A struct vector whose type has fewer fields than it has children answers about
3260/// the fields it can name, because the zip stops at the shorter of the two.
3261fn fields_of(ty: &LogicalType) -> &[Field] {
3262 match ty {
3263 LogicalType::Struct(fields) => fields,
3264 _ => &[],
3265 }
3266}
3267
3268/// One row of a string column as a value, given what its bytes are meant to be read as.
3269///
3270/// Both forms that hold strings come through here, so a row that is a `BLOB` in a flat column is a
3271/// `BLOB` in a string view column too. Bytes that are not text in a `VARCHAR` column are a null
3272/// rather than a panic, since everything that got in went in as a string and a column that has
3273/// something else in it is a bug somewhere earlier that a read should not turn into a crash.
3274fn bytes_as(ty: &LogicalType, bytes: &[u8]) -> Value {
3275 match ty {
3276 LogicalType::Varchar => {
3277 std::str::from_utf8(bytes).map_or(Value::Null, |text| Value::Varchar(text.to_owned()))
3278 }
3279 LogicalType::Blob | LogicalType::Bit => Value::Blob(bytes.to_vec()),
3280 _ => Value::Null,
3281 }
3282}
3283
3284/// An empty run of data of the right layout for a type.
3285pub(crate) fn empty_data_for(ty: &LogicalType) -> Result<Data> {
3286 use rudb_common::PhysicalType as P;
3287 macro_rules! empties {
3288 ($(($variant:ident, $native:ty, $zero:expr)),+ $(,)?) => {
3289 match ty.physical() {
3290 P::Empty => Data::Empty,
3291 $(P::$variant => Data::$variant(Buffer::new()),)+
3292 P::Varlen => Data::Varlen(StringColumn::new()),
3293 other => {
3294 return Err(Error::not_implemented(format!(
3295 "a flat vector of {other:?} data, which arrives with the storage layer"
3296 )));
3297 }
3298 }
3299 };
3300 }
3301 Ok(crate::for_each_layout!(fixed, empties))
3302}
3303
3304/// An empty run of the type's layout with room for `rows` values already taken.
3305///
3306/// For a caller that knows how many values are going in before the first one does, which is a
3307/// producer laying pieces end to end. Growing from empty instead reallocates once per doubling and
3308/// finishes holding a run rounded up to the next power of two, and on a row group of 122,880 values
3309/// that rounding is the last 8,192 of them carried for the life of the table.
3310///
3311/// Bytes are not reserved for a varlen run, because how many of them there are is not the number of
3312/// rows and the caller appending them is the one that can work it out.
3313///
3314/// # Errors
3315///
3316/// If the type has no flat layout, the same as [`empty_data_for`].
3317pub(crate) fn data_for(ty: &LogicalType, rows: usize) -> Result<Data> {
3318 let mut data = empty_data_for(ty)?;
3319 macro_rules! reserved {
3320 ($(($variant:ident, $native:ty, $zero:expr)),+ $(,)?) => {
3321 match &mut data {
3322 Data::Empty => {}
3323 $(Data::$variant(values) => values.reserve(rows),)+
3324 Data::Varlen(values) => values.reserve_views(rows),
3325 }
3326 };
3327 }
3328 crate::for_each_layout!(fixed, reserved);
3329 Ok(data)
3330}
3331
3332/// Appends one value to a run of data, or a zero of the right shape when it is null.
3333///
3334/// The zero matters. A null still occupies a position, the validity mask is what says it is null,
3335/// and a run of data with a hole in it would put every value after the hole in the wrong place.
3336fn push_value(data: &mut Data, value: &Value) -> Result<()> {
3337 macro_rules! push {
3338 ($vec:expr, $variant:path, $zero:expr) => {
3339 match value {
3340 Value::Null => $vec.push($zero),
3341 $variant(x) => $vec.push(*x),
3342 other => {
3343 return Err(Error::internal(format!(
3344 "{other:?} does not belong in this vector"
3345 )));
3346 }
3347 }
3348 };
3349 }
3350 // A decimal is stored as its unscaled integer in whatever width its precision needs, which
3351 // `LogicalType::physical` decides and which is why the same `Value::Decimal` is at home in four
3352 // different runs. The narrowing cannot fail for a value the binder produced, because the width
3353 // that chose the run is the width in the value, but it is checked rather than assumed because
3354 // an unchecked cast here would silently store a different number.
3355 macro_rules! decimal {
3356 ($vec:expr, $ty:ty, $unscaled:expr) => {
3357 match <$ty>::try_from(*$unscaled) {
3358 Ok(x) => $vec.push(x),
3359 Err(_) => {
3360 return Err(Error::internal(format!(
3361 "an unscaled decimal of {} does not fit the run its precision chose",
3362 $unscaled
3363 )));
3364 }
3365 }
3366 };
3367 }
3368 match data {
3369 Data::Empty => {}
3370 Data::Bool(v) => push!(v, Value::Boolean, false),
3371 Data::Int8(v) => push!(v, Value::TinyInt, 0),
3372 Data::Int16(v) => match value {
3373 Value::Null => v.push(0),
3374 Value::SmallInt(x) => v.push(*x),
3375 Value::Decimal { unscaled, .. } => decimal!(v, i16, unscaled),
3376 other => return Err(Error::internal(format!("{other:?} is not a 16 bit value"))),
3377 },
3378 Data::Int32(v) => match value {
3379 Value::Null => v.push(0),
3380 Value::Integer(x) | Value::Date(x) => v.push(*x),
3381 Value::Decimal { unscaled, .. } => decimal!(v, i32, unscaled),
3382 other => return Err(Error::internal(format!("{other:?} is not a 32 bit value"))),
3383 },
3384 Data::Int64(v) => match value {
3385 Value::Null => v.push(0),
3386 Value::BigInt(x)
3387 | Value::Time(x)
3388 | Value::TimeTz(x)
3389 | Value::Timestamp(x)
3390 | Value::TimestampTz(x) => v.push(*x),
3391 Value::Decimal { unscaled, .. } => decimal!(v, i64, unscaled),
3392 other => return Err(Error::internal(format!("{other:?} is not a 64 bit value"))),
3393 },
3394 Data::Int128(v) => match value {
3395 Value::Null => v.push(0),
3396 Value::HugeInt(x) => v.push(*x),
3397 Value::Decimal { unscaled, .. } => v.push(*unscaled),
3398 other => return Err(Error::internal(format!("{other:?} is not a 128 bit value"))),
3399 },
3400 Data::UInt8(v) => push!(v, Value::UTinyInt, 0),
3401 Data::UInt16(v) => push!(v, Value::USmallInt, 0),
3402 Data::UInt32(v) => push!(v, Value::UInteger, 0),
3403 Data::UInt64(v) => push!(v, Value::UBigInt, 0),
3404 Data::UInt128(v) => push!(v, Value::UHugeInt, 0),
3405 Data::Float32(v) => push!(v, Value::Float, 0.0),
3406 Data::Float64(v) => push!(v, Value::Double, 0.0),
3407 Data::Interval(v) => match value {
3408 Value::Null => v.push((0, 0, 0)),
3409 Value::Interval { months, days, micros } => v.push((*months, *days, *micros)),
3410 other => return Err(Error::internal(format!("{other:?} is not an interval"))),
3411 },
3412 Data::Varlen(column) => match value {
3413 Value::Null => {
3414 column.push("");
3415 }
3416 Value::Varchar(text) => {
3417 column.push(text);
3418 }
3419 // A blob goes in as the bytes it is. The column stores a length and some bytes either
3420 // way, so text is the reading of one rather than a different column, and a blob that
3421 // is not UTF-8 is stored exactly like one that happens to be.
3422 Value::Blob(bytes) => {
3423 column.push_bytes(bytes);
3424 }
3425 other => return Err(Error::internal(format!("{other:?} is not a string"))),
3426 },
3427 }
3428 Ok(())
3429}
3430
3431#[cfg(test)]
3432mod tests {
3433 use std::sync::Arc;
3434
3435 use rudb_common::{Field, LogicalType, Value};
3436
3437 use super::{Body, Data, FSST_PAYS_AT, Form, MAP_KEY, MAP_VALUE, VECTOR_SIZE, Vector};
3438 use crate::buffer::Buffer;
3439 use crate::fsst::SymbolTable;
3440 use crate::string::{StringColumn, StringView};
3441 use crate::validity::Validity;
3442
3443 fn integers(values: &[i32]) -> Vector {
3444 Vector::flat(LogicalType::Integer, Data::Int32(values.to_vec().into())).unwrap()
3445 }
3446
3447 /// A `Value::List` of integers, which is what a row of a list column arrives as.
3448 fn list(values: &[i32]) -> Value {
3449 Value::List {
3450 element: LogicalType::Integer,
3451 values: values.iter().map(|&v| Value::Integer(v)).collect(),
3452 }
3453 }
3454
3455 fn list_column(rows: &[Value]) -> Vector {
3456 Vector::from_values(LogicalType::list(LogicalType::Integer), rows).unwrap()
3457 }
3458
3459 #[test]
3460 fn a_list_column_is_one_child_and_a_range_per_row() {
3461 let rows = vec![list(&[1, 2, 3]), list(&[]), Value::Null, list(&[4])];
3462 let column = list_column(&rows);
3463 assert_eq!(column.form(), Form::List);
3464 assert_eq!(column.len(), 4);
3465 assert_eq!(column.logical_type(), &LogicalType::list(LogicalType::Integer));
3466 // Four rows and four elements, because a null and an empty list both contribute none.
3467 let (entries, child) = column.list_parts().expect("a list");
3468 assert_eq!(entries, [(0, 3), (3, 0), (3, 0), (3, 1)]);
3469 assert_eq!(child.len(), 4);
3470 assert_eq!(column.iter().collect::<Vec<_>>(), rows);
3471 }
3472
3473 /// The one thing the entries cannot say on their own, so it has to be checked that the mask says
3474 /// it. An empty list is a row that is there and holds nothing, a null is a row that is not there,
3475 /// and both of them have an entry of length zero.
3476 #[test]
3477 fn an_empty_list_and_a_null_list_have_the_same_entry_and_are_different_rows() {
3478 let column = list_column(&[list(&[]), Value::Null]);
3479 let (entries, _) = column.list_parts().expect("a list");
3480 assert_eq!(entries[0].1, entries[1].1, "both entries are empty");
3481 assert!(!column.is_null_at(0), "an empty list is not null");
3482 assert!(column.is_null_at(1), "a null list is null");
3483 assert_eq!(column.value_at(0), list(&[]));
3484 assert_eq!(column.value_at(1), Value::Null);
3485 }
3486
3487 #[test]
3488 fn slicing_a_list_column_shares_the_child_rather_than_copying_it() {
3489 let rows: Vec<Value> = (0..64).map(|row| list(&[row, row + 1, row + 2])).collect();
3490 let column = list_column(&rows);
3491 let cut = column.slice(8, 4).unwrap();
3492 assert_eq!(cut.form(), Form::List);
3493 assert_eq!(cut.iter().collect::<Vec<_>>(), rows[8..12]);
3494 // The entries are absolute positions in a child that was not cut, which is what makes the
3495 // cut eight bytes a row however long the lists are. The elements outside the range are still
3496 // there and nothing points at them.
3497 let (entries, child) = cut.list_parts().expect("a list");
3498 assert_eq!(entries[0], (24, 3));
3499 assert_eq!(child.len(), 192);
3500 }
3501
3502 #[test]
3503 fn gathering_a_list_column_permutes_the_entries_and_leaves_the_child_alone() {
3504 let rows = vec![list(&[1]), list(&[2, 2]), list(&[3, 3, 3])];
3505 let column = list_column(&rows);
3506 let picked = column.gather(&[2, 0, 2]).unwrap();
3507 assert_eq!(
3508 picked.iter().collect::<Vec<_>>(),
3509 [list(&[3, 3, 3]), list(&[1]), list(&[3, 3, 3])]
3510 );
3511 // Two of the three rows are the same row, which is the case a run of offsets cannot write
3512 // down and a start and a length can. That is the whole reason this form carries both.
3513 assert_eq!(picked.list_parts().expect("a list").1.len(), 6);
3514 }
3515
3516 #[test]
3517 fn a_gather_past_the_end_of_a_list_column_is_null_rather_than_somebody_elses_elements() {
3518 let column = list_column(&[list(&[1, 2]), list(&[3])]);
3519 let picked = column.gather(&[1, 9]).unwrap();
3520 assert_eq!(picked.value_at(0), list(&[3]));
3521 assert_eq!(picked.value_at(1), Value::Null);
3522 }
3523
3524 #[test]
3525 fn a_list_of_lists_nests_as_far_as_it_is_written() {
3526 let outer = Value::List {
3527 element: LogicalType::list(LogicalType::Integer),
3528 values: vec![list(&[1, 2]), list(&[3])],
3529 };
3530 let column = Vector::from_values(
3531 LogicalType::list(LogicalType::list(LogicalType::Integer)),
3532 std::slice::from_ref(&outer),
3533 )
3534 .unwrap();
3535 assert_eq!(column.value_at(0), outer);
3536 assert_eq!(column.list_parts().expect("a list").1.form(), Form::List);
3537 }
3538
3539 /// A list row is not bytes and not an integer, and a caller that asks for either gets nothing
3540 /// rather than the first element or a length. Both of those would be a wrong answer that a
3541 /// group by or a hash would read without complaining.
3542 #[test]
3543 fn the_scalar_readers_decline_a_list_instead_of_answering_about_its_elements() {
3544 let column = list_column(&[list(&[7])]);
3545 assert_eq!(column.signed_at(0), None);
3546 assert_eq!(column.bytes_at(0), None);
3547 assert_eq!(column.data(), None);
3548 }
3549
3550 fn pair(a: i32, b: &str) -> Value {
3551 Value::Struct(vec![
3552 ("a".to_string(), Value::Integer(a)),
3553 ("b".to_string(), Value::Varchar(b.to_string())),
3554 ])
3555 }
3556
3557 fn pair_type() -> LogicalType {
3558 LogicalType::Struct(vec![
3559 Field::new("a", LogicalType::Integer),
3560 Field::new("b", LogicalType::Varchar),
3561 ])
3562 }
3563
3564 fn pair_column(rows: &[Value]) -> Vector {
3565 Vector::from_values(pair_type(), rows).unwrap()
3566 }
3567
3568 #[test]
3569 fn a_struct_column_is_one_child_per_field_as_long_as_the_column() {
3570 let rows = vec![pair(1, "x"), pair(2, "y"), pair(3, "z")];
3571 let column = pair_column(&rows);
3572 assert_eq!(column.form(), Form::Struct);
3573 assert_eq!(column.len(), 3);
3574 assert_eq!(column.logical_type(), &pair_type());
3575 // Two children rather than two entries and a child, and both of them as long as the column,
3576 // which is the whole difference between this form and the list one.
3577 let children = column.struct_parts().expect("a struct");
3578 assert_eq!(children.len(), 2);
3579 assert_eq!(children[0].len(), 3);
3580 assert_eq!(children[1].len(), 3);
3581 assert_eq!(children[0].logical_type(), &LogicalType::Integer);
3582 assert_eq!(children[1].logical_type(), &LogicalType::Varchar);
3583 assert_eq!(column.iter().collect::<Vec<_>>(), rows);
3584 }
3585
3586 /// Picking one field out of a struct is picking one child, which is the reason this accessor is
3587 /// public. A projection of `s.a` hands back a vector that already exists, so it costs a pointer
3588 /// rather than a pass over the rows, and that is only true while the children are full length.
3589 #[test]
3590 fn one_field_of_a_struct_column_is_a_column_that_is_already_there() {
3591 let column = pair_column(&[pair(10, "x"), pair(20, "y")]);
3592 let field = &column.struct_parts().expect("a struct")[0];
3593 assert_eq!(field.iter().collect::<Vec<_>>(), [Value::Integer(10), Value::Integer(20)]);
3594 assert_eq!(field.signed_at(1), Some(20), "the field is a scalar column and reads like one");
3595 }
3596
3597 /// A null struct is a bit in the mask at the top and nothing deeper, which is how every other type
3598 /// records a null and is what DuckDB does. The row reads as a single null rather than as a struct of
3599 /// nulls, and the fields underneath are still their own columns.
3600 #[test]
3601 fn a_null_struct_is_the_mask_at_the_top_and_not_a_struct_full_of_nulls() {
3602 let column = pair_column(&[pair(1, "x"), Value::Null]);
3603 assert!(!column.is_null_at(0));
3604 assert!(column.is_null_at(1));
3605 assert_eq!(column.value_at(1), Value::Null);
3606 // A struct row whose every field happens to be null is a different row, and it is not null.
3607 let all_null = pair_column(&[Value::Struct(vec![
3608 ("a".to_string(), Value::Null),
3609 ("b".to_string(), Value::Null),
3610 ])]);
3611 assert!(!all_null.is_null_at(0), "a struct of nulls is a row that is there");
3612 assert_ne!(all_null.value_at(0), Value::Null);
3613 }
3614
3615 #[test]
3616 fn slicing_a_struct_column_cuts_every_field_at_the_same_place() {
3617 let rows: Vec<Value> = (0..64).map(|row| pair(row, "s")).collect();
3618 let column = pair_column(&rows);
3619 let cut = column.slice(8, 4).unwrap();
3620 assert_eq!(cut.form(), Form::Struct);
3621 assert_eq!(cut.iter().collect::<Vec<_>>(), rows[8..12]);
3622 // The cut a list column does not have to do. A list shares its child untouched because the
3623 // entries carry the range, and a struct has no entry standing between the row and the child,
3624 // so every child is four rows long here rather than sixty four.
3625 for child in cut.struct_parts().expect("a struct") {
3626 assert_eq!(child.len(), 4);
3627 }
3628 }
3629
3630 #[test]
3631 fn gathering_a_struct_column_gathers_every_field_at_the_same_positions() {
3632 let column = pair_column(&[pair(1, "x"), pair(2, "y"), pair(3, "z")]);
3633 let picked = column.gather(&[2, 0, 2]).unwrap();
3634 assert_eq!(picked.iter().collect::<Vec<_>>(), [pair(3, "z"), pair(1, "x"), pair(3, "z")]);
3635 for child in picked.struct_parts().expect("a struct") {
3636 assert_eq!(child.len(), 3, "a field is as long as the gather, not as the source");
3637 }
3638 }
3639
3640 #[test]
3641 fn a_gather_past_the_end_of_a_struct_column_is_null_in_every_field_and_at_the_top() {
3642 let column = pair_column(&[pair(1, "x"), pair(2, "y")]);
3643 let picked = column.gather(&[1, 9]).unwrap();
3644 assert_eq!(picked.value_at(0), pair(2, "y"));
3645 assert_eq!(picked.value_at(1), Value::Null);
3646 for child in picked.struct_parts().expect("a struct") {
3647 assert!(child.is_null_at(1), "a row that came from nowhere has no field value either");
3648 }
3649 }
3650
3651 /// The names are matched and not counted, because a caller holding a struct value built in a
3652 /// different order from the type's would otherwise get its columns transposed, and that is a wrong
3653 /// answer that reads as a right one.
3654 #[test]
3655 fn the_fields_of_a_struct_value_go_in_by_name_rather_than_by_position() {
3656 let swapped = Value::Struct(vec![
3657 ("b".to_string(), Value::Varchar("x".to_string())),
3658 ("a".to_string(), Value::Integer(1)),
3659 ]);
3660 let column = pair_column(&[swapped]);
3661 assert_eq!(column.value_at(0), pair(1, "x"));
3662 let wrong = Value::Struct(vec![
3663 ("a".to_string(), Value::Integer(1)),
3664 ("c".to_string(), Value::Varchar("x".to_string())),
3665 ]);
3666 let failed = Vector::from_values(pair_type(), &[wrong]);
3667 assert!(failed.is_err(), "a row with no b field is an error rather than a null b");
3668 }
3669
3670 #[test]
3671 fn a_struct_built_from_children_takes_its_field_names_from_the_caller() {
3672 let column = Vector::structure(vec![
3673 ("a".to_string(), integers(&[1, 2, 3])),
3674 ("b".to_string(), integers(&[4, 5, 6])),
3675 ])
3676 .expect("two columns of three");
3677 assert_eq!(column.len(), 3);
3678 assert_eq!(
3679 column.logical_type(),
3680 &LogicalType::Struct(vec![
3681 Field::new("a", LogicalType::Integer),
3682 Field::new("b", LogicalType::Integer),
3683 ])
3684 );
3685 assert_eq!(
3686 column.value_at(1),
3687 Value::Struct(vec![
3688 ("a".to_string(), Value::Integer(2)),
3689 ("b".to_string(), Value::Integer(5)),
3690 ])
3691 );
3692 }
3693
3694 /// The two mistakes this constructor makes easy, both refused rather than stored. A short field is
3695 /// the one that matters: it would be a struct that reads past the end of one of its own children,
3696 /// which is the same mistake `Vector::list` checks for at the other end.
3697 #[test]
3698 fn a_struct_of_uneven_children_or_of_no_children_is_refused() {
3699 let uneven = Vector::structure(vec![
3700 ("a".to_string(), integers(&[1, 2, 3])),
3701 ("b".to_string(), integers(&[4, 5])),
3702 ]);
3703 assert!(uneven.is_err(), "a field shorter than the struct");
3704 assert!(Vector::structure(vec![]).is_err(), "no field to take a length from");
3705 }
3706
3707 #[test]
3708 fn a_struct_of_lists_and_a_list_of_structs_both_nest() {
3709 let ty =
3710 LogicalType::Struct(vec![Field::new("a", LogicalType::list(LogicalType::Integer))]);
3711 let row = Value::Struct(vec![("a".to_string(), list(&[1, 2]))]);
3712 let column = Vector::from_values(ty, std::slice::from_ref(&row)).unwrap();
3713 assert_eq!(column.value_at(0), row);
3714 assert_eq!(column.struct_parts().expect("a struct")[0].form(), Form::List);
3715
3716 let outer = Value::List { element: pair_type(), values: vec![pair(1, "x"), pair(2, "y")] };
3717 let lists =
3718 Vector::from_values(LogicalType::list(pair_type()), std::slice::from_ref(&outer))
3719 .unwrap();
3720 assert_eq!(lists.value_at(0), outer);
3721 assert_eq!(lists.list_parts().expect("a list").1.form(), Form::Struct);
3722 }
3723
3724 fn tags(pairs: &[(&str, &str)]) -> Value {
3725 Value::map(
3726 LogicalType::Varchar,
3727 LogicalType::Varchar,
3728 pairs
3729 .iter()
3730 .map(|&(key, value)| {
3731 (Value::Varchar(key.to_string()), Value::Varchar(value.to_string()))
3732 })
3733 .collect(),
3734 )
3735 }
3736
3737 fn tag_column(rows: &[Value]) -> Vector {
3738 Vector::from_values(LogicalType::map(LogicalType::Varchar, LogicalType::Varchar), rows)
3739 .unwrap()
3740 }
3741
3742 /// A map is a list of two field structs, which is the whole design, so the test that says so is
3743 /// the one that reaches through both layers and finds the pieces where each of them puts them.
3744 #[test]
3745 fn a_map_column_is_a_list_whose_child_is_a_struct_of_keys_and_values() {
3746 let rows =
3747 vec![tags(&[("a", "b"), ("c", "d")]), tags(&[]), Value::Null, tags(&[("e", "f")])];
3748 let column = tag_column(&rows);
3749 assert_eq!(column.len(), 4);
3750 assert_eq!(
3751 column.logical_type(),
3752 &LogicalType::map(LogicalType::Varchar, LogicalType::Varchar)
3753 );
3754 // The physical form is a list's, because the bytes are a list's. The logical type is what
3755 // remembers it is a map, which is the same split `LogicalType::physical` already makes.
3756 assert_eq!(column.form(), Form::List);
3757 let (entries, child) = column.list_parts().expect("the layout of a list");
3758 assert_eq!(entries, [(0, 2), (2, 0), (2, 0), (2, 1)]);
3759 assert_eq!(child.form(), Form::Struct);
3760 assert_eq!(
3761 child.logical_type(),
3762 &LogicalType::Struct(vec![
3763 Field::new(MAP_KEY, LogicalType::Varchar),
3764 Field::new(MAP_VALUE, LogicalType::Varchar),
3765 ])
3766 );
3767 // And the accessor that reaches through it hands back the two columns rather than the struct.
3768 let (entries, keys, values) = column.map_parts().expect("a map");
3769 assert_eq!(entries.len(), 4);
3770 assert_eq!(keys.text_at(0), Some("a"));
3771 assert_eq!(values.text_at(0), Some("b"));
3772 assert_eq!(column.iter().collect::<Vec<_>>(), rows);
3773 }
3774
3775 /// The same distinction a list has, checked again here rather than assumed from the composition,
3776 /// because the empty map is the one every catalog table in D2 is full of and a null map is what a
3777 /// column with no tags at all would be.
3778 #[test]
3779 fn an_empty_map_and_a_null_map_are_different_rows() {
3780 let column = tag_column(&[tags(&[]), Value::Null]);
3781 assert!(!column.is_null_at(0), "an empty map is a row that is there");
3782 assert!(column.is_null_at(1));
3783 assert_eq!(column.value_at(0), tags(&[]));
3784 assert_eq!(column.value_at(1), Value::Null);
3785 assert_eq!(column.value_at(0).to_string(), "{}");
3786 assert_eq!(column.value_at(1).to_string(), "NULL");
3787 }
3788
3789 /// A map prints `{a=b}` and a struct prints `{'a': b}`, both measured off the pin. They share a
3790 /// layout and they cannot share a printer, which is the one thing about this composition that does
3791 /// not fall out of it.
3792 #[test]
3793 fn a_map_prints_with_equals_signs_and_a_struct_prints_with_quoted_names() {
3794 assert_eq!(tags(&[("a", "b"), ("c", "d")]).to_string(), "{a=b, c=d}");
3795 assert_eq!(pair(1, "x").to_string(), "{'a': 1, 'b': x}");
3796 let numbers = Value::map(
3797 LogicalType::Integer,
3798 LogicalType::Integer,
3799 vec![(Value::Integer(1), Value::Integer(3)), (Value::Integer(2), Value::Integer(4))],
3800 );
3801 assert_eq!(numbers.to_string(), "{1=3, 2=4}");
3802 let null_value = Value::map(
3803 LogicalType::Varchar,
3804 LogicalType::Varchar,
3805 vec![(Value::Varchar("x".to_string()), Value::Null)],
3806 );
3807 assert_eq!(null_value.to_string(), "{x=NULL}");
3808 }
3809
3810 /// A map inherits the list's cut and the list's gather, which is the payoff for storing it as one.
3811 /// Neither of these is code written for maps and both of them are worth a test that says the
3812 /// inheritance works, since the type is rewritten on the way through and a form that came back as a
3813 /// list would still read.
3814 #[test]
3815 fn cutting_and_gathering_a_map_keeps_it_a_map() {
3816 let rows: Vec<Value> =
3817 (0..16).map(|row| tags(&[("k", if row % 2 == 0 { "e" } else { "o" })])).collect();
3818 let column = tag_column(&rows);
3819
3820 let cut = column.slice(4, 3).unwrap();
3821 assert!(matches!(cut.logical_type(), LogicalType::Map(_, _)), "still a map after a cut");
3822 assert_eq!(cut.iter().collect::<Vec<_>>(), rows[4..7]);
3823 // The child was not cut, the same as for a list, which is what makes the cut eight bytes a row.
3824 assert_eq!(cut.map_parts().expect("a map").1.len(), 16);
3825
3826 let picked = column.gather(&[3, 0, 3]).unwrap();
3827 assert!(matches!(picked.logical_type(), LogicalType::Map(_, _)));
3828 assert_eq!(
3829 picked.iter().collect::<Vec<_>>(),
3830 [rows[3].clone(), rows[0].clone(), rows[3].clone()]
3831 );
3832 let past = column.gather(&[0, 99]).unwrap();
3833 assert_eq!(past.value_at(1), Value::Null);
3834 }
3835
3836 #[test]
3837 fn a_map_built_from_two_columns_pairs_them_by_position() {
3838 let keys = Vector::from_values(
3839 LogicalType::Varchar,
3840 &[Value::Varchar("a".to_string()), Value::Varchar("c".to_string())],
3841 )
3842 .unwrap();
3843 let values = Vector::from_values(
3844 LogicalType::Varchar,
3845 &[Value::Varchar("b".to_string()), Value::Varchar("d".to_string())],
3846 )
3847 .unwrap();
3848 let column = Vector::map(vec![(0, 2), (2, 0)], keys, values).expect("two rows");
3849 assert_eq!(column.len(), 2);
3850 assert_eq!(
3851 column.logical_type(),
3852 &LogicalType::map(LogicalType::Varchar, LogicalType::Varchar)
3853 );
3854 assert_eq!(column.value_at(0), tags(&[("a", "b"), ("c", "d")]));
3855 assert_eq!(column.value_at(1), tags(&[]));
3856 // The entry check the list constructor does is the one a map gets, so an entry past the end of
3857 // the pair of columns is refused here too rather than read as somebody else's keys.
3858 let short =
3859 Vector::from_values(LogicalType::Varchar, &[Value::Varchar("a".to_string())]).unwrap();
3860 let other =
3861 Vector::from_values(LogicalType::Varchar, &[Value::Varchar("b".to_string())]).unwrap();
3862 assert!(Vector::map(vec![(0, 9)], short, other).is_err(), "an entry past the end");
3863 }
3864
3865 /// `map_parts` is about the logical type and `list_parts` is about the layout, so a list has to
3866 /// decline the first and a map has to answer the second. Getting that backwards would let a kernel
3867 /// written for maps read a list of two field structs as if it were one.
3868 #[test]
3869 fn a_list_is_not_a_map_however_much_its_child_looks_like_one() {
3870 let pairs = Value::List { element: pair_type(), values: vec![pair(1, "x")] };
3871 let column =
3872 Vector::from_values(LogicalType::list(pair_type()), std::slice::from_ref(&pairs))
3873 .unwrap();
3874 assert!(column.map_parts().is_none(), "a list of structs is a list");
3875 assert!(column.list_parts().is_some());
3876 let map = tag_column(&[tags(&[("a", "b")])]);
3877 assert!(map.map_parts().is_some());
3878 assert!(map.list_parts().is_some(), "a map has a list's layout and says so");
3879 }
3880
3881 /// A struct row is not bytes and not an integer, and it stays that way when it has exactly one
3882 /// integer field, which is the case where answering about the field would look reasonable and would
3883 /// be a hash keyed on the wrong thing.
3884 #[test]
3885 fn the_scalar_readers_decline_a_struct_of_one_integer_field() {
3886 let ty = LogicalType::Struct(vec![Field::new("a", LogicalType::Integer)]);
3887 let row = Value::Struct(vec![("a".to_string(), Value::Integer(7))]);
3888 let column = Vector::from_values(ty, &[row]).unwrap();
3889 assert_eq!(column.signed_at(0), None);
3890 assert_eq!(column.bytes_at(0), None);
3891 assert_eq!(column.data(), None);
3892 }
3893
3894 #[test]
3895 fn a_clustered_column_becomes_runs_and_reads_back_the_same() {
3896 let mut values = Vec::new();
3897 for (value, times) in [(7, 400), (8, 300), (7, 324)] {
3898 values.extend(std::iter::repeat_n(value, times));
3899 }
3900 let flat = integers(&values);
3901 let runs = flat.run_encoded().unwrap();
3902 assert_eq!(runs.form(), Form::Rle);
3903 assert_eq!(runs.run_parts().expect("runs").0, [400, 700, 1024]);
3904 assert_eq!(runs.len(), flat.len());
3905 assert_eq!(runs.iter().collect::<Vec<_>>(), flat.iter().collect::<Vec<_>>());
3906 assert!(
3907 runs.footprint() * 10 < flat.footprint(),
3908 "three runs against a thousand rows: {} against {}",
3909 runs.footprint(),
3910 flat.footprint()
3911 );
3912 }
3913
3914 /// The check is worth having in both directions. A form that is only ever bigger than what it
3915 /// replaced is a form that costs a pass over the column to decide not to use.
3916 #[test]
3917 fn a_column_that_does_not_repeat_is_left_flat() {
3918 let flat = integers(&(0..1024).collect::<Vec<i32>>());
3919 assert_eq!(flat.run_encoded().unwrap().form(), Form::Flat);
3920 // Two runs over four rows is exactly break even on a four byte column, and break even is
3921 // not a reason to change form.
3922 assert_eq!(integers(&[1, 1, 2, 2]).run_encoded().unwrap().form(), Form::Flat);
3923 assert_eq!(integers(&[1, 1, 1, 2, 2]).run_encoded().unwrap().form(), Form::Rle);
3924 }
3925
3926 #[test]
3927 fn two_nulls_beside_each_other_are_one_run_and_a_null_between_two_equals_is_a_break() {
3928 let mut values = vec![Value::Integer(4), Value::Integer(4)];
3929 values.extend([Value::Null, Value::Null, Value::Null]);
3930 values.extend(std::iter::repeat_n(Value::Integer(4), 5));
3931 let flat = Vector::from_values(LogicalType::Integer, &values).unwrap();
3932 let runs = flat.run_encoded().unwrap();
3933 assert_eq!(runs.run_parts().expect("runs").0, [2, 5, 10]);
3934 assert_eq!(runs.iter().collect::<Vec<_>>(), values);
3935 }
3936
3937 #[test]
3938 fn slicing_runs_keeps_them_runs_and_cuts_the_first_and_last_one_back() {
3939 let flat = integers(&[1, 1, 1, 1, 2, 2, 2, 2, 3, 3, 3, 3]);
3940 let runs = flat.run_encoded().unwrap();
3941 let piece = runs.slice(3, 6).unwrap();
3942 assert_eq!(piece.form(), Form::Rle, "the form is the whole point");
3943 assert_eq!(piece.run_parts().expect("runs").0, [1, 5, 6]);
3944 assert_eq!(
3945 piece.iter().collect::<Vec<_>>(),
3946 flat.slice(3, 6).unwrap().iter().collect::<Vec<_>>()
3947 );
3948 assert_eq!(runs.slice(0, 0).unwrap().len(), 0);
3949 assert_eq!(runs.slice(0, 12).unwrap().form(), Form::Rle);
3950 }
3951
3952 #[test]
3953 fn gathering_out_of_runs_walks_to_the_values_the_way_it_walks_a_dictionary() {
3954 let mut values = vec![Value::Varchar("red".into()); 4];
3955 values.extend([Value::Null, Value::Null, Value::Null]);
3956 values.extend(vec![Value::Varchar("blue".into()); 4]);
3957 let runs =
3958 Vector::from_values(LogicalType::Varchar, &values).unwrap().run_encoded().unwrap();
3959 assert_eq!(runs.form(), Form::Rle);
3960 let picked = runs.gather(&[8, 0, 5, 2]).unwrap();
3961 assert_eq!(picked.form(), Form::Flat, "a gather copies, whatever it gathered from");
3962 assert_eq!(
3963 picked.iter().collect::<Vec<_>>(),
3964 [values[8].clone(), values[0].clone(), Value::Null, values[2].clone()]
3965 );
3966 assert_eq!(runs.text_at(1), Some("red"));
3967 assert_eq!(runs.text_at(5), None, "a null has no text");
3968 assert_eq!(runs.flatten().unwrap().iter().collect::<Vec<_>>(), values);
3969 }
3970
3971 /// A run length vector over a run length vector turns one search per row into two, and there is
3972 /// nothing in the engine that builds one, so it is refused rather than composed.
3973 #[test]
3974 fn runs_of_runs_are_refused_and_runs_of_a_dictionary_are_not() {
3975 let inner = integers(&[1, 1, 1, 1, 2]).run_encoded().unwrap();
3976 assert_eq!(inner.form(), Form::Rle);
3977 let error = Vector::runs(vec![2, 8], inner).unwrap_err();
3978 assert!(error.to_string().contains("runs of runs"), "{error}");
3979
3980 let words = Vector::from_values(
3981 LogicalType::Varchar,
3982 &[Value::Varchar("red".into()), Value::Varchar("blue".into())],
3983 )
3984 .unwrap();
3985 let dictionary = Vector::dictionary(vec![1, 0], words).unwrap();
3986 let stacked = Vector::runs(vec![4, 9], dictionary).unwrap();
3987 assert_eq!(stacked.len(), 9);
3988 assert_eq!(stacked.value_at(3), Value::Varchar("blue".into()));
3989 assert_eq!(stacked.value_at(4), Value::Varchar("red".into()));
3990 }
3991
3992 #[test]
3993 fn run_ends_have_to_increase_and_there_is_one_value_for_each_of_them() {
3994 let values = integers(&[1, 2]);
3995 assert!(Vector::runs(vec![4], values.clone()).is_err(), "two values and one run");
3996 assert!(Vector::runs(vec![4, 4], values.clone()).is_err(), "an end that repeats");
3997 assert!(Vector::runs(vec![4, 2], values.clone()).is_err(), "an end that goes backwards");
3998 assert!(Vector::runs(vec![0, 2], values.clone()).is_err(), "a first run holding no rows");
3999 assert_eq!(Vector::runs(vec![4, 9], values).unwrap().len(), 9);
4000 }
4001
4002 #[test]
4003 fn a_form_that_is_already_compact_is_left_where_it_is() {
4004 let constant = Vector::constant(LogicalType::Integer, Value::Integer(1), 1000);
4005 assert_eq!(constant.run_encoded().unwrap().form(), Form::Constant);
4006 assert_eq!(Vector::sequence(0, 1, 1000).run_encoded().unwrap().form(), Form::Sequence);
4007 }
4008
4009 /// What makes one accessor cover both forms. A dictionary hands back the codes it stores and a
4010 /// run length vector works the same numbers out, and a kernel writing `values[at[row]]` reads
4011 /// the same rows out of either.
4012 #[test]
4013 fn both_forms_that_point_somewhere_hand_back_a_position_per_row() {
4014 let words = Vector::from_values(
4015 LogicalType::Varchar,
4016 &[Value::Varchar("red".into()), Value::Varchar("blue".into())],
4017 )
4018 .unwrap();
4019 let runs = Vector::runs(vec![3, 5], words.clone()).unwrap();
4020 let (at, values) = runs.positions().expect("runs point somewhere");
4021 assert_eq!(at.as_ref(), [0, 0, 0, 1, 1]);
4022 assert_eq!(values.value_at(at[3] as usize), runs.value_at(3));
4023
4024 let dictionary = Vector::dictionary(vec![1, 0, 1], words).unwrap();
4025 let (at, values) = dictionary.positions().expect("a dictionary points somewhere");
4026 assert_eq!(at.as_ref(), [1, 0, 1]);
4027 assert_eq!(values.value_at(at[0] as usize), dictionary.value_at(0));
4028
4029 assert!(integers(&[1, 2, 3]).positions().is_none(), "a flat vector points at itself");
4030 assert!(Vector::sequence(0, 1, 4).positions().is_none(), "a sequence stores nothing");
4031 }
4032
4033 #[test]
4034 fn slicing_a_dictionary_keeps_it_a_dictionary_where_gathering_would_not() {
4035 let values = Vector::from_values(
4036 LogicalType::Varchar,
4037 &[Value::Varchar("red".into()), Value::Varchar("blue".into())],
4038 )
4039 .unwrap();
4040 let vector = Vector::dictionary(vec![0, 1, 1, 0, 1], values).unwrap();
4041
4042 let piece = vector.slice(1, 3).unwrap();
4043 assert_eq!(piece.form(), Form::Dictionary, "the form is the whole point");
4044 assert_eq!(piece.len(), 3);
4045 assert_eq!(
4046 piece.iter().collect::<Vec<_>>(),
4047 [
4048 Value::Varchar("blue".into()),
4049 Value::Varchar("blue".into()),
4050 Value::Varchar("red".into())
4051 ]
4052 );
4053 assert_eq!(vector.gather(&[1, 2, 3]).unwrap().form(), Form::Flat, "which a gather loses");
4054 }
4055
4056 #[test]
4057 fn slicing_a_dictionary_shares_the_dictionary_rather_than_copying_it() {
4058 // The assertion is about the address and not about the values, because the values were
4059 // right when the dictionary was copied too. A page holds one dictionary and is cut into a
4060 // chunk of codes at a time, so copying the dictionary here is a copy of every string in it
4061 // per chunk, and on a read of a ClickBench partition it was ten percent of the cycles.
4062 let values = Vector::from_values(
4063 LogicalType::Varchar,
4064 &[Value::Varchar("red".into()), Value::Varchar("blue".into())],
4065 )
4066 .unwrap();
4067 let vector = Vector::dictionary(vec![0, 1, 1, 0, 1], values).unwrap();
4068 let Body::Dictionary { values: whole, .. } = &vector.body else {
4069 panic!("a dictionary vector holds a dictionary");
4070 };
4071
4072 let piece = vector.slice(1, 3).unwrap();
4073 let Body::Dictionary { codes, values: cut, .. } = &piece.body else {
4074 panic!("a slice of a dictionary is a dictionary");
4075 };
4076 assert!(Arc::ptr_eq(whole, cut), "the cut copied the dictionary");
4077 assert_eq!(codes, &[1, 1, 0], "the codes are the part that is cut");
4078
4079 // And a cut of a cut shares it too, since that is what a scan does to a page it reads twice.
4080 let again = piece.slice(1, 2).unwrap();
4081 let Body::Dictionary { values: cut, .. } = &again.body else {
4082 panic!("a slice of a slice of a dictionary is a dictionary");
4083 };
4084 assert!(Arc::ptr_eq(whole, cut), "the second cut copied the dictionary");
4085 assert_eq!(
4086 again.iter().collect::<Vec<_>>(),
4087 [Value::Varchar("blue".into()), Value::Varchar("red".into())]
4088 );
4089 }
4090
4091 #[test]
4092 fn a_slice_carries_the_nulls_that_were_in_its_range_and_not_the_others() {
4093 let vector =
4094 integers(&[1, 2, 3, 4]).with_validity(Validity::from_run(&[false, true, false, true]));
4095 let piece = vector.slice(1, 2).unwrap();
4096 assert!(piece.validity().is_valid(0));
4097 assert!(!piece.validity().is_valid(1));
4098 assert_eq!(piece.value_at(1), Value::Null);
4099 }
4100
4101 #[test]
4102 fn slicing_a_sequence_moves_its_start_rather_than_writing_the_values_out() {
4103 let vector = Vector::sequence(100, 5, 10);
4104 let piece = vector.slice(3, 4).unwrap();
4105 assert_eq!(piece.form(), Form::Sequence);
4106 assert_eq!(
4107 piece.iter().collect::<Vec<_>>(),
4108 [Value::BigInt(115), Value::BigInt(120), Value::BigInt(125), Value::BigInt(130)]
4109 );
4110 }
4111
4112 #[test]
4113 fn slicing_a_constant_is_a_shorter_constant() {
4114 let vector = Vector::constant(LogicalType::Integer, Value::Integer(9), 8);
4115 let piece = vector.slice(2, 3).unwrap();
4116 assert_eq!(piece.form(), Form::Constant);
4117 assert_eq!(piece.len(), 3);
4118 assert_eq!(piece.value_at(2), Value::Integer(9));
4119 }
4120
4121 #[test]
4122 fn slicing_the_whole_vector_hands_it_back_as_it_was() {
4123 let vector = integers(&[1, 2, 3]);
4124 assert_eq!(
4125 vector.slice(0, 3).unwrap().iter().collect::<Vec<_>>(),
4126 [Value::Integer(1), Value::Integer(2), Value::Integer(3)]
4127 );
4128 }
4129
4130 #[test]
4131 fn cutting_a_flat_body_answers_what_gathering_the_same_rows_answers() {
4132 // The cut of a flat body used to be written as a gather over the positions in the range,
4133 // and it is now a run copied out, so the two have to keep saying the same thing. Every
4134 // start and every length, with nulls in the range and out of it, since the validity is the
4135 // half of this that changed shape.
4136 let rows: Vec<i32> = (0..70).collect();
4137 let valid: Vec<bool> = (0..70).map(|row| row % 7 != 0 && row % 11 != 3).collect();
4138 let vector = integers(&rows).with_validity(Validity::from_run(&valid));
4139 for at in 0..70usize {
4140 for len in 0..=(70 - at) {
4141 let cut = vector.slice(at, len).unwrap();
4142 let positions: Vec<u32> = (at..at + len).map(|row| row as u32).collect();
4143 let gathered = vector.gather(&positions).unwrap();
4144 assert_eq!(cut.len(), len, "rows {at} to {}", at + len);
4145 assert_eq!(
4146 cut.iter().collect::<Vec<_>>(),
4147 gathered.iter().collect::<Vec<_>>(),
4148 "rows {at} to {}",
4149 at + len
4150 );
4151 }
4152 }
4153 }
4154
4155 /// The flat body used to be the one form of a vector whose cut cost an allocation and a copy,
4156 /// and it is not any more when its buffer is a run inside a page. Asserted on the address,
4157 /// because the values are the same either way and the address is the whole claim.
4158 #[test]
4159 fn cutting_a_flat_body_over_a_page_does_not_copy_it() {
4160 let page = Arc::new((0i64..64).collect::<Vec<_>>());
4161 let address = page.as_ptr() as usize;
4162 let data = Data::Int64(Buffer::from_arc(Arc::clone(&page)));
4163 let vector = Vector::flat(LogicalType::BigInt, data).unwrap();
4164 let cut = vector.slice(16, 8).unwrap();
4165 assert_eq!(cut.form(), Form::Flat);
4166 assert_eq!(cut.len(), 8);
4167 let Some(Data::Int64(run)) = cut.data() else {
4168 panic!("the layout changed under the test")
4169 };
4170 assert!(run.is_shared(), "the cut copied the run out of the page");
4171 assert_eq!(run.as_slice().as_ptr() as usize, address + 16 * 8);
4172 assert_eq!(run.as_slice(), &(16i64..24).collect::<Vec<_>>()[..]);
4173 assert_eq!(cut.value_at(0), Value::BigInt(16));
4174 // And the same cut of an owned run says the same thing, by copying it.
4175 let owned = Vector::flat(LogicalType::BigInt, Data::Int64((0i64..64).collect())).unwrap();
4176 let copied = owned.slice(16, 8).unwrap();
4177 let Some(Data::Int64(run)) = copied.data() else {
4178 panic!("the layout changed under the test")
4179 };
4180 assert!(!run.is_shared());
4181 assert_eq!(run.as_slice(), &(16i64..24).collect::<Vec<_>>()[..]);
4182 }
4183
4184 /// `into_pages` is how a producer says its values will be handed out many times. A flat body is
4185 /// the form it changes, and after it a copy of the vector is a reference count bump.
4186 #[test]
4187 fn a_vector_over_pages_is_copied_and_cut_without_its_values_moving() {
4188 let vector = integers(&[1, 2, 3, 4, 5, 6, 7, 8]).into_pages();
4189 let address = |vector: &Vector| match vector.data() {
4190 Some(Data::Int32(values)) => values.as_slice().as_ptr() as usize,
4191 _ => panic!("the layout changed under the test"),
4192 };
4193 let stored = address(&vector);
4194 assert_eq!(address(&vector.clone()), stored, "a copy moved the values");
4195 assert_eq!(address(&vector.slice(2, 4).unwrap()), stored + 2 * 4, "a cut moved the values");
4196 assert_eq!(
4197 vector.slice(2, 4).unwrap().iter().collect::<Vec<_>>(),
4198 [Value::Integer(3), Value::Integer(4), Value::Integer(5), Value::Integer(6)]
4199 );
4200 // Twice is not two pages.
4201 assert_eq!(address(&vector.clone().into_pages()), stored);
4202 }
4203
4204 /// Every form that is not flat already shares what is expensive, so this is a no op on them and
4205 /// in particular does not flatten anything. A form that came back flat would be a column that
4206 /// lost its encoding on the way into a table.
4207 #[test]
4208 fn putting_a_vector_on_pages_does_not_change_any_other_form() {
4209 let dictionary = Vector::dictionary(
4210 vec![0, 1, 0, 1],
4211 Vector::from_values(
4212 LogicalType::Varchar,
4213 &[Value::Varchar("a".into()), Value::Varchar("b".into())],
4214 )
4215 .unwrap(),
4216 )
4217 .unwrap();
4218 let cases = [
4219 Vector::constant(LogicalType::Integer, Value::Integer(9), 4),
4220 Vector::sequence(4, 0, 1),
4221 dictionary,
4222 ];
4223 for vector in cases {
4224 let form = vector.form();
4225 let paged = vector.clone().into_pages();
4226 assert_eq!(paged.form(), form, "{form:?} changed form");
4227 assert_eq!(paged.iter().collect::<Vec<_>>(), vector.iter().collect::<Vec<_>>());
4228 }
4229 }
4230
4231 #[test]
4232 fn cutting_a_flat_string_column_answers_what_gathering_it_answers() {
4233 // The string layout is the one whose cut is still a loop, and it is also the one where a
4234 // row is a view into an arena rather than a slot, so it gets the same treatment separately.
4235 // Both inline and out of line strings, since they are copied by different paths.
4236 let rows: Vec<String> =
4237 (0..40).map(|row| "x".repeat(row % 30) + &row.to_string()).collect();
4238 let values: Vec<Value> = rows.iter().map(|row| Value::Varchar(row.clone())).collect();
4239 let vector = Vector::from_values(LogicalType::Varchar, &values).unwrap().flatten().unwrap();
4240 assert_eq!(vector.form(), Form::Flat, "the cut under test is the flat one");
4241 for at in 0..40usize {
4242 for len in 0..=(40 - at) {
4243 let cut = vector.slice(at, len).unwrap();
4244 let positions: Vec<u32> = (at..at + len).map(|row| row as u32).collect();
4245 let gathered = vector.gather(&positions).unwrap();
4246 assert_eq!(
4247 cut.iter().collect::<Vec<_>>(),
4248 gathered.iter().collect::<Vec<_>>(),
4249 "rows {at} to {}",
4250 at + len
4251 );
4252 }
4253 }
4254 }
4255
4256 #[test]
4257 fn a_slice_past_the_end_is_an_error_rather_than_a_short_vector() {
4258 let error = integers(&[1, 2, 3]).slice(2, 2).unwrap_err();
4259 assert!(error.to_string().contains("of a vector of 3"), "{error}");
4260 }
4261
4262 #[test]
4263 fn the_vector_size_is_the_one_the_design_is_built_around() {
4264 // 1024 and not DuckDB's 2048. A validity mask is 16 u64 words and a vector of string views
4265 // is 16 KiB, both of which are consequences of this number rather than coincidences.
4266 assert_eq!(VECTOR_SIZE, 1024);
4267 assert_eq!(VECTOR_SIZE / 64, 16);
4268 }
4269
4270 #[test]
4271 fn a_flat_vector_reads_back_what_was_put_in_it() {
4272 let vector = integers(&[1, 2, 3]);
4273 assert_eq!(vector.form(), Form::Flat);
4274 assert_eq!(vector.len(), 3);
4275 assert_eq!(vector.value_at(1), Value::Integer(2));
4276 assert_eq!(
4277 vector.iter().collect::<Vec<_>>(),
4278 vec![Value::Integer(1), Value::Integer(2), Value::Integer(3)]
4279 );
4280 }
4281
4282 #[test]
4283 fn a_vector_built_from_values_reads_the_same_values_back() {
4284 let vector = Vector::from_values(
4285 LogicalType::Varchar,
4286 &[
4287 Value::Varchar("a".to_string()),
4288 Value::Null,
4289 Value::Varchar("a string too long to sit inside a view".to_string()),
4290 ],
4291 )
4292 .expect("strings and a null");
4293 assert_eq!(vector.len(), 3);
4294 assert_eq!(vector.value_at(0), Value::Varchar("a".to_string()));
4295 assert_eq!(vector.value_at(1), Value::Null);
4296 assert_eq!(
4297 vector.value_at(2),
4298 Value::Varchar("a string too long to sit inside a view".to_string())
4299 );
4300 }
4301
4302 /// A null still occupies a position. If it did not then every value after it would read back
4303 /// one place to the left, which is the kind of bug that looks like a storage bug for a week.
4304 #[test]
4305 fn a_null_in_the_middle_does_not_move_the_values_after_it() {
4306 let vector = Vector::from_values(
4307 LogicalType::Integer,
4308 &[Value::Integer(1), Value::Null, Value::Integer(3)],
4309 )
4310 .expect("integers and a null");
4311 assert_eq!(vector.value_at(2), Value::Integer(3));
4312 assert!(vector.validity().has_nulls(3), "the middle one is null");
4313 }
4314
4315 #[test]
4316 fn a_value_the_type_cannot_hold_is_refused() {
4317 let wrong = Vector::from_values(LogicalType::Integer, &[Value::Varchar("x".to_string())]);
4318 assert!(wrong.is_err(), "a string is not an integer");
4319 }
4320
4321 #[test]
4322 fn a_type_that_does_not_match_its_layout_is_refused_at_construction() {
4323 // One comparison here against a wrong answer read out three layers later.
4324 let wrong = Vector::flat(LogicalType::Varchar, Data::Int32(vec![1].into()));
4325 assert!(wrong.is_err());
4326 let right = Vector::flat(LogicalType::Date, Data::Int32(vec![1].into()));
4327 assert!(right.is_ok(), "a date is stored in an i32 and that has to be allowed");
4328 }
4329
4330 #[test]
4331 fn a_constant_vector_costs_one_value_whatever_its_length() {
4332 let vector = Vector::constant(LogicalType::Integer, Value::Integer(7), VECTOR_SIZE);
4333 assert_eq!(vector.form(), Form::Constant);
4334 assert_eq!(vector.len(), VECTOR_SIZE);
4335 assert_eq!(vector.value_at(0), Value::Integer(7));
4336 assert_eq!(vector.value_at(VECTOR_SIZE - 1), Value::Integer(7));
4337 assert_eq!(vector.value_at(VECTOR_SIZE), Value::Null, "past the end is null, not a panic");
4338 }
4339
4340 #[test]
4341 fn a_constant_null_is_all_invalid_without_being_told() {
4342 let vector = Vector::constant(LogicalType::Integer, Value::Null, 8);
4343 assert_eq!(vector.validity(), &Validity::AllInvalid);
4344 assert_eq!(vector.value_at(3), Value::Null);
4345 }
4346
4347 #[test]
4348 fn a_sequence_vector_is_sixteen_bytes_of_row_identifiers() {
4349 let vector = Vector::sequence(100, 1, VECTOR_SIZE);
4350 assert_eq!(vector.form(), Form::Sequence);
4351 assert_eq!(vector.value_at(0), Value::BigInt(100));
4352 assert_eq!(vector.value_at(923), Value::BigInt(1023));
4353 let stepped = Vector::sequence(0, 5, 4);
4354 assert_eq!(
4355 stepped.iter().collect::<Vec<_>>(),
4356 vec![Value::BigInt(0), Value::BigInt(5), Value::BigInt(10), Value::BigInt(15)]
4357 );
4358 }
4359
4360 #[test]
4361 fn a_dictionary_vector_reads_through_its_codes() {
4362 let mut column = StringColumn::new();
4363 column.push("red");
4364 column.push("green");
4365 let values = Vector::flat(LogicalType::Varchar, Data::Varlen(column)).unwrap();
4366 let vector = Vector::dictionary(vec![0, 1, 1, 0], values).unwrap();
4367 assert_eq!(vector.form(), Form::Dictionary);
4368 assert_eq!(vector.logical_type(), &LogicalType::Varchar);
4369 assert_eq!(vector.value_at(2), Value::Varchar("green".into()));
4370 assert_eq!(vector.len(), 4);
4371 }
4372
4373 /// The accessor a group by keys a string column through, which has to agree with `value_at` on
4374 /// every position or two rows holding one string end up in two groups.
4375 #[test]
4376 fn text_is_read_where_it_already_is_for_the_forms_that_store_it() {
4377 let mut column = StringColumn::new();
4378 column.push("red");
4379 column.push("green");
4380 column.push("");
4381 let flat = Vector::flat(LogicalType::Varchar, Data::Varlen(column)).unwrap();
4382 for index in 0..flat.len() {
4383 assert_eq!(flat.text_at(index).map(str::to_string), text_of(&flat.value_at(index)));
4384 }
4385 let dictionary = Vector::dictionary(vec![1, 0, 1, 2], flat).unwrap();
4386 for index in 0..dictionary.len() {
4387 assert_eq!(
4388 dictionary.text_at(index).map(str::to_string),
4389 text_of(&dictionary.value_at(index))
4390 );
4391 }
4392 assert_eq!(dictionary.text_at(4), None, "past the end");
4393 }
4394
4395 /// The forms and types that have no text to hand back, which a caller answers by falling back
4396 /// to `value_at`. A blob is the one that would be a correctness bug rather than a slow path,
4397 /// since its bytes are not required to be text and it is not a `VARCHAR` either way.
4398 #[test]
4399 fn text_is_refused_where_it_is_not_stored_as_itself() {
4400 let nulls =
4401 Vector::from_values(LogicalType::Varchar, &[Value::Varchar("red".into()), Value::Null])
4402 .unwrap();
4403 assert_eq!(nulls.text_at(0), Some("red"));
4404 assert_eq!(nulls.text_at(1), None, "a null has no text");
4405 let constant = Vector::constant(LogicalType::Varchar, Value::Varchar("red".into()), 3);
4406 assert_eq!(constant.text_at(0), None, "a constant is not stored per position");
4407 assert_eq!(integers(&[1, 2]).text_at(0), None, "an integer is not text");
4408 let mut bytes = StringColumn::new();
4409 bytes.push("red");
4410 let blob = Vector::flat(LogicalType::Blob, Data::Varlen(bytes)).unwrap();
4411 assert_eq!(blob.text_at(0), None, "a blob is not a varchar");
4412 }
4413
4414 /// The accessor a group by keys an integer column through, which has to agree with `value_at`
4415 /// on every position or two rows holding one number end up in two groups.
4416 #[test]
4417 fn a_signed_integer_is_read_where_it_already_is_for_the_forms_that_store_it() {
4418 let flat = integers(&[7, -3, 0, 2]);
4419 for index in 0..flat.len() {
4420 assert_eq!(flat.signed_at(index), signed_of(&flat.value_at(index)), "flat {index}");
4421 }
4422 let dictionary = Vector::dictionary(vec![1, 0, 3, 2], flat).unwrap();
4423 for index in 0..dictionary.len() {
4424 assert_eq!(
4425 dictionary.signed_at(index),
4426 signed_of(&dictionary.value_at(index)),
4427 "dictionary {index}"
4428 );
4429 }
4430 assert_eq!(dictionary.signed_at(4), None, "past the end");
4431
4432 let runs = Vector::runs(vec![2, 5], integers(&[4, 9])).unwrap();
4433 for index in 0..runs.len() {
4434 assert_eq!(runs.signed_at(index), signed_of(&runs.value_at(index)), "run {index}");
4435 }
4436 let constant = Vector::constant(LogicalType::BigInt, Value::BigInt(11), 3);
4437 assert_eq!(constant.signed_at(2), Some(11));
4438 let sequence = Vector::sequence(100, 5, 4);
4439 for index in 0..sequence.len() {
4440 assert_eq!(
4441 sequence.signed_at(index),
4442 signed_of(&sequence.value_at(index)),
4443 "sequence {index}"
4444 );
4445 }
4446 }
4447
4448 /// The forms and types that have no integer to hand back, which a caller answers by falling
4449 /// back to `value_at`.
4450 #[test]
4451 fn a_signed_integer_is_refused_where_it_is_not_stored_as_itself() {
4452 let nulls =
4453 Vector::from_values(LogicalType::BigInt, &[Value::BigInt(4), Value::Null]).unwrap();
4454 assert_eq!(nulls.signed_at(0), Some(4));
4455 assert_eq!(nulls.signed_at(1), None, "a null is not a number");
4456 let packed = integers(&[1, 2, 3, 1]).bit_packed().unwrap();
4457 assert_eq!(packed.signed_at(0), Some(1), "a packed integer is read in code space");
4458 let mut bytes = StringColumn::new();
4459 bytes.push("red");
4460 let text = Vector::flat(LogicalType::Varchar, Data::Varlen(bytes)).unwrap();
4461 assert_eq!(text.signed_at(0), None, "a string is not a number");
4462 let double = Vector::flat(LogicalType::Double, Data::Float64(vec![1.5].into())).unwrap();
4463 assert_eq!(double.signed_at(0), None, "a double is not a signed integer");
4464 }
4465
4466 /// The block form has to agree with the row at a time form on every position of every shape it
4467 /// answers for, because a caller picks one of the two and a group by that read two different
4468 /// numbers for one row would put that row in two groups.
4469 #[test]
4470 fn a_block_of_signed_integers_holds_what_the_row_at_a_time_accessor_hands_back() {
4471 let mut out = Vec::new();
4472 let shapes = [
4473 integers(&[7, -3, 0, 2]),
4474 Vector::flat(LogicalType::Integer, Data::Int32(vec![5, -6, 7].into())).unwrap(),
4475 Vector::flat(LogicalType::SmallInt, Data::Int16(vec![1, -2].into())).unwrap(),
4476 Vector::flat(LogicalType::TinyInt, Data::Int8(vec![-128, 127].into())).unwrap(),
4477 Vector::constant(LogicalType::BigInt, Value::BigInt(11), 3),
4478 Vector::sequence(100, 5, 4),
4479 integers(&[1, 2, 3, 1]).bit_packed().unwrap(),
4480 ];
4481 for column in &shapes {
4482 assert!(column.signed_block(&mut out), "{:?} hands over a block", column.form());
4483 assert_eq!(out.len(), column.len(), "{:?} filled the whole chunk", column.form());
4484 for (index, &held) in out.iter().enumerate() {
4485 assert_eq!(
4486 Some(i128::from(held)),
4487 column.signed_at(index),
4488 "{:?} at {index}",
4489 column.form()
4490 );
4491 }
4492 }
4493 }
4494
4495 /// What the block form will not answer for, where the caller reads the vector a row at a time
4496 /// instead. A null is not one of them: it writes whatever sits under it and the caller reads the
4497 /// null from the column.
4498 #[test]
4499 fn a_block_is_refused_for_the_shapes_it_would_have_to_gather_or_widen() {
4500 let mut out = Vec::new();
4501 let flat = integers(&[7, -3, 0, 2]);
4502 assert!(!Vector::dictionary(vec![1, 0], flat.clone()).unwrap().signed_block(&mut out));
4503 assert!(!Vector::runs(vec![2, 5], integers(&[4, 9])).unwrap().signed_block(&mut out));
4504 let wide = Vector::flat(LogicalType::HugeInt, Data::Int128(vec![1, 2].into())).unwrap();
4505 assert!(!wide.signed_block(&mut out), "a hugeint does not fit sixty four bits");
4506 let double = Vector::flat(LogicalType::Double, Data::Float64(vec![1.5].into())).unwrap();
4507 assert!(!double.signed_block(&mut out), "a double is not a signed integer");
4508 assert!(out.is_empty(), "a refusal leaves the buffer empty");
4509
4510 let nulls =
4511 Vector::from_values(LogicalType::BigInt, &[Value::BigInt(4), Value::Null]).unwrap();
4512 assert!(nulls.signed_block(&mut out), "a flat column with nulls still hands over");
4513 assert_eq!(out[0], 4);
4514 }
4515
4516 /// Asked once for a chunk, and it has to agree with `is_null_at` asked for every row of it.
4517 #[test]
4518 fn a_vector_says_whether_it_holds_any_null_at_all() {
4519 let flat = integers(&[7, -3, 0, 2]);
4520 assert!(flat.none_null());
4521 let nulls =
4522 Vector::from_values(LogicalType::BigInt, &[Value::BigInt(4), Value::Null]).unwrap();
4523 assert!(!nulls.none_null());
4524 assert!(Vector::dictionary(vec![1, 0], flat.clone()).unwrap().none_null());
4525 // The null is in the dictionary rather than in the mask, which is the case the row at a time
4526 // form reads through for and the reason this one does too.
4527 let holed = Vector::dictionary(vec![0, 0], nulls.clone()).unwrap();
4528 assert!(!holed.none_null(), "a dictionary is read through to its values");
4529 assert!(!holed.is_null_at(0), "and no code points at the null it holds");
4530 assert!(Vector::runs(vec![2, 5], integers(&[4, 9])).unwrap().none_null());
4531 assert!(!Vector::runs(vec![1, 2], nulls).unwrap().none_null());
4532 assert!(Vector::constant(LogicalType::BigInt, Value::BigInt(11), 3).none_null());
4533 assert!(!Vector::constant(LogicalType::BigInt, Value::Null, 3).none_null());
4534 }
4535
4536 /// The integer of a value, for comparing `signed_at` against `value_at` position by position.
4537 fn signed_of(value: &Value) -> Option<i128> {
4538 match value {
4539 Value::TinyInt(x) => Some(i128::from(*x)),
4540 Value::SmallInt(x) => Some(i128::from(*x)),
4541 Value::Integer(x) | Value::Date(x) => Some(i128::from(*x)),
4542 Value::BigInt(x) | Value::Time(x) | Value::Timestamp(x) => Some(i128::from(*x)),
4543 Value::HugeInt(x) | Value::Decimal { unscaled: x, .. } => Some(*x),
4544 _ => None,
4545 }
4546 }
4547
4548 /// The text of a value, for comparing `text_at` against `value_at` position by position.
4549 fn text_of(value: &Value) -> Option<String> {
4550 match value {
4551 Value::Varchar(text) => Some(text.clone()),
4552 _ => None,
4553 }
4554 }
4555
4556 #[test]
4557 fn a_dictionary_code_past_the_end_is_refused() {
4558 // The alternative is a silent read of the wrong value, which is the failure mode the
4559 // entire M3 design has to be careful about.
4560 let values = integers(&[1, 2]);
4561 assert!(Vector::dictionary(vec![0, 2], values).is_err());
4562 // The check runs on the highest code rather than the first bad one, so it has to say that
4563 // no codes at all is fine even when there are no values for them to point at either.
4564 let empty = Vector::dictionary(Vec::new(), integers(&[])).expect("no codes, no values");
4565 assert_eq!(empty.len(), 0);
4566 // And a code of zero against an empty dictionary is still past the end.
4567 assert!(Vector::dictionary(vec![0], integers(&[])).is_err());
4568 }
4569
4570 #[test]
4571 fn every_form_flattens_to_the_same_values_it_reads_out() {
4572 // This is the shape of the equivalence testing in spec/16-testing.md section 16.2, in
4573 // miniature and long before there is an encoded kernel to point it at. A form that reads
4574 // out one way and flattens another is the exact bug that testing exists to catch.
4575 let mut column = StringColumn::new();
4576 column.push("alpha");
4577 column.push("beta");
4578 let dictionary = Vector::dictionary(
4579 vec![1, 0, 1],
4580 Vector::flat(LogicalType::Varchar, Data::Varlen(column)).unwrap(),
4581 )
4582 .unwrap();
4583 let cases = [
4584 Vector::constant(LogicalType::Integer, Value::Integer(3), 5),
4585 Vector::sequence(7, -2, 5),
4586 dictionary,
4587 ];
4588 for vector in cases {
4589 let flat = vector.flatten().unwrap();
4590 assert_eq!(flat.form(), Form::Flat);
4591 assert_eq!(flat.len(), vector.len());
4592 for index in 0..vector.len() {
4593 assert_eq!(flat.value_at(index), vector.value_at(index), "at {index}");
4594 }
4595 }
4596 }
4597
4598 #[test]
4599 fn a_null_still_occupies_a_position_after_flattening() {
4600 // The reason push_value writes a zero for a null rather than skipping it. A run of data
4601 // with a hole in it puts every value after the hole in the wrong place, and the validity
4602 // mask is what says the position is null.
4603 let vector = Vector::sequence(0, 1, 4).with_validity(Validity::from_iter(4, |i| i != 1));
4604 let flat = vector.flatten().unwrap();
4605 assert_eq!(flat.value_at(0), Value::BigInt(0));
4606 assert_eq!(flat.value_at(1), Value::Null);
4607 assert_eq!(flat.value_at(2), Value::BigInt(2));
4608 assert_eq!(flat.value_at(3), Value::BigInt(3));
4609 }
4610
4611 /// A dictionary holds its nulls in the vector it points at, so its own validity is all valid
4612 /// and reading that instead of the values turns a null into whatever zero means for the type.
4613 /// A filter over a nullable column produces exactly this vector, so the bug reaches a result
4614 /// set as `LEFT JOIN` padding that comes back as zeros.
4615 #[test]
4616 fn a_null_behind_a_dictionary_survives_flattening() {
4617 let values =
4618 Vector::from_values(LogicalType::Integer, &[Value::Integer(3), Value::Null]).unwrap();
4619 let dictionary = Vector::dictionary(vec![1, 0, 1], values).unwrap();
4620 let flat = dictionary.flatten().unwrap();
4621 assert_eq!(flat.value_at(0), Value::Null);
4622 assert_eq!(flat.value_at(1), Value::Integer(3));
4623 assert_eq!(flat.value_at(2), Value::Null);
4624 }
4625
4626 /// The property that makes `gather` usable at all: it has to be the same function as reading the
4627 /// wanted positions one at a time, over every form, or compaction changes answers.
4628 #[test]
4629 fn gathering_reads_what_reading_one_position_at_a_time_reads() {
4630 let mut column = StringColumn::new();
4631 column.push("alpha");
4632 column.push("beta");
4633 column.push("gamma");
4634 let cases = [
4635 integers(&[10, 20, 30, 40]),
4636 integers(&[10, 20, 30, 40]).with_validity(Validity::from_iter(4, |i| i != 2)),
4637 Vector::constant(LogicalType::Integer, Value::Integer(9), 4),
4638 Vector::sequence(100, -7, 4),
4639 Vector::sequence(100, -7, 4).with_validity(Validity::from_iter(4, |i| i % 2 == 0)),
4640 Vector::dictionary(
4641 vec![2, 0, 1, 2],
4642 Vector::flat(LogicalType::Varchar, Data::Varlen(column)).unwrap(),
4643 )
4644 .unwrap(),
4645 Vector::dictionary(
4646 vec![1, 0, 1, 0],
4647 Vector::from_values(LogicalType::Integer, &[Value::Integer(5), Value::Null])
4648 .unwrap(),
4649 )
4650 .unwrap(),
4651 ];
4652 let wanted = [3_u32, 0, 2, 2, 1];
4653 for vector in cases {
4654 let gathered = vector.gather(&wanted).unwrap();
4655 assert_eq!(gathered.len(), wanted.len());
4656 assert_eq!(gathered.logical_type(), vector.logical_type());
4657 for (slot, &index) in wanted.iter().enumerate() {
4658 assert_eq!(
4659 gathered.value_at(slot),
4660 vector.value_at(index as usize),
4661 "slot {slot} of {:?}",
4662 vector.form()
4663 );
4664 }
4665 }
4666 }
4667
4668 /// A gather past the end is not an error, because the selection that produced the indices is
4669 /// checked by its caller and the one thing that must not happen here is a read of the wrong
4670 /// value. An index nothing answers is null, which is what an outer join pad needs anyway.
4671 #[test]
4672 fn gathering_a_position_that_is_not_there_is_a_null_and_not_a_wrong_value() {
4673 let vector = integers(&[1, 2, 3]);
4674 let gathered = vector.gather(&[2, 9]).unwrap();
4675 assert_eq!(gathered.value_at(0), Value::Integer(3));
4676 assert_eq!(gathered.value_at(1), Value::Null);
4677 }
4678
4679 /// The vector with nothing in it at all, which is what an untyped `NULL` is stored as. Every
4680 /// position asked for is past its end, so the answer is nulls and the length has to be the
4681 /// length that was asked for rather than the length that was there.
4682 #[test]
4683 fn gathering_from_a_vector_of_no_values_is_that_many_nulls() {
4684 let vector = Vector::flat(LogicalType::Null, Data::Empty).unwrap();
4685 let gathered = vector.gather(&[0, 1, 2]).unwrap();
4686 assert_eq!(gathered.len(), 3);
4687 assert_eq!(gathered.value_at(0), Value::Null);
4688 assert_eq!(gathered.value_at(2), Value::Null);
4689 }
4690
4691 /// Every position holds the same value, so a gather with no hole in it has nothing to copy and
4692 /// the result is the constant again rather than a run of a thousand copies of it.
4693 #[test]
4694 fn gathering_a_constant_stays_a_constant() {
4695 let vector = Vector::constant(LogicalType::Integer, Value::Integer(4), 100);
4696 let gathered = vector.gather(&[7, 7, 99]).unwrap();
4697 assert_eq!(gathered.form(), Form::Constant);
4698 assert_eq!(gathered.len(), 3);
4699 assert_eq!(gathered.value_at(2), Value::Integer(4));
4700 }
4701
4702 /// A dictionary over a dictionary is what a second filter over an already filtered chunk builds,
4703 /// and the gather has to walk to the bottom of that chain rather than one step down it. The
4704 /// constructor composes the ordinary chain away, so the one built here is the kind it cannot,
4705 /// which is a level holding nulls of its own.
4706 #[test]
4707 fn gathering_walks_a_dictionary_over_a_dictionary_to_the_values() {
4708 let inner = Vector::dictionary(vec![2, 1, 0], integers(&[7, 8, 9]))
4709 .unwrap()
4710 .with_validity(Validity::from_iter(3, |index| index != 2));
4711 let outer = Vector::dictionary(vec![1, 2], inner).unwrap();
4712 let gathered = outer.gather(&[0, 1]).unwrap();
4713 assert_eq!(gathered.form(), Form::Flat);
4714 assert_eq!(gathered.value_at(0), Value::Integer(8));
4715 assert_eq!(gathered.value_at(1), Value::Null);
4716 }
4717
4718 /// Two filters over one chunk build a dictionary over a dictionary, four conjuncts pushed down
4719 /// separately build four levels of it, and every level is a dependent load on every later read
4720 /// of every row plus a code array that cannot be freed. Composing at construction is one pass
4721 /// over the codes the range check was walking anyway.
4722 #[test]
4723 fn a_dictionary_over_a_dictionary_is_composed_into_one_level() {
4724 let inner = Vector::dictionary(vec![2, 1, 0], integers(&[7, 8, 9])).unwrap();
4725 let outer = Vector::dictionary(vec![1, 2], inner).unwrap();
4726 let (codes, values) = outer.dictionary_parts().unwrap();
4727 assert_eq!(codes, [1, 0]);
4728 assert_eq!(values.form(), Form::Flat);
4729 assert_eq!(outer.value_at(0), Value::Integer(8));
4730 assert_eq!(outer.value_at(1), Value::Integer(7));
4731 }
4732
4733 /// The invariant stated as the thing it is there for, which is that the depth does not grow with
4734 /// the number of filters. Four levels stacked one at a time are one level at the end of it.
4735 #[test]
4736 fn stacking_dictionaries_does_not_make_them_deeper() {
4737 let mut vector = integers(&[10, 20, 30, 40]);
4738 for _ in 0..4 {
4739 vector = Vector::dictionary(vec![3, 2, 1, 0], vector).unwrap();
4740 }
4741 let (codes, values) = vector.dictionary_parts().unwrap();
4742 assert_eq!(values.form(), Form::Flat);
4743 assert_eq!(codes, [0, 1, 2, 3]);
4744 assert_eq!(
4745 vector.iter().collect::<Vec<_>>(),
4746 integers(&[10, 20, 30, 40]).iter().collect::<Vec<_>>()
4747 );
4748 }
4749
4750 /// Composing has to carry the nulls down with it. The values hold them, the codes point at them,
4751 /// and a composed code that lands on a null position is still a null.
4752 #[test]
4753 fn composing_a_dictionary_keeps_the_nulls_its_values_hold() {
4754 let values =
4755 Vector::from_values(LogicalType::Integer, &[Value::Integer(3), Value::Null]).unwrap();
4756 let inner = Vector::dictionary(vec![1, 0, 1], values).unwrap();
4757 let outer = Vector::dictionary(vec![0, 1], inner).unwrap();
4758 assert_eq!(outer.dictionary_parts().unwrap().1.form(), Form::Flat);
4759 assert_eq!(outer.value_at(0), Value::Null);
4760 assert_eq!(outer.value_at(1), Value::Integer(3));
4761 }
4762
4763 /// The one level composition cannot go past. A dictionary that was given a validity of its own is
4764 /// saying its nulls are at that level rather than in the values, and pointing the outer codes
4765 /// straight at the values would read through the holes instead of stopping at them.
4766 #[test]
4767 fn a_dictionary_holding_its_own_nulls_is_not_composed_past() {
4768 let inner = Vector::dictionary(vec![0, 1, 2], integers(&[1, 2, 3]))
4769 .unwrap()
4770 .with_validity(Validity::from_iter(3, |index| index != 1));
4771 let outer = Vector::dictionary(vec![1, 2, 0], inner).unwrap();
4772 assert_eq!(outer.dictionary_parts().unwrap().1.form(), Form::Dictionary);
4773 assert_eq!(outer.value_at(0), Value::Null);
4774 assert_eq!(outer.value_at(1), Value::Integer(3));
4775 assert_eq!(outer.value_at(2), Value::Integer(1));
4776 }
4777
4778 /// The difference between the two questions about nulls, which a group by got wrong. A filtered
4779 /// chunk is dictionary vectors, those are built with every row marked present at their own
4780 /// level, and the nulls are down in the values. So the mask says the row has a value and the
4781 /// row does not.
4782 #[test]
4783 fn a_null_behind_a_dictionary_reads_as_null_even_though_the_mask_says_otherwise() {
4784 let values = Vector::flat(LogicalType::Integer, Data::Int32(vec![0, 7].into()))
4785 .unwrap()
4786 .with_validity(Validity::from_iter(2, |index| index != 0));
4787 let vector = Vector::dictionary(vec![0, 1, 0], values).unwrap();
4788 assert!(vector.validity().is_valid(0), "the mask at this level says present");
4789 assert!(vector.is_null_at(0));
4790 assert!(!vector.is_null_at(1));
4791 assert!(vector.is_null_at(2));
4792 assert!(vector.is_null_at(3), "a row past the end is null");
4793 }
4794
4795 /// The same for runs, which are built the same way and keep their nulls in the same place.
4796 #[test]
4797 fn a_null_inside_a_run_reads_as_null_even_though_the_mask_says_otherwise() {
4798 let values = Vector::flat(LogicalType::Integer, Data::Int32(vec![0, 7].into()))
4799 .unwrap()
4800 .with_validity(Validity::from_iter(2, |index| index != 0));
4801 let vector = Vector::runs(vec![2, 3], values).unwrap();
4802 assert!(vector.validity().is_valid(0));
4803 assert!(vector.is_null_at(0));
4804 assert!(vector.is_null_at(1));
4805 assert!(!vector.is_null_at(2));
4806 }
4807
4808 /// Every other form keeps its nulls in its own mask, so the two answers agree there.
4809 #[test]
4810 fn the_forms_that_hold_their_own_nulls_answer_the_same_either_way() {
4811 let flat = Vector::flat(LogicalType::Integer, Data::Int32(vec![0, 7].into()))
4812 .unwrap()
4813 .with_validity(Validity::from_iter(2, |index| index != 0));
4814 let constant = Vector::constant(LogicalType::Integer, Value::Null, 2);
4815 let sequence = Vector::sequence(10, 2, 2);
4816 for vector in [flat, constant, sequence] {
4817 for row in 0..vector.len() {
4818 assert_eq!(vector.is_null_at(row), !vector.validity().is_valid(row));
4819 }
4820 }
4821 }
4822
4823 #[test]
4824 fn flattening_a_flat_vector_is_the_same_vector() {
4825 let vector = integers(&[1, 2, 3]);
4826 assert_eq!(vector.flatten().unwrap(), vector);
4827 }
4828
4829 #[test]
4830 fn a_decimal_reads_its_width_and_scale_from_the_type_and_not_the_data() {
4831 let ty = LogicalType::decimal(9, 2).unwrap();
4832 let vector = Vector::flat(ty, Data::Int32(vec![1234].into())).unwrap();
4833 assert_eq!(vector.value_at(0), Value::Decimal { unscaled: 1234, width: 9, scale: 2 });
4834 assert_eq!(vector.value_at(0).to_string(), "12.34");
4835 }
4836
4837 #[test]
4838 fn a_decimal_writes_into_whichever_of_the_four_runs_its_precision_chose() {
4839 // The read path worked at every width and the write path only accepted the 128 bit run, so
4840 // `SELECT 2.5` produced a value nothing could store. All four widths round trip now.
4841 for (width, scale, unscaled) in
4842 [(4u8, 1u8, 25i128), (9, 2, 1234), (18, 3, 123_456), (38, 4, 1_234_567)]
4843 {
4844 let ty = LogicalType::decimal(width, scale).unwrap();
4845 let value = Value::Decimal { unscaled, width, scale };
4846 let vector = Vector::from_values(ty, &[value.clone(), Value::Null]).unwrap();
4847 assert_eq!(vector.value_at(0), value, "a decimal of width {width}");
4848 assert_eq!(vector.value_at(1), Value::Null, "a null decimal of width {width}");
4849 }
4850 }
4851
4852 /// The bytes a blob holds are not required to be text, and a vector of them used to refuse the
4853 /// ones that were not. A byte array column in a Parquet file that nothing annotated is a blob,
4854 /// which is what ClickHouse writes and what ten of the ClickBench queries compare against, so
4855 /// this is the path those take rather than a corner of the type system.
4856 #[test]
4857 fn a_blob_holds_bytes_that_are_not_text() {
4858 let bytes = |raw: &[u8]| Value::Blob(raw.to_vec());
4859 let values = [
4860 bytes(b"a\xffb"),
4861 bytes(b"\x00\x01\x02"),
4862 Value::Null,
4863 bytes(b"\xed\xa0\x80 and long enough to leave the view"),
4864 bytes(b""),
4865 ];
4866 let vector = Vector::from_values(LogicalType::Blob, &values).unwrap();
4867 for (index, value) in values.iter().enumerate() {
4868 assert_eq!(&vector.value_at(index), value, "row {index}");
4869 }
4870 }
4871
4872 #[test]
4873 fn a_decimal_too_wide_for_the_run_its_type_chose_is_an_error_and_not_a_wrong_number() {
4874 // Only reachable by hand, since a value's width is what picked the run. Truncating here
4875 // would store a different number and say nothing about it.
4876 let ty = LogicalType::decimal(4, 1).unwrap();
4877 let value = Value::Decimal { unscaled: 1_000_000, width: 4, scale: 1 };
4878 let error = Vector::from_values(ty, &[value]).unwrap_err();
4879 assert!(error.to_string().contains("does not fit"), "{error}");
4880 }
4881
4882 #[test]
4883 fn a_flat_vector_costs_its_values_and_a_constant_costs_one() {
4884 let flat = integers(&[1; 1000]);
4885 assert!(
4886 flat.footprint() >= 4000,
4887 "a thousand i32 are four thousand bytes: {}",
4888 flat.footprint()
4889 );
4890 // The forms that compute their values rather than storing them cost nothing per value,
4891 // which is the point of having them and is what the memory limit should see.
4892 let constant = Vector::constant(LogicalType::Integer, Value::Integer(1), 1_000_000);
4893 assert!(constant.footprint() < 200, "a constant is one value: {}", constant.footprint());
4894 let sequence = Vector::sequence(0, 1, 1_000_000);
4895 assert!(sequence.footprint() < 200, "a sequence is two numbers: {}", sequence.footprint());
4896 }
4897
4898 #[test]
4899 fn a_dictionary_read_by_many_cuts_is_counted_about_once_between_them() {
4900 let strings: Vec<Value> = (0..2000)
4901 .map(|at| Value::Varchar(format!("a value well past the inline limit, number {at}")))
4902 .collect();
4903 let values = Arc::new(Vector::from_values(LogicalType::Varchar, &strings).unwrap());
4904 let dictionary = values.footprint();
4905 let cuts: Vec<Vector> = (0..500)
4906 .map(|_| Vector::stable_dictionary(vec![0; 8], Arc::clone(&values)).unwrap())
4907 .collect();
4908 let together: usize = cuts.iter().map(Vector::footprint).sum();
4909 // Five hundred chunks cut out of one page hold one dictionary, and what they say they hold
4910 // has to be about one dictionary. Before this it was five hundred of them, which is a
4911 // reading that grows with the answer and refuses a query holding a gigabyte a budget of
4912 // twenty five.
4913 assert!(
4914 together < dictionary * 2,
4915 "five hundred cuts are not five hundred dictionaries: {together} against {dictionary}"
4916 );
4917 assert!(
4918 together > dictionary / 2,
4919 "the dictionary is still counted: {together} against {dictionary}"
4920 );
4921 }
4922
4923 #[test]
4924 fn a_string_vector_costs_the_bytes_of_its_long_strings() {
4925 let short =
4926 Vector::from_values(LogicalType::Varchar, &[Value::Varchar("red".into())]).unwrap();
4927 let long = "a string well past the sixteen bytes a view holds inline".to_string();
4928 let spilled =
4929 Vector::from_values(LogicalType::Varchar, &[Value::Varchar(long.clone())]).unwrap();
4930 assert!(
4931 spilled.footprint() >= short.footprint() + long.len(),
4932 "the arena is counted: {} against {}",
4933 spilled.footprint(),
4934 short.footprint()
4935 );
4936 }
4937
4938 /// The cases worth checking are the widths where a code straddles a word boundary, which is
4939 /// every width that does not divide sixty four, and the two ends of the range.
4940 #[test]
4941 fn a_narrow_column_packs_and_reads_back_the_same_at_every_width() {
4942 for width in 1..=20u32 {
4943 let span = (1i64 << width) - 1;
4944 let values: Vec<i64> =
4945 (0..1000).map(|row| 1_000_000 + (row * 7919) % (span + 1)).collect();
4946 let flat =
4947 Vector::flat(LogicalType::BigInt, Data::Int64(values.clone().into())).unwrap();
4948 let packed = flat.bit_packed().unwrap();
4949 assert_eq!(packed.len(), flat.len());
4950 assert_eq!(
4951 packed.iter().collect::<Vec<_>>(),
4952 flat.iter().collect::<Vec<_>>(),
4953 "width {width} read back differently"
4954 );
4955 }
4956 }
4957
4958 #[test]
4959 fn the_width_is_the_bits_the_range_needs_and_not_the_bits_the_type_has() {
4960 let values: Vec<i32> = (0..1024).map(|row| 40 + (row * 2560) / 1023).collect();
4961 let flat = Vector::flat(LogicalType::Integer, Data::Int32(values.into())).unwrap();
4962 let packed = flat.bit_packed().unwrap();
4963 assert_eq!(packed.form(), Form::BitPacked);
4964 let parts = packed.packed_parts().expect("packed");
4965 assert_eq!(parts.width(), 12, "0 to 2560 is twelve bits");
4966 assert_eq!(parts.base(), 40);
4967 assert!(
4968 packed.footprint() * 2 < flat.footprint(),
4969 "twelve bits against thirty two: {} against {}",
4970 packed.footprint(),
4971 flat.footprint()
4972 );
4973 }
4974
4975 /// The check is worth having in both directions, the way the run length one is. A form that is
4976 /// only ever bigger than what it replaced costs a pass over the column to decide not to use.
4977 #[test]
4978 fn a_column_that_uses_its_whole_type_is_left_flat() {
4979 let values: Vec<i32> = (0..1024).map(|row| row * 2_000_000 - 1_000_000_000).collect();
4980 let flat = Vector::flat(LogicalType::Integer, Data::Int32(values.into())).unwrap();
4981 assert_eq!(flat.bit_packed().unwrap().form(), Form::Flat);
4982 }
4983
4984 /// A column of one value would pack to no bits at all, and one run is smaller than any packing
4985 /// of it, so the two forms do not fight over that column.
4986 #[test]
4987 fn a_column_of_one_value_is_left_to_the_run_length_form() {
4988 let flat = integers(&[9; 1024]);
4989 assert_eq!(flat.bit_packed().unwrap().form(), Form::Flat);
4990 assert_eq!(flat.run_encoded().unwrap().form(), Form::Rle);
4991 }
4992
4993 #[test]
4994 fn a_string_column_has_no_range_to_pack() {
4995 let text = Vector::from_values(
4996 LogicalType::Varchar,
4997 &[Value::Varchar("red".into()), Value::Varchar("blue".into())],
4998 )
4999 .unwrap();
5000 assert_eq!(text.bit_packed().unwrap().form(), Form::Flat);
5001 }
5002
5003 /// The cut is the reason the form carries a row to start reading at. It stays packed, it shares
5004 /// the same words, and it reads the rows the range asked for.
5005 #[test]
5006 fn a_cut_of_a_packed_column_stays_packed_and_shares_its_bits() {
5007 let values: Vec<i32> = (0..1024).map(|row| 100 + row % 300).collect();
5008 let flat = Vector::flat(LogicalType::Integer, Data::Int32(values.into())).unwrap();
5009 let packed = flat.bit_packed().unwrap();
5010 let cut = packed.slice(500, 24).unwrap();
5011 assert_eq!(cut.form(), Form::BitPacked);
5012 assert_eq!(cut.len(), 24);
5013 assert_eq!(
5014 cut.iter().collect::<Vec<_>>(),
5015 flat.slice(500, 24).unwrap().iter().collect::<Vec<_>>()
5016 );
5017 assert!(
5018 cut.footprint() >= packed.footprint(),
5019 "a cut shares the words rather than copying a piece of them"
5020 );
5021 }
5022
5023 #[test]
5024 fn a_gather_of_a_packed_column_comes_out_flat_and_keeps_the_nulls() {
5025 let values: Vec<i32> = (0..64).map(|row| 10 + row).collect();
5026 let flat = Vector::flat(LogicalType::Integer, Data::Int32(values.into())).unwrap();
5027 let packed =
5028 flat.bit_packed().unwrap().with_validity(Validity::from_iter(64, |row| row % 3 != 0));
5029 let taken = packed.gather(&[0, 1, 2, 3, 62]).unwrap();
5030 assert_eq!(taken.form(), Form::Flat);
5031 assert_eq!(
5032 taken.iter().collect::<Vec<_>>(),
5033 vec![
5034 Value::Null,
5035 Value::Integer(11),
5036 Value::Integer(12),
5037 Value::Null,
5038 Value::Integer(72)
5039 ]
5040 );
5041 }
5042
5043 /// The pair a comparison kernel asks for before it reads a bit. A literal inside the range has a
5044 /// code and a literal outside it does not, which answers the whole vector at once.
5045 #[test]
5046 fn a_literal_outside_the_packed_range_has_no_code() {
5047 let values: Vec<i32> = (0..256).map(|row| 1000 + row).collect();
5048 let flat = Vector::flat(LogicalType::Integer, Data::Int32(values.into())).unwrap();
5049 let packed = flat.bit_packed().unwrap();
5050 let parts = packed.packed_parts().expect("packed");
5051 assert_eq!(parts.code_of(1000), Some(0));
5052 assert_eq!(parts.code_of(1100), Some(100));
5053 assert_eq!(parts.code_of(999), None);
5054 assert!(parts.ceiling() >= 1255);
5055 assert_eq!(parts.code_of(parts.ceiling() + 1), None);
5056 }
5057
5058 /// The bits arriving from a file rather than from a flat vector, which is what the form is for.
5059 #[test]
5060 fn packed_bits_can_be_handed_in_without_a_flat_vector_to_start_from() {
5061 let packed = Vector::packed(LogicalType::SmallInt, vec![0x0000_0000_0000_4321], 4, 7, 4)
5062 .expect("four codes of four bits");
5063 assert_eq!(
5064 packed.iter().collect::<Vec<_>>(),
5065 vec![Value::SmallInt(8), Value::SmallInt(9), Value::SmallInt(10), Value::SmallInt(11)]
5066 );
5067 }
5068
5069 #[test]
5070 fn packed_bits_that_could_not_hold_what_they_claim_are_refused() {
5071 assert!(Vector::packed(LogicalType::Varchar, vec![0], 4, 0, 4).is_err(), "not an integer");
5072 assert!(Vector::packed(LogicalType::Integer, vec![0], 0, 0, 4).is_err(), "no width");
5073 assert!(Vector::packed(LogicalType::Integer, vec![0], 64, 0, 4).is_err(), "too wide");
5074 assert!(Vector::packed(LogicalType::Integer, vec![0], 8, 0, 9).is_err(), "too few words");
5075 assert!(Vector::packed(LogicalType::TinyInt, vec![0], 8, 100, 8).is_err(), "would not fit");
5076 }
5077
5078 /// A column of strings long enough that the payload is in the arena rather than in the views.
5079 fn long_strings(count: usize) -> Vector {
5080 let values: Vec<Value> = (0..count)
5081 .map(|row| {
5082 Value::Varchar(format!("a string too long to sit inside a view, number {row}"))
5083 })
5084 .collect();
5085 Vector::from_values(LogicalType::Varchar, &values).unwrap()
5086 }
5087
5088 #[test]
5089 fn a_string_column_in_view_form_reads_back_the_same_strings() {
5090 let flat = long_strings(40);
5091 let shared = flat.clone().shared_text().unwrap();
5092 assert_eq!(shared.form(), Form::StringView);
5093 assert_eq!(shared.len(), 40);
5094 for row in 0..40 {
5095 assert_eq!(shared.value_at(row), flat.value_at(row), "row {row}");
5096 assert_eq!(shared.text_at(row), flat.text_at(row), "row {row}");
5097 }
5098 }
5099
5100 #[test]
5101 fn a_short_string_is_read_out_of_its_view_and_never_out_of_the_arena() {
5102 let flat = Vector::from_values(
5103 LogicalType::Varchar,
5104 &[Value::Varchar("red".into()), Value::Varchar("green".into()), Value::Null],
5105 )
5106 .unwrap();
5107 let shared = flat.shared_text().unwrap();
5108 // Nothing went to the arena, so the whole column resolves with an empty one.
5109 let (views, arena) = shared.text_parts().unwrap();
5110 assert!(arena.is_empty(), "three short strings need no arena");
5111 assert_eq!(views[0].bytes_in(arena), Some(&b"red"[..]));
5112 assert_eq!(shared.value_at(1), Value::Varchar("green".into()));
5113 assert_eq!(shared.value_at(2), Value::Null, "the validity came across");
5114 }
5115
5116 #[test]
5117 fn a_cut_of_a_view_column_shares_the_arena_rather_than_copying_the_bytes() {
5118 let shared = long_strings(64).shared_text().unwrap();
5119 let cut = shared.slice(16, 8).unwrap();
5120 assert_eq!(cut.form(), Form::StringView, "a cut of views is views");
5121 assert_eq!(cut.len(), 8);
5122 assert_eq!(cut.value_at(0), shared.value_at(16));
5123 assert_eq!(cut.value_at(7), shared.value_at(23));
5124 // The arena is the same bytes at the same address, which is the whole point of the form.
5125 let (_, whole) = shared.text_parts().unwrap();
5126 let (_, piece) = cut.text_parts().unwrap();
5127 assert_eq!(piece.as_ptr(), whole.as_ptr(), "the cut shares the page");
5128 assert_eq!(piece.len(), whole.len());
5129 }
5130
5131 #[test]
5132 fn a_flat_string_column_has_to_copy_the_bytes_its_cut_keeps() {
5133 let flat = long_strings(64);
5134 let cut = flat.slice(16, 8).unwrap();
5135 assert_eq!(cut.form(), Form::Flat);
5136 let (_, whole) = flat.text_parts().unwrap();
5137 let (_, piece) = cut.text_parts().unwrap();
5138 assert!(piece.len() < whole.len(), "the flat cut carries only what it kept");
5139 }
5140
5141 #[test]
5142 fn a_gather_of_a_view_column_keeps_the_form_and_a_flatten_copies_out_of_it() {
5143 let shared = long_strings(32).shared_text().unwrap();
5144 let picked: Vec<u32> = (0..32).step_by(3).collect();
5145 let gathered = shared.gather(&picked).unwrap();
5146 assert_eq!(gathered.form(), Form::StringView, "selecting rows moves views, not bytes");
5147 assert_eq!(gathered.len(), picked.len());
5148 for (row, &from) in picked.iter().enumerate() {
5149 assert_eq!(gathered.value_at(row), shared.value_at(from as usize), "row {row}");
5150 }
5151 let flattened = gathered.flatten().unwrap();
5152 assert_eq!(flattened.form(), Form::Flat);
5153 assert_eq!(flattened.iter().collect::<Vec<_>>(), gathered.iter().collect::<Vec<_>>());
5154 // The flatten is what narrows the bytes, so the arena it built holds only the rows it kept.
5155 let (_, narrowed) = flattened.text_parts().unwrap();
5156 let (_, whole) = shared.text_parts().unwrap();
5157 assert!(narrowed.len() < whole.len(), "flattening lets the page go");
5158 }
5159
5160 #[test]
5161 fn a_null_in_a_view_column_survives_being_gathered_and_flattened() {
5162 let shared = long_strings(8)
5163 .with_validity(Validity::from_iter(8, |row| row % 3 != 0))
5164 .shared_text()
5165 .unwrap();
5166 let gathered = shared.gather(&[0, 1, 2, 3, 4]).unwrap();
5167 let expected =
5168 [Value::Null, shared.value_at(1), shared.value_at(2), Value::Null, shared.value_at(4)];
5169 assert_eq!(gathered.iter().collect::<Vec<_>>(), expected);
5170 assert_eq!(gathered.flatten().unwrap().iter().collect::<Vec<_>>(), expected);
5171 }
5172
5173 #[test]
5174 fn both_string_forms_hand_a_kernel_the_same_views_and_the_same_bytes() {
5175 let flat = long_strings(6);
5176 let shared = flat.clone().shared_text().unwrap();
5177 let (flat_views, flat_arena) = flat.text_parts().unwrap();
5178 let (shared_views, shared_arena) = shared.text_parts().unwrap();
5179 assert_eq!(flat_views.len(), shared_views.len());
5180 for row in 0..6 {
5181 assert_eq!(
5182 flat_views[row].bytes_in(flat_arena),
5183 shared_views[row].bytes_in(shared_arena),
5184 "row {row}"
5185 );
5186 }
5187 // Nothing else answers this, which is what keeps a kernel from taking it for a string column.
5188 assert!(Vector::sequence(0, 1, 4).text_parts().is_none());
5189 assert!(integers(&[1, 2, 3]).text_parts().is_none());
5190 }
5191
5192 #[test]
5193 fn a_column_that_is_not_strings_cannot_be_held_as_views() {
5194 let views = vec![StringView::inline("red")];
5195 let arena = Arc::new(Buffer::new());
5196 let wrong = Vector::string_views(LogicalType::Integer, views, arena);
5197 assert!(wrong.is_err(), "an integer column has no views");
5198 assert_eq!(integers(&[1, 2]).shared_text().unwrap().form(), Form::Flat, "left alone");
5199 }
5200
5201 /// A column with enough repeated structure for a symbol table to find something, which is what
5202 /// a real text column has and a column of random bytes does not.
5203 fn sentences(count: usize) -> Vector {
5204 let values: Vec<Value> = (0..count)
5205 .map(|row| {
5206 Value::Varchar(format!(
5207 "http://example.test/catalogue/section/{}/item/{row}",
5208 row % 7
5209 ))
5210 })
5211 .collect();
5212 Vector::from_values(LogicalType::Varchar, &values).unwrap()
5213 }
5214
5215 #[test]
5216 fn a_compressed_column_reads_back_the_strings_that_went_into_it() {
5217 let flat = sentences(64);
5218 let coded = flat.clone().compressed().unwrap();
5219 assert_eq!(coded.form(), Form::Fsst, "a text column compresses");
5220 assert_eq!(coded.len(), 64);
5221 for row in 0..64 {
5222 assert_eq!(coded.value_at(row), flat.value_at(row), "row {row}");
5223 }
5224 assert_eq!(coded.flatten().unwrap(), flat, "flattening is the column it came from");
5225 }
5226
5227 #[test]
5228 fn compressing_halves_the_bytes_or_the_column_is_left_flat() {
5229 let flat = sentences(200);
5230 let coded = flat.clone().compressed().unwrap();
5231 let parts = coded.coded_parts().expect("compressed");
5232 // Read through the flat column, because the compressed one has no bytes to hand back where
5233 // they are and answers `None` to `text_at` rather than decompressing into a borrow.
5234 assert_eq!(coded.text_at(0), None, "nothing to borrow until it is flattened");
5235 let plain: usize = (0..200).map(|row| flat.text_at(row).map_or(0, str::len)).sum();
5236 let codes: usize = (0..200).map(|row| parts.row(row).map_or(0, <[u8]>::len)).sum();
5237 assert!(codes * FSST_PAYS_AT <= plain, "{codes} codes against {plain} bytes");
5238 // Text with no repeated structure in it gives a table nothing longer than a byte to find,
5239 // so the codes are the bytes and the column stays where it is rather than paying a
5240 // decompression per read to save nothing.
5241 let mut seed = 0x2545_f491_4f6c_dd1du64;
5242 let values: Vec<Value> = (0..256)
5243 .map(|_| {
5244 let mut text = String::new();
5245 while text.len() < 12 {
5246 seed = seed.wrapping_mul(6_364_136_223_846_793_005).wrapping_add(1);
5247 text.push(char::from(b'!' + ((seed >> 33) % 90) as u8));
5248 }
5249 Value::Varchar(text)
5250 })
5251 .collect();
5252 let noise = Vector::from_values(LogicalType::Varchar, &values).unwrap();
5253 assert_eq!(noise.compressed().unwrap().form(), Form::Flat);
5254 }
5255
5256 #[test]
5257 fn a_cut_of_a_compressed_column_shares_the_codes_and_the_table() {
5258 let coded = sentences(64).compressed().unwrap();
5259 let cut = coded.slice(8, 16).unwrap();
5260 assert_eq!(cut.form(), Form::Fsst);
5261 assert_eq!(cut.len(), 16);
5262 for row in 0..16 {
5263 assert_eq!(cut.value_at(row), coded.value_at(8 + row), "row {row}");
5264 }
5265 let (whole, piece) = (coded.coded_parts().unwrap(), cut.coded_parts().unwrap());
5266 assert_eq!(piece.row(0), whole.row(8), "the spans point into the same codes");
5267 }
5268
5269 #[test]
5270 fn a_gather_of_a_compressed_column_stays_compressed_and_keeps_the_nulls() {
5271 let coded = sentences(32)
5272 .with_validity(Validity::from_iter(32, |row| row % 5 != 2))
5273 .compressed()
5274 .unwrap();
5275 let picked: Vec<u32> = (0..32).step_by(2).collect();
5276 let gathered = coded.gather(&picked).unwrap();
5277 assert_eq!(gathered.form(), Form::Fsst, "selecting rows moves spans, not bytes");
5278 for (row, &from) in picked.iter().enumerate() {
5279 assert_eq!(gathered.value_at(row), coded.value_at(from as usize), "row {row}");
5280 }
5281 assert_eq!(
5282 gathered.flatten().unwrap().iter().collect::<Vec<_>>(),
5283 gathered.iter().collect::<Vec<_>>()
5284 );
5285 }
5286
5287 #[test]
5288 fn a_literal_lands_in_the_same_codes_the_row_holding_it_does() {
5289 let coded = sentences(40).compressed().unwrap();
5290 let parts = coded.coded_parts().expect("compressed");
5291 let text = coded.value_at(11);
5292 let Value::Varchar(text) = text else { panic!("a string column reads back strings") };
5293 assert_eq!(parts.encode(text.as_bytes()), parts.row(11).expect("row 11"));
5294 assert_ne!(parts.encode(b"something else entirely"), parts.row(11).unwrap());
5295 }
5296
5297 #[test]
5298 fn codes_that_run_past_what_is_there_are_refused() {
5299 let table = Arc::new(SymbolTable::empty());
5300 let codes = Arc::new(vec![1u8, 2, 3, 4]);
5301 let good = vec![(0u32, 2u32), (2, 4)];
5302 assert!(
5303 Vector::coded(LogicalType::Varchar, Arc::clone(&codes), good, Arc::clone(&table))
5304 .is_ok()
5305 );
5306 let past = vec![(0u32, 9u32)];
5307 assert!(
5308 Vector::coded(LogicalType::Varchar, Arc::clone(&codes), past, Arc::clone(&table))
5309 .is_err(),
5310 "a span past the end of the codes"
5311 );
5312 let backwards = vec![(3u32, 1u32)];
5313 assert!(
5314 Vector::coded(LogicalType::Varchar, Arc::clone(&codes), backwards, Arc::clone(&table))
5315 .is_err(),
5316 "a span that ends before it starts"
5317 );
5318 let wrong = vec![(0u32, 2u32)];
5319 assert!(
5320 Vector::coded(LogicalType::Integer, codes, wrong, table).is_err(),
5321 "an integer column has no codes"
5322 );
5323 }
5324
5325 #[test]
5326 fn a_view_pointing_past_its_arena_is_refused_at_construction() {
5327 let long = "a string too long to sit inside a view";
5328 let arena: Arc<Buffer<u8>> = Arc::new(long.as_bytes().to_vec().into());
5329 let good = vec![StringView::over(long.as_bytes(), 0)];
5330 assert!(Vector::string_views(LogicalType::Varchar, good, Arc::clone(&arena)).is_ok());
5331 let bad = vec![StringView::over(long.as_bytes(), 4)];
5332 assert!(
5333 Vector::string_views(LogicalType::Varchar, bad, arena).is_err(),
5334 "four bytes short of what the view claims"
5335 );
5336 }
5337}