Date: Mon, 5 Oct 1998 14:41:58 -0400 (EDT) From: Chuck Robey <chuckr@mat.net> To: Niall Smart <nialls@euristix.ie> Cc: hackers@FreeBSD.ORG Subject: Re: MIT Exokernel OS Message-ID: <Pine.BSF.4.05.9810051439540.15656-100000@picnic.mat.net> In-Reply-To: <98Oct5.182253bst.19713@gateway.euristix.ie>
next in thread | previous in thread | raw e-mail | index | archive | help
On Mon, 5 Oct 1998, Niall Smart wrote: > This looks interesting: > > MIT Exokernel Operating System > > An operating system is interposed between applications and the > physical hardware. Therefore, its structure has a dramatic impact on > the performance and the scope of applications that can be built on > it. Since its inception, the field of operating systems has been > attempting to identify an appropriate structure: previous attempts > include the familiar monolithic and micro-kernel operating systems > as well as more exotic language-based and virtual machine operating > systems. Exokernels dramatically depart from this previous work. An > exokernel eliminates the notion that an operating system should > provide abstractions on which applications are built. Instead, it > concentrates solely on securely multiplexing the raw hardware: from > basic hardware primitives, application-level libraries and servers > can directly implement traditional operating system abstractions, > specialized for appropriateness and speed. > > http://www.pdos.lcs.mit.edu/exo/ The nice thing to see is that they compare, on the web page above, the performance of their ExOS system with FreeBSD amd OpenBSD as benchmarks. It's interesting in it's own right, but this is very nice to see. ----------------------------+----------------------------------------------- Chuck Robey | Interests include any kind of voice or data chuckr@glue.umd.edu | communications topic, C programming, and Unix. 213 Lakeside Drive Apt T-1 | Greenbelt, MD 20770 | I run Journey2 and picnic (FreeBSD-current) (301) 220-2114 | and jaunt (NetBSD). ----------------------------+----------------------------------------------- To Unsubscribe: send mail to majordomo@FreeBSD.org with "unsubscribe freebsd-hackers" in the body of the message
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?Pine.BSF.4.05.9810051439540.15656-100000>