Safe and Efficient Active Packets

We present a new scheme for active, or programmable, packets based upon a new packet language, SNAP (Safe Networking with Active Packets). SNAP's semantics permit us to prove that all SNAP programs are safe with respect to network resource usage and evaluation isolation. Furthermore, we describe an implementation of a SNAP interpreter, snapd, which achieves high performance for standard networking tasks. This work represents the first active packet system that is demonstrated to be both safe and efficient. Comments University of Pennsylvania Department of Computer and Information Science Technical Report No.MSCIS-99-24. This technical report is available at ScholarlyCommons: http://repository.upenn.edu/cis_reports/181 Safe and Efficient Active Packets

[1]  Jon Postel,et al.  Internet Protocol , 1981, RFC.

[2]  Carl A. Gunter,et al.  PLANet: an active internetwork , 1999, IEEE INFOCOM '99. Conference on Computer Communications. Proceedings. Eighteenth Annual Joint Conference of the IEEE Computer and Communications Societies. The Future is Now (Cat. No.99CH36320).

[3]  John V. Guttag,et al.  ANTS: a toolkit for building and dynamically deploying network protocols , 1998, 1998 IEEE Open Architectures and Network Programming.

[4]  David Wetherall,et al.  Service introduction in an active network , 1998 .

[5]  Robert Wahbe,et al.  Efficient software-based fault isolation , 1994, SOSP '93.

[6]  R. D. Rockwell,et al.  Smart Packets for active networks , 1999, 1999 IEEE Second Conference on Open Architectures and Network Programming. Proceedings. OPENARCH '99 (Cat. No.99EX252).

[7]  Jon Postel,et al.  Internet Control Message Protocol , 1981, RFC.

[8]  Carl A. Gunter,et al.  PLAN: a packet language for active networks , 1998, ICFP '98.

[9]  Stephen J. Garland,et al.  PAN: a high-performance active network node supporting multiple mobile code systems , 1999, 1999 IEEE Second Conference on Open Architectures and Network Programming. Proceedings. OPENARCH '99 (Cat. No.99EX252).

[10]  Jeffrey D. Case,et al.  Simple Network Management Protocol (SNMP) , 1989, RFC.

[11]  Ian Piumarta,et al.  Optimizing direct threaded code by selective inlining , 1998, PLDI 1998.

[12]  David Wetherall,et al.  Improving the performance of distributed applications using active networks , 1998, Proceedings. IEEE INFOCOM '98, the Conference on Computer Communications. Seventeenth Annual Joint Conference of the IEEE Computer and Communications Societies. Gateway to the 21st Century (Cat. No.98.

[13]  Jon Postel,et al.  User Datagram Protocol , 1980, RFC.

[14]  Ray Jain,et al.  The art of computer systems performance analysis - techniques for experimental design, measurement, simulation, and modeling , 1991, Wiley professional computing.