当前位置：首页 → 问答吧 → 在clfs2.0中，PPL是不是多余的？

在clfs2.0中，PPL是不是多余的？

时间：2009-10-08

来源：互联网

在英文的CLFS2.0中，有PPL这个软件，查其介绍是
http://cross-lfs.org/view/clfs-2.0/a...tools/ppl.html

查其介绍是

The Parma Polyhedra Library (PPL) is a modern and reasonably complete library providing numerical abstractions especially targeted at applications in the field of analysis and verification of complex systems.
在youbest的2.0原理分析中并没有安装这个软件，这个软件是不是多余的.
http://www.linuxsir.org/bbs/showthread.php?t=267672

作者: zswlb9999 发布时间: 2009-10-08

youbest 的文章已是三年前有多，你却拿今天的手册对比，不大恰当吧

CLFS SVN 手册的注解比较多一点点：
http://cross-lfs.org/view/svn/x86_64...ystem/ppl.html

引用:

The Parma Polyhedra Library (PPL) provides numerical abstractions especially targeted at applications in the field of analysis and verification of complex systems. CLooG-PPL requires this library.

http://cross-lfs.org/view/svn/x86_64...cloog-ppl.html

引用:

CLooG-PPL is a library to generate code for scanning Z-polyhedra. In other words, it finds code that reaches each integral point of one or more parameterized polyhedra. GCC links with this library in order to enable the new loop generation code known as Graphite.

这是新版 Toolchain （gcc-4.4.x 後追加的），跟 youbest 的文章里所用的 Toolchain 不同

但这个玩意的真正用途我也不大清楚：（

作者: d00m3d 发布时间: 2009-10-10

引用:

作者: d00m3d

youbest 的文章已是三年前有多，你却拿今天的手册对比，不大恰当吧

CLFS SVN 手册的注解比较多一点点：
http://cross-lfs.org/view/svn/x86_64...ystem/ppl.html

http://cross-lfs.org/view/svn/x86_64...cloog-ppl.html

这是新版 Toolchain （gcc-4.4.x 後追加的），跟 youbest 的文章里所用的 Toolchain 不同

但这个玩意的真正用途我也不大清楚：（

我不是评论，是对PPL这个软件的功用不理解。按推测，它是属于数学库类的，按道理在交叉编译中是不需要的，难度要进行大量的数学运算（入复杂性的分析），要把它先加入？

作者: zswlb9999 发布时间: 2009-10-10