Paper Info
Title
Automatic generation of efficient codes from mathematical descriptions of stencil computation.
Abstract
Programming in HPC is a tedious work. Therefore functional programming languages that generate HPC programs have been proposed. However, they are not widely used by application scientists, because of learning barrier, and lack of demonstrated application performance. We have designed Formura which adopts application-friendly features such as typed rational array indices. Formura users can describe mathematical concepts such as operation over derivative operators using functional programming. Formura allows intuitive expression over array elements while ensuring the program is a stencil computation, so that state-of-the-art stencil optimization techniques such as temporal blocking is always applied to Formura-generated program. We demonstrate the usefulness of Formura by implementing a preliminary below-ground biology simulation. Optimized C-code are generated from 672 bytes of Formura program. The simulation was executed on the full nodes of the K computer, with 1.184 Pflops, 11.62% floating-point-instruction efficiency, and 31.26% memory throughput efficiency.
Year
DOI
Venue
2016
10.1145/2975991.2975994
FHPC@ICFP
Keywords
Field
DocType
Functional programming,disributed computation,parallelism,domain-specific language
Domain-specific language,Byte,Functional programming,Computer science,Parallel computing,Stencil,Stencil code,Theoretical computer science,Operator (computer programming),Throughput
Conference
Citations 
PageRank 
References 
2
0.49
15
Authors
12
Name
Order
Citations
PageRank
Takayuki Muranushi1215.10
Seiya Nishizawa2174.15
Hirofumi Tomita3335.67
Keigo Nitadori411612.76
Masaki Iwasawa531.86
Yutaka Maruyama630.85
Hisashi Yashiro731.53
Yoshifumi Nakamura831.19
Hideyuki Hotta920.49
Junichiro Makino1014734.17
Natsuki Hosono1120.49
Hikaru Inoue1221.84