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.