ServiceNow Powers Highly Available, Massive-Scale Cloud Infrastructure with MariaDB