A safe and efficient multi-language component framework based on dynamic compilation

一种基于动态编译的安全高效的多语言组件框架

• 批准号: ARC : DP0211793
• 负责人: A/Prof Gernot Heiser
• 金额: $ 38.2万
• 依托单位: The University of New South Wales
• 依托单位国家: 澳大利亚
• 项目类别: Discovery Projects
• 财政年份: 2002
• 资助国家: 澳大利亚
• 起止时间: 2002-01-01 至 2005-12-31
• 项目状态: 已结题
• 来源: https://researchdata.edu.au/a-safe-efficient-dynamic-compilation/72156
• 关键词: safe; efficient; multi; language; component

A safe and efficient multi-language component framework based on dynamic compilation. Components are a versatile mechanism for the construction of extendible systems and for improved code reusability. Emerging environments like Microsoft's .NET support the interaction of components written in different programming languages. To date, such systems do not adequately isolate components which therefore must trust each other. This is unacceptable for components loaded across the Internet. We will develop a framework for secure execution of component software, based on hardware-enforced protection domains. To minimize the resulting runtime overheads we will provide a component model with lightweight context switching. A novel typed intermediate language and dynamic compilation techniques will offer complementary optimisations. \r\n

一个安全高效的基于动态编译的多语言组件框架。组件是构建可扩展系统和改进代码可重用性的通用机制。像微软这样的新兴环境。. NET支持用不同编程语言编写的组件之间的交互。到目前为止，这样的系统不能充分隔离组件，因此必须相互信任。这对于通过Internet加载的组件是不可接受的。我们将基于硬件强制保护域，开发一个用于组件软件安全执行的框架。为了最小化最终的运行时开销，我们将提供一个轻量级上下文切换的组件模型。一种新型的中间语言和动态编译技术将提供互补的优化。\ r \ n