Banzai+Tatoo: Using cutting-edge parsers for implementing high-performance servers

Authors:
Julien Cervelle;Rémi Forax;Gautier Loyauté;Gilles Roussel
Affiliations:
Université Paris-Est, Laboratoire dAlgorithmique, Complexité et Logique, 94010 Créteil cedex, France;Université Paris-Est, Laboratoire dInformatique Gaspard-Monge, CNRS UMR-8049, 77454 Marne-la-Vallée cedex 2, France;Université Paris-Est, Laboratoire dInformatique Gaspard-Monge, CNRS UMR-8049, 77454 Marne-la-Vallée cedex 2, France;Université Paris-Est, Laboratoire dInformatique Gaspard-Monge, CNRS UMR-8049, 77454 Marne-la-Vallée cedex 2, France
Venue:
Science of Computer Programming
Year:
2012

Citing 16
Cited 0

On the development of reactive systems

Logics and models of concurrent systems
ANTLR: a predicated-LL(k) parser generator

Software—Practice & Experience
Packet types: abstract specification of network protocol messages

Proceedings of the conference on Applications, Technologies, Architectures, and Protocols for Computer Communication
Developing flexible and high-performance Web servers with frameworks and patterns

ACM Computing Surveys (CSUR)
SEDA: an architecture for well-conditioned, scalable internet services

SOSP '01 Proceedings of the eighteenth ACM symposium on Operating systems principles
DataScript - A Specification and Scripting Language for Binary Data

GPCE '02 Proceedings of the 1st ACM SIGPLAN/SIGSOFT conference on Generative Programming and Component Engineering
Support for Modular Parsing in Software Reengineering

STEP '97 Proceedings of the 8th International Workshop on Software Technology and Engineering Practice (STEP '97) (including CASE '97)
Architectural styles and the design of network-based software architectures

Architectural styles and the design of network-based software architectures
PADS: a domain-specific language for processing ad hoc data

Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation
When and how to develop domain-specific languages

ACM Computing Surveys (CSUR)
Tatoo: an innovative parser generator

PPPJ '06 Proceedings of the 4th international symposium on Principles and practice of programming in Java
binpac: a yacc for writing application protocol parsers

Proceedings of the 6th ACM SIGCOMM conference on Internet measurement
Network programming for the rest of Us

ATEC '03 Proceedings of the annual conference on USENIX Annual Technical Conference
A Language-Based Approach for Improving the Robustness of Network Application Protocol Implementations

SRDS '07 Proceedings of the 26th IEEE International Symposium on Reliable Distributed Systems
Verifiable composition of deterministic grammars

Proceedings of the 2009 ACM SIGPLAN conference on Programming language design and implementation
Saburo, a tool for I/O and concurrency management in servers

IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper presents how the Tatoo parser generator enables the implementation of Java high-performance servers using the Banzai generic server shell. The performance of these servers relies on the ability of Tatoo to produce push non-blocking parsers with a fixed memory footprint during parsing and on the generic and efficient server architecture of Banzai. This approach reconciles the use of formally defined grammars for protocol parsing and the efficiency of the implementation. We argue that the use of the formal grammars simplifies the implementation of the protocol and we show that an HTTP server built using the Banzai+Tatoo is as efficient as several existing specially tuned high-performance HTTP servers.