CSR-EHS: Virtual-Machine Techniques for Resource-Constrained Devices: Reconciling Reliability With Reusability and Low Development Costs in the Embedded Systems Space

CSR-EHS：资源受限设备的虚拟机技术：协调嵌入式系统领域的可靠性与可重用性和低开发成本

• 批准号: 0615443
• 负责人: Michael Franz
• 金额: --
• 依托单位: University of California-Irvine
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 2006
• 资助国家: 美国
• 起止时间: 2006-07-01 至 2010-06-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0615443&HistoricalAwards=false
• 关键词: CSR; EHS; Virtual; Machine; Techniques

Virtual machines (VMs) are widely-used computer-based execution frameworks that isolate an application from the underlying hardware and system software platform and implement programming language run-time semantics.. This project focuses on efficient execution of virtual machine code on resource-constrained devices by way of trace-driven dynamic compilation. Many optimization algorithms that are expensive to perform on graphs can be performed in linear time on a trace. Furthermore, a trace-directed compiler can in-line method calls in a straightforward manner, significantly reducing the modularization overhead of object-oriented programming where it is most critical. This approach thereby paves the way for good software engineering practice and component-oriented programming in embedded software without the accompanying performance penalties that are often associated with these techniques. The project is founded on a novel use of Static Single Assignment form and preliminary results point the way to a completely new way of designing embedded hybrid VMs. The main focus is on systematically exploring and further developing this approach, initially targeting the Java Virtual Machine (JVM) platform. A second focus is on developing a scalable VM layer that is optimally situated to support a wide variety of embedded software, but that can yet be efficiently mapped onto current and future embedded processor platforms. Embedded systems present an application of the 'write once, run forever after' computing paradigm that has not yet reached its true potential. The project is expected to lead to significant improvements in the way embedded software is developed. It will enable reuse of embedded software where no such reuse is currently possible and simplify the transition to increasingly evolved embedded processors. This is expected to have impact in significantly lower cost and significantly increased reliability of embedded software.

虚拟机（VMS）是广泛使用的基于计算机的执行框架，可将应用程序与基础硬件和系统软件平台隔离，并实现编程语言运行时语义。该项目通过痕量驱动的动态编译有效地在资源受限的设备上有效地执行虚拟机代码。在图形上执行昂贵的许多优化算法可以在痕量上线性执行。此外，痕量定向的编译器可以直接拨入方法调用，从而大大降低了面向对象的编程的模块化开销，而最关键的是。因此，这种方法为良好的软件工程实践和面向组件的编程铺平了道路，而没有通常与这些技术相关的伴随性能惩罚。 该项目建立在静态单分配形式的新颖使用上，初步结果指向设计嵌入式混合VM的全新方法。主要重点是系统地探索和进一步开发这种方法，最初针对Java虚拟机（JVM）平台。第二个重点是开发可扩展的VM层，该层在最佳位置支持各种嵌入式软件，但仍可以有效地映射到当前和未来的嵌入式处理器平台上。 嵌入式系统介绍了“写作一次，在计算范式”范式上的应用程序的应用，该范式尚未发挥其真正的潜力。预计该项目将导致嵌入式软件的开发方式显着改善。它将能够重新使用嵌入式软件，其中目前没有重复使用，并简化向越来越多的嵌入式处理器的过渡。预计这将在成本明显降低，并显着提高嵌入式软件的可靠性。