A Distributed Computing Facility

分布式计算设施

• 批准号: 9024600
• 负责人: John Hopcroft
• 金额: $ 65.31万
• 依托单位: Cornell University
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 1991
• 资助国家: 美国
• 起止时间: 1991-07-01 至 1997-12-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9024600&HistoricalAwards=false
• 关键词: Distributed; Computing; Facility

This infrastructure award is for the construction of a distributed computing facility. The network consists of desktop workstations connected over a medium speed network to back-end computation and data-storage servers on a high-speed network. The back-end resources consist of mid-speed compute servers, shared memory parallel multiprocessors, and massively parallel machines. The research supported by this infrastructure includes work in applied logic using the constructive type theory supported by Nuprl; in scientific computing in developing algorithms that effectively utilize distributed and massively parallel computing resources; in modeling and simulation for robotics applications; and in software for distributed computing. Many problems in experimental computer science require peak resources not available on a single workstation. These resources could be computation cycles or memory. An emerging solution to this problem is to utilize idle processors in a network of workstations and compute servers. The realization of this solution still requires much research into mechanisms for breaking problems into pieces so as to minimize communication overhead while distributing the computation to make best use of the available processors. The distributed computing researchers at Cornell University will use their distributed computing facility as a testbed for distributed algorithms. Three active areas of research at Cornell will especially benefit from this facility. The applied logic group uses a system called Nuprl developed at Cornell to support constructive reasoning. With the use of this tool, open questions in combinatorics and programming language have already been answered. The scientific computing group is already involved in the construction of a software package called LAPACK for linear algebra routines that involves constructing new algorithms for parallel and distributed machine architectures. Finally the modeling and simulation group requires substantial computational resources to enable them to use the computing resources as an experimental testbed allowing designs to be tested without the expense of constructing a robot.

这个基础设施奖是为了建设一个 分布式计算设施。 网络由桌面 通过中速网络连接到后端的工作站 高速网络上的计算和数据存储服务器。 的 后端资源包括中速计算服务器、共享 内存并行多处理器和大规模并行机。 该基础设施支持的研究包括以下方面的工作： 应用逻辑使用的构造类型理论支持， Nuprl;在科学计算中， 有效利用分布式和大规模并行计算 资源;机器人应用的建模和仿真; 和分布式计算软件中。 实验计算机科学中的许多问题需要峰值 资源在单个工作站上不可用。 这些资源 可以是计算周期或内存。 一种新兴的解决方案， 这个问题是利用网络中的空闲处理器， 工作站和计算机服务器。 该解决方案的实现 仍然需要对解决问题的机制进行大量研究 以最小化通信开销， 分配计算以最大限度地利用可用的 处理器. 康奈尔大学的分布式计算研究人员 大学将使用他们的分布式计算设施作为一个 分布式算法的测试平台。 三个活跃的研究领域 康奈尔大学的学生将特别受益于这一设施。 所施加的 逻辑组使用康奈尔大学开发的一个名为Nuprl的系统， 支持建设性推理。 使用此工具，打开 组合学和编程语言中的问题已经 得到了回答。 科学计算小组已经参与了 在一个名为LAPACK的软件包的构建中， 代数例程，涉及构建新的算法， 并行和分布式机器架构。 最后 建模和仿真组需要大量的计算 资源，使他们能够使用计算资源作为一个 实验测试平台，允许设计进行测试，而无需 建造机器人的费用。