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

CCF-0702798Mimir：多维程序分析架构的几何方法Timothy 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.