Efficient Implementation Strategies for SDL

摘要

In the paper, we describe how three different techniques mainly known from the manual implementation of protocol architectures can be applied to automatically derive efficient implementations from SDL specifications. The three techniques are data referencing, integrated packet framing and activity threads. Data referencing is employed to optimize communication between process instances. Integrated packet framing allows to minimize copying overhead within process instances. The activity thread model supports the minimization of overhead for process management. In the paper, we analyze the prerequisites to apply the different optimization techniques and show how the techniques can be employed for the automatic derivation of efficient implementations from SDL specifications. Finally, we present measurements comparing the performance achievable with the different optimization techniques. The measurements are made for different implementations of the Xpress Transfer Protocol derived from an SDL specification.