Skip to content

Bump Salsa revision manually for non-Salsa updates#1315

Open
lionel- wants to merge 1 commit into
oak/analysis-dbfrom
oak/manual-revision-bump
Open

Bump Salsa revision manually for non-Salsa updates#1315
lionel- wants to merge 1 commit into
oak/analysis-dbfrom
oak/manual-revision-bump

Conversation

@lionel-

@lionel- lionel- commented Jul 3, 2026

Copy link
Copy Markdown
Contributor

Branched from #1314
Part of #1212

Removes a FIXME that I left for non-Salsa inputs, like console inputs and diagnostics config. These updates manually triggered diagnostics out-of-band, which had the issue that ongoing diagnostics did not get cancelled by a Salsa bump. The concurrent diagnostics could publish out of order, resulting in stale results.

It's actually easy to bump the revision manually, which both cancels in flight diagnostics and ensures ordering. That's because the synthetic write:

  • Causes Salsa to trigger cancellation and park the caller until all readers are dropped
  • Refreshes diagnostics automatically via the revision check at the end of the main loop.

@lionel- lionel- requested a review from DavisVaughan July 3, 2026 13:54
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant