论文标题
扩展摘要：基于任务的并行性的类型编程
Extended abstract: Type oriented programming for task based parallelism
论文作者
论文摘要
编写平行代码很困难，并且在抽象和性能之间表现出基本的权衡。旨在简化并行性复杂性的高级语言抽象做出了影响性能和可扩展性的某些假设。另一方面，较低级别的语言为优化提供了许多机会，需要深入的知识，并且程序员考虑了并行性的棘手细节。需要一种可以弥合差距的方法，并提供编程的易度性和控制和优化的机会。通过可选地使用其他类型的信息来装饰他们的代码，程序员可以指导编译器做出某些决策或依靠明智的默认选择。
Writing parallel codes is difficult and exhibits a fundamental trade-off between abstraction and performance. The high level language abstractions designed to simplify the complexities of parallelism make certain assumptions that impacts performance and scalability. On the other hand lower level languages, providing many opportunities for optimisation, require in-depth knowledge and the programmer to consider tricky details of parallelism. An approach is required which can bridge the gap and provide both the ease of programming and opportunities for control and optimisation. By optionally decorating their codes with additional type information, programmers can either direct the compiler to make certain decisions or rely on sensible default choices.
