2DT-FP: An FP based programming language for efficient parallel programming of multiprocessor networks

Yosi Ben-Asher; Gudula Rünger; Assaf Schuster; Reinhard Wilhelm

doi:10.1007/3-540-56891-3_4

2DT-FP: An FP based programming language for efficient parallel programming of multiprocessor networks

Yosi Ben-Asher, Gudula Rünger, Assaf Schuster, Reinhard Wilhelm

Department of Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Abstract

We propose a new paradigm for programming tightly coupled multicomputer systems, 2DT. 2DT-programs are composed of local computations on linear data (columns) and global transformations on 2-dimensional combinations of the columns (2D-arrays). Local computations can be expressed in a functional or imperative base language; a typed variant of Backus’ FP, 2DT-FP, is chosen in this paper. An interleaving semantics for 2DT-FP is given, exposing the potential for parallel execution of 2DT-FP programs. The claim is proved that any sequential and thus any parallel execution will deliver the same result.

Original language	English
Title of host publication	PARLE 1993 - Parallel Architectures and Languages Europe - 5th International PARLE Conference, Proceedings
Editors	Arndt Bode , Mike Reeve , Gottfried Wolf
Publisher	Springer Verlag
Pages	42-55
Number of pages	14
ISBN (Print)	9783540568919
DOIs	https://doi.org/10.1007/3-540-56891-3_4
State	Published - 1993
Event	5th International Conference on Parallel Architectures and Languages Europe, PARLE 1993 - Munich, Germany Duration: 14 Jun 1993 → 17 Jun 1993

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	694 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	5th International Conference on Parallel Architectures and Languages Europe, PARLE 1993
Country/Territory	Germany
City	Munich
Period	14/06/93 → 17/06/93

Bibliographical note

Publisher Copyright:
© Springer-Verlag Berlin Heidelberg 1993.

Keywords

Operational semantics
Parallel language

ASJC Scopus subject areas

Theoretical Computer Science
General Computer Science

Access to Document

10.1007/3-540-56891-3_4

Cite this

Ben-Asher, Y., Rünger, G., Schuster, A., & Wilhelm, R. (1993). 2DT-FP: An FP based programming language for efficient parallel programming of multiprocessor networks. In A. Bode , M. Reeve , & G. Wolf (Eds.), PARLE 1993 - Parallel Architectures and Languages Europe - 5th International PARLE Conference, Proceedings (pp. 42-55). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 694 LNCS). Springer Verlag. https://doi.org/10.1007/3-540-56891-3_4

Ben-Asher, Yosi ; Rünger, Gudula ; Schuster, Assaf et al. / 2DT-FP : An FP based programming language for efficient parallel programming of multiprocessor networks. PARLE 1993 - Parallel Architectures and Languages Europe - 5th International PARLE Conference, Proceedings. editor / Arndt Bode ; Mike Reeve ; Gottfried Wolf . Springer Verlag, 1993. pp. 42-55 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{5c94ac0076ff499b86a9d64eb674e3b7,

title = "2DT-FP: An FP based programming language for efficient parallel programming of multiprocessor networks",

abstract = "We propose a new paradigm for programming tightly coupled multicomputer systems, 2DT. 2DT-programs are composed of local computations on linear data (columns) and global transformations on 2-dimensional combinations of the columns (2D-arrays). Local computations can be expressed in a functional or imperative base language; a typed variant of Backus{\textquoteright} FP, 2DT-FP, is chosen in this paper. An interleaving semantics for 2DT-FP is given, exposing the potential for parallel execution of 2DT-FP programs. The claim is proved that any sequential and thus any parallel execution will deliver the same result.",

keywords = "Operational semantics, Parallel language",

author = "Yosi Ben-Asher and Gudula R{\"u}nger and Assaf Schuster and Reinhard Wilhelm",

note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 1993.; 5th International Conference on Parallel Architectures and Languages Europe, PARLE 1993 ; Conference date: 14-06-1993 Through 17-06-1993",

year = "1993",

doi = "10.1007/3-540-56891-3\_4",

language = "English",

isbn = "9783540568919",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "42--55",

editor = "\{Bode \}, Arndt and \{Reeve \}, Mike and \{Wolf \}, Gottfried",

booktitle = "PARLE 1993 - Parallel Architectures and Languages Europe - 5th International PARLE Conference, Proceedings",

address = "Germany",

}

