We're sorry but this page doesn't work properly without JavaScript enabled. Please enable it to continue.
Feedback

The Anykernel and Rump Kernels

00:00

Formale Metadaten

Titel
The Anykernel and Rump Kernels
Serientitel
Anzahl der Teile
90
Autor
Lizenz
CC-Namensnennung 2.0 Belgien:
Sie dürfen das Werk bzw. den Inhalt zu jedem legalen Zweck nutzen, verändern und in unveränderter oder veränderter Form vervielfältigen, verbreiten und öffentlich zugänglich machen, sofern Sie den Namen des Autors/Rechteinhabers in der von ihm festgelegten Weise nennen.
Identifikatoren
Herausgeber
Erscheinungsjahr
Sprache

Inhaltliche Metadaten

Fachgebiet
Genre
Abstract
This talk will introduce the concepts of the anykernel and rump kernels, motivate their existence, and show a few cool tricks that are unique benefits. We will not go deep into technical detail -- basic knowledge of operating systems is enough to follow the talk. The anykernel is a new way of looking at kernel architecture. Conventional models such as the monolithic kernel, microkernel and exokernel dictate the execution model for kernel drivers. In contrast, the anykernel states that any of these should be possible as a runtime choice. A rump kernel is a lightweight virtualized driver execution environment. Typically, OS virtualization means that the application execution environment is virtualized. In contrast, the rump kernel is designed for ultralightweight kernel driver virtualization. Benefits of using rump kernels include millisecond bootstrap times and a small memory footprint. A production quality implementation of the concepts is available in NetBSD 6. The implementation lends itself to various use cases, such as isolating kernel drivers into separate servers on an on-demand basis and reusing kernel drivers in a library fashion such as for accessing file system images. In addition to providing a basic overview of the concepts and benefits, the talk will introduce recent developments. An example of such is a script for building rump kernels for non-NetBSD platforms which allows NetBSD kernel drivers such as the TCP/IP stack to be leveraged on platforms beyond NetBSD. As a demonstration, the NetBSD kernel FFS driver will be run in a browser. This is accomplished by compiling the driver with a C-to-javascript compiler and running a rump kernel on top of a hypervisor provided by the javascript environment.
Kernel <Informatik>Weg <Topologie>Kernel <Informatik>Web-SeiteBasis <Mathematik>Computeranimation
SoftwaretestImplementierungElektronische PublikationBasis <Mathematik>Bildgebendes VerfahrenLeistung <Physik>BildschirmfensterMereologieDemo <Programm>Notebook-ComputerVerzeichnisdienstDateiverwaltungOpen SourcePhysikalisches SystemZeiger <Informatik>Virtuelle MaschineVorlesung/Konferenz
ThreadGeradeBitProgrammierungKartesische KoordinatenInhalt <Mathematik>Elektronische PublikationProzess <Informatik>BootenDateiverwaltungMultiplikationsoperatorZahlenbereichCachingVirtualisierungKernel <Informatik>Nichtlinearer OperatorCodeMinkowski-MetrikIterationZweiBruchrechnungLesen <Datenverarbeitung>Installation <Informatik>VerzeichnisdienstKontextbezogenes SystemFunktionalBitZeiger <Informatik>Physikalisches SystemGeradeProgramm/Quellcode
Kernel <Informatik>p-BlockDruckertreiberTreiber <Programm>MenütechnikKernel <Informatik>Physikalisches SystemKartesische KoordinatenDateiformatBitVirtualisierungSystemaufrufSeitentabelleCodeMikrokernelNichtlinearer OperatorDateiverwaltungNormalvektorTreiber <Programm>Web-SeiteLastQuellcodeKoroutineTermBacktrackingSichtenkonzeptPartitionsfunktionCASE <Informatik>Demo <Programm>TouchscreenQuick-SortProzess <Informatik>Elektronische PublikationZeitrichtungObjekt <Kategorie>BinärcodeProgramm/QuellcodeFlussdiagramm
GeradeTreiber <Programm>MikrokernelMereologieKernel <Informatik>LaufzeitfehlerEndliche ModelltheorieMinkowski-MetrikDateiverwaltungServerSchreiben <Datenverarbeitung>ImplementierungVorlesung/Konferenz
Kernel <Informatik>BimodulElektronische PublikationBitProgrammbibliothekMini-DiscZusammenhängender GraphKernel <Informatik>InstantiierungDruckertreiberFunktionalEigentliche AbbildungCodeModallogikSchnittmengeComputeranimation
Kernel <Informatik>Treiber <Programm>InstantiierungKonfigurationsraumHilfsprogrammCodePunktVorlesung/Konferenz
Kernel <Informatik>RahmenproblemQuick-SortKeller <Informatik>SystemaufrufInterface <Schaltung>Kernel <Informatik>HalbleiterspeicherKartesische KoordinatenElektronische PublikationDifferenteMultiplikationTreiber <Programm>ImplementierungMultiplikationsoperatorSoftwaretestDruckertreiberComputeranimationFlussdiagramm
SoftwaretestRadikal <Mathematik>VerzeichnisdienstBootstrap-AggregationGüte der AnpassungServerDifferenteCodeSoftwaretestQuellcodeSchnittmengeKernel <Informatik>ZeichenketteSoftwareZusammenhängender GraphProgrammschemaDateiverwaltungSocketClientDruckertreiberAdressraumComputeranimationProgramm/Quellcode
Demo <Programm>BildschirmfensterHalbleiterspeicherElektronische PublikationGemeinsamer SpeicherBitProgramm/QuellcodeComputeranimation
AdressraumAuflösung <Mathematik>Explosion <Stochastik>BroadcastingverfahrenVersionsverwaltungInternetworkingHIP <Kommunikationsprotokoll>MereologieKontrollstrukturKeller <Informatik>ServerBildschirmfensterBootstrap-AggregationComputeranimation
RahmenproblemThreadGeradeDatumsgrenzeProzess <Informatik>ServerClientSoftwareSoftwaretestZahlenbereichKonfigurationsraumAdressraumMinkowski-MetrikKernel <Informatik>SkriptspracheKeller <Informatik>VersionsverwaltungMultiplikationsoperatorLokales MinimumNabel <Mathematik>Web-SeiteStandardabweichungZweiQuellcodeComputeranimationProgramm/Quellcode
Keller <Informatik>SoftwareRuhmasseProzess <Informatik>Vorlesung/Konferenz
HardwareQuellcodeDemo <Programm>DruckertreiberSoftwareFigurierte ZahlProjektive EbeneInterrupt <Informatik>Kernel <Informatik>HardwareKartesische KoordinatenTreiber <Programm>Basis <Mathematik>ComputeranimationVorlesung/Konferenz
CASE <Informatik>KonfigurationsraumTabelleSoftwareClientServerPhysikalisches SystemKernel <Informatik>Treiber <Programm>Endliche ModelltheorieXMLComputeranimation
Prozess <Informatik>ServerKernel <Informatik>ClientCodeTelekommunikationMultiplikationsoperatorAdressraumDemo <Programm>Computeranimation
StellenringServerClientProzess <Informatik>MultiplikationsoperatorZahlenbereichProgramm/Quellcode
AggregatzustandProzess <Informatik>Elektronische PublikationDemo <Programm>MultiplikationsoperatorPunktKontrollstrukturBitKartesische KoordinatenKernel <Informatik>VerzeichnisdienstAdressraumDateiverwaltungProgramm/Quellcode
SystemaufrufDienst <Informatik>Kernel <Informatik>Treiber <Programm>DateiverwaltungKontrollstrukturServerMultiplikationsoperatorPunktSystemaufrufPhysikalisches SystemSoftwaretestEindeutigkeitKartesische KoordinatenSocket-SchnittstelleNamensraumKernel <Informatik>Automatische HandlungsplanungStellenringProgramm/QuellcodeComputeranimation
IterationKernel <Informatik>CodeDruckertreiberMultiplikationsoperatorSystemverwaltungParametersystemStabilitätstheorie <Logik>HardwareServerMaschinenspracheBetriebssystemDateiverwaltungSoftwaretestCASE <Informatik>ImplementierungLeistung <Physik>TelekommunikationMini-DiscGlobale OptimierungMinkowski-MetrikPerspektiveVorlesung/KonferenzXML
Bus <Informatik>OrdinalzahlZweiMessage-PassingBefehlsprozessorSoundverarbeitungBetriebssystemTwitter <Softwareplattform>VirtualisierungLesen <Datenverarbeitung>Kernel <Informatik>Zusammenhängender GraphPhysikalisches SystemThreadMereologieVorlesung/Konferenz
Globale OptimierungQuellcodePunktCoprozessorHackerHidden-Markov-ModellTreiber <Programm>CompilerVirtuelle RealitätBrowserComputeranimation
Cross-site scriptingKernel <Informatik>InternetworkingBenutzerbeteiligungTreiber <Programm>BrowserKernel <Informatik>DruckertreiberDemo <Programm>SchnittmengeInterface <Schaltung>Computeranimation
QuellcodePhysikalisches SystemVirtuelle MaschineURLProgrammbibliothekHilfesystemSkriptspracheKernel <Informatik>Open SourceXML
Physikalisches SystemKonstanteTypentheorieForcingZusammenhängender GraphKernel <Informatik>VektorpotenzialVersionsverwaltungVorlesung/Konferenz
SchaltwerkBeweistheorieKernel <Informatik>Physikalische TheoriePhysikalisches SystemRechenschieberBitNichtlinearer OperatorBetriebssystemXMLVorlesung/Konferenz
VerschlingungAnalogieschlussKernel <Informatik>SystemplattformAdditionImplementierungBetriebssystemSkriptspracheVorlesung/Konferenz
ClientExplosion <Stochastik>Kernel <Informatik>Lesen <Datenverarbeitung>Physikalisches SystemZeichenketteVerkehrsinformationCodeResultanteAdditionDickeBetriebssystemProgrammfehlerDifferenzenrechnungLesezeichen <Internet>DateiverwaltungPatch <Software>VersionsverwaltungMailing-ListeTreiber <Programm>DifferenteWort <Informatik>Computeranimation
ProgrammbibliothekAuthentifikationDickeKernel <Informatik>ZeichenketteWurzel <Mathematik>RPCProzess <Informatik>FunktionalPhysikalische TheorieClientTypentheorieKette <Mathematik>Güte der AnpassungProjektive EbeneStatistische HypotheseVorlesung/Konferenz
Quick-SortDateiverwaltungThreadKeller <Informatik>MultiplikationTreiber <Programm>Software
Physikalisches SystemSystemaufrufStreaming <Kommunikationstechnik>Kartesische KoordinatenBrowserKernel <Informatik>DistributionenraumSystemzusammenbruchCASE <Informatik>Interrupt <Informatik>Elektronisches ForumMultiplikationsoperatorFehlermeldungGamecontrollerEndliche ModelltheorieCodeKeller <Informatik>BitKontrollstrukturSoftwareProtokoll <Datenverarbeitungssystem>DatenflussWeb-SeiteComputeranimationVorlesung/Konferenz
Transkript: Englisch(automatisch erzeugt)