Abstract
This article presents computer-algebra based techniques for the automatic generation and maintenance of numerical codes based on finite difference approximations. The various generation phases — specification, discretization, implementation and translation — as well as their respective knowledge bases, are discussed and specific attention is given to data mappings in the implementation phase and to high-performance language extensions in the Fortran translation phase. The generation of Fortran source for the dynamics part of a limited area weather forecasting grid-point model is discussed and is illustrated by showing the production of a few variants of the surface-pressure tendency code using the present prototype. Finally, we indicate briefly how adjoints can be obtained using the present methodology.
Preview
Unable to display preview. Download preview PDF.
References
Arakawa, A., Lamb, V. R.: A potential enstrophy and energy conserving scheme for the shallow water equations. Mon. Wea. Rev.109 (1981) 18–36.
Borst, W. N., Goldman, V.V., van Hulzen, J. A.: GENTRAN90: A REDUCE package for the generation of FORTRAN 90 code. (ISSAC '94),Proceedings Int. Symp. on Symbolic and Algebraic Computation (1994) 45–51. ACM Press, New York.
Cats, G., Middelkoop, H., Streefland, D., Swierstra, D.: In: The dawn of massively parallel processing in meteorology, Springer Verlag, Berlin (1990) 47–75.
Gates, B. L., Dewar, M. C: GENTRAN User's Manual — REDUCE VERSION, (1991)
Griewank, A., Corliss, G.F., eds.: Automatic Differentiation of Algorithms. SIAM, Philadelphia, (1991).
Hammond, S. W., Loft, R. D., Dennis, J. M., Sato, R. K.: A data parallel implementation of the NCAR Community Climate Model (CCM2). In Proc. Seventh SIAM Conference on Parallel Processing for Scientific Computing, D.H. Bailey, P.E. Bjørstad, J.R. Gilbert, M.V. Mascagni, R.S. Schreiber, H.D. Simon, V.J. Torczon and L.T. Watson, (eds.), (1995) 125–130. SIAM, Philadelphia.
Hearn, A. C.: REDUCE 3.5 Manual (1993), The Rand Corporation, Santa Monica.
Houstis, E. N., Rice, J., R., Vichnevetsky, R., (Eds.): Proceedings of the Third International Conference on Expert Systems for Numerical Computing, West-Lafayette, May 1993. Math. Comput. Simulation 36 (1994) 269–520
van Hulzen, J. A.,: SCOPE 1.5, a Source-Code Optimization Package for REDUCE 3.5 — User Manual. Memorandum INF-94-17, Department of Computer Science, University of Twente, (1994).
Kant, E., Yau, A. S-H., Liska, R., Steinberg, S.: A problem solving environment for generating certifiably correct programs to solve evolution equations. Preprint (1995). Department of Mathematics and Statistics, University of New Mexico, Albuquerque.
Kremer, U., Mellor-Crummey, J., Kennedy, K., Carle, A.: Automatic data layout for distributed-memory machines in the D programming environment. Technical Report CRPC-TR93298-S, Center for Research on Parallel Computation, (1993).
Setliff, D., Kant, E., Cain, T.: Practical Software Synthesis. IEEE Software 10 (1993) 6–10
Simmons, A., Burridge, D. M.: An energy and angular-momentum conserving vertical finite-difference scheme and hybrid vertical coordinates. Mon. Wea. Rev. 109 (1981) 758–766.
Thacker, W. C.: Automatic differentiation from an oceanographer's perspective. In [5], pp. 191–201.
Thépaut, J.N., Courtier, P.: Four-dimensional variational data assimilation using the adjoin of a multilevel primitive-equation model. Quart. J. Roy. Meteor. Soc. 117 (1991) 1225–1254.
Thinking Machines Corporation: Using the CMAX converter. Manual version 2.0 (1994).
Wang, P. S.: FINGER: A Symbolic System for Automatic Generation of Numerical Programs in Finite Element Analysis, J. Symb. Comp. 2 (1986) 305–316
Weerawarana, S., Houstis, E. N., Rice, J. R.: An interactive symbolic-numeric interface to Parallel ELLPACK for building general PDE Solvers. In B.R. Donald, D. Kapur, and J. L. Mundy, editors: Symbolic and Numerical Computation for Artificial Intelligence, Academic Press (1992) 303–321.
Wolters, L., Cats, G., Gustafsson, N.: Limited area numerical weather forecasting on a massively parallel computer. Proceedings of the 8th ACM International Conference on Supercomputing, July 11–15 1994, Manchester, England, ACM press, (1994),289–296.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Goldman, V.V., Cats, G. (1996). Program generation techniques for the development and maintenance of numerical weather forecast Grid models. In: Dongarra, J., Madsen, K., Waśniewski, J. (eds) Applied Parallel Computing Computations in Physics, Chemistry and Engineering Science. PARA 1995. Lecture Notes in Computer Science, vol 1041. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-60902-4_30
Download citation
DOI: https://doi.org/10.1007/3-540-60902-4_30
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-60902-5
Online ISBN: 978-3-540-49670-0
eBook Packages: Springer Book Archive