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
Rename SubPartition
to Batch
in partitioning types.
#17263
Rename SubPartition
to Batch
in partitioning types.
#17263
Conversation
We've been mixing terminology a bit in subsystems that partition inputs. After this commit, we use terms (more) consistently to mean: 1. "Partition": a set of compatible inputs that _can_ be processed together, but might not be depending on other settings 2. "Batch": a set of inputs that are actually processed together
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. I like that it matches the option name (batch_size
) and is shorter and less hard to type 😄
I think this terminology change is excellent! The linguistic distinction between "Partition" and "Batch" is subtle, but I do think they each convey the nuance you've assigned to them. And it will support an API where those two things are disjoint concerns. E.g., the implementer of a test runner would have to care about how to split into Partitions, but might not have to care about batching - a generic "batch by size" mechanism would work in most/all cases. |
src/python/pants/backend/codegen/protobuf/lint/buf/lint_rules_integration_test.py
Outdated
Show resolved
Hide resolved
Head branch was pushed to by a user without write access
Oops, sorry @stuhood looks like I disabled auto-merge with the last push to update docs 😞 |
We've been mixing terminology a bit in subsystems that partition inputs. After this commit, we use terms (more) consistently to mean: