多态效果计算中显式子类型约束的简化
流体动力学
2024-10-21 v2
摘要
代数效应处理器正变得越来越受欢迎，用于结构化效应计算，其性能常常是关注点。一种向高效编译的建议方法是通过显式子类型约束来跟踪效应信息。然而，在多态性存在的情况下，这些约束会被编译成编译函数的额外参数，从而造成显著的开销。在本文中，我们提出了一种多态效应计算，识别出必要减少不必要约束的简化阶段，并证明了它们保持语义。此外，我们在Eff语言中实现了简化算法，并在多个基准测试上进行评估。尽管我们没有证明所提出简化的最优性，但结果表明该算法消除所有约束，产生的代码与手动单态化的代码一样高效。
引用
@article{arxiv.2404.04217,
title = {Particle chirality does not matter in the large-scale features of strong turbulence},
author = {Giulia Piumini and Martin P. A. Assen and Detlef Lohse and Roberto Verzicco},
journal= {arXiv preprint arXiv:2404.04217},
year = {2024}
}