Increase merge and split shard priority by 100

PRIORITY_TEAM_REDUNDANT should be in a different priority band from
PRIORITY_MERGE_SHARD and PRIORITY_SPLIT_SHARD, because
priority inversion happens within priorities in the same band.
This commit is contained in:
Meng Xu 2019-07-19 13:30:40 -07:00
parent 6df93173ca
commit f243e77afc
1 changed files with 3 additions and 3 deletions

View File

@ -52,10 +52,10 @@ enum {
// Set removing_redundant_team priority lower than merge/split_shard_priority,
// so that removing redundant teams does not block merge/split shards.
PRIORITY_TEAM_REDUNDANT = 210,
PRIORITY_TEAM_REDUNDANT = 200,
PRIORITY_MERGE_SHARD = 240,
PRIORITY_SPLIT_SHARD = 250,
PRIORITY_MERGE_SHARD = 340,
PRIORITY_SPLIT_SHARD = 350,
PRIORITY_TEAM_UNHEALTHY = 800,
PRIORITY_TEAM_2_LEFT = 809,