×
法蒂玛·K·阿布·塞勒姆。;Rawan N.苏达。

缓存多边形不可分解性测试的实证研究。 （英语） Zbl 1204.68238号

计算 88，编号1-2，55-78（2010）.
作者实施并进行了一项基于F.K.Abu Salem公司，[PASCO’10，第四届并行和符号计算国际研讨会论文集，法国格勒诺布尔，美国纽约ACM，150–159（2010）]S.Gao高和A.G.B.兰黛【离散计算几何26，第1期，89–104（2001；Zbl 0973.68264号)]基于计算树的深度优先搜索（DFS）遍历。根据Abu Salem的说法，缓存遗忘变体比原始变体表现出更好的空间和时间局部性，并且其空间局部性是最优的。该实现围绕基于DFS的算法的八种不同变体进行，根据Abu Salem最初提出的建议，对其进行了裁剪，以评估计算和内存性能之间的权衡。作者对包含输入大小的几个参数的操作敏感地分析了性能。它们描述了如何构造适当的随机输入族来请求这种变化，以及如何在不增加工作量和缓存复杂性的情况下处理向量计算中的冗余。他们广泛报道了我们的实验结果。在所有八种变体中，与Gao和Lauder的原始变体相比，基于DFS的变体在一级和二级缓存未命中以及总运行时间方面都取得了优异的性能。在使用多边形进行二元多项式不可约性测试的背景下，他们还将DFS变体与强大的计算机代数系统MAGMA进行了基准测试。对于足够高的多项式，MAGMA要么耗尽内存，要么在执行约4小时后无法终止。相反，基于DFS的版本只需几秒钟就可以处理此类输入。特别是，他们报告了使用单处理器对DFS变量的总次数在2秒内达到19000的二元多项式进行绝对不可约性测试。
审核人：迈克尔·雅各布森（卡尔加里）

MSC公司：

68单位05 计算机图形；计算几何（数字和算法方面）
52B55号 与凸性相关的计算方面
68瓦30 符号计算和代数计算
68瓦40 算法分析
2016年11月 数字理论算法；复杂性

关键词：

计算机代数;多元和二元多项式;绝对不可约性检验;牛顿多边形;缓存缓冲算法;绩效评估

引文：

Zbl 0973.68264号

软件：

岩浆
PDF格式BibTeX公司 XML格式引用
\textit{F.K.Abu Salem}和\textit{R.N.Soudah}，Computing 88，No.1--2，55-78（2010；Zbl 1204.68238）
全文： 内政部

参考文献：

[1] Abu Salem FK（2008）在\（{mathbb）上对多面体方法进行有效稀疏适配{F} （p）}\)以及创纪录的二元二元因式分解。符号计算杂志43（5）：311–341·兹伯利1134.11045 ·doi:10.1016/j.jsc.2007.10.11
[2] Abu Salem FK。Cache-oblievious多边形不可分解性测试。预打印。http://www.cs.aub.edu.lb/fa21/Papers/COIrredTheory.pdf
[3] Abu Salem FK，Soudah RN，关于经验的、缓存的多边形不可分解性测试的扩展报告。技术报告。http://dr.aub.edu.lb/file.php/2/moddata/data/3/24/1509/Paper.pdf
[4] Aggarwal A，Vitter JS（1988）排序的输入/输出复杂性和相关问题。通信ACM 31（9）：1116–1127·doi:10.1145/48529.48535
[5] Bader M，Zenger C（2006）使用基于Peano曲线的元素排序来缓存遗忘矩阵乘法。在：过程。PPAM 2006，第1042-1049页·Zbl 1182.65070号
[6] Bosma W，Cannon J，Playout C（1997）岩浆代数系统I.用户语言。符号计算杂志24（3-4）：235–265·Zbl 0898.68039号 ·doi:10.1006/jsco.1996.0125
[7] Duval D（1991）《多项式的绝对因式分解：几何方法》。SIAM J计算20:1–21·Zbl 0716.68052号 ·数字对象标识代码：10.1137/0220001
[8] Frigo M，Leiserson CE，Prokop H，Ramachandran S（1999）Cache-obliovious算法。摘自：1999年第40届计算机科学基础年会论文集，第285-297页·Zbl 1295.68236号
[9] Gao S（2001）通过牛顿多面体研究多项式的绝对不可约性。J代数237:501–520·Zbl 0997.12001号 ·doi:10.1006/jabr.2000.8586
[10] Gao S（2003）通过偏微分方程分解多元多项式。数学计算72:801–822·Zbl 1052.12006年
[11] Gao S，Lauder AGB（2001）《多面体和多项式的分解》。离散计算几何26:89–104·Zbl 0973.68264号
[12] Hill MD，Smith AJ（1989）评估CPU缓存中的关联性。IEEE Trans计算38（12）：1612–1630·doi:10.1109/12.40842
[13] Kaltofen E（1985）从多变量到双变量和单变量积分多项式分解的多项式时间约简。SIAM科学计算杂志14:469–489·Zbl 0605.12001号
[14] Kharbutli M，Solihin Y，Lee J（2005）使用基于素数的缓存索引消除冲突未命中。IEEE Trans计算54（5）：573–586·doi:10.1109/TC.2005.79
[15] Lenstra AK（1985）有限域上的多元多项式的因子分解。计算机系统科学杂志30（2）：235–248·Zbl 0577.12013号 ·doi:10.1016/0022-0000（85）90016-9
[16] Lenstra AK（1987）代数数域上的因子分解多元多项式。SIAM J科学计算16（3）：591–598·Zbl 0636.12005号
[17] Luo Y、John LK、Eeckhout L（2004）《微处理器模拟的自监控自适应缓存预热》。2004年，第16届计算机体系结构和高性能计算研讨会。SBAC-PAD 2004，第10-17页
[18] Murphy RC、Berry J、McLendon W、Hendrickson B、Gregor D、Lumsdaine A（2006）《DFS：编写简单但执行困难的基准测试》。摘自：IEEE工作负载特征国际研讨会论文集IISWC06 2006，第175-177页
[19] Ostrowski AM（1921）根据凸多面体的形式代数理论对其进行了分析。Jahresberichte Deutsche数学版30:98–99
[20] Patel K，Benini L，Marcii E，Poncino M（2006）通过特定于应用程序的可重新配置索引减少冲突遗漏。IEEE Trans Compute-Aid Des Integr Circuits Syst 25（12）：2626–2637·doi:10.1109/TCAD.2006.882588
[21] Rivera G、Tseng C-W（1998）《消除高性能架构的冲突遗漏》。附：第十二届超级计算机国际会议记录，第353–360页
[22] Rivera G，Tseng C-W（1998）《消除冲突失误的数据转换》。ACM SIGPLAN通知33（5）：38–49·doi:10.1145/277652.277661
[23] Thomas GB、Finney RL、Maurice WD、Giordano FR（2003）《托马斯微积分》。Addison-Wesley，阅读
[24] Zhang C（2006）平衡指令缓存：通过平衡子数组访问减少直接映射缓存的冲突丢失。IEEE计算架构师Lett 5（1）：2–5·doi:10.1109/L-CA.2006.5
[25] von zur Gather J，Kaltoffen E（1985）有限域上多元多项式的因式分解。应用数学计算45（171）：251–261·Zbl 0596.12017号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。