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.

Sign up for GitHub

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

Jump to bottom

Add a metric for lease expired time #47729

Closed
jackysp opened this issue Oct 17, 2023 · 0 comments · Fixed by #47730
Closed

Add a metric for lease expired time #47729

jackysp opened this issue Oct 17, 2023 · 0 comments · Fixed by #47730
Labels
affects-7.5 type/bug The issue is confirmed as a bug. type/enhancement The issue or PR belongs to an enhancement.

Comments

@jackysp
Copy link
Member

jackysp commented Oct 17, 2023

Enhancement

For TiDB, the expiration of the lease will cause TiDB Server to be unable to work, so it is necessary to monitor it.
Related to #47377
@jackysp jackysp added the type/enhancement The issue or PR belongs to an enhancement. label Oct 17, 2023
@jackysp jackysp mentioned this issue Oct 17, 2023
Merged
13 tasks
ti-chi-bot bot pushed a commit that referenced this issue Oct 18, 2023
@jackysp
domain/metrics: add a metric for lease expired time (#47730)
0c9d228 
close #47729
jackysp added a commit to jackysp/tidb that referenced this issue Oct 19, 2023
@jackysp
domain/metrics: add a metric for lease expired time (pingcap#47730)
d80bd20 
close pingcap#47729
@jackysp jackysp mentioned this issue Oct 19, 2023
Merged
13 tasks
cfzjywxk pushed a commit that referenced this issue Nov 7, 2023
@jackysp
domain/metrics: add a metric for lease expired time (#47730) (#47819)
74df4d9 
close #47729
guoshouyan pushed a commit to guoshouyan/tidb that referenced this issue Mar 5, 2024
@Tema @jackysp
domain/metrics: add a metric for lease expired time (pingcap#47730) (p…
81c377a 
…ingcap#47819) (pingcap#22)

close pingcap#47729

Co-authored-by: Jack Yu <jackysp@gmail.com>
wuhuizuo pushed a commit to wuhuizuo/tidb that referenced this issue Apr 2, 2024
@jackysp @wuhuizuo
domain/metrics: add a metric for lease expired time (pingcap#47730)
8df6a55 
close pingcap#47729
@ti-chi-bot ti-chi-bot mentioned this issue Apr 27, 2024
Merged
13 tasks
@cfzjywxk cfzjywxk added type/bug The issue is confirmed as a bug. affects-7.5 labels Apr 28, 2024
ti-chi-bot bot pushed a commit that referenced this issue May 6, 2024
@ti-chi-bot
domain/metrics: add a metric for lease expired time (#47730) (#52932)
dbd8ea2 
close #47729
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
affects-7.5 type/bug The issue is confirmed as a bug. type/enhancement The issue or PR belongs to an enhancement.
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

domain/metrics: add a metric for lease expired time jackysp/tidb
2 participants
@cfzjywxk @jackysp