The mechanics of in-kernel synchronization for a scalable microkernel

Systems with minimal kernels address the problem of ever-increasing system software complexity by strict separation of resource permission management and resource policies into different trust domains. Lately, such system structure has found wide attention in the research community and industry in t...

Full description

Saved in:
Bibliographic Details
Published in:Operating systems review 2007-07, Vol.41 (4), p.49-58
Main Author: Uhlig, Volkmar
Format: Article
Language:English
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
cited_by cdi_FETCH-LOGICAL-c253t-dc9130a578ddac756c777b9927732f6c0e9ec7c47030cc2c19b5f41efd099fc43
cites cdi_FETCH-LOGICAL-c253t-dc9130a578ddac756c777b9927732f6c0e9ec7c47030cc2c19b5f41efd099fc43
container_end_page 58
container_issue 4
container_start_page 49
container_title Operating systems review
container_volume 41
creator Uhlig, Volkmar
description Systems with minimal kernels address the problem of ever-increasing system software complexity by strict separation of resource permission management and resource policies into different trust domains. Lately, such system structure has found wide attention in the research community and industry in the form of hypervisors and virtual machines. With an increasing number of processors, these systems face a scalability problem. The separation eliminates semantic information about the expected parallelism for individual resources, such as memory pages or processors. Hence, the kernel is unable to optimize its synchronization primitives on a case-by-case basis---a precondition for a scalable, yet well-performing system. In this paper we present an adaptive synchronization scheme, one of the core building block for scalable microkernels. Herewith, unprivileged components (like virtual machines) can express the degree of concurrency at the granularity of individual resources. The kernel can safely adapt and optimize its internal synchronization regime on a case-by-case basis as we show exemplary for inter-process communication and the memory management subsystem of an L4 microkernel.
doi_str_mv 10.1145/1278901.1278909
format article
fullrecord <record><control><sourceid>proquest_cross</sourceid><recordid>TN_cdi_proquest_miscellaneous_31005310</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>31005310</sourcerecordid><originalsourceid>FETCH-LOGICAL-c253t-dc9130a578ddac756c777b9927732f6c0e9ec7c47030cc2c19b5f41efd099fc43</originalsourceid><addsrcrecordid>eNotkDFPwzAQhT2ARCnMrJ7Y0t7FcRyPqCpQqRJLmSP3YquG1C52O5RfT1CyvG_57vT0GHtCWCBWcomlajTgYqS-YTPAWhRSN3DH7nP-AsAGa5yx9e5g-dHSwQRPmUfHfSi-bQq25_ka6JBi8L_m7GPgLiZueCbTm30_XHlKcVQf2K0zfbaPE-fs83W9W70X24-3zeplW1ApxbnoSKMAI1XTdYaUrEkptde6VEqUriaw2pKiSoEAopJQ76Wr0LoOtHZUiTl7Hv-eUvy52Hxujz6T7XsTbLzkViCAHGIQl6M4VMw5Wdeekj-adG0R2v-J2mmiiVr8AfkFWzI</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>31005310</pqid></control><display><type>article</type><title>The mechanics of in-kernel synchronization for a scalable microkernel</title><source>Association for Computing Machinery:Jisc Collections:ACM OPEN Journals 2023-2025 (reading list)</source><creator>Uhlig, Volkmar</creator><creatorcontrib>Uhlig, Volkmar</creatorcontrib><description>Systems with minimal kernels address the problem of ever-increasing system software complexity by strict separation of resource permission management and resource policies into different trust domains. Lately, such system structure has found wide attention in the research community and industry in the form of hypervisors and virtual machines. With an increasing number of processors, these systems face a scalability problem. The separation eliminates semantic information about the expected parallelism for individual resources, such as memory pages or processors. Hence, the kernel is unable to optimize its synchronization primitives on a case-by-case basis---a precondition for a scalable, yet well-performing system. In this paper we present an adaptive synchronization scheme, one of the core building block for scalable microkernels. Herewith, unprivileged components (like virtual machines) can express the degree of concurrency at the granularity of individual resources. The kernel can safely adapt and optimize its internal synchronization regime on a case-by-case basis as we show exemplary for inter-process communication and the memory management subsystem of an L4 microkernel.</description><identifier>ISSN: 0163-5980</identifier><identifier>DOI: 10.1145/1278901.1278909</identifier><language>eng</language><ispartof>Operating systems review, 2007-07, Vol.41 (4), p.49-58</ispartof><woscitedreferencessubscribed>false</woscitedreferencessubscribed><citedby>FETCH-LOGICAL-c253t-dc9130a578ddac756c777b9927732f6c0e9ec7c47030cc2c19b5f41efd099fc43</citedby><cites>FETCH-LOGICAL-c253t-dc9130a578ddac756c777b9927732f6c0e9ec7c47030cc2c19b5f41efd099fc43</cites></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><link.rule.ids>314,780,784,27924,27925</link.rule.ids></links><search><creatorcontrib>Uhlig, Volkmar</creatorcontrib><title>The mechanics of in-kernel synchronization for a scalable microkernel</title><title>Operating systems review</title><description>Systems with minimal kernels address the problem of ever-increasing system software complexity by strict separation of resource permission management and resource policies into different trust domains. Lately, such system structure has found wide attention in the research community and industry in the form of hypervisors and virtual machines. With an increasing number of processors, these systems face a scalability problem. The separation eliminates semantic information about the expected parallelism for individual resources, such as memory pages or processors. Hence, the kernel is unable to optimize its synchronization primitives on a case-by-case basis---a precondition for a scalable, yet well-performing system. In this paper we present an adaptive synchronization scheme, one of the core building block for scalable microkernels. Herewith, unprivileged components (like virtual machines) can express the degree of concurrency at the granularity of individual resources. The kernel can safely adapt and optimize its internal synchronization regime on a case-by-case basis as we show exemplary for inter-process communication and the memory management subsystem of an L4 microkernel.</description><issn>0163-5980</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2007</creationdate><recordtype>article</recordtype><recordid>eNotkDFPwzAQhT2ARCnMrJ7Y0t7FcRyPqCpQqRJLmSP3YquG1C52O5RfT1CyvG_57vT0GHtCWCBWcomlajTgYqS-YTPAWhRSN3DH7nP-AsAGa5yx9e5g-dHSwQRPmUfHfSi-bQq25_ka6JBi8L_m7GPgLiZueCbTm30_XHlKcVQf2K0zfbaPE-fs83W9W70X24-3zeplW1ApxbnoSKMAI1XTdYaUrEkptde6VEqUriaw2pKiSoEAopJQ76Wr0LoOtHZUiTl7Hv-eUvy52Hxujz6T7XsTbLzkViCAHGIQl6M4VMw5Wdeekj-adG0R2v-J2mmiiVr8AfkFWzI</recordid><startdate>200707</startdate><enddate>200707</enddate><creator>Uhlig, Volkmar</creator><scope>AAYXX</scope><scope>CITATION</scope><scope>7SC</scope><scope>8FD</scope><scope>JQ2</scope><scope>L7M</scope><scope>L~C</scope><scope>L~D</scope></search><sort><creationdate>200707</creationdate><title>The mechanics of in-kernel synchronization for a scalable microkernel</title><author>Uhlig, Volkmar</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c253t-dc9130a578ddac756c777b9927732f6c0e9ec7c47030cc2c19b5f41efd099fc43</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2007</creationdate><toplevel>online_resources</toplevel><creatorcontrib>Uhlig, Volkmar</creatorcontrib><collection>CrossRef</collection><collection>Computer and Information Systems Abstracts</collection><collection>Technology Research Database</collection><collection>ProQuest Computer Science Collection</collection><collection>Advanced Technologies Database with Aerospace</collection><collection>Computer and Information Systems Abstracts – Academic</collection><collection>Computer and Information Systems Abstracts Professional</collection><jtitle>Operating systems review</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Uhlig, Volkmar</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>The mechanics of in-kernel synchronization for a scalable microkernel</atitle><jtitle>Operating systems review</jtitle><date>2007-07</date><risdate>2007</risdate><volume>41</volume><issue>4</issue><spage>49</spage><epage>58</epage><pages>49-58</pages><issn>0163-5980</issn><abstract>Systems with minimal kernels address the problem of ever-increasing system software complexity by strict separation of resource permission management and resource policies into different trust domains. Lately, such system structure has found wide attention in the research community and industry in the form of hypervisors and virtual machines. With an increasing number of processors, these systems face a scalability problem. The separation eliminates semantic information about the expected parallelism for individual resources, such as memory pages or processors. Hence, the kernel is unable to optimize its synchronization primitives on a case-by-case basis---a precondition for a scalable, yet well-performing system. In this paper we present an adaptive synchronization scheme, one of the core building block for scalable microkernels. Herewith, unprivileged components (like virtual machines) can express the degree of concurrency at the granularity of individual resources. The kernel can safely adapt and optimize its internal synchronization regime on a case-by-case basis as we show exemplary for inter-process communication and the memory management subsystem of an L4 microkernel.</abstract><doi>10.1145/1278901.1278909</doi><tpages>10</tpages></addata></record>
fulltext fulltext
identifier ISSN: 0163-5980
ispartof Operating systems review, 2007-07, Vol.41 (4), p.49-58
issn 0163-5980
language eng
recordid cdi_proquest_miscellaneous_31005310
source Association for Computing Machinery:Jisc Collections:ACM OPEN Journals 2023-2025 (reading list)
title The mechanics of in-kernel synchronization for a scalable microkernel
url http://sfxeu10.hosted.exlibrisgroup.com/loughborough?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-06T10%3A58%3A12IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest_cross&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=The%20mechanics%20of%20in-kernel%20synchronization%20for%20a%20scalable%20microkernel&rft.jtitle=Operating%20systems%20review&rft.au=Uhlig,%20Volkmar&rft.date=2007-07&rft.volume=41&rft.issue=4&rft.spage=49&rft.epage=58&rft.pages=49-58&rft.issn=0163-5980&rft_id=info:doi/10.1145/1278901.1278909&rft_dat=%3Cproquest_cross%3E31005310%3C/proquest_cross%3E%3Cgrp_id%3Ecdi_FETCH-LOGICAL-c253t-dc9130a578ddac756c777b9927732f6c0e9ec7c47030cc2c19b5f41efd099fc43%3C/grp_id%3E%3Coa%3E%3C/oa%3E%3Curl%3E%3C/url%3E&rft_id=info:oai/&rft_pqid=31005310&rft_id=info:pmid/&rfr_iscdi=true