Skip to content

solver: improve timeout handling and add Ctrl-C interrupt safety#51341

Merged
haampie merged 5 commits intospack:developfrom
alalazo:solver/ctrl-c-in-solver
Sep 23, 2025
Merged

solver: improve timeout handling and add Ctrl-C interrupt safety#51341
haampie merged 5 commits intospack:developfrom
alalazo:solver/ctrl-c-in-solver

Conversation

@alalazo
Copy link
Copy Markdown
Member

@alalazo alalazo commented Sep 22, 2025

This allows using Ctrl+C to stop Spack even in the middle of concretization.

Also, hope this solves a deadlock that sometimes happens.

Signed-off-by: Massimiliano Culpo <[email protected]>
Co-authored-by: Danny McClanahan <[email protected]>
@alalazo alalazo force-pushed the solver/ctrl-c-in-solver branch from f9bc87f to 4c63f1d Compare September 22, 2025 13:21
@alalazo
Copy link
Copy Markdown
Member Author

alalazo commented Sep 22, 2025

@cosmicexplorer Thanks for the hints on using time.monotonic(). I made you co-author of this PR, hope you don't mind.

Copy link
Copy Markdown
Contributor

@cosmicexplorer cosmicexplorer left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Full support to minimizing the complexity here. I may have a prototype of reading package facts in parallel soon, but repeatedly polling over blocking is all we need to do to fix the problem.

alalazo and others added 4 commits September 22, 2025 21:01
Co-authored-by: Danny McClanahan <[email protected]>
Signed-off-by: Massimiliano Culpo <[email protected]>
Signed-off-by: Massimiliano Culpo <[email protected]>
Signed-off-by: Massimiliano Culpo <[email protected]>
Signed-off-by: Massimiliano Culpo <[email protected]>
@haampie haampie merged commit 09f21aa into spack:develop Sep 23, 2025
32 of 33 checks passed
@alalazo alalazo deleted the solver/ctrl-c-in-solver branch September 23, 2025 11:24
@alalazo alalazo added the v1.0.3 PRs to backport for v1.0.3 label Sep 23, 2025
@becker33 becker33 mentioned this pull request Jan 10, 2026
becker33 pushed a commit that referenced this pull request Jan 10, 2026
)

Signed-off-by: Massimiliano Culpo <[email protected]>
Co-authored-by: Danny McClanahan <[email protected]>
vjranagit pushed a commit to vjranagit/spack that referenced this pull request Jan 18, 2026
becker33 pushed a commit that referenced this pull request Feb 2, 2026
)

Signed-off-by: Massimiliano Culpo <[email protected]>
Co-authored-by: Danny McClanahan <[email protected]>
becker33 pushed a commit that referenced this pull request Feb 2, 2026
)

Signed-off-by: Massimiliano Culpo <[email protected]>
Co-authored-by: Danny McClanahan <[email protected]>
Signed-off-by: Gregory Becker <[email protected]>
becker33 pushed a commit that referenced this pull request Feb 19, 2026
)

Signed-off-by: Massimiliano Culpo <[email protected]>
Co-authored-by: Danny McClanahan <[email protected]>
Signed-off-by: Gregory Becker <[email protected]>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

v1.0.3 PRs to backport for v1.0.3

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants