TY - GEN
T1 - Verification in the Age of Microservices
AU - Panda, Aurojit
AU - Sagiv, Mooly
AU - Shenker, Scott
N1 - Publisher Copyright:
© 2017 ACM.
PY - 2017/5/7
Y1 - 2017/5/7
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=85028014958&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85028014958&partnerID=8YFLogxK
U2 - 10.1145/3102980.3102986
DO - 10.1145/3102980.3102986
M3 - Conference contribution
AN - SCOPUS:85028014958
T3 - Proceedings of the Workshop on Hot Topics in Operating Systems - HOTOS
SP - 30
EP - 36
BT - HotOS 2017 - Proceedings of the 16th Workshop on Hot Topics in Operating Systems
PB - IEEE Computer Society
T2 - 16th Workshop on Hot Topics in Operating Systems, HotOS 2017
Y2 - 7 May 2017 through 10 May 2017
ER -