Continuous integration testing for the Linux kernel

How this team works to prevent bugs from being merged into the Linux kernel.
147 readers like this.
Linux kernel source code (C) in Visual Studio Code

Alex Sanchez. CC BY-SA 4.0.

With 14,000 changesets per release from over 1,700 different developers, it's clear that the Linux kernel moves quickly, and brings plenty of complexity. Kernel bugs range from small annoyances to larger problems, such as system crashes and data loss.

As the call for continuous integration (CI) grows for more and more projects, the Continuous Kernel Integration (CKI) team forges ahead with a single mission: prevent bugs from being merged into the kernel.

Linux testing problems

Many Linux distributions test the Linux kernel when needed. This testing often occurs around release time, or when users find a bug.

Unrelated issues sometimes appear, and maintainers scramble to find which patch in a changeset full of tens of thousands of patches caused the new, unrelated bug. Diagnosing the bug may require specialized hardware, a series of triggers, and specialized knowledge of that portion of the kernel.

CI and Linux

Most modern software repositories have some sort of automated CI testing that tests commits before they find their way into the repository. This automated testing allows the maintainers to find software quality issues, along with most bugs, by reviewing the CI report. Simpler projects, such as a Python library, come with tons of tools to make this process easier.

Linux must be configured and compiled prior to any testing. Doing so takes time and compute resources. In addition, that kernel must boot in a virtual machine or on a bare metal machine for testing. Getting access to certain system architectures requires additional expense or very slow emulation. From there, someone must identify a set of tests which trigger the bug or verify the fix.

How the CKI team works

The CKI team at Red Hat currently follows changes from several internal kernels, as well as upstream kernels such as the stable kernel tree. We watch for two critical events in each repository:

  1. When maintainers merge pull requests or patches, and the resulting commits in the repository change.

  2. When developers propose changes for merging via patchwork or the stable patch queue.

As these events occur, automation springs into action and GitLab CI pipelines begin the testing process. Once the pipeline runs linting scripts, merges any patches, and compiles the kernel for multiple architectures, the real testing begins. We compile kernels in under six minutes for four architectures and submit feedback to the stable mailing list usually in two hours or less. Over 100,000 kernel tests run each month and over 11,000 GitLab pipelines have completed (since January 2019). 

Each kernel is booted on its native architecture, which includes:

aarch64: 64-bit ARM, such as the Cavium (now Marvell) ThunderX.

ppc64/ppc64le: Big and little endian IBM POWER systems.

s390x: IBM Zseries mainframes.

x86_64: Intel and AMD workstations, laptops, and servers.

Multiple tests run on these kernels, including the Linux Test Project (LTP), which contains a myriad of tests using a common test harness. My CKI team open-sourced over 44 tests with more on the way.

Get involved

The upstream kernel testing effort grows day-by-day. Many companies provide test output for various kernels, including Google, Intel, Linaro, and Sony. Each effort is focused on bringing value to the upstream kernel as well as each company’s customer base.

If you or your company want to join the effort, please come to the Linux Plumbers Conference 2019 in Lisbon, Portugal. Join us at the Kernel CI hackfest during the two days after the conference, and drive the future of rapid kernel testing.

For more details, review the slides from my Texas Linux Fest 2019 talk.

User profile image.
Major Hayden is a principal software engineer at Red Hat with a focus on rapidly testing the Linux kernel. Outside of work, he writes blog posts, makes contacts on amateur radio, and loves to be outside.

Comments are closed.

Creative Commons LicenseThis work is licensed under a Creative Commons Attribution-Share Alike 4.0 International License.