Aug 24 – 28, 2020
US/Pacific timezone

Understanding Linux Lists

Aug 25, 2020, 7:10 AM
Microconference2/Virtual-Room (LPC Virtual)


LPC Virtual

Kernel Dependability & Assurance MC Kernel Dependability & Assurance MC


Julia Lawall (Inria) Nic Volanschi (Inira)


Understanding the Linux kernel source code requires understanding the role played by different entities. An interesting example is the case of structures of type list_head. Some are actually heads of lists. Others are inlined inside of list elements. Documentation about which are which, and which heads are connected to which elements, is not systematic. We have developed a tool, Liliput, that takes into account how list_head structures are used to reconstruct this information. We have used the tool to find a few bugs, as well as to uncover some interesting list programming paradigms.

I agree to abide by the anti-harassment policy I agree

Primary authors

Presentation materials

Diamond Sponsor

Platinum Sponsors

Gold Sponsors

Silver Sponsors

Catchboxes Sponsor

Conference Services Provided By