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

mapcache_seed: try to kill still running threads after grace period #313

Merged
merged 4 commits into from
Sep 27, 2023

Conversation

marisn
Copy link
Contributor

@marisn marisn commented Jun 14, 2023

On rare occasions a seeding thread might be stuck (e.g. deadlocked). In a such case seeder process can not finish at all as it would wait for thread to complete forever.

This PR waits for the thread to finish ten times with increasing waiting time till 55 seconds in total have passed and then proceeds to terminate all remaining threads.

Questions to discuss:

  • should there be a warning logged/printed?
  • are 55 seconds of grace time enough?

@jmckenna jmckenna added this to the 1.14.1 release milestone Sep 8, 2023
@jmckenna
Copy link
Member

jmckenna commented Sep 8, 2023

@marisn can you re-base this again main ? (I had made several changes to the CI system, so hopefully this can run without issues...)

@marisn
Copy link
Contributor Author

marisn commented Sep 9, 2023

I had already forgotten about this PR :D Let me know what else is needed.

It is really hard to test this PR, as it gets hit only when something goes terribly wrong (e.g. file system failure).

@jmckenna
Copy link
Member

jmckenna commented Sep 9, 2023

Thanks @marisn. I think a warning printed out when the 10x threshold is hit would be useful too.

@marisn
Copy link
Contributor Author

marisn commented Sep 27, 2023

Thanks @marisn. I think a warning printed out when the 10x threshold is hit would be useful too.

Is it better now?

@jmckenna
Copy link
Member

Yes thanks @marisn

@jmckenna jmckenna merged commit 9f4cf0e into MapServer:main Sep 27, 2023
8 checks passed
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