This course teaches how to achieve both safety and performance through intra-process isolation for high-throughput data plane libraries. The learning outcomes include understanding the concept of protected libraries as a new OS abstraction, utilizing Intel's memory protection keys (PKU) for changing permissions, and implementing hardware watchpoints for asynchronous event delivery. The course aims to enhance skills in protecting high-throughput in-memory databases and user-space network stacks efficiently. The teaching method involves presenting research findings and practical implementations. The intended audience includes software developers, system architects, and professionals working with high-performance data center software stacks.
Overview
Syllabus
Introduction
Conventionalized Stack Design
Data Plane Libraries
Outline
Protected Library
Memory Protection Keys
PeekARu
Hardware Watchpoints
Cost
Hodor Alternatives
Evaluation
Evaluation Results
Taught by
USENIX