SIOS: Enterprise-Grade High-Availability for SQL Server on EC2