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 copies in CountWildcardRule via TreeNode API #10066

Merged
merged 4 commits into from
Apr 15, 2024

Conversation

alamb
Copy link
Contributor

@alamb alamb commented Apr 12, 2024

Which issue does this PR close?

Part of #9637

Rationale for this change

Let's make planning faster by not copying so much in the optimizer using the new TreeNode API.

As an added bonus, now that the traversal is encoded in TreeNode doing this replacement also requires much less code

What changes are included in this PR?

  1. See PR subject

Are these changes tested?

Covered by existing CI

Are there any user-facing changes?

No (maybe tiny bit faster planning)

@github-actions github-actions bot added the optimizer Optimizer rules label Apr 12, 2024
@alamb alamb force-pushed the alamb/count_with_wildcard branch from ee2003d to 692fc11 Compare April 12, 2024 19:06
}
fn analyze_internal(plan: LogicalPlan) -> Result<Transformed<LogicalPlan>> {
let name_preserver = NamePreserver::new(&plan);
plan.map_expressions(|expr| {
Copy link
Contributor Author

Choose a reason for hiding this comment

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

Not only does this logic avoid the clone (old_expr.clone()) I also think it is easier to understand what is happening

@@ -47,181 +38,43 @@ impl CountWildcardRule {

impl AnalyzerRule for CountWildcardRule {
fn analyze(&self, plan: LogicalPlan, _: &ConfigOptions) -> Result<LogicalPlan> {
plan.transform_down(&analyze_internal).data()
plan.transform_down_with_subqueries(&analyze_internal)
Copy link
Contributor Author

Choose a reason for hiding this comment

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

By using the wonderful transform_down_with_subqueries from @peter-toth this rule can avoid having to recuse into subqueries directly by itself

let window_expr = window
.window_expr
.iter()
.map(|expr| rewrite_preserving_name(expr.clone(), &mut rewriter))
Copy link
Contributor Author

Choose a reason for hiding this comment

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

removed this clone (and the ones below)

type Node = Expr;

fn f_up(&mut self, old_expr: Expr) -> Result<Transformed<Expr>> {
Ok(match old_expr.clone() {
Copy link
Contributor Author

Choose a reason for hiding this comment

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

here is another clone that is avoided

@@ -64,7 +64,7 @@ impl ApplyFunctionRewrites {
let original_name = name_preserver.save(&expr)?;

// recursively transform the expression, applying the rewrites at each step
let result = expr.transform_up(&|expr| {
Copy link
Contributor Author

Choose a reason for hiding this comment

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

drive by cleanup based on @crepererum 's comment on #10038 (comment)

@alamb alamb marked this pull request as ready for review April 12, 2024 19:58
let transformed_expr = expr.transform_up(&|expr| match expr {
Expr::WindowFunction(mut window_function)
if window_function.args.len() == 1
&& is_wildcard(&window_function.args[0]) =>
Copy link
Contributor

@jayzhan211 jayzhan211 Apr 14, 2024

Choose a reason for hiding this comment

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

do we need to match the function Count as well?

Copy link
Contributor Author

Choose a reason for hiding this comment

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

This is a good catch.

I think technically it is not necessary as no other aggregates supports *. However, I added a check for the aggregate name and added a test for SUM(*) in a05bcbe

Copy link
Member

@andygrove andygrove left a comment

Choose a reason for hiding this comment

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

Thanks @alamb. This is much easier to follow.

Copy link
Contributor

@comphead comphead left a comment

Choose a reason for hiding this comment

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

Thanks @alamb nice fight with copying!!

@comphead comphead merged commit a165b7f into apache:main Apr 15, 2024
24 checks passed
@alamb alamb deleted the alamb/count_with_wildcard branch April 19, 2024 11:29
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
optimizer Optimizer rules
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants