[go: up one dir, main page]
More Web Proxy on the site http://driver.im/ skip to main content
10.1007/978-3-031-20984-0_5guideproceedingsArticle/Chapter ViewAbstractPublication PagesConference Proceedingsacm-pubtype
Article

Enhancing Performance Modeling of Serverless Functions via Static Analysis

Published: 29 November 2022 Publication History

Abstract

Serverless computing leverages the design of complex applications as the composition of small, individual functions to simplify development and operations. However, this flexibility complicates reasoning about the trade-off between performance and costs, requiring accurate models to support prediction and configuration decisions. Established performance model inference from execution traces is typically more expensive for serverless applications due to the significantly larger topologies and numbers of parameters resulting from the higher fragmentation into small functions. On the other hand, individual functions tend to embed simpler logic than larger services, which enables inferring some structural information by reasoning directly from their source code. In this paper, we use static control and data flow analysis to extract topological and parametric dependencies among interacting functions from their source code. To enhance the accuracy of model parameterization, we devise an instrumentation strategy to infer performance profiles driven by code analysis. We then build a compact layered queueing network (LQN) model of the serverless workflow based on the static analysis and code profiling data. We evaluated our method on serverless workflows with several common composition patterns deployed on Azure Functions, showing it can accurately predict the performance of the application under different resource provisioning strategies and workloads with a mean error under 7.3%.

References

[7]
Akhtar, N., Raza, A., Ishakian, V., Matta, I.: Cose: configuring serverless functions using statistical learning. In: IEEE INFOCOM 2020-IEEE Conference on Computer Communications, pp. 129–138. IEEE (2020)
[8]
Altamimi, T., Petriu, D.C.: Incremental change propagation from UML software models to LQN performance models. In: CASCON, pp. 120–131 (2017)
[9]
Baldini I et al. Chaudhary S, Somani G, Buyya R, et al. Serverless computing: current trends and open problems Res. Adv. Cloud Comput. 2017 Singapore Springer 1-20
[10]
Boza, E.F., Abad, C.L., Villavicencio, M., Quimba, S., Plaza, J.A.: Reserved, on demand or serverless: model-based simulations for cloud budget planning. In: 2017 IEEE Second Ecuador Technical Chapters Meeting (ETCM), pp. 1–6 (2017)
[11]
Casale, G.: Integrated performance evaluation of extended queueing network models with line. In: Winter Simulation Conference (WSC), pp. 2377–2388. IEEE (2020)
[12]
Eismann, S., Grohmann, J., Van Eyk, E., Herbst, N., Kounev, S.: Predicting the costs of serverless workflows. In: Proceedings of the ACM/SPEC International Conference on Performance Engineering, pp. 265–276 (2020)
[13]
Eismann S et al. Serverless applications: why, when, and how? IEEE Softw. 2020 38 1 32-39
[14]
Franks G, Al-Omari T, Woodside M, Das O, and Derisavi S Enhanced modeling and solution of layered queueing networks IEEE Trans. Softw. Eng. 2008 35 2 148-161
[15]
Franks, G., Maly, P., Woodside, M., Petriu, D.C., Hubbard, A., Mroz, M.: Layered queueing network solver and simulator user manual. Department of Systems and Computer Engineering, Carleton University (December 2005), pp. 15–69 (2005)
[16]
Garetto, M., Cigno, R.L., Meo, M., Marsan, M.A.: A detailed and accurate closed queueing network model of many interacting TCP flows. In: Proceedings IEEE INFOCOM 2001, vol. 3, pp. 1706–1715. IEEE (2001)
[17]
Israr, T.A., Lau, D.H., Franks, G., Woodside, M.: Automatic generation of layered queuing software performance models from commonly available traces. In: Proceedings of the 5th international Workshop on Software and Performance, pp. 147–158 (2005)
[18]
Khedker, U.P., Sanyal, A., Karkare, B.: Data Flow Analysis: Theory and Practice. CRC Press, Boca Raton (2017)
[19]
Lin C and Khazaei H Modeling and optimization of performance and cost of serverless applications IEEE Trans. Parallel Distrib. Syst. 2020 32 3 615-632
[20]
Mahmoudi, N., Khazaei, H.: Performance modeling of serverless computing platforms. IEEE Trans. Cloud Comput. (2020)
[21]
Mahmoudi, N., Khazaei, H.: Temporal performance modelling of serverless computing platforms. In: Proceedings of the 2020 Sixth International Workshop on Serverless Computing, pp. 1–6 (2020)
[22]
Marsan MA, Balbo G, Conte G, Donatelli S, and Franceschinis G Modelling with generalized stochastic Petri nets 1995 New York Wiley
[23]
Nielson, F., Nielson, H., Hankin, C.: Principles of Program Analysis. Springer, Berlin (2015).
[24]
Petriu DC and Shen H Field T, Harrison PG, Bradley J, and Harder U Applying the UML performance profile: graph grammar-based derivation of LQN models from UML specifications Computer Performance Evaluation: Modelling Techniques and Tools 2002 Heidelberg Springer 159-177
[25]
Spinner S, Casale G, Brosig F, and Kounev S Evaluating approaches to resource demand estimation Perform. Eval. 2015 92 51-71
[26]
Tariq, A., Pahl, A., Nimmagadda, S., Rozner, E., Lanka, S.: Sequoia: enabling quality-of-service in serverless computing. In: Proceedings of the 11th ACM Symposium on Cloud Computing, SoCC 2020, pp. 311–327. Association for Computing Machinery (2020)
[27]
Tripp O, Pistoia M, Fink SJ, Sridharan M, and Weisman O Taj: effective taint analysis of web applications ACM Sigplan Notices 2009 44 6 87-97
[28]
Zhu, L., Giotis, G., Tountopoulos, V., Casale, G.: Rdof: deployment optimization for function as a service. In: 2021 IEEE 14th International Conference on Cloud Computing (CLOUD), pp. 508–514. IEEE (2021)

Cited By

View all
  • (2024)FaaSConf: QoS-aware Hybrid Resources Configuration for Serverless WorkflowsProceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering10.1145/3691620.3695477(957-969)Online publication date: 27-Oct-2024

Recommendations

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image Guide Proceedings
Service-Oriented Computing: 20th International Conference, ICSOC 2022, Seville, Spain, November 29 – December 2, 2022, Proceedings
Nov 2022
695 pages
ISBN:978-3-031-20983-3
DOI:10.1007/978-3-031-20984-0

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 29 November 2022

Author Tags

  1. Serverless computing
  2. Performance modeling
  3. Layered queueing networks
  4. Static analysis
  5. Code profiling

Qualifiers

  • Article

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)0
  • Downloads (Last 6 weeks)0
Reflects downloads up to 20 Dec 2024

Other Metrics

Citations

Cited By

View all
  • (2024)FaaSConf: QoS-aware Hybrid Resources Configuration for Serverless WorkflowsProceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering10.1145/3691620.3695477(957-969)Online publication date: 27-Oct-2024

View Options

View options

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media