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

Mimir：多维程序分析架构的几何方法

基本信息

批准号：
0702798
负责人：
Timothy Sherwood
金额：
$ 30万
依托单位：
University of California-Santa Barbara
依托单位国家：
美国
项目类别：
Continuing Grant
财政年份：
2007
资助国家：
美国
起止时间：
2007-09-01 至 2012-08-31
项目状态：
已结题

来源：
https://www.nsf.gov/awardsearch/showAward?AWD_ID=0702798&HistoricalAwards=false
关键词：
Mimir Geometric Approach Multi dimensional

项目摘要

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.

CCF-0702798Mimir：一种用于多维程序分析的几何方法架构架构植物P. Sherwood P. Sherwood P. Sherwood，同时可以通过二进制仪器在软件中完全进行混合静态静态动力程序分析，在测试时可以通过二进制仪器进行二进制仪器的量，该分析的数量受测试时间的界限是受到可以容忍的性能影响的界限。 Mimir项目的最终目标是为研究人员和系统构建器启用一种新的硬件/软件分析工具，这些工具可以以前所未有的速度筛选在线配置文件数据，从而产生计算机系统执行的高度准确及时的图像。要研究的跨层方法将自定义体系结构的原始计算能力与精心制作的流算法提供的正式保证。在高水平上，提出的分析算法方法基于几何形状，这是因为人们认为许多分析模式，趋势或异常具有自然的几何表示，这些几何表示在几何镜片下变得可辨别。在低水平上，新颖的可编程硬件方法将提供可扩展且高性能的基材，可以将这些流算法映射到其中。这两种方法的组合将允许在线监视器以前所未有的速度对实时数据进行流询问，以实现一类新的先前棘手的动态分析方法。