Ben-Asher, Y, Rünger, G, Schuster, A & Wilhelm, R 1993, 2DT-FP: An FP based programming language for efficient parallel programming of multiprocessor networks. in A Bode , M Reeve & G Wolf (eds), PARLE 1993 - Parallel Architectures and Languages Europe - 5th International PARLE Conference, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 694 LNCS, Springer Verlag, pp. 42-55, 5th International Conference on Parallel Architectures and Languages Europe, PARLE 1993, Munich, Germany, 14/06/93. https://doi.org/10.1007/3-540-56891-3_4

2DT-FP: An FP based programming language for efficient parallel programming of multiprocessor networks. / Ben-Asher, Yosi; Rünger, Gudula; Schuster, Assaf et al.
PARLE 1993 - Parallel Architectures and Languages Europe - 5th International PARLE Conference, Proceedings. ed. / Arndt Bode ; Mike Reeve ; Gottfried Wolf . Springer Verlag, 1993. p. 42-55 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 694 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - 2DT-FP

T2 - 5th International Conference on Parallel Architectures and Languages Europe, PARLE 1993

AU - Ben-Asher, Yosi

AU - Rünger, Gudula

AU - Schuster, Assaf

AU - Wilhelm, Reinhard

PY - 1993

Y1 - 1993

N2 - We propose a new paradigm for programming tightly coupled multicomputer systems, 2DT. 2DT-programs are composed of local computations on linear data (columns) and global transformations on 2-dimensional combinations of the columns (2D-arrays). Local computations can be expressed in a functional or imperative base language; a typed variant of Backus’ FP, 2DT-FP, is chosen in this paper. An interleaving semantics for 2DT-FP is given, exposing the potential for parallel execution of 2DT-FP programs. The claim is proved that any sequential and thus any parallel execution will deliver the same result.

AB - We propose a new paradigm for programming tightly coupled multicomputer systems, 2DT. 2DT-programs are composed of local computations on linear data (columns) and global transformations on 2-dimensional combinations of the columns (2D-arrays). Local computations can be expressed in a functional or imperative base language; a typed variant of Backus’ FP, 2DT-FP, is chosen in this paper. An interleaving semantics for 2DT-FP is given, exposing the potential for parallel execution of 2DT-FP programs. The claim is proved that any sequential and thus any parallel execution will deliver the same result.

KW - Operational semantics

KW - Parallel language

UR - https://www.scopus.com/pages/publications/85027405597

U2 - 10.1007/3-540-56891-3_4

DO - 10.1007/3-540-56891-3_4

M3 - Conference contribution

AN - SCOPUS:85027405597

SN - 9783540568919

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 42

EP - 55

BT - PARLE 1993 - Parallel Architectures and Languages Europe - 5th International PARLE Conference, Proceedings

A2 - Bode , Arndt

A2 - Reeve , Mike

A2 - Wolf , Gottfried

PB - Springer Verlag

Y2 - 14 June 1993 through 17 June 1993

ER -

Ben-Asher Y, Rünger G, Schuster A, Wilhelm R. 2DT-FP: An FP based programming language for efficient parallel programming of multiprocessor networks. In Bode A, Reeve M, Wolf G, editors, PARLE 1993 - Parallel Architectures and Languages Europe - 5th International PARLE Conference, Proceedings. Springer Verlag. 1993. p. 42-55. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/3-540-56891-3_4

2DT-FP: An FP based programming language for efficient parallel programming of multiprocessor networks

Abstract

Publication series

Conference

Bibliographical note

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this