TY - GEN
T1 - Cloud-scale runtime verification of serverless applications
AU - Alpernas, Kalev
AU - Panda, Aurojit
AU - Ryzhyk, Leonid
AU - Sagiv, Mooly
N1 - Funding Information:
We thank the anonymous referees for their insightful comments. This research was partially supported by the Israel Science Foundation (ISF) grant No. 1810/18, and by Len Blavat-nik and the Blavatnik Family foundation.
Publisher Copyright:
© 2021 Copyright held by the owner/author(s).
PY - 2021/11/1
Y1 - 2021/11/1
N2 - Serverless platforms aim to simplify the deployment, scaling, and management of cloud applications. Serverless applications are inherently distributed, and are executed using shortlived ephemeral processes. The use of short-lived ephemeral processes simplifies application scaling and management, but also means that existing approaches to monitoring distributed systems and detecting bugs cannot be applied to serverless applications. In this paper we propose Watchtower, a framework that enables runtime monitoring of serverless applications. Watchtower takes program properties as inputs, and can detect cases where applications violate these properties. We design Watchtower to minimize application changes, and to scale at the same rate as the application. We achieve the former by instrumenting libraries rather than application code, and the latter by structuring Watchtower as a serverless application. Once a bug is found, developers can use the Watchtower debugger to identify and address the root cause of the bug.
AB - Serverless platforms aim to simplify the deployment, scaling, and management of cloud applications. Serverless applications are inherently distributed, and are executed using shortlived ephemeral processes. The use of short-lived ephemeral processes simplifies application scaling and management, but also means that existing approaches to monitoring distributed systems and detecting bugs cannot be applied to serverless applications. In this paper we propose Watchtower, a framework that enables runtime monitoring of serverless applications. Watchtower takes program properties as inputs, and can detect cases where applications violate these properties. We design Watchtower to minimize application changes, and to scale at the same rate as the application. We achieve the former by instrumenting libraries rather than application code, and the latter by structuring Watchtower as a serverless application. Once a bug is found, developers can use the Watchtower debugger to identify and address the root cause of the bug.
UR - http://www.scopus.com/inward/record.url?scp=85119282174&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85119282174&partnerID=8YFLogxK
U2 - 10.1145/3472883.3486977
DO - 10.1145/3472883.3486977
M3 - Conference contribution
AN - SCOPUS:85119282174
T3 - SoCC 2021 - Proceedings of the 2021 ACM Symposium on Cloud Computing
SP - 92
EP - 107
BT - SoCC 2021 - Proceedings of the 2021 ACM Symposium on Cloud Computing
PB - Association for Computing Machinery, Inc
T2 - 12th Annual ACM Symposium on Cloud Computing, SoCC 2021
Y2 - 1 November 2021 through 4 November 2021
ER -