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
VolumePart F129307
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

Other

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

Fingerprint

Formal methods
Containers
Scalability
Processing

ASJC Scopus subject areas

  • Computer Science(all)

Cite this

Panda, A., Sagiv, M., & Shenker, S. (2017). Verification in the Age of Microservices. In HotOS 2017 - Proceedings of the 16th Workshop on Hot Topics in Operating Systems (Vol. Part F129307, pp. 30-36). IEEE Computer Society. https://doi.org/10.1145/3102980.3102986

Verification in the Age of Microservices. / Panda, Aurojit; Sagiv, Mooly; Shenker, Scott.

HotOS 2017 - Proceedings of the 16th Workshop on Hot Topics in Operating Systems. Vol. Part F129307 IEEE Computer Society, 2017. p. 30-36.

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

Panda, A, Sagiv, M & Shenker, S 2017, Verification in the Age of Microservices. in HotOS 2017 - Proceedings of the 16th Workshop on Hot Topics in Operating Systems. vol. Part F129307, IEEE Computer Society, pp. 30-36, 16th Workshop on Hot Topics in Operating Systems, HotOS 2017, Whistler, Canada, 5/7/17. https://doi.org/10.1145/3102980.3102986
Panda A, Sagiv M, Shenker S. Verification in the Age of Microservices. In HotOS 2017 - Proceedings of the 16th Workshop on Hot Topics in Operating Systems. Vol. Part F129307. IEEE Computer Society. 2017. p. 30-36 https://doi.org/10.1145/3102980.3102986
Panda, Aurojit ; Sagiv, Mooly ; Shenker, Scott. / Verification in the Age of Microservices. HotOS 2017 - Proceedings of the 16th Workshop on Hot Topics in Operating Systems. Vol. Part F129307 IEEE Computer Society, 2017. pp. 30-36
@inproceedings{af14238b7bcb4b69b103e89a1335878b,
title = "Verification in the Age of Microservices",
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.",
author = "Aurojit Panda and Mooly Sagiv and Scott Shenker",
year = "2017",
month = "5",
day = "7",
doi = "10.1145/3102980.3102986",
language = "English (US)",
volume = "Part F129307",
pages = "30--36",
booktitle = "HotOS 2017 - Proceedings of the 16th Workshop on Hot Topics in Operating Systems",
publisher = "IEEE Computer Society",

}

TY - GEN

T1 - Verification in the Age of Microservices

AU - Panda, Aurojit

AU - Sagiv, Mooly

AU - Shenker, Scott

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

VL - Part F129307

SP - 30

EP - 36

BT - HotOS 2017 - Proceedings of the 16th Workshop on Hot Topics in Operating Systems

PB - IEEE Computer Society

ER -