Slashdot Mirror


The Microsoft Singularity

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.""

11 of 615 comments (clear)

  1. pseudo-academics should be careful what they bash by Anonymous Coward · · Score: 5, Insightful

    Have you actually read any of the papers?

    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.

  2. Re:Define "innovation" in that context. by zootm · · Score: 4, Insightful

    Try checking out the Microsoft Research page, and their past systems stemming from there. You might be surprised.

  3. Re:Define "innovation" in that context. by devilsadvoc8 · · Score: 4, Insightful

    The relentless bashing of Microsoft in this manner is tiring. Have they made flawed products? Absolutely, but to generalize their contribution to modern computing as nothing more than theft and good marketing is pure garbage. However such posts are good at karma whoring...

    --
    B O R I N G
  4. Re:Papers? by Kupek · · Score: 4, Insightful

    I don't understand your complaint. They wrote some papers about their research project, why wouldn't they put them on their site? Before you dismiss the quality of the papers, you want to actually read them.

  5. Built on a new language? by PCM2 · · Score: 5, Insightful

    As far as I can see, the language in question is not exactly "new" anymore, being C#. In other words, this is sort of a demo OS written in a managed-code environment as a way to test various OS principles (which in this case sound a lot like the virtualization stuff that so many other vendors are also doing). Singularity seems like the equivalent of writing an operating system in Java for a school project.

    --
    Breakfast served all day!
    1. Re:Built on a new language? by Coryoth · · Score: 4, Insightful

      As far as I can see, the language in question is not exactly "new" anymore, being C#.

      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 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 and associated theorem provers 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.

  6. Re:This just in MS sucks...already Slash Dotted by The+Bungi · · Score: 4, Insightful
    Just goes to show what IIS and SQL Server will do for you....

    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.

  7. Re:another longhorn? by Jerry+Coffin · · Score: 5, Insightful
    Come to think of it - has MS EVER written their own OS from scratch?

    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 - Borrowed from Tim Patterson's QDOS.

    Windows - Shell extention to DOS

    Xenix - AT&T/Berkley clone

    OS/2 - Co-built with IBM

    NT / XP / Vista - Built off of OS/2

    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.

    --
    The universe is a figment of its own imagination.
  8. Re:another longhorn? by shmlco · · Score: 5, Insightful
    You mean the way the FOSS community has managed to reinvent Unix from 30 to 40 years earlier? Yay for progress!

    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...

    --
    Any sect, cult, or religion will legislate its creed into law if it acquires the political power to do so.
  9. Re:Papers? by GileadGreene · · Score: 5, Insightful
    Please keep in mind that MS Research is quite a different beast than the production departments of MS. MS Research does a lot of respected work. They also employ some of the most reputable researchers in software and OS development, including:

    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.

  10. Heres one: by 0kComputer · · Score: 5, Insightful

    How about IXMLHTTPRequest, or what everyone now so fondly calls AJAX now that its all the rave.

    --
    Top 10 Reasons To Procrastinate
    10.