one of the largest directories of the web

Valid XHTML 1.0!

Home : Computers : Software : Operating Systems : Research

Research

This category is for operating systems (OSs) which main purpose is research into OSs and into larger, more general system issues. Mostly the links in this category point to other OS categories and OSs therein. The only OSs listed exclusively herein are those for which no better or clearer category seems suitable.

On this page, OSs are arranged in two groups and levels: 1) Top group: types or classes of OSs, where research is more commonly done, experimental OSs are more likely to be found. 2) Bottom group: specific OSs, individual instances; there is only one OS of this name/type.

Sites in Research

Research Operating Systems
Short, annotated, alphabetically sorted list and links, part of larger system.
comp.os.research FAQ
Table of contents, points to questions.
HOPE: Hopefully Optimistic Programming Environment
A Programming Model for Optimism. Latency is being held back by the speed of light, more so in distributed systems. Optimistic algorithms 'guess' results of operations and proceed in parallel with confirmation of the guess; an effective way to hide latency of slow operations with predictable outcomes.
FunOS
Proposal for LISP oriented OS based on Assembly, Caml, FunScheme, a Scheme variant of LISP language.
Hydra
Early capability-based OS kernel for multiprocessing environments, gave fine-grained protection. Goals: universal applicability, absolute reliability.
Novel OS Work
By Christopher Browne. Very brief, clear descriptions and some critiquing of many OSs, mostly research types, with many links. Puts much current activity in larger context.

cross references

Computers : Software : Operating Systems : Open Source Computers : Software : Operating Systems : Open Source

other references

Computers : Programming : Languages : Language-OS Hybrids Computers : Programming : Languages : Language-OS Hybrids
Computers : Programming : Languages : ML : Operating Systems Computers : Programming : Languages : ML : Operating Systems
Computers : Programming : Languages : Smalltalk : Self Computers : Programming : Languages : Smalltalk : Self
Computers : Programming : Languages : Smalltalk : Squeak Computers : Programming : Languages : Smalltalk : Squeak
Computers : Software : Operating Systems : Extensible Computers : Software : Operating Systems : Extensible
Computers : Software : Operating Systems : Graphic Subsystems : Desktop Environments : The Humane Environment Computers : Software : Operating Systems : Graphic Subsystems : Desktop Environments : The Humane Environment
Computers : Software : Operating Systems : Microkernel Computers : Software : Operating Systems : Microkernel
Computers : Software : Operating Systems : Microkernel : Flux-Fluke-Flask Computers : Software : Operating Systems : Microkernel : Flux-Fluke-Flask
Computers : Software : Operating Systems : Microkernel : Mach Computers : Software : Operating Systems : Microkernel : Mach
Computers : Software : Operating Systems : Network Computers : Software : Operating Systems : Network
Computers : Software : Operating Systems : Network : Distributed Computers : Software : Operating Systems : Network : Distributed
Computers : Software : Operating Systems : Network : Distributed : 2K Computers : Software : Operating Systems : Network : Distributed : 2K
Computers : Software : Operating Systems : Network : Distributed : Amoeba Computers : Software : Operating Systems : Network : Distributed : Amoeba
Computers : Software : Operating Systems : Network : Distributed : Plan 9 Computers : Software : Operating Systems : Network : Distributed : Plan 9
Computers : Software : Operating Systems : Network : Quality of Service Computers : Software : Operating Systems : Network : Quality of Service
Computers : Software : Operating Systems : Network : TinyOS Computers : Software : Operating Systems : Network : TinyOS
Computers : Software : Operating Systems : Object-Oriented Computers : Software : Operating Systems : Object-Oriented
Computers : Software : Operating Systems : Object-Oriented : PURE Computers : Software : Operating Systems : Object-Oriented : PURE
Computers : Software : Operating Systems : Parallel Computers : Software : Operating Systems : Parallel
Computers : Software : Operating Systems : Persistent Computers : Software : Operating Systems : Persistent
Computers : Software : Operating Systems : POSIX Computers : Software : Operating Systems : POSIX
Computers : Software : Operating Systems : Realtime : EROS Computers : Software : Operating Systems : Realtime : EROS
Computers : Software : Operating Systems : Realtime : Harmony Computers : Software : Operating Systems : Realtime : Harmony
Computers : Software : Operating Systems : Realtime : L4 Computers : Software : Operating Systems : Realtime : L4
Computers : Software : Operating Systems : Realtime : Microkernel Computers : Software : Operating Systems : Realtime : Microkernel
Computers : Software : Operating Systems : Realtime : Open Source Computers : Software : Operating Systems : Realtime : Open Source
Computers : Software : Operating Systems : Realtime : POSIX Computers : Software : Operating Systems : Realtime : POSIX
Computers : Software : Operating Systems : Realtime : Research Computers : Software : Operating Systems : Realtime : Research
Computers : Software : Operating Systems : Realtime : Unix Computers : Software : Operating Systems : Realtime : Unix
Computers : Software : Operating Systems : Reflective Computers : Software : Operating Systems : Reflective
Computers : Software : Operating Systems : Single Address Space Computers : Software : Operating Systems : Single Address Space
Computers : Software : Operating Systems : Single Address Space : Nemesis Computers : Software : Operating Systems : Single Address Space : Nemesis
Computers : Software : Operating Systems : Submicrokernel Computers : Software : Operating Systems : Submicrokernel
Research  -  Directory Research  -  Directory Research  -  Directory Research  -  Directory