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.