Abstract
We propose a formalized method that allows to automatically derive an optimized implementation from the formal specification of a protocol. Our method starts with the SDL specification of a protocol stack. We first derive a data and control flow dependence graph from each SDL process. Then, in order to perform cross-layer optimizations we combine the dependence graphs of different SDL processes. Next, we determine the common path through the multi-layer dependence graph. We then parallelize this graph wherever possible which yields a relaxed dependence graph. Based on this relaxed dependence graph we interpret different optimization concepts that have been suggested in the literature, in particular lazy messages and combination of data manipulation operations. Together with these interpretations the relaxed dependence graph can be be used as a foundation for a compile-time schedule on a sequential or parallel machine architecture. The formalization we provide allows our method to be embedded in a more comprehensive protocol engineering methodology.
Chapter PDF
Similar content being viewed by others
Keyword Codes
Keywords
References
M. Abbott and L. Peterson. Increasing network throughput by integrating protocol layers. IEEE/ACM Transactions on Networking, 1(5),October 1993.
M. Abrams, N. Doraswamy, and A. Mathur. Chitra: Visual ananlysis of parallel and distributed programs in the time, event, and frequency domains. IEEE Transactions on Parallel and Distributed Systems, 3 (6): 672–685, November 1992.
U. Banerjee, R. Eigenmann, A. Nicolau, and D. Padua. Automatic program parallelization. Proceedings of the IEEE, 81(2):211–243, Feb 1993.
F. Belina, D. Hogrefe, and A. Sarma. SDL with Applications from Protocol Specification. Prentice Hall International, 1991.
T. Braun and M. Zitterbart. Parallel transport system design. In A. Danthine and O. Spaniol, editors, Proceedings of the 4th IFIP conference on high performance networking, 1992.
CCITT. Recommendation Z.100: CCITT Specification and Description Language (SDL). CCITT, Geneva, 1992.
D. D. Clark, V. Jacobson, J. Romkey, and H. Salwen. An analysis of TCP processing overhead. IEEE Communications Magazine, 27(6):23–29, June 1989.
D. D. Clark and D. L. Tennenhouse. Architectural considerations for a new generation of protocols. In Proceedings of the ACM SIGCOMM ‘80 conference, Computer Communication Review, pages 200–208, 1990.
J. Crowcroft, I. Wakeman, Z. Wang, and D. Sirovica. Is layering harmful? IEEE Network Magazine, pages 20–24, january 1992.
J. Ferrante, K. J. Ottenstein, and J. D. Warren. The program dependence graph and its use in optimization. ACM Transactions on Programming Languages and Systems, pages 319–349, July 1987.
S. Fischer and B. Hofmann. An Estelle compiler for multiprocessor platforms. In R. L. Tenney, P. D. Amer, and M. U. Uyar, editors, Formal Description Techniques, VI, IFIP Transactions C, Proceedings of the Sixth International Conference on Formal Description Techniques. North-Holland, 1994. To appear.
B. Hofmann and W. Effelsberg. Efficient implementation of Estelle specifications. Technical report Reihe Informatik, Nr. 3/93, University of Mannheim, Mannheim, Germany, 1993.
A. S. Krishnakumar and K. Sabnani. VLSI implementation of communication protocols–a survey. IEEE Journal on Selected Areas in Communications, 7 (7): 1082–1090, September 1989.
P.B. Ladkin and B.B. Simons. Compile-time analysis of communicating processes. In Proceedings of the Sixth ACM International Conference on Supercomputing, pages 248–259. ACM Press, 1992.
S. Leue and Ph. Oechslin. A formal approach to optimized parallel protocol implementation. Technical report, University of Berne, Institute for Informatics, Berne, Switzerland, 1994.
S. Leue and Ph. Oechslin. Formalizations and algorithms for optimized parallel protocol implementation. In D. Lee et al., editor, Proceedings of the 1994 International Conference on Network Protocols ICNP-94. IEEE Computer Society Press, 1994. To appear.
S. Leue and Ph. Oechslin. Optimization techniques for parallel protocol implementation. In Proceedings of the Fourth IEEE Workshop on Future Trends in Distributed Computing Systems, Lisbon, Sep. 1993. To apear.
M. T. Liu. Protocol engineering. In M. C. Yovitis, editor, Advances in Computers, volume 29, pages 79–195. Academic Press, Inc., 1989.
A. Mitschele-Thiel. On the integration of model-based performance optimization and program implementation. In 4th Workshop on Future Trends of Distributed Computing Systems, 93.
S. W. O’Malley and L. L. Peterson. A highly layered architecture for high-speed networks. In M. J. Johnson, editor, Protocols for High Speed Networks II, pages 141–156. Elsevier Science Publishers (North-Holland), 1991.
D. A. Padua and M. J. Wolfe. Advanced compiler optimizations for supercomputers. Communications of the ACM, 29 (12): 1184–1201, Dec 1986.
W. Peng and S. Purushothaman. Data flow analysis of communicating finite state machines. ACM TOPLAS, 21 (3): 399–442, 1991.
Y.H. Thia and C.M. Woodside. High-speed OSI protocol bypass algorithm with window flow control. In B. Pehrson, P.Gunningberg, and S. Pink, editors, Protocols For High-Speed Networks III C, volume C-9, pages 53–68. IFIP, NORTH-HOLLAND, 1993.
C. M. Woodside and R. G. Franks. Alternative software architectures for parallel protocol execution with synchronous IPC. IEEE/ACM Transactions On Networking, 1 (2): 178–186, April 1993.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1995 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Leue, S., Oechslin, P. (1995). From SDL Specifications to Optimized Parallel Protocol Implementations. In: Neufield, G., Ito, M. (eds) Protocols for High Speed Networks IV. PfHSN 1995. IFIP Advances in Information and Communication Technology. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-34885-8_19
Download citation
DOI: https://doi.org/10.1007/978-0-387-34885-8_19
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-6314-0
Online ISBN: 978-0-387-34885-8
eBook Packages: Springer Book Archive