Join GitHub today
GitHub is home to over 31 million developers working together to host and review code, manage projects, and build software together.Sign up
server: check overlaps for new region #1377
What problem does this PR solve?
When a region is merged, and then PD receives a stale heartbeat of it for some kind of reasons. It may overlap with some regions and update region tree improperly.
What is changed and how it works?
When inserting a new region, check are there any overlapped regions and compare the version to decide whether the heartbeat is stale or not.