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//! | [`collector`] | Generic collector pattern for parallel aggregation |
19//!
20//! The execution model is push-based: sources push data through a pipeline of
21//! operators until it reaches a sink.
22
23pub mod adaptive;
24pub mod chunk;
25pub mod chunk_state;
26pub mod collector;
27pub mod factorized_chunk;
28pub mod factorized_iter;
29pub mod factorized_vector;
30pub mod memory;
31pub mod operators;
32#[cfg(feature = "parallel")]
33pub mod parallel;
34pub mod pipeline;
35pub mod profile;
36pub mod selection;
37pub mod sink;
38pub mod source;
39#[cfg(feature = "spill")]
40pub mod spill;
41pub mod vector;
42
43pub use adaptive::{
44    AdaptiveCheckpoint, AdaptiveContext, AdaptiveEvent, AdaptiveExecutionConfig,
45    AdaptiveExecutionResult, AdaptivePipelineBuilder, AdaptivePipelineConfig,
46    AdaptivePipelineExecutor, AdaptiveSummary, CardinalityCheckpoint, CardinalityFeedback,
47    CardinalityTrackingOperator, CardinalityTrackingSink, CardinalityTrackingWrapper,
48    ReoptimizationDecision, SharedAdaptiveContext, evaluate_reoptimization, execute_adaptive,
49};
50pub use chunk::{ChunkZoneHints, DataChunk};
51pub use collector::{
52    Collector, CollectorStats, CountCollector, LimitCollector, MaterializeCollector,
53    PartitionCollector, StatsCollector,
54};
55pub use memory::{ExecutionMemoryContext, ExecutionMemoryContextBuilder};
56#[cfg(feature = "parallel")]
57pub use parallel::{
58    CloneableOperatorFactory, MorselScheduler, ParallelPipeline, ParallelPipelineConfig,
59    ParallelSource, RangeSource,
60};
61pub use pipeline::{ChunkCollector, ChunkSizeHint, Pipeline, PushOperator, Sink, Source};
62pub use profile::{ProfileStats, ProfiledOperator, SharedProfileStats};
63pub use selection::SelectionVector;
64pub use sink::{CollectorSink, CountingSink, LimitingSink, MaterializingSink, NullSink};
65pub use source::{ChunkSource, EmptySource, GeneratorSource, OperatorSource, VectorSource};
66#[cfg(feature = "spill")]
67pub use spill::{SpillFile, SpillFileReader, SpillManager};
68pub use vector::ValueVector;
69
70// Factorized execution types
71pub use chunk_state::{ChunkState, FactorizationState, FactorizedSelection, LevelSelection};
72pub use factorized_chunk::{ChunkVariant, FactorizationLevel, FactorizedChunk};
73pub use factorized_iter::{PrecomputedIter, RowIndices, RowView, StreamingIter};
74pub use factorized_vector::{FactorizedState, FactorizedVector, UnflatMetadata};
75pub use operators::{FactorizedData, FlatDataWrapper};
grafeo_core/execution/mod.rs

grafeo_core/execution/
mod.rs
