Design and implementation of 8(1/2): A declarative data-parallel language

被引:1
|
作者
Michel, O
机构
来源
COMPUTER LANGUAGES | 1996年 / 22卷 / 2-3期
关键词
data-parallelism; declarative languages; collection-oriented languages; synchronous data-flow; recursive collection; data-distribution and scheduling;
D O I
10.1016/S0096-0551(96)00012-4
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
In this article we advocate a declarative approach to data-parallelism to provide both parallelism expressiveness and efficient execution of data intensive applications. 8(1/2), an experimental language combining features of collection and stream oriented languages in a declarative framework, is presented. A new structure, the web, allows the programmer to write programmes as mathematical expressions and to implicitly express data and control parallelism. The first part of this paper proposes a classification of the various expressions of parallelism in programming languages. We show that hybrid execution models combining both data and control parallelism are possible and necessary to get an effective speedup. We sketch the advantage of the declarative style with respect to parallelism expression (application side) and exploitation (compiler side). In the second part we describe the 8(1/2) language and the concepts of collection, stream and web. A web is a multi-dimensional object that represents the successive values of a structured set of variables. Some 8(1/2) programmes are given to show the relevance of the web data structure for simulation applications (a resolution of O.D.P.E. and a simulation in artificial life). Examples of 8(1/2) programmes, involving the dynamic creation and destruction of webs, are also given. Such programmes are necessary for simulations of growing systems. In the third part, the implementation of a compiler restricted to the static part of the language is described. We focus on the process of web equations compilation towards a virtual SIMD machine. We also present the clock calculus, the scheduling inference and the distribution of the computations among the processing elements of a parallel computer. Copyright (C) 1996 Elsevier Science Ltd
引用
收藏
页码:165 / 179
页数:15
相关论文
共 50 条
  • [31] A task- and data-parallel programming language based on shared objects
    Ben Hassen, S
    Bal, HE
    Jacobs, CJH
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1998, 20 (06): : 1131 - 1170
  • [32] An equational object-oriented data model and its data-parallel query language
    Nishimura, S
    Ohori, A
    Tajima, K
    ACM SIGPLAN NOTICES, 1996, 31 (10) : 1 - 17
  • [33] Efficient implementation of portable C*-like data-parallel library in C++
    Matsuda, M
    Sato, M
    Ishikawa, Y
    ADVANCES IN PARALLEL AND DISTRIBUTED COMPUTING - PROCEEDINGS, 1997, : 398 - 405
  • [34] Distributed Data-Parallel Computing Using a High-Level Programming Language
    Isard, Michael
    Yu, Yuan
    ACM SIGMOD/PODS 2009 CONFERENCE, 2009, : 987 - 994
  • [35] Generic MPI implementation for a data-parallel skeleton: Formal derivation and application to FFT
    Gorlatch, Sergei
    Bischof, Holger
    Parallel Processing Letters, 1998, 8 (04): : 447 - 458
  • [36] Exploring the Design Space of SPMD Divergence Management on Data-Parallel Architectures
    Lee, Yunsup
    Grover, Vinod
    Krashinsky, Ronny
    Stephenson, Mark
    Keckler, Stephen W.
    Asanovic, Krste
    2014 47TH ANNUAL IEEE/ACM INTERNATIONAL SYMPOSIUM ON MICROARCHITECTURE (MICRO), 2014, : 101 - 113
  • [37] Design and implementation of a scalable parallel C language
    Lee, K
    Kim, J
    Woo, Y
    PARALLEL COMPUTING: FUNDAMENTALS, APPLICATIONS AND NEW DIRECTIONS, 1998, 12 : 393 - 396
  • [38] Design and implementation of a parallel cellular language for MIMD architectures
    Vialle, S
    Lallement, Y
    Cornu, T
    COMPUTER LANGUAGES, 1998, 24 (03): : 125 - 153
  • [39] pHluid: The design of a parallel functional language implementation on workstations
    Flanagan, C
    Nikhil, RS
    ACM SIGPLAN NOTICES, 1996, 31 (06) : 169 - 179
  • [40] Data flow architecture for the parallel implementation of the functional language
    Jelsina, M
    Krahulik, P
    Legnavsky, M
    ICICS - PROCEEDINGS OF 1997 INTERNATIONAL CONFERENCE ON INFORMATION, COMMUNICATIONS AND SIGNAL PROCESSING, VOLS 1-3: THEME: TRENDS IN INFORMATION SYSTEMS ENGINEERING AND WIRELESS MULTIMEDIA COMMUNICATIONS, 1997, : 1452 - 1456