Paving the way for NFV: simplifying middlebox modifications using StateAlyzr

摘要: Important Network Functions Virtualization (NFV) scenarios such as ensuring middlebox fault tolerance or elasticity require redistribution of internal state. While many useful frameworks exist today for migrating/ cloning state, they modifications to code identify needed is process tedious and manual, hindering the adoption frameworks. We present a framework-independent system, StateAlyzr, that embodies novel algorithms adapted from program analysis provably automatically all state must be migrated/cloned ensure consistent output in face redistribution. find StateAlyzr reducesman-hours required modification by nearly 20×. apply State-Alyzr four open source middleboxes its highly precise. large amount of, but not all, live matters toward packet processing these middleboxes. StateAlyzr's can reduce needs 600- 8000× compared naive schemes.