TraceSymm: Trace analysis and Symmetry theory for improved application mapping onto manycores

2005年左右单核架构的收益递减标志着计算系统的一个拐点。从那时起，各种设备中的多核激增，导致了关注如何有效地编程并行架构的模型和方法的繁荣。当工业界选择对已建立的语言（例如OpenMP）进行扩展时，具有形式化属性的编程模型在学术界更受欢迎。特别是，20世纪70年代的数据流编程模型最近重新引起了人们的兴趣，今天在嵌入式和通用领域有大量的研究。一个核心的研究问题是计算从高级应用程序描述到并行硬件平台的最佳映射，包括计算到核心的位置，到存储器和互连的通信，以及决定执行顺序。同时，应用程序已经发展到不能总是用静态模型来描述它们，也就是说，静态分析足以计算出最优映射。处理这种动态的一种常用方法是分析应用程序的执行轨迹，以便更好地定制映射。对于即将到来的更大的系统和更动态的应用程序，改进跟踪分析和基于跟踪的映射方法是必不可少的。在这个项目中，我们将研究、实现和基准测试(i)更好的可扩展性跟踪和硬件表示，（ii）跟踪形式化和分析算法，（iii）应用程序、架构和映射的对称性分析，以及（iv）新颖的跟踪和对称感知映射算法。

The diminishing returns in single-core architectures around 2005 marked an inflection point in computing systems. Since then, multi-cores in all kinds of devices proliferated, causing a boom in models and methodologies focused on how to efficiently program parallel architectures. While industry opted for extensions to established languages (e.g., OpenMP), programming models with formal properties are more popular in academia. In particular, dataflow programming models from the 1970s recently regained interest and are today a matter of a large body of research in the embedded and general purpose domains. A central research problem is that of computing an optimal mapping from a high-level application description to a parallel hardware platform, including the placement of computation to cores, communication to memories and interconnect, and deciding on the execution order.In the meantime, applications have evolved themselves so that they cannot always be described by static models, i.e., for which static analysis suffices to compute an optimal mapping. A common approach to handle this dynamism consists in analyzing executiontraces of an application to better tailor the mapping. With upcoming larger systems and more dynamic applications it is essential to improve trace analysis and trace-based mapping methodologies. In this project we will study, implement and benchmark (i) better trace and hardware representations for scalability, (ii) trace formalisms and analysis algorithms, (iii) symmetry analysis for applications, architectures and mappings, and (iv) novel trace and symmetry-aware mapping algorithms.