Paramecium: An Extensible Object-Based Kernel

L. van Doorn, P. Homburg, A.S. Tanenbaum

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Abstract

In this paper we describe the design of an extensible kernel, called Paramecium. This kernel uses an object-based software architecture which together with instance naming, late binding and explicit overrides enables easy reconfiguration. Determining which components reside in the kernel protection domain is up to the user. An certification authority or one of its delegates certifies which components are trustworthy and therefore permitted to run in the kernel protection domain. These delegates may include validation programs, correctness provers, and system administrators. The main advantage of certifications is that it can handle trust and sharing in a non-cooperative environment.
Original languageEnglish
Title of host publicationProceedings of the Workshop on Hot Topics in Operating Systems - HOTOS
PublisherIEEE
Pages86-89
Number of pages4
DOIs
Publication statusPublished - 1995
Event5th Workshop on Hot Topics in Operating Systems (HOTOS-V) - Orcas Island, United States
Duration: 4 May 19955 May 1995

Workshop

Workshop5th Workshop on Hot Topics in Operating Systems (HOTOS-V)
CountryUnited States
CityOrcas Island
Period4/05/955/05/95

Fingerprint

Dive into the research topics of 'Paramecium: An Extensible Object-Based Kernel'. Together they form a unique fingerprint.

Cite this