A strict and mostly obstruction-free STM implementation for .NET.