Struct datafusion_physical_plan::joins::NestedLoopJoinExec

pub struct NestedLoopJoinExec { /* private fields */ }

NestedLoopJoinExec is build-probe join operator, whose main task is to perform joins without any equijoin conditions in ON clause.

Execution consists of following phases:

1. Build phase

Collecting build-side data in memory, by polling all available data from build-side input. Due to the absence of equijoin conditions, it’s not possible to partition build-side data across multiple threads of the operator, so build-side is always collected in a single batch shared across all threads. The operator always considers LEFT input as build-side input, so it’s crucial to adjust smaller input to be the LEFT one. Normally this selection is handled by physical optimizer.

2. Probe phase

Sequentially polling batches from the probe-side input and processing them according to the following logic:

• apply join filter (ON clause) to Cartesian product of probe batch and build side data – filter evaluation is executed once per build-side data row
• update shared bitmap of joined (“visited”) build-side row indices, if required – allows to produce unmatched build-side data in case of e.g. LEFT/FULL JOIN after probing phase completed
• perform join index alignment is required – depending on JoinType
• produce output join batch

Probing phase is executed in parallel, according to probe-side input partitioning – one thread per partition. After probe input is exhausted, each thread ATTEMPTS to produce unmatched build-side data.

3. Producing unmatched build-side data

Producing unmatched build-side data as an output batch, after probe input is exhausted. This step is also executed in parallel (once per probe input partition), and to avoid duplicate output of unmatched data (due to shared nature build-side data), each thread “reports” about probe phase completion (which means that “visited” bitmap won’t be updated anymore), and only the last thread, reporting about completion, will return output.

Implementations

impl NestedLoopJoinExec

pub fn try_new( left: Arc<dyn ExecutionPlan>, right: Arc<dyn ExecutionPlan>, filter: Option<JoinFilter>, join_type: &JoinType, ) -> Result<Self>

Try to create a new NestedLoopJoinExec

pub fn left(&self) -> &Arc<dyn ExecutionPlan>

left side

pub fn right(&self) -> &Arc<dyn ExecutionPlan>

right side

pub fn filter(&self) -> Option<&JoinFilter>

Filters applied before join output

pub fn join_type(&self) -> &JoinType

How the join is performed

Trait Implementations

impl Debug for NestedLoopJoinExec

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl DisplayAs for NestedLoopJoinExec

fn fmt_as(&self, t: DisplayFormatType, f: &mut Formatter<'_>) -> Result

Format according to DisplayFormatType, used when verbose representation looks different from the default one

impl ExecutionPlan for NestedLoopJoinExec

fn name(&self) -> &'static str

Short name for the ExecutionPlan, such as ‘ParquetExec’.

fn as_any(&self) -> &dyn Any

Returns the execution plan as Any so that it can be downcast to a specific implementation.

fn properties(&self) -> &PlanProperties

Return properties of the output of the ExecutionPlan, such as output ordering(s), partitioning information etc.

fn required_input_distribution(&self) -> Vec<Distribution>

Specifies the data distribution requirements for all the children for this ExecutionPlan, By default it’s [Distribution::UnspecifiedDistribution] for each child,

fn children(&self) -> Vec<&Arc<dyn ExecutionPlan>>

Get a list of children ExecutionPlans that act as inputs to this plan. The returned list will be empty for leaf nodes such as scans, will contain a single value for unary nodes, or two values for binary nodes (such as joins).

fn with_new_children( self: Arc<Self>, children: Vec<Arc<dyn ExecutionPlan>>, ) -> Result<Arc<dyn ExecutionPlan>>

Returns a new ExecutionPlan where all existing children were replaced by the children, in order

fn execute( &self, partition: usize, context: Arc<TaskContext>, ) -> Result<SendableRecordBatchStream>

Begin execution of partition, returning a Stream of RecordBatches.

fn metrics(&self) -> Option<MetricsSet>

Return a snapshot of the set of Metrics for this ExecutionPlan. If no Metrics are available, return None.

fn statistics(&self) -> Result<Statistics>

Returns statistics for this ExecutionPlan node. If statistics are not available, should return Statistics::new_unknown (the default), not an error.

fn static_name() -> &'static str

where Self: Sized,

Short name for the ExecutionPlan, such as ‘ParquetExec’. Like name but can be called without an instance.

fn schema(&self) -> SchemaRef

Get the schema for this execution plan

fn required_input_ordering(&self) -> Vec<Option<LexRequirement>>

Specifies the ordering required for all of the children of this ExecutionPlan.

fn maintains_input_order(&self) -> Vec<bool>

Returns false if this ExecutionPlan’s implementation may reorder rows within or between partitions.

fn benefits_from_input_partitioning(&self) -> Vec<bool>

Specifies whether the ExecutionPlan benefits from increased parallelization at its input for each child.

fn repartitioned( &self, _target_partitions: usize, _config: &ConfigOptions, ) -> Result<Option<Arc<dyn ExecutionPlan>>>

If supported, attempt to increase the partitioning of this ExecutionPlan to produce target_partitions partitions.

fn supports_limit_pushdown(&self) -> bool

Returns true if a limit can be safely pushed down through this ExecutionPlan node.

fn with_fetch(&self, _limit: Option<usize>) -> Option<Arc<dyn ExecutionPlan>>

Returns a fetching variant of this ExecutionPlan node, if it supports fetch limits. Returns None otherwise.

fn fetch(&self) -> Option<usize>

Gets the fetch count for the operator, None means there is no fetch.