Verification in the Age of Microservices

Aurojit Panda, Mooly Sagiv, Scott Shenker

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

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.

Original languageEnglish (US)
Title of host publicationHotOS 2017 - Proceedings of the 16th Workshop on Hot Topics in Operating Systems
PublisherIEEE Computer Society
Pages30-36
Number of pages7
ISBN (Electronic)9781450350686
DOIs
StatePublished - May 7 2017
Event16th Workshop on Hot Topics in Operating Systems, HotOS 2017 - Whistler, Canada
Duration: May 7 2017May 10 2017

Publication series

NameProceedings of the Workshop on Hot Topics in Operating Systems - HOTOS
VolumePart F129307

Other

Other16th Workshop on Hot Topics in Operating Systems, HotOS 2017
CountryCanada
CityWhistler
Period5/7/175/10/17

ASJC Scopus subject areas

  • Computer Science(all)

Fingerprint Dive into the research topics of 'Verification in the Age of Microservices'. Together they form a unique fingerprint.

Cite this