A Laboratory for Programming Languages and Software Systems

编程语言和软件系统实验室

• 批准号: 8822652
• 负责人: Gregory Andrews
• 金额: $ 191.51万
• 依托单位: University of Arizona
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 1989
• 资助国家: 美国
• 起止时间: 1989-07-01 至 1995-06-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=8822652&HistoricalAwards=false
• 关键词: Laboratory; Programming; Languages; Software; Systems

This award provides infrastructure support for ten research projects, with the primary research areas being parallel and distributed processing, and programming languages. Other significant research areas are fault-tolerant programming, algorithms and software for molecular genetics, graphical user interfaces for scientific visualization, and object-oriented and deductive database systems. Specific research projects in the general area of parallel and distributed processing include: 1. development of tools to aid in designing and developing algorithms for parallel and distributed systems, with emphasis on high- level tools for relatively naive users, 2. research on language mechanisms and implementation techniques to facilitate programming computations that execute efficiently on shared-memory multiprocessors, 3. development of techniques for compiling concurrent programs written using shared variables into programs that execute on multicomputers or on multiprocessors with non-uniform memory access time, 4. research on a configurable operating system kernel, called the x-kernel, in which communication protocols define the fundamental building block, and 5. development of analytic methods for evaluating performance of parallel asynchronous algorithms and applying the methods to the analysis of particular parallel algorithms running on various multiprocessor architectures. The research on programming languages includes: 1. development of the Icon programming language, a high-level language with facilities for processing nonnumeric data, and 2. development of effective compilation techniques for logic programming languages. Equipment to be obtained for the research includes a Hypercube upgrade, a shared memory multiprocessor, high-end graphic workstations, and optical disks.

该奖项为十个研究项目提供基础设施支持，主要研究领域是并行和分布式处理以及编程语言。 其他重要的研究领域包括容错编程、分子遗传学算法和软件、科学可视化的图形用户界面以及面向对象和演绎数据库系统。 并行和分布式处理一般领域的具体研究项目包括： 1. 开发工具来帮助设计和开发并行和分布式系统的算法，重点是为相对初级的用户提供高级工具， 2. 研究语言机制和实现技术，以促进在共享内存多处理器上高效执行的编程计算， 3. 开发将使用共享变量编写的并发程序编译为 在具有非均匀内存访问时间的多计算机或多处理器上执行的程序， 4. 研究可配置操作系统内核（称为 x 内核），其中通信协议定义基本构建块，以及 5. 开发用于评估并行异步算法性能的分析方法，并将这些方法应用于分析在各种多处理器上运行的特定并行算法 架构。 编程语言的研究包括：1.开发Icon编程语言，一种具有处理非数值数据功能的高级语言；2.开发逻辑编程语言的有效编译技术。 研究所需的设备包括超立方体升级版、共享内存多处理器、高端图形工作站和光盘。