Overview
Explore a 12-minute conference talk from USENIX ATC '24 that delves into the innovative concept of folio accounting in operating systems. Learn how Linux has introduced "folios" to represent multiple contiguous pages, enhancing performance through streamlined memory management. Discover the challenges of folio accounting, particularly in determining exclusive mapping in a single address space. Examine a novel tracking scheme that efficiently determines folio exclusivity with minimal overhead. Understand how this method, implemented in Linux, significantly improves fork and unmap operations, as well as the performance of fork-intensive workloads like Redis. Gain insights into the importance of accurate folio accounting for optimizing memory management operations, enforcing policies, and performing Unique Set Size accounting in operating systems.
Syllabus
USENIX ATC '24 - Every Mapping Counts in Large Amounts: Folio Accounting
Taught by
USENIX