# Meeting 05-02-2025

### rust-analyzer Updates
- Dotting i's, crossing t's.
- Landed https://github.com/salsa-rs/salsa/pull/640
- Small hiccup integrating: exposed on the database storage, not the ingredient or database. A way forward: maybe mimick
- LRU changes: https://github.com/salsa-rs/salsa/pull/660
- LRU no longer runs immediately when the LRU capacity is hit; it needs to run, on-demand, by the user after a query happens.
- The current, immediate eviction in LRU is unsound, this makes it impossible to express that. (could be easily fixed)
- Integrating Loom into Salsa.
- Branch: https://github.com/salsa-rs/salsa/compare/master...davidbarsky:salsa:davidbarsky/loom-support?expand=1
- mostly works. current gotchas: `UnsafeCell` has a different API. `AtomicCell` can be removed in favor `AtomicUsize`; we only use for a `NonZeroUsize`; replace it with an `AtomicUsize`. `ArcSwap` is trickier to swap out, current mock is `RwLock<Arc<T>>`.
- Decision required: should we get rid of `RwLock<Arc<T>>`.
- Tests could be read/writes of interned values and/or other salsa structs.

### ruff updates

- Coarse-grained dependencies PR
- Ingredients are now only created for tracked fields
- Might also be able to only create revision entries for tracked fields (doesn't seem blocking)
- https://github.com/salsa-rs/salsa/pull/657
- Carl's fix point iteration is in a good state: https://github.com/salsa-rs/salsa/pull/603. needs review, additional tests, fixing performance regressions.

### salsa::supertype

https://github.com/salsa-rs/salsa/issues/578

David will open a draf PR for this, no macro-rules

### Update PR
- add https://github.com/salsa-rs/salsa/issues/610 prior to the first alpha release.

## Releases

### Alpha 1

- interned sans lifetime
- other memory use reduction?
- 'salsa supertype' ([#578](https://github.com/salsa-rs/salsa/issues/578))
- tracked by default https://github.com/salsa-rs/salsa/pull/657
- Fix https://github.com/salsa-rs/salsa/issues/610. this is unsound iff you have `return_ref` + LRU.
- fix LRU unsoundness and/or land https://github.com/salsa-rs/salsa/pull/660
- in general, fix all known unsoundness issues. use loom/shuttle to check for data races.

(note: rust-analyzer will vendor https://github.com/davidbarsky/db-ext-macro/.)

### Alpha 2

- Carl's fixed point iteration
- land LRU changes https://github.com/salsa-rs/salsa/pull/660