Formalizations and algorithms for optimized parallel protocol implementation

@article{Leue1994FormalizationsAA,
  title={Formalizations and algorithms for optimized parallel protocol implementation},
  author={Stefan Leue and Philippe Oechslin},
  journal={Proceedings of ICNP - 1994 International Conference on Network Protocols},
  year={1994},
  pages={178-185}
}
We propose a formalized method that allows one 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… CONTINUE READING

References

Publications referenced by this paper.
SHOWING 1-10 OF 15 REFERENCES

A Formal Approach to Optimized Parallel

ProtocolImplementationStefan Leue, Ph. Oechslin
  • 1994
VIEW 9 EXCERPTS
HIGHLY INFLUENTIAL

High-speed OSI pro- tocol bypass algorithm with window ow control

Y. H. Thia, C. M. Woodside
  • Pro- tocols For High-Speed Networks III C,
  • 1993
VIEW 1 EXCERPT

Optimization techniques for parallel protocol implementation

  • 1993 4th Workshop on Future Trends of Distributed Computing Systems
  • 1993
VIEW 2 EXCERPTS

Sirovica. Is layering harmful

J. Crowcroft, I. Wakeman, Z. Wang
  • IEEE Network Magazine,
  • 1992
VIEW 2 EXCERPTS