The Microsoft Singularity 615
jose parinas writes ""Microsoft Research has published the first details of a wholly new operating system under development called Singularity, designed new from the ground up, built on a new language and designed with emphasis on dependability instead of performance.""
Well.... (Score:2, Insightful)
"designed with emphasis on dependability instead of performance."
Well since there goal has always been to have both dependability and preformance and they never succeded I suppose it is rather wise for them to cut back on the complexity and just try to get one of them.
Re:Reliability he says... (Score:2, Insightful)
Text from the second link (Score:2, Insightful)
One interesting concept is the abstraction of Software Isolated Processes (SIPs).
SIPs provide the strong isolation guarantees of OS processes (isolated object space, separate GCs, separate runtimes) without the overhead of hardware-enforced protection domains. In the current Singularity prototype SIPs are extremely cheap; they run in ring 0 in the kernel's address space. Singularity uses these advances to build more reliable systems and applications. For example, because SIPs are so cheap to create and enforce, Singularity runs each program, device driver, or system extension in its own SIP. SIPs are not allowed to share memory or modify their own code. As a result, we can make strong reliability guarantees about the code running in a SIP. We can verify much broader properties about a SIP at compile or install time than can be done for code running in traditional OS processes. Boarder application of static verification is critical to predicting system behavior and providing users with strong guarantees about reliability"
Source: Singularity Site
From the report we can read that:
SIPs are the OS processes on Singularity. All code outside the kernel executes in a SIP.
differ from conventional operating system processes in a number of ways:
SIPs are closed object spaces, not address spaces. Two Singularity processes cannot
simultaneously access an object. Communications between processes transfers exclusive
ownership of data.
SIPs are closed code spaces. A process cannot dynamically load or generate code.
SIPs do not rely on memory management hardware for isolation. Multiple SIPs can reside
in a physical or virtual address space.
Communications between SIPs is through bidirectional, strongly typed, higher-order
channels. A channel specifies its communications protocol as well as the values
transferred, and both aspects are verified.
SIPs are inexpensive to create and communication between SIPs incurs low overhead.
Low cost makes it practical to use SIPs as a fine-grain isolation and extension
mechanism.
SIPs are created and terminated by the operating system, so that on termination, a SIP's
resources can be efficiently reclaimed.
SIPs executed independently, even to the extent of having different data layouts, run-time
systems, and garbage collectors.
Re:My guess: (Score:1, Insightful)
You're not even trying to make sense anymore, are you?
I'm disappointed in you, Slashdot (Score:1, Insightful)
Slashdot's credibility as a serious news site went through a black hole for all it's worth.
pseudo-academics should be careful what they bash (Score:5, Insightful)
I am an OS academic, and we take Microsoft Research seriously, because they're fucking good.
HotOS is a pretty serious workshop for Operating Systems research. Microsoft Research, among others, pays for the conference room. Singularity isn't far enough long yet to get into a bigger conference like SOSP or OSDI, but you can be sure it will in a year or two.
I wouldn't call Singularity pseudo-academic.
Re:Define "innovation" in that context. (Score:5, Insightful)
Try checking out the Microsoft Research page, and their past systems stemming from there. You might be surprised.
Re:Slashdotted in six comments. (Score:3, Insightful)
I think "Singularity" is not worth a hill of beans, but mostly because its novel ideas have already been tried and made little headway. Java systems have applied similar approaches to securing multiple processes within an address space in the past; microkernels have applied similar approaches to communications between processes. To the best of my knowledge, neither have resulted in software that is used outside of the initially targeted niche. Singularity mostly looks like the application of those previously tried approaches to a Microsoft virtual machine.
Re:Define "innovation" in that context. (Score:4, Insightful)
Re:Papers? (Score:5, Insightful)
Built on a new language? (Score:5, Insightful)
good for niche marked (Score:3, Insightful)
Re:another longhorn? (Score:1, Insightful)
Actually, NT was a kitbash of a VMS kernel with OS/2 usermode components, which themselves were "upgrades" to Windows 3.1 components, which were mostly "simple" concepts stolen from Mac OS. Confused yet?
Now take Windows 95 (which was Windows 3.1 running in full protected mode, but with a new UI and a Virtualized DOS window) and bash it together with NT 3.51. Remove various security considerations and compile the graphics subsystem into the kernel and you have the makings of NT 4.0.
2000 and XP have since reflected that Microsoft has experienced no major increases in technology. Thus 2000 bashed various bits of Unix into itself (to make it "Enterprise Ready") and XP just added lots'o'pretty-stuff and a Win95 virtualizer.
Now if Microsoft manages to get their HotOS into production (not bloody likely, considering that Microsoft Research is merely a place for good researchers to die) then Microsoft will have managed to reinvent Symbolics LISP from 20+ years earlier. Yay for progress!
It's agood thing and they Should be persuing it. (Score:2, Insightful)
Re:This just in MS sucks...already Slash Dotted (Score:3, Insightful)
So when
Re:This just in MS sucks...already Slash Dotted (Score:4, Insightful)
Wow, and the last time I saw a /.'ed site spewing MySQL and Apache errors I thought it was just me. Because, well, I've heard that using open source will automagically upgrade your DSL to a T3. Free!
Moron.
Re:another longhorn? (Score:5, Insightful)
Better question: when's the last time anybody wrote an OS from scratch?
As far as I can see, the answer to that is really "never". Before there were OSes, there were collections of macros to act like device drivers and such. The first OSes were based on those, and added slightly more uniform interfaces and such.
Pretty much everything since can be traced back to something previous.
DOS 1.0 was based on QDOS, but DOS 2.0 was essentially a complete rewrite that was really based much more closely on UNIX than on QDOS.
In fairness it should also be added that QDOS was based on (according to some, just a re-compile of) CP/M. Lest any CP/Mers get all holier-than-thou about it, in his original announcement letter about it to "Doctor Dobb's Journal of Computer Calisthenics and Orthodontia", Gary Kildall openly stated that CP/M was derived from DEC RT/11. I'll assume there aren't enough DECies left to bother debunking the notion that RT/11 was entirely original.
I'd say the others are much the same way: on one hand, MS contributed more originality than you imply, and on the other hand, others contributed less than you imply.
--
The universe is a figment of its own imagination.
Microsoft: ActiveX considered harmful (Score:3, Insightful)
Okay, Microsoft, I think I'm with you on this one...you're telling us not to use ActiveX, right?
I hope they market this SOB (Score:4, Insightful)
1. Be nice to have some real competition versus Linux/OS X in terms of architecture. XP/2003 just aren't there. Vista won't be, most likely.
2. Where such a beast (research OS) ever to become a product, would it demonstrate a high level of backwards compatibility? If not, would it actually have to compete on merits, rather than vendor lock-in?
3. It's taken ~10 years to write Wine to the point where it is in _beta_. Now, I'm sure MS can do it faster, because they have the documentation; after all, they designed it. But how long will it take? Or will they use a virtual machine architecture?
In any case, if MS switches to an entirely different OS architecture, I forsee the end of the MS monopoly. Release of a non-Win32 based OS, one that runs older applications (either desktop OR server) in emulation validates Linux/OS with QEMU/Virtual PC/VMware/Xen/Whatever.
4. I doubt this will ever leave the lab. Singularity will be a test bed for MS researchers who want to play with various concepts. These things will be ported over to Vista, or whatever comes into the future. I cannot imagine a world in which MS actually started from scratch; having to market such a product against mainline-Windows, Mac OS X, Linux, Solaris, AIX, and FreeBSD would be pure madness. It's already extremely difficult for MS to push Office against older versions of Office; this has generated substantial pressure towards alternative Office packages.
It'll be significantly harder for MS to push towards a non-Windows MS operating system. Every single CIO willing to consider moving from Windows will be willing to consider moving to Linux/OS X/whatever instead.
Re:another longhorn? (Score:4, Insightful)
How many OSes have ever been written from scratch?
I can think of only 3, none of which has even 0.1% market share. In fact, Plan9 is the only one of them alive.
What is the big deal with bashing microsoft for copying ideas from people?
Isn't that what OSS is built around, copying good ideas?
Re:another longhorn? (Score:5, Insightful)
Seriously, ALL operating systems borrow concepts from earlier versions and the existing state of the art. Trying to determine the degree (or not) of "innovation" is akin to arguing about the number of angels that can dance on the head of a pin, with no prior agreement as to the size of an angel...
Looks interesting, could lead to a better foundati (Score:3, Insightful)
Re:Papers? (Score:1, Insightful)
I have wondered what would ahppen if Microsoft sent a team of developers off to build a new operating system from the ground up. Regardless of what people think, they have some of the worlds best developers. Now, they've gone and done it. I can imagine Micsrosoft having the best operating system out there, under those circumstances. They could just end up winning, after all.
Re:Papers? (Score:5, Insightful)
I dislike MS production software and business practices as much as the next guy. But don't make the mistake of underestimating MS Research just because you dislike MS.
Re:Device Drivers (Score:3, Insightful)
Interesting point! I guess that's exactly what it would mean, yes, since they seem to be treating all of these things at similar levels.
Re:Nope. (Score:2, Insightful)
"You think your Commodore 64 is really neato What kinda chip you got in there, a Dorito? You're usin' a 286? Don't make me laugh Your Windows boots up in what, a day and a half?"
Re:Wow, what a concept! (Score:1, Insightful)
You really are a fool. You know that right? It would be a damn shame if you went through life without finding out you really aren't as smart or important as you think you are.
Re:Built on a new language? (Score:5, Insightful)
Actually its an extended version of Spec# which is in turn an extension of C#. It might help to acquaint yourself with what that actually means. The first significant different is that Spec# allows for explicit pre and post conditions and other formal specificiation syntax, and hence allows for model checking, extended static checking, and formal proof if required.
It's more like someone writing an OS in BitC [coyotos.org] because it can be formally verified and hence be more secure. It does make sense, and there is good logic behind it. Comparing it to an OS in Java is just silly. Comparing it to an OS written in Java using JML [iastate.edu] and associated theorem provers [key-project.org] is getting a little closer. Of course that doesn't address the issue of designing the OS to be more secure and reliable from the outset, and not just relying on formal verification.
If you actually bothered to read some of the material on Singularity you would see that it is an ambitious, but remarkably interesting and promising project. It is also, I would expect, something that will permanently remain buried in MS research like so many other projects. I would be interested in seeing a good open source equivalent though - such a project might have some hope of surviving.
Jedidiah.
Re:another longhorn? (Score:2, Insightful)
Sooooo.... Where is the bad in this if Microsoft does it?
Tom.
Re:I hope they market this SOB (Score:3, Insightful)
That said, this is research. They have barely even made it known to the public at this point, much less secured some sort of massive marketing campaign. They may later decide that it's pointless to compete with existing solutions (I couldn't say either way), but the only way to find out is to start something and see where it goes.
I think the point is somewhat murky, myself (Score:3, Insightful)
I would argue, however, that later generations can be innovative - provided they do something revolutionary in and of itself. For example, CERN's webserver was the first (and therefore innovative by being first) but I'd consider NCSA's webserver to to have posessed qualities that the CERN server did not have, in a manner such that NCSA's webserver (IMHO) deserves the title of innovative as well. Although Apache has yet more qualities, I would not consider those to be in a manner that justifies such a title.
By implication, I'm saying that a quality must have some attribute that distinguishes itself above and beyond being a mere addition, for the idea/project to be called a true innovation. To me, that attribute is that the addition not simply be an extrapolation or an interpolation of what already existed but must exist outside of the covered space, yet intersect the covered space in such a manner that the extension is a natural extension, not forced.
The "dumb person's test" for true innovation is that it must be so difficult to see in advance that it had truly occured to nobody at all. EVER. Yet be so obvious once found/developed that nobody really realizes it hasn't always been there,
Heres one: (Score:5, Insightful)
Re:apples and oranges (Score:3, Insightful)
I don't want to re-hash our previous argument on this subject [slashdot.org], but the above statement is trivially falsifiable. Singularity is built on a microkernel. EROS is built on a microkernel. Anything that can be built on Singularity, can be built on EROS, including verifiers, virtual machines, Software Isolated Processes, etc.
EROS has a default mechanism for isolating faults and loading untrusted code in the absence of any safety guarantees: the constructor.
I don't know whether Singularity is going to make it, but I have used and developed on systems like it (the idea isn't new), and it is a lot nicer than either UNIX kernels or EROS-like kernels.
Not that you know what developing on an EROS-like system is like, considering it's a completely revolutionary architecture comparable only to KeyKOS from which it's derived.
Re:I hope they market this SOB (Score:2, Insightful)
Re:I hope they market this SOB (Score:3, Insightful)
Architecturally, NT is better than both Linux and OS X.
Release of a non-Win32 based OS, one that runs older applications (either desktop OR server) in emulation validates Linux/OS with QEMU/Virtual PC/VMware/Xen/Whatever.
Except that Microsoft would expend a great deal of effort to make the emulation transparent, seamless and easy to use. It's doubtful the same would be true from the OSS community.
It'll be significantly harder for MS to push towards a non-Windows MS operating system.
Not if it runs existing applications relatively seamlessly, it won't.
Every single CIO willing to consider moving from Windows will be willing to consider moving to Linux/OS X/whatever instead.
Assuming they can provide similar functionality and performance at a competitive price. This is far from a given.
Re:another longhorn? (Score:2, Insightful)
--
OS/2 - Co-built with IBM
NT / XP / Vista - Built off of OS/2
--
Correction; NT was not "Built off of OS/2" but was designed by David Cutler based on concepts in VMS. About the only commonality between OS/2 and NT is their shared heritage of compatibility with MS-DOS.
Re:apples and oranges (Score:4, Insightful)
All that has nothing whatsoever to do with Eros. The two projects are not even similar.
Of course a verifier could be written as an application for Eros (or for DOS, for that matter). That statement is like saying that C++ is no different from assembly, because they're both built atop similar hardware and can be used to implement the same things.
The Coyotos OS is based on Eros and is quite similar. Additionally, Eros is not completely revolutionary. From the eros web page, What's new about Eros?: "Each of these faclities is...essential to providing scalable reliability, and all of them have appeared in prior systems. No prior system, however, has