The POLYLITH software bus

ABSTRACT

We describe a system called POLYLITH that helps programmers prepare and interconnect mixed-language software components for execution in heterogeneous environments. POLYLITH's principal benefit is that programmers are free to implement functional requirements separately from their treatment of interfacing requirements; this means that once an application has been developed for use in one execution environment (such as a distributed network) it can be adapted for reuse in other environments (such as a shared-memory multiprocessor) by automatic techniques. This flexibility is provided without loss of performance. We accomplish this by creating a new run-time organization for software. An abstract decoupling agent, called the software bus, is introduced between the system components. Heterogeneity in language and architecture is accommodated since program units are prepared to interface directly to the bus and not to other program units. Programmers specify application structure in terms of a module interconnection language (MIL); POLYLITH uses this specification to guide packaging (static interfacing activities such as stub generation, source program adaptation, compilation, and linking). At run time, an implementation of the bus abstraction may assist in message delivery, name service, or system reconfiguration.

REFERENCES

• 1: BRBACCI, M., DOUBLEDAY, D., WEINSTOCK, C., AND WING, J. 1989. Developing applications for ~heterogeneous machine networks: The Durra environment. Comput. Syst. 2, 1, 7-35.
• 2: Brian N. Bershad , Thomas E. Anderson , Edward D. Lazowska , Henry M. Levy, Lightweight remote procedure call, ACM Transactions on Computer Systems (TOCS), v.8 n.1, p.37-55, Feb. 1990 [doi>10.1145/77648.77650]
• 3: BLOCH, J. 1989. The Camelot library: C language extension for programming general purpose ~distributed transaction system. In Proceedings of 9th Conference on Dtstrlbuted Computtng ~Systems. IEEE, New York, 172-180.
• 4: David Cheriton, The V distributed system, Communications of the ACM, v.31 n.3, p.314-333, March 1988 [doi>10.1145/42392.42400]
• 5: DEREMER, F., AND KRON, H. 1976. Programming-in-the-large versus programming-in-the- ~small. IEEE Trans. Softw. Eng. 2, 2 (June), 80-86
• 6: R. B. Essick, IV, The cross-architecture procedure call, University of Illinois, Department of Computer Science, Urbana, IL, 1987
• 7: FELDMAN, S.I. 1978. Make--A program for maintaining computer programs. Rep., Bell Laboq ratories, Murray Hill, N.J., Aug.
• 8: Raphael Finkel , Michael L. Scott , Yeshayahu Artsy , Hung-Yang Chang, Experience with Charlotte: Simplicity and Function in a Distributed Operating System, IEEE Transactions on Software Engineering, v.15 n.6, p.676-685, June 1989 [doi>10.1109/32.24721]
• 9: Phillip B. Gibbons, A stub generator for multilanguage RPC in heterogeneous environments, IEEE Transactions on Software Engineering, v.13 n.1, p.77-87, Jan. 1987 [doi>10.1109/TSE.1987.232837]
• 10: A N Habermann , D Notkin, Gandalf: software development environments, IEEE Transactions on Software Engineering, v.12 n.12, p.1117-1127, Dec.1986
• 11: Roger Hayes , Steve W. Manweiler , Richard D. Schlichting, A simple system for constructing distributed, mixed-language programs, Software—Practice & Experience, v.18 n.7, p.641-660, July 1988 [doi>10.1002/spe.4380180705]
• 12: Maurice P. Herlihy , Barbara Liskov, A Value Transmission Method for Abstract Data Types, ACM Transactions on Programming Languages and Systems (TOPLAS), v.4 n.4, p.527-551, Oct. 1982 [doi>10.1145/69622.357182]
• 13: INTERNATIONAL ORGANIZATION FOR STANDARDIZATION. 1981. ISO open systems interconnection --Basic reference model. ISO/TC 97/SC 16 N 719, International Organization for Standardization, New York, Aug.
• 14: Michael B. Jones , Richard F. Rashid , Mary R. Thompson, Matchmaker: an interface specification language for distributed processing, Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.225-235, January 14-16, 1985, New Orleans, Louisiana, United States [doi>10.1145/318593.318644]
• 15: Eric Jul , Henry Levy , Norman Hutchinson , Andrew Black, Fine-grained mobility in the Emerald system, ACM Transactions on Computer Systems (TOCS), v.6 n.1, p.109-133, Feb. 1988 [doi>10.1145/35037.42182]
• 16: David Alex Lamb, IDL: sharing intermediate representations, ACM Transactions on Programming Languages and Systems (TOPLAS), v.9 n.3, p.297-318, July 1987 [doi>10.1145/24039.24040]
• 17: Barbara Liskov, Distributed programming in Argus, Communications of the ACM, v.31 n.3, p.300-312, March 1988 [doi>10.1145/42392.42399]
• 18: B Liskov , E Moss , A Snyder , R Atkinson , J C. Schaffert , T Bloom , R Scheifler, CLU reference manual, Springer-Verlag New York, Inc., New York, NY, 1984
• 19: B. Liskov , L. Shrira, Promises: linguistic support for efficient asynchronous procedure calls in distributed systems, Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation, p.260-267, June 20-24, 1988, Atlanta, Georgia, United States
• 20: LUBARS, M., AND HARANDI, M. 1986. Intelligent support for software specification and design. IEEE Expert 1, 4, 33-41.
• 21: Jeff Magee , Morris Sloman, Constructing Distributed Systems in Conic, IEEE Transactions on Software Engineering, v.15 n.6, p.663-675, June 1989 [doi>10.1109/32.24720]
• 22: NOTKIN, D. 1985. The GANDALF project. J. Syst. Softw. 5, 2 (May), 91-104.
• 23: David Notkin , Andrew P. Black , Edward D. Lazowska , Henry M. Levy , Jan Sanislo , John Zahorjan, Interconnecting heterogeneous computer systems, Communications of the ACM, v.31 n.3, p.258-273, March 1988 [doi>10.1145/42392.42396]
• 24: Dewayne E. Perry, The inscape environment, Proceedings of the 11th international conference on Software engineering, p.2-11, May 1989, Pittsburgh, Pennsylvania, United States [doi>10.1145/74587.74588]
• 25: G. Popek , B. Walker , J. Chow , D. Edwards , C. Kline , G. Rudisin , G. Thiel, LOCUS a network transparent, high reliability distributed system, Proceedings of the eighth ACM symposium on Operating systems principles, p.169-177, December 14-16, 1981, Pacific Grove, California, United States
• 26: James Marvin Purtilo, A software interconnection technology to support specification of computational environments (polylith, module interconnection language), 1986
• 27: J. M. Purtilo, MINION: an environment to organize mathematical problem solving, Proceedings of the ACM-SIGSAM 1989 international symposium on Symbolic and algebraic computation, p.147-154, July 17-19, 1989, Portland, Oregon, United States [doi>10.1145/74540.74559]
• 28: PURTILO, J., AND JALOTE, P. 1989. An environment for prototyping distributed applications. In Proceedings of the 9th International Conference on Distributed Computing Systems (June). IEEE, New York, 588-594.
• 29: James M. Purtilo , Pankaj Jalote, An Environment for Developing Fault-Tolerant Software, IEEE Transactions on Software Engineering, v.17 n.2, p.153-159, February 1991 [doi>10.1109/32.67596]
• 30: James Purtilo , Aaron Larson , Jeff Clark, A methodology for prototyping-in-the-large, Proceedings of the 13th international conference on Software engineering, p.2-12, May 13-17, 1991, Austin, Texas, United States
• 31: James M. Purtilo , Daniel A. Reed , Dirk C. Grunwald, Environments for prototyping parallel algorithms, Journal of Parallel and Distributed Computing, v.5 n.4, p.421-437, August 1988 [doi>10.1016/0743-7315(88)90006-8]
• 32: PURTILO, J., SNODGRASS, R., AND WOLF, A. 1991. Software bus organization: Reference model and comparison of existing systems. MIFWG Tech. Rep. 8, Computer Science Dept., Univ. of Arizona, Tucson.
• 33: K. Shannon , Richard Thomas Snodgrass, Mapping the Interface Description Language Type Model into C, IEEE Transactions on Software Engineering, v.15 n.11, p.1333-1346, November 1989 [doi>10.1109/32.41327]
• 34: Richard Snodgrass, The interface description language: definition and use, Computer Science Press, Inc., New York, NY, 1989
• 35: SULLIVAN, M., AND ANDERSON, D. 1989. Marionette: A system for parallel distributed programming using a master/slave model In Proceedzngs of 9th Conference on Dzstrtbuted Computzng Systems (June). IEEE, New York, 181-189.
• 36: SUN MICROSYSTEMS. 1988. SDR: External data representation standard. Ref Manual, Sun Microsystems, Mountain View, Cahf.
• 37: Richard E. Sweet, The Mesa programming environment, Proceedings of the ACM SIGPLAN 85 symposium on Language issues in programming environments, p.216-229, June 25-28, 1985, Seattle, Washington, United States
• 38: TICHY, W.F. 1980 Software development control based on system structure description. Rep CMU-CS-80-120, Pittsburgh, Pa., Dept. of Computer Science, Carnegie-Mellon Univ., Jan.
• 39: Jack C. Wileden , Alexander L. Wolf , William R. Rosenblatt , Peri L. Tarr, Specification-level interoperability, Communications of the ACM, v.34 n.5, p.72-87, May 1991 [doi>10.1145/103167.103175]
• 40: Alexander L. Wolf , Lori A. Clarke , Jack C. Wileden, The AdaPIC Tool Set: Supporting Interface Control and Analysis Throughout the Software Development Process, IEEE Transactions on Software Engineering, v.15 n.3, p.250-263, March 1989 [doi>10.1109/32.21753]
• 41: XEROX CORPORATION. 1981. Courier: The remote procedure call protocol. Xerox System Integration Standard XSIS 038112, Xerox Corporation, Palo Alto, Calif., Dec.
• 42: YEMINI, S., GOLDSZMIDT, G., STOYENKO, A., WEt, W H., AND BEECK, L. 1989. CONCERT: A high-level language approach to heterogeneous distributed systems. In Proceedings of 9th Conference on Distmbuted Computzng Systems (June). IEEE, New York, 162-171.

INDEX TERMS

Primary Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.2 Design Tools and Techniques
          Subjects: Modules and interfaces

Additional Classification:
  D. Software
  D.3 PROGRAMMING LANGUAGES

General Terms:
Languages

Keywords:
architecture specification