-
Notifications
You must be signed in to change notification settings - Fork 1.3k
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
Minor: Rename RepartitionMetrics::repartition_time
to RepartitionMetrics::repart_time
to match metric
#11478
Conversation
RepartitionMetrics::repartition_time
to RepartitionMetrics::repart_time
to match metric
c53869c
to
44d89a4
Compare
RepartitionMetrics::repartition_time
to RepartitionMetrics::repart_time
to match metricRepartitionMetrics::repartition_time
to RepartitionMetrics::repart_time
to match metric
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
LGTM, thank you @alamb
@@ -415,7 +415,7 @@ struct RepartitionMetrics { | |||
/// Time in nanos to execute child operator and fetch batches | |||
fetch_time: metrics::Time, | |||
/// Time in nanos to perform repartitioning | |||
repartition_time: metrics::Time, | |||
repart_time: metrics::Time, |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
to me, the previous name is more readable. do we need this change?
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
My rationale was so that the field name matched the display name of this metric (which is repart_time
)
(a few lines down from here)
Another potential would be to rename the metric to "repartition_time"
which would be a user facing change (which is probably fine).
I think it would be nice to have them consistent. The exact value I have less of an opinion of
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Yeah, i agree that consistency is really desirable. Therefore this PR is a good change (I will approve).
I would prefer that we change the metric name though. Readable naming is as valuable for code as it is for external metrics. I know it's a breaking change, but I don't know of other way to improve the naming while avoiding the breakage.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
in #11703
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Good plan -- how about we merge this PR (which is just code reorg) and then I'll make a follow on to propose renaming the public metric name for separate consideration |
SGTM |
Filed #11703 with the proposed change to the metric name |
Draft until #11440 mergesWhich issue does this PR close?
None
Rationale for this change
While reviewing #11440 from @korowa it took me a little while to find how the metric was plumbed through. Part of that was that the field name is slightly different
What changes are included in this PR?
Rename a field to match the metric it tracks
Are these changes tested?
By existing CI
Are there any user-facing changes?
No this is entirely internal