Review of Other Operating Systems
This page is under constant construction.
Please help me enrich it,
by sending annotations to existing pointers,
new pointers,
and the usual feedback.
Please tell me about any other interesting
pointer you know, that may relate somehow (anyhow) to the Tunes project...
Contents
This index favors original and research operating systems.
Original OS Projects,
that try to go beyond traditional system design.
Unix akins and alikes,
that try to perpetrate, with local enhancements,
the traditional OS bloat.
Commercial systems,
that can be traditional or not,
but embody the what is available to the common of mortal men.
OS Related pointers
Of course, do not forget languages
that are another side of computing systems.
Original OS Projects
-
Tunes,
the very project hosting this page,
encompasses an OS project, mind you,
even if it goes far beyond a mere conventional operating system.
-
Jecel's
Merlin
project of a SELF-based OS
(and here
a paper about it).
-
Aegis is
an OS based upon the idea of an "ExoKernel" (much like the NoKernel
idea behind Tunes: there is no more kernel in the OS, which yields
up to 10000% performance gain).
-
The
Fox
project from CMU to write an OS using (an extension to)
the programming language SML.
-
The irish Tigger
project is developing a framework for the construction of a family
of distributed object-support platforms.
-
The BatOS
project of an OS written in BETA
from the Czech Republic.
-
Sony CSL's
Apertos,
the Reflective OO OS
-
OGI's Synthetix
project of fine-grained incremental partial evaluation in OS kernels.
-
Grasshopper,
the orthogonally persistent distributed OS from Australia
-
Papers about Andy Tanenbaum's
Amoeba
distributed OS,
and related
Orca
programming language
-
SPIN
OS from University of Washington
- The Cache kernel
- The SCOUT project.
-
The PUMA
project from New Mexico.
Unix akins and likes
-
Plan9 OS, or what Unix should have been
(by AT&T from where Unix came).
It's a commercial OS, but freely available for academic use.
-
Andy Valencia's
VSTa
fine plan9 inspired but free open-developped
microkernel-based OS; its
mailing list archive and its
distribution
(also a french mirror
here).
-
Linus Torvalds'
Linux
free POSIX.1 compliant Unix clone for 32 bit intel PCs, and more:
Sparc, ALPHA, M68K, MIPS, PowerPC (?) ports are on the way...
Also check out the
linux.org or
sunsite.
Manual pages here.
Linux on Mach project.
-
Mach
is a free microkernel upon which many unix clones are built.
As an example
LITES
is a 4.4BSD Lites based Mach server providing binary compatibility with
4.4BSD, FreeBSD, NetBSD, 386BSD, UX, and Linux, while
-
GNUStep
is a project to implement a free clone of NeXTStep
(a FAQ
here)
-
Flexmach,
a project for objects above Mach in C++ (yuck)
and the related
OMOS
model and implementation over plain unix.
-
NachOS
is an instructional
OS developped at Berkeley by Tom Anderson, Wayne Christofer,
Stephen Procter and others, that shows the principles
of the traditional unix-like model.
-
Sun's
Spring
System (also here)
Commercial OSes
-
The
FreeDOS
project for a free MS-DOS clone.
As the name says, it's not a commercial project,
but I put it here because its sole interest is to
emulate and replace a well-known commercial product.
- Apple's
Newton
Operating System
and
NewtonScript
language
- GEOS
(also here
and
there)
is some very fine OO OS for ix86 pcs of all classes
which multitasks even on 8088 computers !
- TAOS
is the only OS that currently can distribute code on heterogeneous
underlying networks
(heretheir internet contact).
- Chorus
(see its
FAQ)
is a commercial micro-kernel rival to Mach.
- QNX
(also here)
is a message-passing micro-kernel-based real-time OS
(with POSIX emulation)
that has proven successful in the embedded market and on ix86 systems.
- MachTen
is a commercial version of BSD4.3 using Mach on MacIntoshes.
- Taligent
is the result of some counter-nature cross between Apple and IBM.
-
Has anyone got pointers about major brand X OSes, like
MS-DOS, MacOS, Windows (3.x, NT, '95), UNIX clones, OS/2, etc ?
It may be particularly interesting to have critical reviews of these
(besides their development being closed and people being taken
hostages). Sure there should be stuff on Yahoo and newsgroups...
-
I guess I could find some on
Yahoo...
OS Related Pointers
Indices about OSes and related subjects:
Here are pointers to packages for distributed/parallel computing:
- Concert
by University of Illinois at Urbana-Champaign
is a parallel programming environment
using languages Concurrent Agregates or ICC++
(parallel extensions of OO Lisp and C++ respectively).
"Both are fine-grained object-oriented language based on
the actor model. These languages also support aggregates
(collections), multi-access abstractions, and allow both
data and task parallelism to be exploited seamlessly."
- Arjuna
from the University of Newcastle upon Tyne (England),
is allegedly THE programming system
for reliable distributed computing,
but is built as a set of C++ classes.
- OZ++ is also a freely available object package to allow
world-wide upgradable modular distributed computing.
- Chant: A Talking Threads Package.
It's a package that extends existing threads package
(well, pthreads) with inter-thread communication support,
even if threads run on distinct processes or computers.
That is, a very low-level package for parallel computing.
Here are pointers to threads packages:
- David Keppel's minimalistic
QuickThreads package
(a portable abstraction of just the machine-dependent parts
of a threads package, for many architectures),
and accompanying
tech report.
- Chris Provenzano's
pthreads implementation of the POSIX 1003.4a pthreads
package.
Chris' homepage includes partial docs for the package.
Complete docs can only be ordered from the IEEE
- the Florida State University also
has its own FSU Pthreads library for Sparc and now ix86 architectures,
available by FTP
as part of the POSIX/ADA Run-Time (PART) project.
- Stephen Crane's
lwp ("light-weight processes") package.
- Elan Feingold's
ethreads package
Here are some research laboratories interested in
operating systems (send me more addresses):
Other OS-related pages
More netsurfing
The Tunes project that hosts this page
may interest you, or
this collection of
FTP addresses, or
Yahoo
the WWW directory.
And remember, the "OS" side is only one side of the medal.
Also look at the Language side.
To Do on this page
Actually review these OSes, do not merely point to them. Gasp.
Talk about the open development model, as used in Linux.
Have a look at
OI and
MLI
Add pointers to
Sprite,
Choices and
Pegasus,
as well as to all pages pointed in various OS indexes...
Send a note to all the OS pages that do not cite us, as well as to Yahoo.
Add these bibliographic pointers from the OS FAQ:
Checkpointing,
cstr,
German Bib,
Arizonian Bib,
bibliographies,
UFS 93.
Add these OS FTP pointers from the OS FAQ:
Clouds,
Cronus,
Guide,
Horus,
Isis
(also here),
X kernel.
FTP sites with OS-related stuff: in
France,
England,
Taiwan.
Find out more about
STAPLE,
a persistent lazy-functional-language based project
(FTP).
Back to the
Review subproject.
Page Maintainer:
Faré
-- rideau@clipper.ens.fr