“No compromises: distributed transactions with consistency, availability, and performance” (Microsoft’s FaRM system) research.microsoft.com/apps/…