Skip to content

Make strong preferences even stronger#44373

Merged
tgamblin merged 1 commit intospack:developfrom
alalazo:solver/even-stronger-preferences
May 24, 2024
Merged

Make strong preferences even stronger#44373
tgamblin merged 1 commit intospack:developfrom
alalazo:solver/even-stronger-preferences

Conversation

@alalazo
Copy link
Copy Markdown
Member

@alalazo alalazo commented May 24, 2024

Before this PR, if Spack could see a possibility to reuse a spec that doesn't match a strong preference, it would do so. After the PR, a strong preference would take precedence.

Before this PR, if Spack could see a possibility to reuse a spec that
doesn't match a strong preference, it would do so. After the PR, a
strong preference would take precedence.
@spackbot-app spackbot-app bot added core PR affects Spack core functionality tests General test capability(ies) labels May 24, 2024
@alalazo
Copy link
Copy Markdown
Member Author

alalazo commented May 24, 2024

Benchmarked on:

radiuss.develop.csv
radiuss.pr.csv
radiuss.txt

  • Spack: 0.23.0.dev0 (8aa490d)
  • Python: 3.11.5
  • Platform: linux-ubuntu20.04-icelake
  • Concretizer: clingo

There's a bit of fluctuation, but overall it doesn't seem to affect the average solve time:

radiuss

@alalazo alalazo requested review from haampie and tgamblin May 24, 2024 10:16
@alalazo alalazo added this to the v0.22.1 milestone May 24, 2024
@alalazo alalazo mentioned this pull request May 24, 2024
38 tasks
@tgamblin tgamblin merged commit 7c87253 into spack:develop May 24, 2024
@alalazo alalazo deleted the solver/even-stronger-preferences branch May 24, 2024 18:02
@haampie
Copy link
Copy Markdown
Member

haampie commented May 28, 2024

Where are the docs?

@alalazo
Copy link
Copy Markdown
Member Author

alalazo commented May 29, 2024

I didn't document the optimization order (do we need that?). Some docs on strong preferences are here

alalazo added a commit that referenced this pull request Jun 5, 2024
Before this PR, if Spack could see a possibility to reuse a spec that
doesn't match a strong preference, it would do so. After the PR, a
strong preference would take precedence.
teaguesterling pushed a commit to teaguesterling/spack that referenced this pull request Jun 15, 2024
Before this PR, if Spack could see a possibility to reuse a spec that
doesn't match a strong preference, it would do so. After the PR, a
strong preference would take precedence.
haampie pushed a commit that referenced this pull request Jun 28, 2024
Before this PR, if Spack could see a possibility to reuse a spec that
doesn't match a strong preference, it would do so. After the PR, a
strong preference would take precedence.
haampie pushed a commit that referenced this pull request Jul 1, 2024
Before this PR, if Spack could see a possibility to reuse a spec that
doesn't match a strong preference, it would do so. After the PR, a
strong preference would take precedence.
haampie pushed a commit that referenced this pull request Jul 1, 2024
Before this PR, if Spack could see a possibility to reuse a spec that
doesn't match a strong preference, it would do so. After the PR, a
strong preference would take precedence.
hariharan-devarajan pushed a commit to hariharan-devarajan/spack that referenced this pull request Jul 10, 2024
Before this PR, if Spack could see a possibility to reuse a spec that
doesn't match a strong preference, it would do so. After the PR, a
strong preference would take precedence.
alalazo added a commit to alalazo/spack that referenced this pull request Aug 26, 2025
fixes spack#51224

In this way trying to solve more input specs is
at higher priority than trying to satisfy strong preferences
or requirements.

This was an unwanted side effect of spack#44373

Signed-off-by: Massimiliano Culpo <[email protected]>
haampie pushed a commit that referenced this pull request Aug 27, 2025
In this way trying to solve more input specs is at higher priority than trying to satisfy strong preferences or requirements.

Fixes a regression introduced by #44373

Signed-off-by: Massimiliano Culpo <[email protected]>
climbfuji pushed a commit to climbfuji/spack that referenced this pull request Aug 27, 2025
In this way trying to solve more input specs is at higher priority than trying to satisfy strong preferences or requirements.

Fixes a regression introduced by spack#44373

Signed-off-by: Massimiliano Culpo <[email protected]>
alalazo added a commit that referenced this pull request Sep 8, 2025
In this way trying to solve more input specs is at higher priority than trying to satisfy strong preferences or requirements.

Fixes a regression introduced by #44373

Signed-off-by: Massimiliano Culpo <[email protected]>
haampie pushed a commit that referenced this pull request Sep 12, 2025
In this way trying to solve more input specs is at higher priority than trying to satisfy strong preferences or requirements.

Fixes a regression introduced by #44373

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

Labels

core PR affects Spack core functionality tests General test capability(ies)

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants