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

Add filterStable option to makeClient. #723

Merged
merged 1 commit into from
Mar 17, 2025
Merged

Add filterStable option to makeClient. #723

merged 1 commit into from
Mar 17, 2025

Conversation

jheer
Copy link
Member

@jheer jheer commented Mar 17, 2025

  • Add filterStable option to makeClient.

@jheer jheer requested a review from domoritz March 17, 2025 15:31
Copy link
Member

@domoritz domoritz left a comment

Choose a reason for hiding this comment

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

This is exposing an internal so that one can disable preaggregation. The name isn't the most meaningful if someone wants to disable preaggregation for performance reasons rather than because the filter isn't stable. We can think of a more generic external API later. For now, this makes sense.

@jheer
Copy link
Member Author

jheer commented Mar 17, 2025

This is exposing an internal so that one can disable preaggregation. The name isn't the most meaningful if someone wants to disable preaggregation for performance reasons rather than because the filter isn't stable. We can think of a more generic external API later. For now, this makes sense.

That's right. This is for internal use by developers of custom client implementations. It's to ensure correctness in cases when preaggregation is not applicable to a specific client because update query aggregation dimensions are not stable across selection predicates.

Toggling preaggregation more generally is a separate concern and can already be achieved via coordinator.preaggregator.enabled = false.

@domoritz
Copy link
Member

I think developers might want to toggle preaggregation per client as well if they anticipate only few queries for example. This api allows that but the name is potentially not what developers would look for.

@jheer jheer merged commit 55aea93 into main Mar 17, 2025
3 checks passed
@jheer jheer deleted the jh/filterStable branch March 17, 2025 17:09
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants