The packer filter: an efficient mechanism for user-level network code
SOSP '87 Proceedings of the eleventh ACM Symposium on Operating systems principles
Partial evaluation and automatic program generation
Partial evaluation and automatic program generation
SIGGRAPH '95 Proceedings of the 22nd annual conference on Computer graphics and interactive techniques
Multi-stage programming with explicit annotations
PEPM '97 Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
An engineering approach to computer networking: ATM networks, the Internet, and the telephone network
From system F to typed assembly language
POPL '98 Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Run-time code generation and modal-ML
PLDI '98 Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation
PLAN: a packet language for active networks
ICFP '98 Proceedings of the third ACM SIGPLAN international conference on Functional programming
Static and Dynamic Program Compilation by Interpreter Specialization
Higher-Order and Symbolic Computation
Certifying Compilation and Run-Time Code Generation
Higher-Order and Symbolic Computation
Network Programming Using PLAN
ICCL'98 Workshop on Internet Programming Languages
Active Networking Means Evolution (or Enhanced Extensibility Required)
IWAN '00 Proceedings of the Second International Working Conference on Active Networks
A Uniform Approach for Compile-Time and Run-Time Specialization
Selected Papers from the Internaltional Seminar on Partial Evaluation
Fast, Optimized Sun RPC Using Automatic Program Specialization
ICDCS '98 Proceedings of the The 18th International Conference on Distributed Computing Systems
Evolution in Action: Using Active Networking to Evolve Network Support for Mobility
IWAN '02 Proceedings of the IFIP-TC6 4th International Working Conference on Active Networks
| Hi-index | 0.00 |
This paper introduces the notion of self-specializing mobile code, a program that is transmitted over a network and automatically customizes itself to its destination. The benefits of this approach, higher performance without compromising safety, is accomplished through a combination of program specialization and program verification. We showh ow self-specializing mobile code can be used to create an adaptive network service, i.e., a service that is transmitted to a destination, where it adapts itself with respect to properties it detects on the destination node. We have designed and implemented an active network, called FAST-net, that is Fast, Adaptive, Safe, and Typed. FASTnet is based on the PLANet active network, but accommodates adaptive network services. Experimental results showad aptive network services can run over 4 times faster than normal network services without compromising the safety of the network.