A multiprocessor description language

ABSTRACT

A language for describing multiprocessor systems is presented. The language, called MPDL, provides a flexible and unambiguous model of concurrency and allows for hierarchical construction of concurrent systems. MPDL encourages the user to encapsulate interprocess synchronization and communication in a special component called a connector. This encapsulation helps facilitate multilevel modeling and abstraction of communication protocols. A simulator for the language has been implemented and is running at ISI. This paper describes MPDL and evaluates the language in terms of two examples.

REFERENCES

• 1: Barbacci, M. R., G. E. Barnes, R. G. Cattell, and D. P. Siewiorek, "The ISPS Computer Description Language," Tech. report CMU-CS-79-137, Carnegie-Mellon University, Computer Science Department, August 1979.
• 2: TRW Defense and Space Systems Group, "SMITE Reference Manual," Tech. report RADC-TR-77-364, TRW, November 1977.
• 3: Parker, A. C., D. E. Thomas, S. D. Crocker, and R. G. G. Cattell, "ISPS: A Retrospective View," Proceedings of the Fourth International Symposium on Computer Hardware Description Languages, IEEE, Palo Alto, CA, October 1979, pp. 21--27.
• 4: Overman, W. T., V. Kini, and S. Sastry, "Multiprocessor Description Language (MPDL) User's Manual," Tech. report ISI/WP-15.3, USC/Information Sciences Institute, August 1980.
• 5: Barbara Liskov , Alan Snyder , Russell Atkinson , Craig Schaffert, Abstraction mechanisms in CLU, Communications of the ACM, v.20 n.8, p.564-576, Aug. 1977 [doi>10.1145/359763.359789]
• 6: Dahl, O. J., B. Myhrhaug, and K. Nygaard, "The SIMULA 67 common base language," Tech. report S-22, Norwegian Computing Center, 1970.
• 7: Parnas, D. L, "Use of Abstract Interfaces in the Development of Software for Embedded Computer Systems," NRL Report 8047, Naval Research Laboratory, June 1977.
• 8: C. A. R. Hoare, Monitors: an operating system structuring concept, Communications of the ACM, v.17 n.10, p.549-557, Oct. 1974 [doi>10.1145/355620.361161]
• 9: Wile, D. S., "POPART: Producer of Parsers and Related Tools: System Builders' Manual," Unpublished, USC/Information Sciences Institute
• 10: Siegel, H. J., et al., "Parallel Image Processing/Feature Extraction Algorithms and Architecture Emulation: Interim Report," Tech. report TREE 79--51, Purdue University, November 1979.
• 11: K. A. Bartlett , R. A. Scantlebury , P. T. Wilkinson, A note on reliable full-duplex transmission over half-duplex links, Communications of the ACM, v.12 n.5, p.260-261, May 1969 [doi>10.1145/362946.362970]