Abstract
This chapter describes how three different techniques from the manual implementation of protocol architectures can be applied to automatically derive efficient implementations from Specification and Description Language (SDL) specifications. These three techniques are data referencing, integrated packet framing, and activity threads. Data referencing is employed to optimize communication among process instances. Integrated packet framing allows minimizing copying overhead within process instances. The activity thread model supports minimization of overhead for process management. The chapter analyzes the prerequisites to apply different optimization techniques and shows how the techniques can be employed for the automatic derivation of efficient implementations from SDL specifications. Finally, measurements comparing the performance achievable with the different optimization techniques are presented in the chapter. The measurements are made for different implementations of the Xpress Transfer Protocol derived from an SDL specification. The results obtained show that a considerable speedup can be achieved with each of the optimization techniques.
Published Version
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call