On parallelizing and optimizing the implementation of communication protocols

We present a method for the automatic derivation of efficient protocol implementations from a formal specification. Optimized efficient protocol implementation has become an important issue in telecommunications systems engineering as recently network throughput has increased much faster than computer processing power. Efficiency will be attained by two measures. First, the inherent parallelism in protocol specifications will be exploited. Second, the order of execution of the operations involved in the processing of the protocol data will be allowed to differ from the order prescribed in the specification, thus allowing operations to be executed jointly and more efficiently. The method will be defined formally which is useful when implementing it as a tool.

• Publication year

  1996

• Venue

  TNET

• Publication date

  1996-02-01

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1109/90.503762
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• OpParIm: A method and tool for optimized parallel protocol implementation

  1996cited by this paper
• A Survey of Parallelism in Communication Subsystems

  1994cited by this paper
• Methods and semantics for telecommunications systems engineering

  1994cited by this paper
• From SDL specifications to optimized parallel protocol implementations

  1994cited by this paper
• Formalizations and algorithms for optimized parallel protocol implementation

  1994cited by this paper
• Alternative software architectures for parallel protocol execution with synchronous IPC

  1993cited by this paper
• On the integration of model-based performance optimization and program implementation

  1993cited by this paper
• Increasing network throughput by integrating protocol layers

  1993cited by this paper
• An Estelle Compiler for Multiprocessor Platforms

  1993cited by this paper
• Optimization techniques for parallel protocol implementation

  1993cited by this paper
• Using Formal Description Techniques: An Introduction to Estelle, Lotos, and SDL

  1993cited by this paper
• Automatic program parallelization

  1993cited by this paper
• A Multiprocessor Approach for Meeting the Processing Requirements for OSI

  1993cited by this paper
• High-Speed OSI Protocol Bypass Altorithm with Window Flow Control

  1992cited by this paper
• Is layering, harmful? (remote procedure call)

  1992cited by this paper
• Parallel Transport System Design

  1992cited by this paper
• Is Layering Harmful

  1992cited by this paper
• Chitra: Visual Analysis of Parallel and Distributed Programs in the Time, Event, and Frequency Domains

  1992cited by this paper
• A Parallel Approach to OSI Connection-Oriented Protocols

  1992cited by this paper
• The x-Kernel: An Architecture for Implementing Network Protocols

  1991cited by this paper
• SDL - with applications from protocol specification

  1991cited by this paper
• Data flow analysis of communicating finite state machines

  1991cited by this paper
• Architectural considerations for a new generation of protocols

  1990cited by this paper
• VLSI implementations of communication protocols-a survey

  1989cited by this paper
• Protocol Engineering

  1989cited by this paper
• Advanced compiler optimizations for supercomputers

  1986cited by this paper
• The structuring of systems using upcalls

  1985cited by this paper
• The program dependence graph and its use in optimization

  1984cited by this paper

• Integration of service oriented WSN and IoT for E-Commerce

  2015cites this paper
• Understanding and mitigating security and authentication issues in service oriented network architecture

  2015cites this paper
• Exploration of access control mechanisms for service-oriented network architecture

  2015cites this paper
• Broker's Communication for Service Oriented Network Architecture

  2012cites this paper
• Power Efficient Scheduling for Network Applications on Multicore Architecture

  2011cites this paper
• LATA: A latency and Throughput-Aware packet processing system

  2010influential citation
• Efficient protocol design flow for embedded systems

  2009cites this paper
• Dynamic power management for UML modeled applications on multiprocessor SoC

  2007cites this paper
• UDT: UDP-based data transfer for high-speed wide area networks

  2007cites this paper
• MSR: a multi-service provisioning implementation in metro network based on RPR

  2006cites this paper
• Parallelized control protocols for high-performance routers

  2005cites this paper
• Experiences in Design and Implementation of a High Performance Transport Protocol

  2004cites this paper
• SABUL: A High Performance Data Transfer Protocol

  2003cites this paper
• Automated Derivation of ILP Implementations from SDL Specifications

  2001cites this paper
• Performance measures of intelligent computer network nodes

  2000cites this paper
• JADE: An embedded systems specification, code generation and optimization tool

  2000cites this paper
• Improving the efficiency of automated protocol implementations using a configurable FDT compiler

  2000cites this paper
• Towards the automatic generation of quality-of-service-preserving implementations from formal specifications

  1999cites this paper
• Deriving Activity Thread Implementations from Formal Descriptions Using Transition Reordering

  1999cites this paper
• Formal Methods for Protocol Engineering and Distributed Systems

  1999cites this paper
• Formal Methods for Broadband and Multimedia Systems

  1997cites this paper
• Derivation of efficient implementations from SDL specifications employing data referencing, integrated packet framing and activity threads

  1997cites this paper
• On the Influence of Semantic Constraints on the Code Generation from Estelle Specifications

  1997cites this paper
• OpParIm: A method and tool for optimized parallel protocol implementation

  1996cites this paper
• Automated Derivation of Efficient Implementations from SDL Specifications

  1996cites this paper