Collaborative research: Software and Hardware Support for Efficient Monitoring of Program Behavior

建议书编号：CCF-0541080、CCF-0541075和CCF-0541108 Alessandro Orso，Johnathan Cook，yan Soliin标题：协作研究：有效监控程序行为的软件和硬件支持由于当今的软件越来越动态，并且运行在不同的环境中，因此很难在它们执行的实际环境之外评估软件系统。这种情况激起了人们对生产环境中软件系统动态行为的有效运行时监控的极大兴趣。然而，大多数现有的运行时监控方法受到三个限制：它们是临时的，很难扩展/适应；它们施加了太多的开销，不实用；它们只在一个计算层(硬件、O/S、VM或软件)中定义。该项目将调查并定义一种通用的、高效的运行时监控方法，该方法以协同的方式利用软件和硬件功能。在这种方法中，将使用提供适当抽象的语言来指定监视任务。然后将自动分析这些规范，并跨软件和硬件层分配监控任务，以最大限度地减少性能开销。该项目将通过(1)为目前因不切实际而被忽视的新的监控活动提供硬件和软件支持，(2)开发将提供给研究界的基础设施和工具，以及(3)通过检测异常、不稳定或恶意软件行为并对其做出反应来提高整体软件质量。

Proposal Numbers: CCF-0541080, CCF-0541075, and CCF-0541108Alessandro Orso, Johnathan Cook, Yan SolihinTitle: Collaborative Research: Software and Hardware Support for Efficient Monitoring of Program BehaviorBecause today's software is increasingly dynamic and runs in heterogeneous environments, it is difficult to assess software systems outside the actual context in which they execute. This situation has spurred much interest in efficient runtime monitoring of software systems' dynamic behavior in production environments. Most existing runtime monitoring approaches, however, suffer from three limitations: they are ad-hoc and hard to extend/adapt; they impose too much overhead to be practical; and they are defined within only one computational layer (hardware, O/S, VM, or software). This project will investigate and define a general, efficient runtime monitoring approach that leverages software and hardware capabilities in a synergistic way. In this approach, monitoring tasks will be specified using a language that provides suitable abstractions. These specifications will then be automatically analyzed and the monitoring tasks distributed across software and hardware layers to minimize performance overhead. This project will improve the state of the art by (1) providing hardware and software support for new monitoring activities currently neglected as impractical, (2) developing infrastructure and tools that will be made available to the research community, and (3) improving overall software quality through detection of and reaction to anomalous, erratic, or malicious software behavior.