Skip to main content

The SDEF Systolic Programming System

  • Chapter
Concurrent Computations

Abstract

SDEF, a systolic array programming system, is presented. It is intended to provide 1) systolic algorithm researchers/developers with an executable notation, and 2) the software systems community with a target notation for the development of higher level systolic software tools. The design issues associated with such a programming system are identified. A spacetime representation of systolic computations is described briefly in order to motivate SDEF’s program notation. The programming system treats a special class of systolic computations, called atomic systolic computations, any one of which can be specified as a set of properties: the computation’s 1) index set (S), 2) domain dependencies (D), 3) spacetime embedding (E), and nodal function (F). These properties are defined and illustrated. SDEF’s user interface is presented. It comprises an editor, a translator, a domain type database, and a systolic array simulator used to test SDEF programs. The system currently runs on a Sun 3/50 operating under Unix and Xwindows. Key design choices affecting this implementation are described. SDEF is designed for portability. The problem of porting it to a Transputer array is discussed.

This work was supported by the Office of Naval Research under contracts N00014-84-K-0664 and N00014-85-K-0553.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Allen, K. R., And R. P. Pargas, “On Compiling Loop Algorithms onto Systolic Arrays,” TR #85–11–18, Clemson University, Dept. of Computer Science, 1985.

    Google Scholar 

  2. Annaratone, M., E. Arnould, R. Cohen, T. Gross, H-T Kung, M. Lam, O. Mensilcioglu, K. Sarocky, J. Senko, And J Webb, “Architecture of Warp,” Proc. COMPCON, Spring 1987.

    Google Scholar 

  3. Bruegge, B., C. Chang, R. Cohen, T. Gross, M. Lam, P. Lieu, A. Noaman, And D. Yam, “Programming Warp,” Proc. COMPCON, Spring 1987.

    Google Scholar 

  4. Cappello, P. R., VLSI Architectures for Digital Signal Processing, Princeton University, Ph.D. Dissertation, Princeton, NJ, Oct. 1982.

    Google Scholar 

  5. Cappello, P. R. And K. Steiglitz, “Unifying VLSI Array Design with Linear Transformations of Space-Time,” in Advances in Computing research, VLSI Theory, ed. F. P. Preparata, vol. 2, pp. 23–65, JAI Press, Inc., Greenwich, CT, 1984.

    Google Scholar 

  6. Chen, M. C., “Synthesizing Systolic Designs,” Proc. Sec. Int. Symp. VLSI Technology, Systems, and Applications, p. 209–215, Taipai, May 1985.

    Google Scholar 

  7. Chen, M. C., “A Parallel Language and Its Compilation to Muliprocessor Machines,” J. Parallel and Distributed Computing, Dec. 1986.

    Google Scholar 

  8. Delosme, J. M. And I. C. F. Ipsen, “Systolic Array Synthesis: Computability and Time Cones,” Yale/DCS/RR-474, May 1986.

    Google Scholar 

  9. Fisher, A. L., H-T Kung, L. M. Monier, Y. Dohi, “The Architecture of a Programmable Systolic Chip,” Journal VLSI and Computer Systems,1(2):153169, 1984.

    Google Scholar 

  10. Fortes, J. A. B. And D. I. Moldovan, “Parallelism detection and algorithm transformation techniques useful for VLSI architecture design;” J. Parallel Distrib. Comput., May 1985.

    Google Scholar 

  11. Fortes, J. A. B., K. S. Fu, And B. W. Wah, “Systematic Approaches to the Design of Algorithmically Spcified Systolic Arrays,” Proc. Int. Conf. on Acoustics, Speech, and Signal Processing, pp. 300–303, Tampa, 1985.

    Google Scholar 

  12. Foulser, D. E., And R. Schreiber, “The Saxpy Matrix-1: A General-Purpose Systolic Computer,” IEEE Computer, 20 (7): 35–43, June 1987.

    Article  Google Scholar 

  13. Huang, C. H. And C. Lengauer, “An incremental mechanical development of systolic solutions to the algebraic path problem,” TR-86–28, Univ. of Texas, Dept. Computer Science, Austin, Dec. 1986.

    Google Scholar 

  14. Kapauan, A., K. Y. Wang, D. Gannon, J. Cuny, And L. Snyder, “The Pringle: and experimental system for parallel algorithm and software testing,” Proc Int. Conf. on Parallel Processing, 1984.

    Google Scholar 

  15. Karp, R. M., R.E. Miller, And S. Winograd, “Properties of a Model for Parallel Computations: Determinace, Termination, Queueing,” SIAM J. Appl. Math., 14: 1390–1411, 1966.

    Article  Google Scholar 

  16. Karp, R. M., R.E. Miller, And S. Winograd, “The Organization of Computations for Uniform Recurrence Equations, ” J. of the Assoc. for Comput. Machinery, 14: 563–590, 1967.

    Article  Google Scholar 

  17. Kernighan, B. And M. Ritchie, The C Programming Language, Prentice-Hall, Inc. Englewood Cliffs, NJ, 1978.

    Google Scholar 

  18. Kung, H-T And C. E. Leiserson, “Algorithms for VLSI Processor Arrays,” in Introduction to VLSI Systems, Addison-Wesley Publishing Co., Menlo Park, CA, 1980.

    Google Scholar 

  19. Kung, H-T, A Listing of Systolic Papers, Dept. of Computer Science, CanegieMellon Univ., Pittsburgh, Dec. 1986.

    Google Scholar 

  20. Kung, S-Y, K. S. Arun, R. J. Gal-Ezer, And D. V. B. Rao, “Wavefront array processor: Language, Architecture and Applications”, IEEE Trans. on Computers, C-31(11), May 1973.

    Google Scholar 

  21. Kung, S-Y, “On Supercomputing with Systolic/Wavefront Array Processors,” Proc. IEEE, 1984.

    Google Scholar 

  22. Li, G. J. And B. W. Wah, “The Design of Optimal Systolic Algortihms,” IEEE Trans. on Computers, C-34(1): 66–77, 1985.

    Google Scholar 

  23. Mccanny, J. V. And J. G. Mcwhirter, “The derivation and utilization of bit level systolic array architectures, ” Int. Workshop on Systolic Arrays, pp. F1.1-F1. 12, Univ. of Oxford, July 1986.

    Google Scholar 

  24. Miranker, W. L. And A. Winkler, “Spacetime Representations of Computational Structures,” Computing, Vol. 32, 1984.

    Google Scholar 

  25. Moldovan, D. I., “On the Analysis and synthesis fo VLSI algorithms,” IEEE Trans. Comput., C-31: 1121–1126, Nov. 1982.

    Google Scholar 

  26. Moldovan, D. I., “On the Design of Algorithms for VLSI Systolic Arrays, ” Proc. IEEE, 71 (1): 113–120, Jan 1983.

    Article  Google Scholar 

  27. Moldovan, D. I. And J. A. B. Fortes, “Partitioning and Mapping Algorithms into Fixed Systolic Arrays,” IEEE Trans. on Computers, C-35: 1–12, 1986.

    Google Scholar 

  28. Moldovan, D. I., “Advis: A software Package for the Design of Systolic Arrays,” IEEE Trans. Computer-Aided Design, CAD-6(1): 33–40, Jan. 1987.

    Google Scholar 

  29. Navarro, J. J., J. M. Llaberia, And M. Valero “Partitioning: An Essential Step in Mapping Algorithms Into Systolic Array Processors,” IEEE Computer, 20 (7): 77–89, June 1987.

    Article  Google Scholar 

  30. Nelis, H. W., And E. F. Deprettere “Methods and Tools for the Design and Partitioning of VLSI Systolic/Wavefront Arrays,” TR, Dept. of Electrical Engineering, Delft University of Technology, 1987.

    Google Scholar 

  31. Quinton, P., “Automatic synthesis of systolic arrays from uniform recurrent equations,” Proc. 11th Ann. Symp. on Computer Architecture, pp. 208–214, 1984.

    Google Scholar 

  32. Rao, S. K., “Regular Iterative Algorithms and Their Implementation on Processor Arrays,” Ph.D. Dissertation, Stanford University, Stanford, October 1985.

    Google Scholar 

  33. Snyder, L., “Parallel programming and the poker programming environment,” Computer, 17 (7): 27–36, July 1984.

    Article  Google Scholar 

  34. Snyder, L., “A Dialect of the Poker Programming Environment Specialized for Systolic Computation,” Proc. Mt. Workshop on Systolic Arrays, Univ. of Oxford, July 1986.

    Google Scholar 

  35. Snyder, L. And D. Socha, “Poker on the Cosmic Cube: The First Retargetable Parallel Programming Language and Environment,” Proc Mt. Conf. on Parallel Processing, pp. 628–635, St. Charles, IL, August 1986.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 1988 Plenum Press, New York

About this chapter

Cite this chapter

Engstrom, B.R., Cappello, P.R. (1988). The SDEF Systolic Programming System. In: Tewksbury, S.K., Dickinson, B.W., Schwartz, S.C. (eds) Concurrent Computations. Springer, Boston, MA. https://doi.org/10.1007/978-1-4684-5511-3_15

Download citation

  • DOI: https://doi.org/10.1007/978-1-4684-5511-3_15

  • Publisher Name: Springer, Boston, MA

  • Print ISBN: 978-1-4684-5513-7

  • Online ISBN: 978-1-4684-5511-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics