Incremental parallelization using navigational programming: A case study

被引：0

作者：

Pan, L ^{[1
]}

Zhang, WH ^{[1
]}

Asuncion, A ^{[1
]}

Lai, MK ^{[1
]}

Dillencourt, MB ^{[1
]}

Bic, LF ^{[1
]}

机构：

[1] Univ Calif Irvine, Donald Bern Sch Informat & Comp Sci, Irvine, CA 92697 USA

来源：

2005 INTERNATIONAL CONFERENCE ON PARALLEL PROCESSSING, PROCEEDINGS | 2005年

关键词：

programming methodologies; incremental parallelization; navigational programming (NavP); program transformation; matrix multiplication; Gentleman's Algorithm; Cannon's Algorithm;

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

We show how a series of transformations can be applied to incrementally parallelize sequential programs. Our Navigational Programming (NavP) methodology is based on the principle of self-migrating computations and is truly incremental, in that each step represents a functioning program and every intermediate program is an improvement over its predecessor. The transformations are mechanical and straightforward to apply. We illustrate our methodology in the context of matrix multiplication. Our final stage is similar to the classical Gentleman's Algorithm. The NavP methodology is conducive to new ways of thinking that lead to ease of programming and high performance.

引用

页码：611 / 620

页数：10

共 50 条

[41] A sound parallelization framework for parallel scheme programming
Ito, T
[J]. PARALLEL AND DISTRIBUTED COMPUTING FOR SYMBOLIC AND IRREGULAR APPLICATIONS, 2000, : 3 - 40
[42] Programming Expertise during Incremental Software Development: An Empirical Study
Xu, Shaochun
Du, Wencai
[J]. COMPUTER AND INFORMATION SCIENCE 2010, 2010, 317 : 59 - +
[43] Parallelization of the LDLT decomposition with the ZPL programming language
Vargas, Edwin
Flores, Enrique
Lago, Demetrio Rey
[J]. INGENIERIA UC, 2008, 15 (02): : 72 - 80
[44] Incremental versus non-incremental dynamic programming
Jukna, Stasys
[J]. OPERATIONS RESEARCH LETTERS, 2018, 46 (03) : 278 - 281
[45] PARAGON: an approach for parallelization of power system contingency analysis using Go programming language
Khaitan, Siddhartha Kumar
McCalley, James D.
[J]. INTERNATIONAL TRANSACTIONS ON ELECTRICAL ENERGY SYSTEMS, 2015, 25 (11): : 2909 - 2920
[46] Analysis of Navigational Casualties within European Waters and Case Study
Kerbrat, A.
[J]. TRANSNAV-INTERNATIONAL JOURNAL ON MARINE NAVIGATION AND SAFETY OF SEA TRANSPORTATION, 2021, 15 (04) : 729 - 736
[47] A case study of unanticipated incremental change
Rajlich, V
Gosavi, P
[J]. INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE, PROCEEDINGS, 2002, : 442 - 451
[48] PROGRAMMING THE PREMATURE LOOP EXIT - FROM FUNCTIONAL TO NAVIGATIONAL
YUEN, CK
[J]. SIGPLAN NOTICES, 1994, 29 (03): : 23 - 27
[49] Incremental Banerjee test conditions committing for robust parallelization framework
Debbi, Aimad Eddine
Bakhti, Haddi
[J]. TURKISH JOURNAL OF ELECTRICAL ENGINEERING AND COMPUTER SCIENCES, 2018, 26 (05) : 2595 - 2604
[50] EVALUATION OF PARALLELIZATION STRATEGIES FOR AN INCREMENTAL DELAUNAY TRIANGULATOR IN E(3)
CIGNONI, P
LAFORENZA, D
PEREGO, R
SCOPIGNO, R
MONTANI, C
[J]. CONCURRENCY-PRACTICE AND EXPERIENCE, 1995, 7 (01): : 61 - 80

← 1 2 3 4 5 →