New Generation Multithreaded Multiprocessors

新一代多线程多处理器

• 批准号: 9707125
• 负责人: Jean-Luc Gaudiot
• 金额: $ 40万
• 依托单位: University of Southern California
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 1997
• 资助国家: 美国
• 起止时间: 1997-07-15 至 2001-06-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9707125&HistoricalAwards=false
• 关键词: New; Generation; Multithreaded; Multiprocessors

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.

这个项目是基于函数式编程和单赋值数据结构的大规模多处理器的语言、编译器和体系结构的实验。 该项目包括在南加州大学的函数式语言翻译工作，以及在特拉华州大学的架构和模拟工作。 激励这项工作的关键见解是函数式编程可以提高多线程系统的性能。 性能的提高之一来自于在处理器之间移动线程的能力。 另一种可能性是单个分配数据结构可以被缓存而不需要一致性流量，从而潜在地提高并行系统的性能。 研究将包括开发一个程序执行模型和内存模型，为单任务数据结构设计一个高速缓存管理协议，将SPLASH 2等基准转换为功能语言，以及模拟在新的执行模型上运行的基准。 我们的目标是衡量新模型和缓存协议在多大程度上提供了性能优势，超过允许多个分配的执行模型。 这个项目是基于函数式编程和单赋值数据结构的大规模多处理器的语言、编译器和体系结构的实验。 该项目包括在南加州大学的函数式语言翻译工作，以及在特拉华州大学的架构和模拟工作。 激励这项工作的关键见解是函数式编程可以提高多线程系统的性能。 性能的提高之一来自于在处理器之间移动线程的能力。 另一种可能性是单个分配数据结构可以被缓存而不需要一致性流量，从而潜在地提高并行系统的性能。 研究将包括开发一个程序执行模型和内存模型，为单任务数据结构设计一个高速缓存管理协议，将SPLASH 2等基准转换为功能语言，以及模拟在新的执行模型上运行的基准。 我们的目标是衡量新模型和缓存协议在多大程度上提供了性能优势，超过允许多个分配的执行模型。