×
马尔科·阿尔迪努奇;马可·丹拉托托

基于骨架的并行编程：在单个镜头中实现功能和并行语义。 （英语） 兹比尔1112.68026

计算。语言系统。结构。 33，第3-4号，179-192（2007）.
摘要：基于骨架的并行编程语言的语义通常分为两个不同的项目：一个是函数语义，它对骨架程序计算的函数进行建模，另一个是并行语义，它描述了在骨架程序执行期间利用并行性的方法。前者通常使用某种语义形式主义来表达，而后者几乎总是以非正式的方式给出。函数语义和并行语义的这种分离严重损害了程序员使用语义工具证明程序属性的可能性。在这项工作中，我们展示了如何建立一个正式的语义框架来处理基于骨架的并行程序的功能和并行方面。该框架基于标记的过渡系统。我们展示了如何使用这样的系统来证明与骨架程序相关的不同属性。我们使用Lithium作为案例研究，Lithium是一个基于框架的完整Java并行编程环境。

MSC公司：

68甲19 其他编程范式（面向对象、顺序、并发、自动等）
68问题55 计算理论中的语义学

关键词：

算法框架;结构化并行程序设计;标记过渡系统;功能语义学;并行语义学

软件：

跳过器;BSML库;伊甸园;eSkel公司
PDF格式BibTeX公司 XML格式引用
\textit{M.Aldinucci}和\textit{M.Danalpto}，计算。语言系统。结构。33，No.3--4，179--192（2007；Zbl 1112.68026）
全文： 内政部

参考文献：

