RIKEN and a joint research group of Chiba University, Kobe University, Kyoto University, Fujitsu and others announced on December 12 that they have developed the programming language "Formura".Just by writing simple instructions such as mathematical formulas, it is possible to automatically generate advanced programs required for calculations on the supercomputer "K computer".
In principle, a program can be generated mechanically by specifying the natural phenomenon to be simulated and its dispersal method, but the program required for calculation on a supercomputer may reach hundreds of thousands of lines, so it can be created or created. Tuning is a very difficult and advanced task.Therefore, it was impossible to automatically and universally generate an advanced program that brings out the performance of a supercomputer that operates a large number of computers in cooperation.
The collaborative research group aims to convert the behavior of a supercomputer while maintaining the "localization" and "parallelism" of natural phenomena, and is a series of steps that can automatically realize the conversion from the original equation to the program. Discovered.By creating mathematical definitions corresponding to all these stages, he developed a new programming language "Formura" and succeeded in mechanizing the programming of supercomputers.
In addition, Formura creates tens of thousands of programs for the same application, runs them all and measures their performance.The fastest one is automatically selected.
When we actually used Formura to simulate the complex behavior of fungi that grow underground, the original simulation program was only about 20 lines, but Formura automatically automates more than 3 programs with 4 digits or more. The simulation was successful.
In the future, it is expected that research in fields using regular lattice simulation, such as research on meteorology, earthquakes, space, and ecological networks, will accelerate.