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

Adding placements to partition table #2464

Merged
merged 1 commit into from
Jan 15, 2025
Merged

Conversation

muhamadazmy
Copy link
Contributor

@muhamadazmy muhamadazmy commented Jan 3, 2025

Adding placements to partition table

Summary:
Partition table now includes the placement of each partition. PartitionPlacement, representing the set of nodes where the partition should run, with the first node in the group designated as the leader.


Stack created with Sapling. Best reviewed with ReviewStack.

This was referenced Jan 3, 2025
@muhamadazmy muhamadazmy force-pushed the pr2464 branch 5 times, most recently from 7634241 to 528f9c3 Compare January 6, 2025 09:38
@muhamadazmy muhamadazmy changed the title Worker nodes placements Nodes placments and partitions scheduling Jan 6, 2025
@muhamadazmy muhamadazmy force-pushed the pr2464 branch 2 times, most recently from 53bfd34 to 6a7bdbe Compare January 7, 2025 10:07
@muhamadazmy muhamadazmy mentioned this pull request Jan 7, 2025
@muhamadazmy muhamadazmy force-pushed the pr2464 branch 2 times, most recently from f9f124b to 7c71a42 Compare January 10, 2025 09:34
@muhamadazmy muhamadazmy changed the title Nodes placments and partitions scheduling Adding replica group to partition table Jan 10, 2025
@muhamadazmy muhamadazmy force-pushed the pr2464 branch 2 times, most recently from f5bd595 to 0286b87 Compare January 10, 2025 10:00
@muhamadazmy muhamadazmy marked this pull request as ready for review January 10, 2025 11:27
Copy link
Contributor

@tillrohrmann tillrohrmann left a comment

Choose a reason for hiding this comment

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

Thanks for introducing the ReplicaGroup @muhamadazmy. The changes look good to me :-) I had a suggestion to rename ReplicaGroup into something like PartitionPlacement to start with the renaming process. One additional question was around the equality definition of ReplicaGroup. I've seen that in Partition you use a different definition than what PartialEq gives us. Should this be aligned and documented?

@muhamadazmy
Copy link
Contributor Author

Thank you @tillrohrmann for your very insightful review and comments. I totally agree over the rename and the implementation of PartialEq for the PartitionPlacement. I will update the PR and let you know

@muhamadazmy muhamadazmy force-pushed the pr2464 branch 3 times, most recently from f3e6860 to 49bde5f Compare January 14, 2025 14:02
@muhamadazmy muhamadazmy changed the title Adding replica group to partition table Adding placements to partition table Jan 14, 2025
Summary:
Partition table now includes the placement of each partition. PartitionPlacement, representing the set of nodes where the partition should run, with the first node in the group designated as the leader.
Copy link
Contributor

@tillrohrmann tillrohrmann left a comment

Choose a reason for hiding this comment

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

LGTM. +1 for merging :-)

@muhamadazmy muhamadazmy merged commit f7c1c2e into restatedev:main Jan 15, 2025
28 checks passed
@muhamadazmy muhamadazmy deleted the pr2464 branch January 15, 2025 08:03
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