Verification in the Age of Microservices

TitleVerification in the Age of Microservices
Publication TypeConference Paper
Year of Publication2017
AuthorsPanda, A., Sagiv M., & Shenker S.
Published inProceedings of the 16th Workshop on Hot Topics in Operating Systems HotOS'17

Many large applications are now built using collections of microservices, each of which is deployed in isolated containers and which interact with each other through the use of remote procedure calls (RPCs). The use of microservices improves scalability -- each component of an application can be scaled independently -- and deployability. However, such applications are inherently distributed and current tools do not provide mechanisms to reason about and ensure their global behavior. In this paper we argue that recent advances in formal methods and software packet processing pave the path towards building mechanisms that can ensure correctness for such systems, both when they are being built and at runtime. These techniques impose minimal runtime overheads and are amenable to production deployments.


We would like to thank Shivaram Venkatraman for the many insightful discussions that helped improve this paper. Chris Rossbach, and Katerina Argyraki provided invaluable comments on the initial drafts of this paper. This work was supported in part by a grant from Intel Corporation, and by the European Research Council under the EU’s Seventh Framework Program (FP7/2007–2013) through ERC Grant 321174- VSSC. 

ICSI Research Group

Networking and Security