Abstract
The paper presents a functional view of end-system protocol implementations whereby the protocol is decomposed into multiple functions, each causing a change in the protocol state. This view makes the interactions and the relationships among the various functional modules explicit. In terms of this view, currently prevalent architectural optimizations for performance improvement (such as `parallel executions' and `integrated layer processing') can be easily described as a set of control flow relationships among modules. If a protocol implementation is analyzed using our functional model, the possible architectural optimizations in the protocol can be easily identified and implemented without violating correctness. Thus, our approach can be used to optimize existing implementations by casting the underlying protocols in our framework, and it is particularly useful in developing implementations for new protocols.
| Original language | English (US) |
|---|---|
| Title of host publication | International Conference on Network Protocols |
| Editors | Anon |
| Publisher | IEEE Computer Society |
| Pages | 162-170 |
| Number of pages | 9 |
| State | Published - 1996 |
| Externally published | Yes |
| Event | Proceedings of the 1996 International Conference on Network Protocols - Columbus, OH, USA Duration: Oct 29 1996 → Nov 1 1996 |
Other
| Other | Proceedings of the 1996 International Conference on Network Protocols |
|---|---|
| City | Columbus, OH, USA |
| Period | 10/29/96 → 11/1/96 |
ASJC Scopus subject areas
- Software