Introduces post-copy VM migration where destination pulls memory pages on-demand after migration. Compares with pre-copy migration. Covers demand paging, active push, prepaging, dynamic self-ballooning, and evaluation showing reduced downtime and total migration time.
Presents RoboNorm for detecting inconsistent TCP retransmissions to prevent IDS evasion. Covers normalizer design, hash-based consistency checking, handling misaligned retransmissions using fitting segments, ACK promotion/demotion mechanisms, and memory-efficient implementation resisting adversarial attacks.
Describes VMware ESX Server memory management supporting overcommitment. Covers memory virtualization with PPN-to-MPN mapping, ballooning technique for reclaiming memory, demand paging with swap, content-based page sharing to eliminate redundancy, and proportional-share allocation.
Covers socket programming for network communication. Explains Unix domain and Internet sockets, TCP (connection-oriented) and UDP (connectionless) sockets, socket API (socket, bind, listen, accept, connect, send, recv), and concurrent server architectures using multi-threading and event-driven I/O.
Presents Xen paravirtualized VMM for x86 allowing multiple commodity OSes to share hardware. Covers paravirtualization approach, memory virtualization with shadow page tables, CPU virtualization using privilege rings, device I/O using shared rings, and performance evaluation.