Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Avoid recomputing partition dynamic filters unnecessarily #11048

Merged
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Original file line number Diff line number Diff line change
Expand Up @@ -103,7 +103,6 @@
import static io.trino.plugin.hive.HiveErrorCode.HIVE_INVALID_METADATA;
import static io.trino.plugin.hive.HiveErrorCode.HIVE_INVALID_PARTITION_VALUE;
import static io.trino.plugin.hive.HiveErrorCode.HIVE_UNKNOWN_ERROR;
import static io.trino.plugin.hive.HivePartitionManager.partitionMatches;
import static io.trino.plugin.hive.HiveSessionProperties.getMaxInitialSplitSize;
import static io.trino.plugin.hive.HiveSessionProperties.isForceLocalScheduling;
import static io.trino.plugin.hive.HiveSessionProperties.isValidateBucketing;
Expand All @@ -119,6 +118,7 @@
import static io.trino.plugin.hive.util.HiveUtil.getHeaderCount;
import static io.trino.plugin.hive.util.HiveUtil.getInputFormat;
import static io.trino.plugin.hive.util.HiveUtil.getPartitionKeyColumnHandles;
import static io.trino.plugin.hive.util.PartitionMatchSupplier.createPartitionMatchSupplier;
import static io.trino.spi.StandardErrorCode.NOT_SUPPORTED;
import static java.lang.Integer.parseInt;
import static java.lang.Math.max;
Expand Down Expand Up @@ -373,11 +373,7 @@ private ListenableFuture<Void> loadPartition(HivePartitionMetadata partition)
List<HivePartitionKey> partitionKeys = getPartitionKeys(table, partition.getPartition());
TupleDomain<HiveColumnHandle> effectivePredicate = compactEffectivePredicate.transformKeys(HiveColumnHandle.class::cast);

List<HiveColumnHandle> partitionColumns = getPartitionKeyColumnHandles(table, typeManager);
BooleanSupplier partitionMatchSupplier =
partitionColumns.stream().noneMatch(dynamicFilter.getColumnsCovered()::contains)
? () -> true
: () -> partitionMatches(partitionColumns, dynamicFilter.getCurrentPredicate(), hivePartition);
BooleanSupplier partitionMatchSupplier = createPartitionMatchSupplier(dynamicFilter, hivePartition, getPartitionKeyColumnHandles(table, typeManager));
if (!partitionMatchSupplier.getAsBoolean()) {
// Avoid listing files and creating splits from a partition if it has been pruned due to dynamic filters
return COMPLETED_FUTURE;
Expand Down
Original file line number Diff line number Diff line change
@@ -0,0 +1,106 @@
/*
* Licensed under the Apache License, Version 2.0 (the "License");
* you may not use this file except in compliance with the License.
* You may obtain a copy of the License at
*
* http://www.apache.org/licenses/LICENSE-2.0
*
* Unless required by applicable law or agreed to in writing, software
* distributed under the License is distributed on an "AS IS" BASIS,
* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
* See the License for the specific language governing permissions and
* limitations under the License.
*/
package io.trino.plugin.hive.util;

import com.google.common.collect.ImmutableList;
import io.trino.plugin.hive.HiveColumnHandle;
import io.trino.plugin.hive.HivePartition;
import io.trino.spi.connector.ColumnHandle;
import io.trino.spi.connector.DynamicFilter;
import io.trino.spi.predicate.TupleDomain;

import javax.annotation.Nullable;

import java.util.List;
import java.util.function.BooleanSupplier;

import static io.trino.plugin.hive.HivePartitionManager.partitionMatches;
import static java.util.Objects.requireNonNull;

public final class PartitionMatchSupplier
implements BooleanSupplier
{
private final DynamicFilter dynamicFilter;
private final HivePartition hivePartition;
private final List<HiveColumnHandle> partitionColumns;

@Nullable
private volatile Boolean finalResult; // value is null until the dynamic filter no longer needs to be evaluated
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Can we use AtomicReference<Boolean> instead ?

Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

i am fine with current state


private PartitionMatchSupplier(DynamicFilter dynamicFilter, HivePartition hivePartition, List<HiveColumnHandle> partitionColumns)
{
this.dynamicFilter = requireNonNull(dynamicFilter, "dynamicFilter is null");
this.hivePartition = requireNonNull(hivePartition, "hivePartition is null");
this.partitionColumns = ImmutableList.copyOf(requireNonNull(partitionColumns, "partitionColumns is null"));
}

@Override
public boolean getAsBoolean()
{
// Check for a final memoized result
Boolean result = this.finalResult;
if (result != null) {
return result;
}
return evaluateCurrentDynamicFilter();
}

private boolean evaluateCurrentDynamicFilter()
{
// Must be checked before calling dynamicFilter.getCurrentPredicate()
boolean filterIsComplete = dynamicFilter.isComplete();
TupleDomain<ColumnHandle> currentPredicate = dynamicFilter.getCurrentPredicate();
boolean partitionMatches = partitionMatches(partitionColumns, currentPredicate, hivePartition);
if (!partitionMatches || filterIsComplete) {
// Store the result to avoid re-evaluating the filter for each subsequent split
this.finalResult = (Boolean) partitionMatches;
}
return partitionMatches;
}

public static BooleanSupplier createPartitionMatchSupplier(DynamicFilter dynamicFilter, HivePartition hivePartition, List<HiveColumnHandle> partitionColumns)
{
requireNonNull(dynamicFilter, "dynamicFilter is null");
requireNonNull(hivePartition, "hivePartition is null");
requireNonNull(partitionColumns, "partitionColumns is null");

if (partitionColumns.stream().noneMatch(dynamicFilter.getColumnsCovered()::contains)) {
return new BooleanValueSupplier(true);
}
if (dynamicFilter.isComplete()) {
// Evaluate the dynamic filter once and use the resulting value
return new BooleanValueSupplier(partitionMatches(partitionColumns, dynamicFilter.getCurrentPredicate(), hivePartition));
}
return new PartitionMatchSupplier(dynamicFilter, hivePartition, partitionColumns);
}

// note: this class is defined explicitly instead of with a method lambda so that usage sites of these
// BooleanSupplier instances can be bi-morphic and not accidentally megamorphic
private static final class BooleanValueSupplier
implements BooleanSupplier
{
private final boolean value;

private BooleanValueSupplier(boolean value)
{
this.value = value;
}

@Override
public boolean getAsBoolean()
{
return value;
}
}
}