Characterizing serverless platforms with serverlessbench | Synapse