Popcorn: a Replicated-kernel OS Based on Linux

Antonio Barbalace, Binoy Ravindran, David Katz

Research output: Contribution to conferencePaperpeer-review

Abstract / Description of output

In recent years, the number of CPUs per platform has continuously increased, affecting almost all segmentsof the computer market. Because of this trend, many researchers have investigated the problem of how to scale operating systems better on high core-count machines. While many projects have used Linux as a vehicle for this investigation, others have proposed new OS designs. Among them, the replicated-kernel OS model, specifically the multikernel, has gained traction. In this paper, we present Popcorn: a replicated-kernel OS based on Linux. Popcorn boots multiple Linux kernel instances on multicore hardware, one per core or group of cores. Kernels communicate to give to applications the illusion that they are running on top of a single OS. Applications can freely migrate between kernels, exploiting all the hardware resources available on the platform, as in SMP Linux.
Original languageEnglish
Number of pages16
Publication statusPublished - 31 Jul 2014
EventLinux Symposium 2014 - Ottawa, Canada
Duration: 14 Jul 201416 Jul 2014


ConferenceLinux Symposium 2014
Abbreviated titleOLS 2014


Dive into the research topics of 'Popcorn: a Replicated-kernel OS Based on Linux'. Together they form a unique fingerprint.

Cite this