Mimir: A Geometric Approach to Multi-dimensional Program Profiling Architectures

CCF-0702798 Mimir：A Geometric Approach to Multi-dimensional Program Profiling ArchitectureTimothy P. Sherwood虽然混合静态-动态程序分析可以通过二进制插装完全在软件中完成，但在测试时可以完成的分析量受到可以容忍的性能影响的限制。Mimir项目的最终目标是为研究人员和系统构建者提供新型硬件/软件分析工具，这些工具可以以前所未有的速度筛选在线配置文件数据，生成高度准确且及时的计算机系统执行图像。 要研究的跨层方法将定制架构的原始计算能力与精心制作的流算法提供的正式保证相结合。在一个高层次上，所提出的算法的方法来分析是在几何基础上，隐含的信念，许多分析模式，趋势，或异常具有自然的几何表示，成为下的几何透镜可辨别的动机。 在低层次上，新的可编程硬件方法将提供一个可扩展的和高性能的基板上，这些流算法可以映射。这两种方法的结合将使在线监测人员能够以前所未有的速度对实时数据进行流式查询，目标是实现一类新的以前难以处理的动态分析方法。

CCF-0702798Mimir: A Geometric Approach to Multi-dimensional Program Profiling ArchitecturesTimothy P. SherwoodWhile mixed static-dynamic program analysis can be done completely in software through binary instrumentation, the amount of analysis that can be done at test-time is bounded by the performance impact that can be tolerated. The end goal of the Mimir project is to enable a new breed of hardware/software analysis tools, for researchers and system builders that can sift through on-line profile data at unprecedented speeds, yielding a highly accurate and timely image of computer system execution. The cross-layer approach to be investigated combines the raw computational ability of custom architectures with the formal guarantees provided by carefully crafted stream algorithms. At a high level, the proposed algorithmic approach to profiling is grounded in geometry, implicitly motivated by the belief that many profiling patterns, trends, or anomalies have natural geometric representations that become discernible under a geometric lens. At a low level, novel programmable hardware methods will provide a scalable and high performance substrate onto which these stream algorithms can be mapped. The combination of these two methods will allow online monitors to make streaming queries over live data at unprecedented speeds with the goal of enabling a new class of previously intractable dynamic analysis methods.