Release v2.0.0

This release improves STMSharp correctness and stability under contention and moves the library to .NET 10.

✅ Highlights

• .NET 10 upgrade

  • Updated the project to target .NET 10.

• Protocol correctness (even/odd reservation scheme)

  • Fixed STMVariable<T>.Write(...) to be protocol-compatible: it reserves the variable (even → odd), publishes the value, and releases it (odd → even).
  • Updated IncrementVersion() to preserve parity and never leave the variable in a reserved/odd state.

• Improved progress under contention

  • Deterministic write-set reservation ordering now uses a per-variable unique id (stable total order), reducing livelock risk in high-contention scenarios.

• Robust variable tracking

  • Transaction dictionaries now track variables by reference identity via ReferenceEqualityComparer, avoiding issues with custom Equals/GetHashCode.

• Tests & documentation

  • Added guardrail tests for direct writes and version parity invariants.
  • Updated README to reflect protocol guarantees, deterministic ordering, and current API surface (ITransaction, StmOptions, StmDiagnostics).

Notes

Direct STMVariable<T>.Write(...) remains available and is now protocol-compatible, but transactional commits are still the recommended approach for composing concurrent operations safely.

Release v1.1.0

This version introduces significant improvements in contention management within the STM engine

Release v1.0.0

First Release of STMSharp

STMSharp is a .NET library that enables lock-free synchronization using Software Transactional Memory (STM).
It offers an efficient and safe approach to handling concurrent operations without the traditional overhead of locks.

Key Features

• Lock-Free Synchronization:
  Manage concurrency effectively without the performance penalties of locking.
• Software Transactional Memory:
  Utilize STM for atomic memory transactions, simplifying complex synchronization challenges.