A Page Coherency Protocol for Popcorn Replicated-kernel Operating System

Marina Sadini, Antonio Barbalace, Binoy Ravindran, Francesco Quaglia

Research output: Contribution to conferencePaperpeer-review


Popcorn is a Linux based replicated-kernel Operating System (OS). Popcorn was conceived as a research OS for a wide class of future heterogeneous-ISA hardware. Because of the novelty of such hardware, in which diverse OS-capable CPUs are glued together, it is not clear what level of memory sharing will be provided across these CPUs. In this paper we consider a setup in which diverse CPUs do not share memory. We addressed the problem of providing a coherent replicated process address space amongst different kernels, running on those CPUs, by proposing a new page coherency protocol. We deploy this protocol in Popcorn OS while adding additional functionalities to the Linux kernelto support inter-kernel thread migration and coordination. We tested and evaluated a prototype version of this work in an emulated environment; results show that the proposed page coherency protocol is effective and the implementation adheres to the model.
Original languageEnglish
Number of pages8
Publication statusPublished - 28 Oct 2013
EventMany-Core Architecture Research Community (MARC) Symposium
at SPLASH 2013
- Indianapolis, United States
Duration: 28 Oct 201328 Oct 2013


ConferenceMany-Core Architecture Research Community (MARC) Symposium
at SPLASH 2013
Abbreviated titleMARC 2013
CountryUnited States
Internet address


  • Operating Systems
  • Process Management
  • Multiprocessing
  • multitasking
  • multiprogramming
  • Threads
  • Storage Management
  • Virtual memory
  • Distributed systems
  • Algorithms
  • Experimentation
  • Software Page Coherency
  • Replicated-kernel
  • Operating System
  • Thread Migration
  • Linux

Fingerprint Dive into the research topics of 'A Page Coherency Protocol for Popcorn Replicated-kernel Operating System'. Together they form a unique fingerprint.

Cite this