أرسل هذا في رسالة قصيرة: The Design of Correct and Efficient Serverless Microservices