Perfrewrite --基于Source Code插装的程序复杂性分析
Perfrewrite -- Program Complexity Analysis via Source Code Instrumentation
摘要:
大多数程序剖析方法输出一个特定程序执行的执行时间,但不输出它的大O表示法中的计算复杂性类。Perfrewrite是一个基于LLVM的Clang编译器的工具,用于重写程序,以便在程序执行时跟踪语义信息,并使用它来猜测内存使用,通信和计算复杂性。虽然源代码插装是分析的标准技术,但使用它来派生公式是一种不常见的方法。
英文摘要:
Most program profiling methods output the execution time of one specific program execution, but not its computational complexity class in terms of the big-O notation. Perfrewrite is a tool based on LLVM's Clang compiler to rewrite a program such that it tracks semantic information while the program executes and uses it to guess memory usage, communication and computational complexity. While source code instrumentation is a standard technique for profiling, using it for deriving formulas is an uncommon approach.
机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。