Skip to main content

grafeo_core/execution/
mod.rs

1//! Vectorized query execution engine.
2//!
3//! Grafeo uses vectorized processing - instead of one row at a time, we process
4//! batches of ~1024 rows. This unlocks SIMD and keeps the CPU busy.
5//!
6//! | Module | Purpose |
7//! | ------ | ------- |
8//! | [`chunk`] | Batched rows (DataChunk = multiple columns) |
9//! | [`vector`] | Single column of values |
10//! | [`factorized_vector`] | Factorized vectors for avoiding Cartesian products |
11//! | [`factorized_chunk`] | Multi-level factorized chunks |
12//! | [`selection`] | Bitmap for filtering without copying |
13//! | [`operators`] | Physical operators (scan, filter, join, etc.) |
14//! | [`pipeline`] | Push-based execution (data flows through operators) |
15//! | [`parallel`] | Morsel-driven parallelism |
16//! | [`spill`] | Disk spilling when memory is tight |
17//! | [`adaptive`] | Adaptive execution with runtime cardinality feedback |
18//!
19//! The execution model is push-based: sources push data through a pipeline of
20//! operators until it reaches a sink.
21
22pub mod adaptive;
23pub mod chunk;
24pub mod chunk_state;
25pub mod factorized_chunk;
26pub mod factorized_iter;
27pub mod factorized_vector;
28pub mod memory;
29pub mod operators;
30pub mod parallel;
31pub mod pipeline;
32pub mod selection;
33pub mod sink;
34pub mod source;
35pub mod spill;
36pub mod vector;
37
38pub use adaptive::{
39    AdaptiveCheckpoint, AdaptiveContext, AdaptiveEvent, AdaptiveExecutionConfig,
40    AdaptiveExecutionResult, AdaptivePipelineBuilder, AdaptivePipelineConfig,
41    AdaptivePipelineExecutor, AdaptiveSummary, CardinalityCheckpoint, CardinalityFeedback,
42    CardinalityTrackingOperator, CardinalityTrackingSink, CardinalityTrackingWrapper,
43    ReoptimizationDecision, SharedAdaptiveContext, evaluate_reoptimization, execute_adaptive,
44};
45pub use chunk::DataChunk;
46pub use memory::{ExecutionMemoryContext, ExecutionMemoryContextBuilder};
47pub use parallel::{
48    CloneableOperatorFactory, MorselScheduler, ParallelPipeline, ParallelPipelineConfig,
49    ParallelSource, RangeSource,
50};
51pub use pipeline::{ChunkCollector, ChunkSizeHint, Pipeline, PushOperator, Sink, Source};
52pub use selection::SelectionVector;
53pub use sink::{CollectorSink, CountingSink, LimitingSink, MaterializingSink, NullSink};
54pub use source::{ChunkSource, EmptySource, GeneratorSource, OperatorSource, VectorSource};
55pub use spill::{SpillFile, SpillFileReader, SpillManager};
56pub use vector::ValueVector;
57
58// Factorized execution types
59pub use chunk_state::{ChunkState, FactorizationState, FactorizedSelection, LevelSelection};
60pub use factorized_chunk::{ChunkVariant, FactorizationLevel, FactorizedChunk};
61pub use factorized_iter::{PrecomputedIter, RowIndices, RowView, StreamingIter};
62pub use factorized_vector::{FactorizedState, FactorizedVector, UnflatMetadata};
63pub use operators::{FactorizedData, FlatDataWrapper};