The role of APL and J in high-performance computation

ABSTRACT

Although multicomputers are becoming feasible for solving large problems, they are difficult to program: Extraction of parallelism from scalar languages is possible, but limited. Parallelism in algorithm design is difficult for those who think in von Neumann terms. Portability of programs and programming skills can only be achieved by hiding the underlying machine architecture from the user, yet this may impact performance on a specific host.APL, J, and other applicative array languages with adequately rich semantics can do much to solve these problems. The paper discusses the value of abstraction and semantic richness, performance issues, portability, potential degree of parallelism, data distribution, process creation, communication and synchronization, frequency of program faults, and clarity of expression. The BLAS are used as a basis for comparison with traditional supercomputing languages.

REFERENCES

• Abr70: Philip Samuel Abrams, An apl machine, 1970
• AKPW83: J. R. Allen , Ken Kennedy , Carrie Porterfield , Joe Warren, Conversion of control dependence to data dependence, Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.177-189, January 24-26, 1983, Austin, Texas [doi>10.1145/567067.567085]
• APL87: APL2 Programming: Language Reference. 1987. SH20-9227.
• Ben83a: Jon Bentley. Programming pearls. Communications of the ACM, 20(8), July 1983.
• Ben83b: Jon Bentley, Programming pearls: Cracking the oyster, Communications of the ACM, v.26 n.8, p.549-552, Aug. 1983 [doi>10.1145/358161.358164]
• Ber84: Robert Bernecky, Function arrays, ACM SIGAPL APL Quote Quad, v.14 n.4, p.53-56, June 1984
• Ber86: Robert Bernecky, APL: A prototyping language, ACM SIGAPL APL Quote Quad, v.16 n.4, p.221-228, 1986
• Ber87: R. Bernecky, An introduction to function rank, ACM SIGAPL APL Quote Quad, v.18 n.2, p.39-43, Dec. 1987
• Ber91a: Robert Bernecky, Fortran 90 arrays, ACM SIGPLAN Notices, v.26 n.2, p.83-98, Feb. 1991 [doi>10.1145/122179.122189]
• Ber91b: Robert Bernecky, Fortran 90 arrays, ACM SIGPLAN Notices, v.26 n.2, p.83-98, Feb. 1991 [doi>10.1145/122179.122189]
• Ber93: Robert Bernecky, Array morphology, ACM SIGAPL APL Quote Quad, v.24 n.1, p.6-16, Aug. 1993
• BH91: Robert Bernecky , Roger K. W. Hui, Gerunds and representations, ACM SIGAPL APL Quote Quad, v.21 n.4, p.39-46, Aug. 1991
• BI80: Robert Bernecky and Kenneth E. Iverson. Operators and enclosed arrays. In APL Users Meeting 1980, I.P. Sharp Associates Limited, 1980.
• Cam89: Lloyd W. Campbell, editor. Fortran 88: A Proposed Revision of FORTRAN 77. ISO/IEC JTCI/SC22/WG5-N357, March 1989.
• Can92: David Cann, Retire Fortran?: a debate rekindled, Communications of the ACM, v.35 n.8, p.81-89, Aug. 1992 [doi>10.1145/135226.135231]
• DD90: M. J. Daydé , I. S. Duff, Use of parallel level 3 BLAS in LU factorization on three vector multiprocessors the ALLIANT FX/80, the CRAY-2, and the IBM 3090 VF, Proceedings of the 4th international conference on Supercomputing, p.82-95, June 11-15, 1990, Amsterdam, The Netherlands
• DDHD90: J. J. Dongarra , Jeremy Du Croz , Sven Hammarling , I. S. Duff, A set of level 3 basic linear algebra subprograms, ACM Transactions on Mathematical Software (TOMS), v.16 n.1, p.1-17, March 1990 [doi>10.1145/77626.79170]
• HIM91: Roger K. W. Hui , Kenneth E. Iverson , Eugene E. McDonnell, Tacit definition, ACM SIGAPL APL Quote Quad, v.21 n.4, p.202-211, Aug. 1991
• HP90: David A. Patterson , John L. Hennessy, Computer architecture: a quantitative approach, Morgan Kaufmann Publishers Inc., San Francisco, CA, 1990
• HSF92: Susan Flynn Hummel , Edith Schonberg , Lawrence E. Flynn, Factoring: a method for scheduling parallel loops, Communications of the ACM, v.35 n.8, p.90-101, Aug. 1992 [doi>10.1145/135226.135232]
• Ive62: Kenneth E. Iverson, A Programming Language., John Wiley & Sons, 1962
• Ive91: Kenneth E. Iverson. Programming in J. 1991.
• Ive92: Kenneth E. Iverson. A Dictionary of J. J version 5 edition, 1992.
• JSA*85: McGraw J.R, S.K. Skedzielewski, S.J. Allen, R.R. Oldehoeft, J. Glauert, C. Kirkham, W. Noyce, and R. Thomas. SISAL: Streams and Iterations in a Single-Assignment Language, Language Reference Manual. Technical Report M-146, Revision 1, Lawrence Livermore National Laboratory, March 1985.
• Lei92: F. Thomson Leighton, Introduction to parallel algorithms and architectures: array, trees, hypercubes, Morgan Kaufmann Publishers Inc., San Francisco, CA, 1991
• LHKK79: C. L. Lawson , R. J. Hanson , D. R. Kincaid , F. T. Krogh, Basic Linear Algebra Subprograms for Fortran Usage, ACM Transactions on Mathematical Software (TOMS), v.5 n.3, p.308-323, Sept. 1979 [doi>10.1145/355841.355847]
• McI91: D. B. McIntyre, Language as an intellectual tool: from hieroglyphics to APL, IBM Systems Journal, v.30 n.4, p.554-581, 1991
• MI89: E. E. McDonnell , K. E. Iverson, Phrasal forms, ACM SIGAPL APL Quote Quad, v.19 n.4, p.197-199, Aug. 1989
• MM89: M.V. Morreale and M. Van Der Meulen. Primitive Function Performance of APL2 Version 1 Release 3 (with SPE PL34409) on the IBM 3090/S Vector Facility. Technical Report Technical Bulletin No. GG66-3130-00, IBM Washington Systems Center, IBM Corporation, May 1989.
• Per79: Alan J. Perlis , Spencer Rugaber, Programming with idioms in APL, ACM SIGAPL APL Quote Quad, v.9 n.4, p.232-235, June 1979
• SHA91: SHARP APL Reference Manual. Reuters Information Services (Canada) Limited, Toronto, Canada, 2nd edition, 1991.
• SHA93: SHARP APL Reference Manual. iverson Software Inc., 33 Major St., Toronto, Canada, 2nd edition, 1993.
• Smi81: Bob Smith, Nested arrays, operators, and functions, ACM SIGAPL APL Quote Quad, v.12 n.1, p.286-290, September 1981
• Ste93: Guy L. Steele, Jr., High performance Fortran: status report, ACM SIGPLAN Notices, v.28 n.1, p.1-4, Jan. 1993 [doi>10.1145/156668.156670]
• Sto87: Harold S. Stone, High-performance computer architecture, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1987
• Wal91: David W. Wall, Limits of instruction-level parallelism, Proceedings of the fourth international conference on Architectural support for programming languages and operating systems, p.176-188, April 08-11, 1991, Santa Clara, California, United States
• Wil91: R. G. Willhoft, Parallel expression in the APL2 language, IBM Systems Journal, v.30 n.4, p.498-512, 1991

INDEX TERMS

Primary Classification:
  D. Software
  D.3 PROGRAMMING LANGUAGES
      D.3.2 Language Classifications

          Nouns: APL

Additional Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.4 Software/Program Verification
          Subjects: Reliability
  D.3 PROGRAMMING LANGUAGES
      D.3.2 Language Classifications

          Nouns: FORTRAN
      D.3.3 Language Constructs and Features
          Subjects: Data types and structures

  F. Theory of Computation
  F.3 LOGICS AND MEANINGS OF PROGRAMS

General Terms:
Algorithms, Design, Languages, Performance, Reliability