Topia!: Computers: Software: Operating Systems: Research (6) 2K@ (4) AgentOS@ (48) Amoeba@ (4) Angel@ (48) Apertos@ (101) Choices@ (10) Cosy@ (5) E.R.I.K.A.@ (3) EROS@ (6) Exopc@ (11) Express@ (3) Fiasco@ (9) Flux-Fluke-Flask@ (1) Fox@ (3) GLUnix@ (48) GUIDE@ (48) Go@ (101) Grasshopper@ (6) Harmony@ (2) Hurricane@ (48) Iguana@ (101) L4@ (9) MIT Exokernel@ (11) ML@ (3) MOSIX@ (48) MaRTE OS@ (15) Mach@ (56) Maruti@ (4) Mungi@ (14) Nemesis@ (2) Opal@ (14) Open Source (topiasearch) OpenRavenscar@ (15) PEACE@ (5) PURE@ (4) Paramecium@ (5) Plan 9@ (12) Puma@ (48) Roadrunner@ (9) S.Ha.R.K.@ (4) SPIN@ (10) SUMO@ (5) Scout@ (5) Sombrero@ (14) Spring@ (15) Sprite@ (48) Squeak@ (67) Sting@ (10) Synthetix@ (10) THE@ (12) ThrillOS@ (3) TinyOS@ (10) Tornado@ (48) VINO@ (10) x-kernel@ (172) See Also: Computers: Software: Operating Systems: Open Source Research Operating Systems - Short, annotated, alphabetically sorted list and links, part of larger system. comp.os.research FAQ 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. Additional categories: personal bankruptcy unique anniversary gifts Ciara smartmedia cards VersaRack

Research