CAREER: Better Systems With Extensible C

职业：使用可扩展 C 实现更好的系统

• 批准号: 0448349
• 负责人: Robert Grimm
• 金额: $ 40万
• 依托单位: New York University
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 2005
• 资助国家: 美国
• 起止时间: 2005-02-15 至 2011-01-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0448349&HistoricalAwards=false
• 关键词: CAREER; Better; Systems; Extensible

As systems are increasingly integrated within a global computing environment, a crucial challenge is how to manage the resulting software complexity. Metaprogramming can help meet this challenge. To reconcile the gap between language/compiler efforts and systems practice, this work will explore the following research questions: how can an unsafe and low-level programming language, C, be safely extended, including with new definitional constructs, such as objects, and new kinds of types, such as classes and how can language and compiler extensions be factored to maximize reuse, and what support is necessary for managing and composing the resulting fine-grained extensions . The project will develop and build a macro system for C, called xtc for eXTensible C, but unlike the C preprocessor, xtc macros are specified and implemented as transformations on a program's abstract syntax tree (AST) and preserve macro hygiene . The project will also explore methods such as a tree querying language that supports complex AST transformations, an extensible type system, which supports the introduction of new kinds of types, and will investigate how to disable select language features, such as pointers, and how to express domain-specific compiler optimizations. Software built with xtc will be more reliable and secure, which is of critical importance as business and government increasingly depend on IT for their livelihood. Furthermore, by opening up C, the proposed work enables language and compiler researchers to have more impact and educators to more easily explore new approaches to teaching computer science. To emphasize the last point, the project will leverage xtc in all appropriate courses, including the graduate-level compilers and will also develop a new undergraduate courseon object-oriented programming and the corresponding textbook, which explore not only the relevant concepts but also their underlying implementation (as xtc macros).

随着系统越来越多地集成到全球计算环境中，一个关键的挑战是如何管理由此产生的软件复杂性。元编程可以帮助应对这一挑战。为了协调语言/编译器工作和系统实践之间的差距，这项工作将探讨以下研究问题：如何安全地扩展不安全的低级编程语言 C，包括新的定义结构（例如对象）和新类型（例如类），以及如何考虑语言和编译器扩展以最大限度地重用，以及管理和组合最终的细粒度扩展所需的支持。 该项目将为 C 语言开发和构建一个名为 xtc for eXTensible C 的宏系统，但与 C 预处理器不同的是，xtc 宏被指定并实现为程序抽象语法树 (AST) 上的转换，并保持宏卫生。该项目还将探索诸如支持复杂 AST 转换的树查询语言、支持引入新类型的可扩展类型系统等方法，并将研究如何禁用选定的语言功能（例如指针）以及如何表达特定于域的编译器优化。 使用 xtc 构建的软件将更加可靠和安全，随着企业和政府越来越依赖 IT 维持生计，这一点至关重要。此外，通过开放 C，拟议的工作使语言和编译器研究人员能够产生更大的影响，并使教育工作者能够更轻松地探索计算机科学教学的新方法。为了强调最后一点，该项目将在所有适当的课程中利用 xtc，包括研究生水平的编译器，还将开发一门新的面向对象编程本科课程和相应的教科书，不仅探讨相关概念，还探讨其底层实现（如 xtc 宏）。