Skip to content

v0.9.1

Choose a tag to compare

View all tags
@github-actions github-actions released this 10 Jun 07:45
· 35 commits to main since this release
v0.9.1
dc34c51
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

What's Changed

  • fix(replay): create recorder session dir with mode 0o700 by @hipvlady in #100
  • feat(occ): commit-CAS write API — concurrent lost-update prevention by @hipvlady in #102
  • feat(formal): add OCC commit-CAS TLA+ amendment with NoLostUpdate by @hipvlady in #101
  • fix(coherent-volume): gate write no-op-skip on actual on-disk hash by @hipvlady in #103
  • fix(coherent-volume): release the write() grant on any in-window error by @hipvlady in #104
  • feat(coordinator): single-host read-generation fence by @hipvlady in #105
  • chore(release): v0.9.1 — commit-CAS + read-generation fence by @hipvlady in #106

Full Changelog: v0.9.0...v0.9.1

Contributors

hipvlady
Assets 5
Loading