Search for `.ir` and `.bindings` caches in their own appropriate locations

[Akirathan]

There are two possible locations for an IR cache:

• distribution stored inside built-distribution.
  • Filled with buildEngineDistribution that compiles all the standard libraries with something like enso --compile distribution/lib/Standard/Base --no-global-cache
• per user stored inside ~/.local/share/enso/cache.

Recently, we have encountered an issue with IR versions mismatch that caused all the PRs to be blocked - #12026. The description of that PR enumerates the steps that were taken on the CI before all the PRs were blocked.

I believe that the proper fix to prevent these problems in the future is not 75ac103, but to change the behavior of IR cache loader to prefer distribution cache. And only try loading from per user cache if there is a version mismatch in distribution cache.

[JaroslavTulach]

@JaroslavTulach How can the cache system report failures when running ImportStandardLibrariesBenchmark when it was preceded by buildEngineDistribution that compiled all the stdlibs?

[JaroslavTulach]

• with 800ms in loadCachesFrom - better up-to-date check (for Standard libraries) #13756
• it is clear we have two kinds of caches
  • distribution (local) should contain .bindings files
  • ....enso/cache/ir per user (global) caches - should contain only .ir files
• as such it makes no sense to search for .bindings files in per user (global) location
• and it makes no sense to search for .ir files in distribution (local) location

[enso-bot]

Jaroslav Tulach reports a new STANDUP for yesterday (2025-09-03):

Progress: .

• fixed Search for .ir and .bindings caches in their own appropriate locations #12027 by integrating Type of cache decides where it should be stored #13909
• PR with SourceSection merged: Avoid loading Source when creating EnsoRootNode from caches #13915
• PR with ByteBuffer merged: Exchanging direct ByteBuffers between the dual JVMs #13904
• JFR to find who reads a file: https://discord.com/channels/@me/1010161953634791434/1412789319390990467
• testing the release: https://discord.com/channels/401396655599124480/1412518534487080970/1412844304497639634
• meetings It should be finished by 2025-09-04.

Discord

Discord - Group Chat That’s All Fun & Games

Discord is great for playing games and chilling with friends, or even building a worldwide community. Customize your own space to talk, play, and hang out.

Discord

Discord - Group Chat That’s All Fun & Games

Discord is great for playing games and chilling with friends, or even building a worldwide community. Customize your own space to talk, play, and hang out.