[1] Aldinucci M，Danalotto M。骨架的操作语义。收录人：Joubert GR、Nagel WE、Peters FJ、Walter WV，编辑。并行计算：软件技术、算法、架构和应用，PARCO 2003，并行计算进展，第13卷。德国德累斯顿：爱思唯尔；2004年，第63-70页。；Aldinucci M，Danalotto M。骨架的操作语义。收录人：Joubert GR、Nagel WE、Peters FJ、Walter WV，编辑。并行计算：软件技术、算法、架构和应用，PARCO 2003，并行计算进展，第13卷。德国德累斯顿：爱思唯尔；2004年，第63-70页。
[2] Cole M.算法框架：并行计算的结构化管理，并行和分布式计算研究专著。伦敦：皮特曼；1989.; Cole M.算法框架：并行计算的结构化管理，并行和分布式计算研究专著。伦敦：皮特曼；1989. ·Zbl 0681.68041号
[3] 金、磷。；J.达林顿。；加尼姆，M。；郭毅。；收件人：H。；Yang，J.，协同异构并行计算，（Bouge，L.；Fraigniaud，P.；Mignotte，A.；Robert，Y.，《1996年欧洲法律汇编》（Proceedings of Euro-Par 1996），Springer:Springer-Berlin），601-614
[4] 巴奇，B。；丹拉托托，M。；南奥兰多。；Pelagatti，S。；Vanneschi，M.，（P^3）L:结构化高级编程语言及其结构化支持，并发实践与经验，7，3，225-255（1995）
[5] 巴奇，B。；丹拉托托，M。；Pelagatti，S。；Vanneschi，M.，SkIE:HPC应用的异构环境，并行计算，25,13-141827-1852（1999）
[6] Pelagatti，S.，并行程序的结构化开发（1998），Taylor&Francis:Taylor and Francis London
[7] 塞罗，J。；Ginhac，D.，并行图像处理的骨架：SKIPPER项目概述，并行计算，28，121685-1708（2002）·Zbl 1043.68106号
[8] Loulergue，F.，功能BSP程序的分布式评估，并行处理信件，4423-437（2001）
[9] Klusik U，Loogen R，Priebe S，Rubio F.《Eden-low-effort并行编程中的实现框架》。参加：IFL’00-功能语言实施国际研讨会。计算机科学课堂讲稿，第2011卷。德国亚琛：施普林格；2000年，第71-88页。；Klusik U，Loogen R，Priebe S，Rubio F.《Eden-low-effort并行编程中的实现框架》。参加：IFL’00-功能语言实施国际研讨会。计算机科学课堂讲稿，第2011卷。德国亚琛：施普林格；2000年，第71-88页·Zbl 0977.68676号
[10] Kuchen H.骨架库。收件人：Monien B，Feldmann R，编辑。2002年欧洲议会议事录。计算机科学讲义，第2400卷。柏林：施普林格；2002年，第620-9页。；Kuchen H.骨架库。收件人：Monien B，Feldmann R，编辑。2002年欧洲议会议事录。计算机科学课堂讲稿，第2400卷。柏林：施普林格；2002年，第620-9页·Zbl 1068.68646号
[11] 科尔，M.，《从壁橱里拿出框架：框架并行编程的实用宣言》，并行计算，30，3，389-406（2004）
[12] 麦克唐纳，S。；Anvik，J。；溴化，S。；谢弗，J。；Szafron，D。；Taa，K.，《从模式到框架再到并行程序》，并行计算，28，12，1663-1684（2002）·Zbl 1043.68046号
[13] Gava F，Loulergue F.批量同步并行ML的并行虚拟机。In：计算科学国际会议（ICCS 2003）。计算机科学课堂讲稿，第2657卷。柏林：施普林格；2003年，第155-64页。；Gava F，Loulergue F.批量同步并行ML的并行虚拟机。In：计算科学国际会议（ICCS 2003）。计算机科学讲义，第2657卷。柏林：施普林格；2003年，第155-64页·Zbl 1033.68532号
[14] Loulergue F，Hu Z，Kakehi K。使用BSMLlib库实现扩散算法框架。东京大学数学信息学系METR-2004-06技术报告；2004.; Loulergue F，Hu Z，Kakehi K。使用BSMLlib库实现扩散算法框架。东京大学数学信息学系METR-2004-06技术报告；2004
[15] Cosmo RD，Pelagatti S，Li Z.多维稠密数组并行计算的微积分。《计算机语言、系统和结构》，2006年，出版，doi:10.1016/j.cl2006.07.05；Cosmo RD，Pelagatti S，Li Z.多维稠密数组并行计算的微积分。计算机语言、系统和结构，2006年，出版，doi:10.1016/j.cl2006.07.05·Zbl 1112.68058号
[16] 伊达尔戈·赫雷罗，M。；Ortega-Mallén，Y.，并行语言的操作语义Eden，parallel Processing Letters，12，2，211-228（2002）
[17] Ocaml主页，\（\langle；\）网址：http://www.ocaml.org\（\rangle；\）；Ocaml主页，\（\langle；\）网址：http://www.ocaml.org\（\rangle；\）
[18] Aldinucci M，Danalotto M.流并行骨架优化。摘自：IASTED第十一届并行和分布式计算与系统国际会议（PDCS’99）的会议记录。美国马萨诸塞州剑桥：IASTED/ACTA出版社；1999年，第955-62页。；Aldinucci M，Danalotto M.流并行骨架优化。摘自：IASTED第十一届并行和分布式计算与系统国际会议（PDCS’99）的会议记录。美国马萨诸塞州剑桥：IASTED/ACTA出版社；1999年，第955-62页。
[19] 奥尔迪努奇，M。；Gorlatch，S。；Lengauer，C。；Pelagatti，S.，通过转换实现并行编程：（f）框架，并行算法和应用，16，2-3，87-122（2001）·Zbl 1021.68026号
[20] Gorlatch，S。；Lengauer，C。；Wedler，C.，《使用集合运算进行编程的优化规则》，（第13届国际并行处理研讨会暨第10届并行和分布式处理研讨会论文集（IPPS/SDP'99）（1999），IEEE计算机学会出版社：IEEE计算机社会出版社，马里兰州银泉出版社），492-499
[21] Aldinucci，M.，《自动程序转换：基于骨架的语言的元工具》（Gorlatch，S.；Lengauer，C.，《并行编程的构造方法，计算的进展：理论与实践》（2002），Nova Science Publishers：Nova科学出版社，美国纽约），59-78，[第5章]·Zbl 1089.68528号
[22] 科尔，M。；Hayashi，Y.，框架程序的静态性能预测，并行算法与应用，17，1，59-84（2002）·Zbl 0999.68040号
[23] Skillicorn，D.B。；蔡伟，《并行函数编程的成本计算》，《并行与分布式计算杂志》，第28期，第65-83页（1995年）·Zbl 0833.68021号
[24] 弗雷德，P。；Mallet，J.，《大规模并行计算机专用函数语言的编译》，《函数编程杂志》，10，6，561-605（2000）·Zbl 0976.68038号
[25] 奥尔迪努奇，M。；丹拉托托，M。；Teti，P.，《支持Java结构化并行编程的高级环境》，《未来一代计算机系统》，第19、5、611-626页（2003年）
[26] 奥尔迪努奇，M。；丹拉托托，M。；杜恩韦伯，J。；Gorlatch，S.，网格骨架优化技术，（Grandinetti，L.，网格计算和高性能处理的新前沿。并行计算进展，第14卷（2005），Elsevier:Elsevier Amsterdam）·Zbl 1135.68318号
[27] 巴克斯J.编程能从冯·诺依曼风格中解放出来吗？函数编程风格及其程序代数，ACM 1978通信；21(8):613-41.; Backus J.编程可以从冯·诺依曼风格中解放出来吗？函数编程风格及其程序代数，ACM 1978通信；21(8):613-41. ·Zbl 0383.68013号
[28] Vanneschi，M.，ASSIST的编程模型，并行和分布式可移植应用程序的环境，并行计算，28，12，1709-1732（2002）·Zbl 1043.68047号
[29] Aldinucci M、Coppola M、Danalpto M、Vanneschi M、Zoccolo C.ASSIST作为高性能网格编程环境的研究框架。收件人：Cunha JC，Rana OF，编辑。网格计算：软件环境和工具。柏林：施普林格；2007年，第230-56页[第10章]。；Aldinucci M、Coppola M、Danalpto M、Vanneschi M、Zoccolo C.ASSIST作为高性能网格编程环境的研究框架。收件人：Cunha JC，Rana OF，编辑。网格计算：软件环境和工具。柏林：施普林格；2007年，第230-56页[第10章]。
[30] Darlington J，收件人：HW。无需编程即可构建并行应用程序。In:利兹抽象并联机床模型研讨会；1993.; Darlington J，收件人：HW。无需编程即可构建并行应用程序。In:利兹抽象并联机床模型研讨会；1993
[31] Darlington J，Field AJ，Harrison PG，Kelly PHJ，Sharp DWN，While RL等。使用骨架函数的并行编程。在：Bode A，Reeve M，Wolf G，编辑。欧洲并行体系结构和语言会议录。计算机科学课堂讲稿，第694卷。柏林：施普林格；1993.; Darlington J、Field AJ、Harrison PG、Kelly PHJ、Sharp DWN、While RL等。使用骨架函数的并行编程。收录人：Bode A、Reeve M、Wolf G，编辑。欧洲并行体系结构和语言会议录。计算机科学课堂讲稿，第694卷。柏林：施普林格；1993
[32] MacDonald S、Szafron D、Schaeffer J、Bromling S。从并行设计模式生成并行程序框架。收录人：Bode A、Ludwing T、Karl W、Wismüller R，编辑。2000年欧洲议会议事录。计算机科学课堂讲稿，第1900卷。柏林：施普林格；2000年，第95-105页。；MacDonald S、Szafron D、Schaeffer J、Bromling S。从并行设计模式生成并行程序框架。收录人：Bode A、Ludwing T、Karl W、Wismüller R，编辑。2000年欧洲议会议事录。计算机科学讲义，第1900卷。柏林：施普林格；2000年，第95-105页。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。