New Generation Multithreaded Multiprocessors

这个项目正在试验基于函数式编程和单赋值数据结构的大规模多处理器的语言、编译器和体系结构。该项目包括南加州大学的功能语言翻译工作，以及特拉华大学的架构和模拟工作。激发这项工作的关键见解是，函数式编程可以提高多线程系统的性能。性能的一个提高来自于在处理器之间移动线程的能力。另一个是单一赋值数据结构可以在不需要一致性流量的情况下进行缓存，这可能会提高并行系统的性能。研究将包括开发程序执行模型和内存模型，设计用于单赋值数据结构的缓存管理协议，将基准测试（如SPLASH 2）转换为函数式语言，以及在具有缓存协议的新执行模型上运行的基准测试的模拟。我们的目标是衡量新模型和缓存协议相对于允许多个分配的执行模型提供的性能优势的程度。这个项目正在试验基于函数式编程和单赋值数据结构的大规模多处理器的语言、编译器和体系结构。该项目包括南加州大学的功能语言翻译工作，以及特拉华大学的架构和模拟工作。激发这项工作的关键见解是，函数式编程可以提高多线程系统的性能。性能的一个提高来自于在处理器之间移动线程的能力。另一个是单一赋值数据结构可以在不需要一致性流量的情况下进行缓存，这可能会提高并行系统的性能。研究将包括开发程序执行模型和内存模型，设计用于单赋值数据结构的缓存管理协议，将基准测试（如SPLASH 2）转换为函数式语言，以及在具有缓存协议的新执行模型上运行的基准测试的模拟。我们的目标是衡量新模型和缓存协议相对于允许多个分配的执行模型提供的性能优势的程度。

This project is experimenting with languages, compilers, and architectures for large-scale multiprocessors based on functional programming and single assignment data structures. The project includes work at USC on translators for functional languages, and work at the University of Delaware on architectures and simulations. The key insight motivating the work is that functional programming can increase performance of multithreaded systems. One increase of performance comes from the ability to move threads among processors. Another is the possibility that single assignment data structures can be cached with no need for coherence traffic, potentially increasing performance of parallel systems. Research will include development of a program execution model and memory model, design of a cache management protocol for single-assignment data structures, translation of benchmarks such as SPLASH 2 into a functional language, and simulation of the benchmarks running on the new execution model with cache protocol. The goal is to measure the extent to which the new models and cache protocols provide a performance advantage over execution models that permit multiple assignments. This project is experimenting with languages, compilers, and architectures for large-scale multiprocessors based on functional programming and single assignment data structures. The project includes work at USC on translators for functional languages, and work at the University of Delaware on architectures and simulations. The key insight motivating the work is that functional programming can increase performance of multithreaded systems. One increase of performance comes from the ability to move threads among processors. Another is the possibility that single assignment data structures can be cached with no need for coherence traffic, potentially increasing performance of parallel systems. Research will include development of a program execution model and memory model, design of a cache management protocol for single-assignment data structures, translation of benchmarks such as SPLASH 2 into a functional language, and simulation of the benchmarks running on the new execution model with cache protocol. The goal is to measure the extent to which the new models and cache protocols provide a performance advantage over execution models that permit multiple assignments.