Verification in the Age of Microservices

Aurojit Panda; Mooly Sagiv; Scott Shenker

doi:https://doi.org/10.1145/3102980.3102986

Verification in the Age of Microservices

Aurojit Panda, Mooly Sagiv, Scott Shenker

School of Computer Science

Tel Aviv University

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

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 language	English
Title of host publication	HotOS 2017 - Proceedings of the 16th Workshop on Hot Topics in Operating Systems
Publisher	IEEE Computer Society
Pages	30-36
Number of pages	7
ISBN (Electronic)	9781450350686
DOIs	https://doi.org/10.1145/3102980.3102986
State	Published - 7 May 2017
Event	16th Workshop on Hot Topics in Operating Systems, HotOS 2017 - Whistler, Canada Duration: 7 May 2017 → 10 May 2017

Publication series

Name	Proceedings of the Workshop on Hot Topics in Operating Systems - HOTOS
Volume	Part F129307

Conference

Conference	16th Workshop on Hot Topics in Operating Systems, HotOS 2017
Country/Territory	Canada
City	Whistler
Period	7/05/17 → 10/05/17

All Science Journal Classification (ASJC) codes

Computer Science(all)

Access to Document

https://doi.org/10.1145/3102980.3102986

Cite this

@inproceedings{9841e8748b284d13aead1a5fca7568f9,

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",

note = "Publisher Copyright: {\textcopyright} 2017 ACM.; 16th Workshop on Hot Topics in Operating Systems, HotOS 2017 ; Conference date: 07-05-2017 Through 10-05-2017",

year = "2017",

month = may,

day = "7",

doi = "https://doi.org/10.1145/3102980.3102986",

language = "الإنجليزيّة",

series = "Proceedings of the Workshop on Hot Topics in Operating Systems - HOTOS",

publisher = "IEEE Computer Society",

pages = "30--36",

booktitle = "HotOS 2017 - Proceedings of the 16th Workshop on Hot Topics in Operating Systems",

address = "الولايات المتّحدة",

}

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. Proceedings of the Workshop on Hot Topics in Operating Systems - HOTOS, vol. Part F129307, IEEE Computer Society, pp. 30-36, 16th Workshop on Hot Topics in Operating Systems, HotOS 2017, Whistler, Canada, 7/05/17. 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. IEEE Computer Society, 2017. p. 30-36 (Proceedings of the Workshop on Hot Topics in Operating Systems - HOTOS; Vol. Part F129307).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

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

U2 - https://doi.org/10.1145/3102980.3102986

DO - https://doi.org/10.1145/3102980.3102986

M3 - منشور من مؤتمر

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 -

Verification in the Age of Microservices

Abstract

Publication series

Conference

All Science Journal Classification (ASJC) codes

Access to Document

Other files and links

Fingerprint

Cite this