Distributed transactions on serverless stateful functions