CISE Research Instrumentation: SAMSON--Scalable Active Memory Server on the Net

9818342 Chiueh，Tzi-CkerKaufman，ArieState University of New York at Stony BrookSAMSON--网络上可扩展的活动内存服务器这个研究仪器使研究项目能够进行：-计算机系统研究，-XSB表逻辑编程，-形式验证和模型检查，以及-图形学。Samson项目旨在建立一个基于集群的网络内存服务器。因此，为了支持上述项目，该合同有助于购买几台Compaq Alpha机器，这些机器由四个8端口1.2千兆位/秒的Myrnet交换机连接，具有21 GB的主内存和110 GB的磁盘空间。软件平台由Linux操作系统、Myrnet硬件消息传递库和基本网络寻呼子系统组成。纽约州立大学石溪分校计算机系的四个研究小组将受益于Samson服务器中的海量内存。1.系统组将使用Samson开发高级网络内存服务，如特定于应用程序的存储管理，以及收集内存密集型应用程序的访问特征。2.正式验证小组将使用Samson重新检查新的和现有验证算法中的空间/时间权衡。3.XSB小组将利用Samson中的内存来推动逻辑编程中表格技术的进步。4.图形/可视化小组将研究多分辨率渲染与Samson中的内存层次结构的交互作用。有了Samson，研究人员将可以访问数量级的内存，比目前可用的物理内存更多，并能够对设计空间中以前不可能实现的区域进行实验。

9818342Chiueh, Tzi-CkerKaufman, ArieState University of New York at Stony BrookSAMSON--Scalable Active Memory Server on the NetThis research instrumentation enables research projects in:- Computer Systems Research,- XSB Tabled Logic Programming,- Formal Verification and Model Checking, and- Graphics.The SAMSON project aims to build up a cluster-based network memory server. Thus, to support the aforementioned projects, this award contributes to the purchase of several Compaq Alpha machines connected by four 8-port 1.2 Gigabit/sec Myrinet switches, with 21 GBytes of main memory and 110 GBytes of disk space. The software platform consists of the Linux operating system, the message passing library for Myrinet hardware, and a basic network paging subsystem. Four research groups in the Computer ScienceDepartment at the State University of New York-Stony Brook will benefit from the massive amount of memory in the SAMSON server. 1. The Systems group will use SAMSON to develop advanced network memory services such as application-specific storage management, as well as to gather access characteristics of memory-intensive applications. 2. The Formal Verification group will use SAMSON to re-examine space/time tradeoffs in new and existing verification algorithms. 3. The XSB group will exploit the memory in SAMSON to further the advances of tabling techniques in Logic Programming. 4. The Graphics/Visualization group will investigate the interaction of multi-resolution rendering with the memory hierarchy in SAMSON. With SAMSON, the researchers will have access to an order of magnitude, more physical memory than is currently available, and will be able to experiment with regions of the design space that were not possible previously.