Advertisement

PARES - A Portable Parallel Estelle Compiler

  • Ralf Plato
  • Thomas Held
  • Hartmut Koenig
Chapter
Part of the IFIP Advances in Information and Communication Technology book series (IFIPAICT)

Abstract

High-speed networks put new demands on the implementation of communication protocols. Parallel protocol implementations have been proven as an appropriate way to significantly increase the performance of communication software. In the paper, we present a portable Estelle compiler, called PARES, for semiautomatically deriving parallel protocol implementations from formal descriptions in Estelle. PARES is an extension of the PET/DINGO. It is designed to generate parallel executable code which can be included in real implementations. The paper gives an overview of the structure of PARES, the main implementation issues, and its application. Finally, we present first results of its optimization.

Keyword Codes

C.2.2 D.1.3 D.2.2 

Keywords

Network Protocols Protocol Implementation Concurrent Programming Tools and Techniques 

References

  1. [BrGo 94]
    Bredereke, J.; Gotzhein, R.: Increasing the Concurrence in Estelle. In: Tenney, R. L.; Amer, P. D.; Uyar, M. Ü.(eds.): Formal Description Techniques VI, North Holland, 1994, 127–139.Google Scholar
  2. [Budk 93]
    Budkowski, S. (ed.): Formal specification, validation and performance evalua-tion of the)(PRESS Transfer Protocol (XTP). Research Report No. 931004, INT Evry (France), 1993.Google Scholar
  3. [CaGe 90]
    Carriero, N.; Gelernter, D.: How to Write Parallel Programs. The MIT Press - Cambrigde, Massachusetts; London, 1990.Google Scholar
  4. [Ditt 93]
    Dittrich, K.: Ableitung von parallelen Strukturen aus Estelle-Spezifikationen fir eine rechnergestützte Implementierung. Diplomarbeit, TU Magdeburg, Fakultät Informatik, 1993 (in German).Google Scholar
  5. [Enge 94]
    Engel, C.; Wolters, T.: A Parallel XTP Implementation - A Case Study for a Petri Net Based High Speed Protocol Implementation Method. Proc. ICCCN ’94, San Francisco, 1994.Google Scholar
  6. [Fibo 94]
    Fischer, S.; Hofmann, B.: An Estelle Compiler for Multiprocessor Platforms. In: Tenney, R. L.; Amer, P. D.; Uyar, M. Ü.(eds.): Formal Description Techniques VI, North Holland, 1994, 171–186.Google Scholar
  7. [Giar 89]
    Giarrizzo, D.;Kaiserswerth, M.; Wicki, T.: High-Speed Parallel Protocol Imple-mentation. In Protocols for High-Speed Networks, Selected Papers from the IFIP WG6.1/6. 4 International Workshop, Zuerich, 1989.Google Scholar
  8. [Gold 92]
    Goldberg, M.W.; Neufeld, G.W.; Ito, M.R.: A Parallel Approach to OSI Conec-tion Oriented Protocols. Proc. 3rd IFIP WG 6. 1 /6. 4 Workshop on Protocols for High-Speed Networks, Stockholm, 1992.Google Scholar
  9. [HEHK92]
    Hofmann B.; Effelsberg W.; Held T.; Koenig H.: On the Parallel Implementa-tion of OSI Protocols In IEEE Workshop on the Architecture and Implementation of High Performance Communication Subsystems, Tucson, Arizona, 1992.Google Scholar
  10. [Hei 92]
    Heinrichs, B.: XTP Specification and Parallel Implementation. In: Int. Work-shop on Advanced Communications and Applications for High Speed Networks, Muenchen, 1992.CrossRefGoogle Scholar
  11. [HeHu 95]
    Henke, R.; Hübner, M.: Ein Estelle-Compiler für Transputersysteme. Proc. For KIVS’95, Chemnitz, 1995, 360–373 (in German).Google Scholar
  12. [HeKo 92]
    Held, T.; Koenig, H.: Deriving Parallel Structures from Estelle Specifications. Proc. ICPADS’92, Taiwan, 1992, 394–401.Google Scholar
  13. [HeKo 95]
    Held, T.; Koenig, H.: Increasing the Efficiency of Computer-aided Protocol Implementations. In Vuong, S.; Chanson, S. (eds.): Protocol Specification, Testing and Verification XIV, Chapmann & Hall, 1995, 387–394.Google Scholar
  14. [Held 94]
    Held, T.: Practice of the Computer-aided Protocol Implementation. Ph.D.Thesis. “Otto von Guericke” Universität Magdeburg, Fak. Informatik, 1994, (in German).Google Scholar
  15. [ISO 88]
    ISO: Logical Link Control Type-3 Operation; Acknowledged Connectionless Service. ISO/IEC JTC 1/SC6, 1988.Google Scholar
  16. [ISO 89]
    ISO IS 9074: Estelle - A Formal Description Technique Based on an Extended State Model, 1989.Google Scholar
  17. [Jard 90]
    Jard, C.; Jezequel, J.M.: A Multi-Processor Estelle-to-C Compiler to Prototype Distributed Algorithms on Parallel Machines. In: Scollo G. Brinksma, E.C.A. Vissers (eds.), Protocol Specification, Testing and Verification IX, North Holland, 1990.Google Scholar
  18. [LaPo 93]
    LaPorta, T.F.; Schwarz, M.: A High-Speed Parallel Protocol Implementation: Design and Analysis. Proc. High-Performance Networking, Liege, 1993.Google Scholar
  19. [Metz 94]
    Metzler, B.; Miloucheva, I.: Design and Implementation of flexible User Protocol Interface. in Proc. HIPPARCH ’94, Sophia Antipolis, 1994Google Scholar
  20. [OSF 91]
    A Guide to OSF/1: A technical Synopsis. O’Reilly & Associates, Inc., 1991.Google Scholar
  21. [Rupp 91]
    Rupprecht, M.: Implementierung und parallele Verarbeitung von Kommunikationssoftware. Dissertation, RWTH Aachen, 1991. (in German)Google Scholar
  22. [SiSt 93]
    Sijelmassi, R.; Strausser, B.: The PET and DINGO tools for deriving distributed implementations from Estelle. In Computer Networks and ISDN Systems (1993)25, 841–851.CrossRefGoogle Scholar
  23. [Zitt 89]
    Zitterbart, M.: High-Speed Protocol Implementation based on a Multiprocessor Architecture. In Protocols for High-Speed Networks, Selected Papers from the IFIP WG6.1/6. 4 Int. Workshop, Zuerich, 1989.Google Scholar
  24. [Zitt 91]
    Zitterbart, M.; Braun, T.: Parallel Implementation of XTP on Transputers. Proc. of the 16th Annual Conference on Local Computer Networks, Minneapolis, Minnesota, 1991.Google Scholar
  25. [Zitt 92]
    Zitterbart, M.; Braun, T.: Parallele Protokollimplementierungen für die Hochgeschwindigkeitskommunikation auf Transputer-Netzen. Informatik Forschung Entwicklung (1992)7, 30–40.Google Scholar

Copyright information

© IFIP International Federation for Information Processing 1996

Authors and Affiliations

  • Ralf Plato
    • 1
  • Thomas Held
    • 1
  • Hartmut Koenig
    • 2
  1. 1.Institut of Computer Sciences“Otto von Guericke” University of MagdeburgMagdeburgGermany
  2. 2.Institut of Computer SciencesBrandenburg University of Technology CottbusCottbusGermany

Personalised recommendations