Run-time support for extensible protocol stacks

By implementing an extensible network protocol stack in the AMP operating system, we have demonstrated support for fine-grained replacement of low-level network processing components. Furthermore, our compiler technology approach provides the means to support multiple hardware architectures and a framework for enforcing safety and security properties during runtime code generation. Our preliminary results indicate that our approach is feasible, has comparable per-packet processing costs to static code, and has acceptable per-module loading and code generation costs.