CONCURRENT PROGRAMMING OF HIGH SPEED COMMUNICATION PROTOCOLS
Christian Engel, Bernd Heinrichs · 1992
In high speed networking increasing transmission rates at decreasing error rates have caused a gap between phy- sical performance of the transmission medium and the end- to-end performance offered to the user. High speed protocols of lower layers have been developed, in some cases based on specially designed VLSl components, e.g. XTP. But lower lay- ers as well as higher levels of communication protocols require techniques for deriving efficient software implementatici from specification. We introduce a straight forward method achie- ving an efficient concurrent solution. It is based on higher Petri nets. One important part of this method is the con- current programming language PENCIL/C introduced by this paper. Some excerpts from our XTP implementation will show the power of this concept.