Research Operating Systems Software
Research Operating Systems Software
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.
Top: Computers: Software: Operating Systems: Research
See Also:
- Proposal for LISP oriented OS based on Assembly, Caml, FunScheme, a Scheme variant of LISP language.
- Early capability-based OS kernel for multiprocessing environments, gave fine-grained protection. Goals: universal applicability, absolute reliability.
- 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.
- Short, annotated, alphabetically sorted list and links, part of larger system.
- Dynamically extensible, Exokernel-based, provides many core services: scheduler, kernel threads, domains, event dispatcher, security mechanisms, primitive VM operations. Blurs distinction between kernels and applications, which traditionally live in user-
- 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 latenc
- Table of contents, points to questions.
Newsgroups:
| | | | | | |
Copyright © 1995-2007 Internet Advertising Solutions, Inc.
Copyright Notice | Privacy Policy | Site Map | APR
|
 |
|
