Rethinking Communication in Multiple-kernel OSes for New Shared Memory Interconnects

Antonio Barbalace, Pierre Olivier, Binoy Ravindran

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

Future computer platforms will likely be built with a multitude of on-chip and off-chip processing units being potentially of different ISAs, OS-capable, and sharing memory with a form of consistency. Multiple-kernel OSes, from multikernels to single-system image OSes, have been demonstrated to mange such platforms efficiently, but they assume no shared memory between kernels as a founding principle. This position paper proposes a new multiple-kernel OS design, which leverages consistent shared memory across homogeneous and heterogeneous processing units in a machine. Among other benefits, this design enables porting commodity SMPOSes to such future platforms, capitalizing on their shared memory programming model, and extend them to multiple-kernel OSes. Here in we present such design, based on two new software primitives tackling the problem of sharing and data format differences between eventually heterogeneous computing units: typed shared memory and type-morphable executable code. We also describe an initial implementation built around Popcorn Linux for x86 and ARM.
Original languageEnglish
Title of host publicationProceedings of the 10th Workshop on Programming Languages and Operating Systems
Place of PublicationNew York, NY, USA
PublisherAssociation for Computing Machinery (ACM)
Pages45-52
Number of pages8
ISBN (Print)978-1-4503-7017-2
DOIs
Publication statusPublished - 27 Oct 2019
EventTenth Workshop on Programming Languages and Operating Systems 2019 - Huntsville, Canada
Duration: 27 Oct 201927 Oct 2019
https://sosp19.rcs.uwaterloo.ca/workshops.html#plos

Workshop

WorkshopTenth Workshop on Programming Languages and Operating Systems 2019
Abbreviated titlePLOS 2019
CountryCanada
CityHuntsville
Period27/10/1927/10/19
Internet address

Fingerprint

Dive into the research topics of 'Rethinking Communication in Multiple-kernel OSes for New Shared Memory Interconnects'. Together they form a unique fingerprint.

Cite this