Author:
Dawes Joshua Heneage,Han Marta,Reger Giles,Franzoni Giovanni,Pfeiffer Andreas
Abstract
VyPR (http://pyvypr.github.io/home/) is a framework being developed with the aim of automating as much as possible the performance analysis of Python programs. To achieve this, it uses an analysis-by-specification approach; developers specify the performance requirements of their programs (without any modifications of the source code) and such requirements are checked at runtime. VyPR then provides tools which allow developers to perform detailed analyses of the performance of their code. Such analyses can include determining the common paths taken to reach badly performing parts of code, deciding whether a single path through code led to variations in time taken by future observations, and more.
This paper describes the developments that have taken place in the past year on VyPR’s analysis tools to yield a Python shell-based analysis library, and a web-based application. It concludes by demonstrating the use of the analysis tools on the CMS Experiment’s Conditions Upload service.
Reference13 articles.
1. cProfiler, https://docs.python.org/2/library/profile.html#module-cProfile
2. pyinstrument a Statistical Profiler for Python, https://github.com/joerick/pyinstrument
3. trace the Python tracing tool, https://docs.python.org/2/library/trace.html
4. Dawes J.H., Reger G., Explaining Violations of Properties in Control-Flow Temporal Logic, in Runtime Verification 19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019, Proceedings (2019), pp. 202–220, https://doi.org/10.1007/978-3-030-32079-9_12
5. Pnueli A., The temporal logic of programs, in 18th Annual Symposium on Foundations of Computer Science (sfcs 1977) (1977), pp. 46–57, ISSN 0272-5428