diff options
| author | Massimiliano Culpo <massimiliano.culpo@gmail.com> | 2023-03-17 08:39:41 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-03-17 00:39:41 -0700 |
| commit | 8517a74f3792bb87f754c6fd363d820104643d9e (patch) | |
| tree | 8518320cf7ea2b6e6449914b91bf3c0aa1d1d782 /share | |
| parent | 34ef01a5c84f3dd4be7f96b0beb12135bf44120d (diff) | |
| download | spack-8517a74f3792bb87f754c6fd363d820104643d9e.tar.gz spack-8517a74f3792bb87f754c6fd363d820104643d9e.tar.bz2 spack-8517a74f3792bb87f754c6fd363d820104643d9e.tar.xz spack-8517a74f3792bb87f754c6fd363d820104643d9e.zip | |
ASP-based solver: tweak heuristic, modify compiler encoding (#35989)
This PR does 2 unrelated things:
1. It changes the encoding of the compilers
2. It tweaks the heuristic for the solves in a0d88179074f81d13a3fad629a43d86334e7f982
Both were initially motivated by trying to get a performance gain but, while 2 showed significant speed-ups[^1], 1 instead didn't. I kept it anyhow, since I think the code related to compilers is more consolidated with the new encoding and we might get some performance improvement out of it if we can base our errors on the `node_compiler(Package, CompilerID)` atoms instead of `attrs`.
[^1]: In general the changes in the heuristic brought a ~10% speed-up on the tests I did. I'll post detailed results below.
Add a warning about compilers.yaml that is triggered if there are multiple compilers with the same spec, os and
target (since they can't be selected by users with the spec syntax only).
Diffstat (limited to 'share')
0 files changed, 0 insertions, 0 deletions