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

repeated_timer: finish condition variable should release mutex when waiting for still running task finished. #14

Merged
merged 1 commit into from
Jun 11, 2024

Conversation

ehds
Copy link
Owner

@ehds ehds commented Jun 11, 2024

related failed ci: https://github.com/ehds/mbraft/actions/runs/9445927788/job/26014514206.

  1. repeated_timer finish_cv should release mutex when waiting for singal.
  2. Waiting for task only when bthread_timer_del return 1 (still running), or task never to be excuted, we would block here forever.

related failed ci: https://github.com/ehds/mbraft/actions/runs/9461268281/job/26061655501?pr=14
3. return snapshot entry index when the smallest index configuration entry is greater than
last_included_index.

@ehds ehds force-pushed the fix-repeated-timer-deadblock branch from 47080f5 to f6c9f6b Compare June 11, 2024 07:17
@ehds ehds added the bug Something isn't working label Jun 11, 2024
@ehds ehds force-pushed the fix-repeated-timer-deadblock branch from f6c9f6b to 16799b4 Compare June 11, 2024 07:18
@ehds ehds changed the title repeated_timer: finish condition variable should release mutex when w… repeated_timer: finish condition variable should release mutex when waiting for task finished. Jun 11, 2024
@ehds ehds changed the title repeated_timer: finish condition variable should release mutex when waiting for task finished. repeated_timer: finish condition variable should release mutex when waiting for still running task finished. Jun 11, 2024
@ehds ehds force-pushed the fix-repeated-timer-deadblock branch from 16799b4 to 2a429b6 Compare June 11, 2024 08:05
@ehds ehds merged commit ddb2be6 into main Jun 11, 2024
3 of 4 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant