Automatic Code Generation Method of DEQSOL (Differential EQuation SOlver Language)
スポンサーリンク
概要
- 論文の詳細を見る
DEQSOL is a high-level programming language specially designed to describe PDE problems in quite a natural way for numerical analyses. This language has two design targets. One is to enhance programming productivity by establishing a new architecture-independent language interface between numerical analysts and vector/parallel processors. The other is to automatically generate highly vectorizable FORTRAN codes from DE-QSOL descriptions, thus realizing efficient execution. The DEQSOL translator automatically generates highly vectorizable simulation codes using intrinsic parallelism remaining in DEQSOL descriptions. As a discretization method, both FDM and FEM are provided. The key techniques of the translator are the symbolic manipulation to discretize PDE and the code generation utilizing maximum DO-loops. DEQSOL has been applied to over 30 Practical Problems, and the above targets are successfully attained. Productivity, when measured by the required source's lines-of-code, is improved by almost one order of magnitude over FORTRAN programming. Also, most of the generated FORTRAN codes have extremely high vectorization ratios (91%-96%) on the HITACHI S-810/20 vector processor.
- 一般社団法人情報処理学会の論文
- 1988-03-31
著者
-
Ohta T
Soka Univ. Hachioji‐shi Jpn
-
Hirayama H
Tokyo Inst. Technol. Yokohama Jpn
-
KONNO CHISATO
Central Research Laboratory, Hitachi Ltd.
-
YAMABE MICHIRU
Central Research Laboratory, Hitachi Ltd.
-
SAJI MIYUKI
Central Research Laboratory, Hitachi Ltd.
-
SAGAWA NOBUTOSHI
Central Research Laboratory, Hitachi Ltd.
-
UMETANI YUKIO
Central Research Laboratory, Hitachi Ltd.
-
HIRAYAMA HIROYUKI
Hitachi VLSl Engineering Ltd.
-
OHTA TADASHI
Hitachi VLSl Engineering Ltd.
-
Saji Miyuki
Central Research Laboratory Hitachi Ltd.
-
Umetani Yukio
Central Research Laboratory Hitachi Ltd.
-
Konno Chisato
Central Research Laboratory Hitachi Ltd.
-
Yamabe Michiru
Central Research Laboratory Hitachi Ltd.
-
Ohta Tadashi
The Author Is With The Faculty Of Engineering Soka University
-
Sagawa Nobutoshi
Central Research Laboratory Hitachi Ltd.
関連論文
- Requirement Specification Acquisition of Communications Services
- Automatic Code Generation Method of DEQSOL (Differential EQuation SOlver Language)
- Automatic Elicitation of Knowledge for Detecting Feature Interactions in Telecommunication Services(Special Issue on Knowledge-Based Software Engineering)
- Formal Definitions of Feature Interactions in Telecommunications Software(Special Section on Concurrent Systems Technology)
- A Vectorization Algorithm for Control Statements