标签：Polyhedral Compilation 介绍 编译 多面体 ISL

Polyhedral Compilation及ISL学习资料

Polyhedral Compilation：多面体编译

ISL：一个用于操作由线性约束条件约束的整数点的集合和关系的库。主要作为实现Polyhedral Compilation的数学工具库。

官方资料

Integer Set Library: Manual ISL官方使用手册。包含C++端详细的API/函数介绍，实现细节，应用例子等。由于实在太长不建议新手上来直接看，可以更多的作为入门后的工具书。

islpy’s documentation ISL在python端的官方文档。包含简单的介绍和类及函数列表。

Presburger Formulas and Polyhedral Compilation 完整介绍了关于集合，关系的基础数学知识，以及多面体编译中是如何用这些数学工具来实现相关功能的。同时搭配实际例子和各种运算在ISL中对应的API，强烈推荐。

polyhedral.info 提供关于多面体编译社区的信息，包括最新的发展以及现有工作的概述。资料非常丰富，可以慢慢看

isl: An Integer Set Library for the Polyhedral Model 对ISL的简单介绍，入门者可看

barvinok: User Guide barvinok这个库的使用手册。可以只看第一章isl interface。

Polyhedral Compilation and Counting 介绍如何做Polyhedral相关的counting。例如计算代码中一个instance（语句）运行的次数，或某个array element被写/读的次数，或被写的array elements的个数等。

Polyhedral Parallel Code Generation for CUDA 介绍PPCG：一个使用ISL和Polyhedral Compilation，通过分析，分配并行性将C代码转化为高性能CUDA代码的项目

Schedule Trees Schedule Trees 介绍Schedule Trees：将代码的schedule(调度)用树的形式表示

ISL GoogleGroup ISL社区，有不懂的可以在上面提问讨论，Sven大佬会经常回复，非常推荐！

Demo与测试

ISL Playground in Python 在线playground，可以在这里上手python端的ISL。另外强烈推荐此网站中的Examples，新手最好都过一遍，对理解和上手ISL和Polyheral Compilation非常有帮助。

中文社区资料

Polyhedral编译调度算法(1,2,3) 知乎@要术甲杰大佬的文章，对具体算法原理感兴趣的话强烈推荐

编译器领域的多面体模型（Polyhderal Model） 知乎@立交桥跳水冠军 的文章，对上面文章的很好补充

Polyhedral Model—AI芯片软硬件优化利器（一，二，三） @要术甲杰在公众号上的文章，对Polyhedral Model在工程上的应用感兴趣的话强烈推荐

ISL使用方法 csdn上 @wangbowj123 的文章，介绍了一些ISL中简单的类和函数。

多面体编译基础(一) ， (二) csdn上 @BEN_csdn_XJTU 的文章，对多面体编译和涉及到的数学概念进行了简单的介绍，适合入门者

标签：Polyhedral,Compilation,介绍,编译,多面体,ISL
来源： https://blog.csdn.net/weixin_41694059/article/details/118388171

本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享；
2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关；
3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关；
4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除；
5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。