Slashdot Mirror


Operating Systems of the Future

An anonymous reader writes: "'Imagine computers in a group providing disk storage for their users, transparently swapping files and optimizing their collective performance, all with no central administration.' Computerworld is predicting that over the next 10 years, operating systems will become highly distributed and 'self-healing,' and they'll collaborate with applications, making application programmers' jobs easier."

36 of 384 comments (clear)

  1. Crazy users and VBS scripts by satterth · · Score: 3, Funny

    What happens when some user click on a VBS script ?

    I image great horrors as the whole cluster goes down in a mass emailing.

    /satterth

    --
    Being called a dork on Slashdot must be like being called the retard in special ed.
  2. Amoeba by oyving · · Score: 5, Informative

    Tanenbaums Amoeba is way ahead of the game then.

  3. Futurists are stupid by SirSlud · · Score: 4, Insightful

    I'm so sick and tired of what the next 10 years will bring us. Howabout OSes that dont crash? How about hardware that won't lock up your computer? How about open standards, a generally more cautious approach to computing that will allow us to stabilize the developments that occur? Nah .. of course not. Lets take this overly complicated not-so-realiable thing and throw a transparent layer of 'self-healing' autonomy to it. I know thats what I've been looking for ... yet another reason why I have to explain to my boss that computers ain't perfect. I can hear him now: "But they're supposed to heal themselves! Why didn't the OS dial up our energy provider and ask why the power went out?!"

    --
    "Old man yells at systemd"
    1. Re:Futurists are stupid by PowerTroll+5000 · · Score: 3, Insightful

      Most unfortunately, postulating what we could do is much more exciting than perfecting something we already do.

      Apparently, the public has a certain tolerance to defects and bugs. A fine exmple is the automobile, with its near-certain breakdowns, despite Tucker proving otherwise.

      --

      I'm not afraid of falling, it's the sudden stop at the end that frightens me.

    2. Re:Futurists are stupid by Detritus · · Score: 3, Insightful

      Sadly, reliability doesn't sell. The average computer user wants fast and cheap. Even on slashdot, you see endless dicksize wars over who has the most 'leet, overclocked system running last night's kernel release on the latest CPU, chipset and motherboard. It doesn't have to work reliably if it looks cool doing it.

      --
      Mea navis aericumbens anguillis abundat
    3. Re:Futurists are stupid by SparkyUK · · Score: 3, Insightful

      >>Howabout OSes that dont crash? How about hardware that won't lock up your computer

      One of the key laws of nature is : Shit Happens.

      This is as true for code in your PC as it is for crawlies in nature.

      We want to fool ourselves that the PC is a clean and closed environment which we have full control of but it just isn't true. That storage device that was there a picosecond ago may have just failed or been removed, the network connection may have just been severed, another program may be running amok and draining system resources just as another needs it.

      Nature mostly gets around unexpected problems, we need OS's and languages that can do the same.

      Your goal of OS's that don't crash and hardware that doesn't "lock up" arn't incompatible with that.

    4. Re:Futurists are stupid by SirSlud · · Score: 5, Insightful

      >"For that you need a language that blurs the distinction between data and instructions"

      My point was that instructions are data. But I challenge you to illustrate that in order to solve a problem, you can provide data that does not encompas the intrucstions. "My house is on fire" is data that will instruct people to run out of it, but only because they were previously programmed with a 'fire' trigger. Escape it when it's inputted into your system.

      So neither english nor C can go outside of it's own contextural setting. English is just so more complicated with so many more possible branches of execution based on data that it's difficult to compare the two without either belittling humanity or getting 1984ish about technology. C /can/ change itself via function pointers and, lets say, random data to throw on the execution stack. But brute force only works when you can test a result within the programattic bounds of the inputted data, including instructions. I mean, really, humans are just wildly complex computers, which is why our data-exchange set is so much more advanced. :)

      "Why are we here?" has multiple answers, so you can really only validate successful self-programming if you already think you know what the answer is. And for that, you depend on previous data entry ... etc, etc, etc ..

      --
      "Old man yells at systemd"
  4. A vision of OS future : tiny reliable components. by chrysalis · · Score: 5, Interesting

    IMHO, future operating systems will tend to something like the ErOS operating system . This OS is based on multiple tiny extremely reliable components, within a strong capability model to provide a high level of security.
    It's definitely a good approach, although ErOS is still quite experimental yet.


    --
    {{.sig}}
  5. As long as... by BoarderPhreak · · Score: 5, Informative
    ...This software isn't like Office X from Microsoft on the Mac where it scans your network for anti-piracy measures, but in the process opens up your machine wide to the Internet by opening several ports... Worse yet, not tell anyone about it!

    Grumble, grumble...

  6. Scalability problems, anyone? by mblase · · Score: 4, Insightful

    The target environment for [Microsoft's] Farsite is an organization in 2006 with 100,000 computers, 10 billion files and 10 petabytes (10,000TB) of data.

    Surely there will be major scalability problems with something like this, a la Gnutella?

    The potential pitfalls of 100,000 computers trying to access each other across the same network gives me headaches just thinking about it.

    1. Re:Scalability problems, anyone? by Hal-9001 · · Score: 3, Insightful
      The potential pitfalls of 100,000 computers trying to access each other across the same network gives me headaches just thinking about it.
      The number of machines on the network isn't the issue--an AC's tongue-in-cheek response to this comment pointed out that by that logic the Internet shouldn't work--but the bandwidth requirements and network architecture do matter. Gnutella's problem is that it requires a LOT of bandwidth and it is easily bogged down by slow (i.e. modem) connections. A well-designed protocol and architecture (i.e. not an pre-alpha binary posted on the web for less than 24 hours ;-) ) would probably be up to the task. Of course, knowing Microsoft, they'd probably ship a protocol and architecture that scales worse than Gnutella... :-p
      --
      "It take 9 months to bear a child, no matter how many women you assign to the job."
    2. Re:Scalability problems, anyone? by Salamander · · Score: 5, Informative
      Surely there will be major scalability problems with something like this, a la Gnutella

      That's why it's research. I've met and talked to Bill Bolosky (Farsite project lead); he's very clueful wrt scalability in general, and well aware of the problems that networks like Gnutella (an unusually naive protocol, BTW) have run into. However, like the folks working on OceanStore or CFS or many other projects, the Farsite folks have a fairly formidable arsenal of innovative techniques they can apply to the problem. The details are still being worked out, of course, because that's what research is all about, but the people working in this area do seem to be making real progress toward solutions that could scale to such levels.

      --
      Slashdot - News for Herds. Stuff that Splatters.
  7. OS's will be so smart in 10 years..... by 8string · · Score: 5, Funny
    Farsite is just one of several projects at Microsoft Research and other labs around the world that will render operating systems all but unrecognizable in 10 years. Farsite embodies several characteristics--such as fault tolerance, self-tuning and robust security--that will distinguish operating systems of the future.

    So, Bill is finally going to release a version of windows that will automatically simulate pressing ctrl-alt-delete when it blue screens.

    Many people would say it's MS's customers that have been fault tolerant.
    <rimshot!>
  8. And they're called by gorilla · · Score: 3, Funny
  9. Hmmm... by dghcasp · · Score: 5, Interesting
    Oh, you mean something like Plan 9 from Bell Labs?

    I predict that there will never be a revolutionary new operating system until we break free of the chains imposed by Posix compliance. Until then, we're stuck with files that have to be streams of bytes, ugo-style permissions, non-wandering processes, incompatable RPC calls, &c.

    And the real pain is there have been OS'es that have had simple & elegant solutions to problems that are hard under unix (Aegis, Multics, VMS, TOPS, ...) that were pushed aside by the steamroller that is Unix.

    But to be fair, many of the forgotten O/S's are now forgotten because they weren't as general purpose as Unix. Unix is the great compromise. But it's hard to strive for the best when you've already accepted compromise.

  10. So what's so special? by dfenstrate · · Score: 4, Insightful

    Farsite, while ingenious, looks more like a fantastic file storage system than anything else. Is it possible that they've tweaked the UI that most of us are accostomed to the point where any more upgrades are aesthetic, feature or reliability driven, and aren't fundamental improvements on the current desktop analogy?
    Will the majority of the computer using populace still be double clicking, dragging and dropping, and 'opening' folders and hard drives 10, 15 years from now?

    Could be. Could be.

    --
    Alcohol, Tobacco and Firearms should be the name of a store, not a government agency.
  11. I already can't find a job by hendridm · · Score: 3, Funny

    Oh great. It's already impossible to find a job with my measly bachelor's degree and now I have self-healing computers to look forward to. I should studied accounting...

  12. Druthers by r_j_prahad · · Score: 5, Funny

    I don't need a self-healing computer nearly as much as I need a self-painting house and a self-mowing lawn. And my wife could sure as heck use a self-fueling car.

  13. The future belongs to Plan 9 by kfg · · Score: 5, Insightful

    Don'cha just love it when people "predict" what's already nearly available? And without even mentioning its existence in the article.

    And don'cha just love it when MS "predicts" that they'll "inovate" by duplicating it under the MS banner?

    Anybody care to "predict" the havoc that might insue when such OS's gain wide public use? I'd be leery of using such even in my isolated from the internet home network until it was proven to be absolutely secure, something today's less interactive computer nets can't even manage.

    I'm happy that people are looking forward to, and researching, the future.

    Would it hurt if a few people spent a bit more time making the present work worth a shit?

    KFG

  14. ...twixt the cup and the lip by d5w · · Score: 3
    There's a good side and a bad side to this, considering the companies working on it. The good news is that whenever the researchers are talking about Byzantine fault tolerance you can translate that as "assume the machines on the network are unsecured Windows PCs". In that sense it's great to hear of Microsoft feeding a reporter that phrase, since it suggests a from-the-ground-up specification that doesn't inherit the security holes of the past and is robust against insecure machines.

    The bad side, which is closer to reality, is that a computer company working in an "extend our existing market" mode will find find it irresistable to tie new things tightly to the innards of what already been deployed. That's a great way to ensure that you inherit security flaws from whatever old model you had, however good the theory of your new system is.

  15. Borg Time... by PHAEDRU5 · · Score: 5, Funny

    Let me see if I've got this straight:

    1. /. story about Microsoft getting legal permission to take over your computer, as part of a EULA.

    2. ComputerWorld story that includes a line about how Microsft sees the computer of the future as one giant logical system with many small partitions.

    Is anyone else joining the dots like I am?

    --
    668: Neighbour of the Beast
  16. Seems like a good idea... by Arcanix · · Score: 4, Funny

    I assume Microsoft will be releasing the source code and freely distributing Farsite so I support this project.

  17. Amen again Brother! by GSloop · · Score: 3, Insightful

    How about getting rid of IRQ's on the PC platform!

    How about getting rid of drive letters in Windows/Dos and having mount points!

    How about a better drive interface than the stupid IDE interface. (Macs did it right with SCSI, but now to be "cheap" they do it too [sigh])

    And for self healing? If Windows is still around and the predominant OS, I'll pass on the "self healing" - it'll be more like "death-without-dignity." Remember NT 4 SP 6? [Shivver] I don't want MS "self-healing" my machine!

    In fact, I don't think I want anyone self healing my machine until software is lots more robust than it is now. At least when I apply patches to my machine and notice that something isn't working right, I know I _just_ patched it, so it might be the patch. With someone else applying patches without my knowing, I would be screwed!

    Yeah, all those "wonderful things are just around the corner" articles are neat, but I would truly be happy with some "incremental" changes.

    Lets forget "visionary" for a while and just fix the crap that's broken right now! Pleeeeease!

    Cheers!

  18. Links provided by NearlyHeadless · · Score: 3, Informative

    Farsite

    Butler Lampson, for papers on Byzantine reliability, mostly based on the work of

    Leslie Lamport

  19. Re:Mod Me Down If I'm Wrong..... by Ouroboro · · Score: 3, Informative
    1. http://www.computerworld.com/computerworld/records /images/story/Farsite.gif

      Was it just me or does the notion of a "Centralized file server" NOT sound like distributed computing to you?

    Not being in possesion of any moderator points I am forced to respond to your comment....

    If you were to have read the caption on the image, you would see that it says Logically: a centralized file server, but then it goes on to say Physically distributed among clients.

    --
    When I want your opinion I will beat it out of you.
  20. Brrr... by sharkey · · Score: 5, Funny

    ...operating systems...and they'll collaborate with applications...

    Windows Inheritance: "Psst. You crouch behind j.user's legs and I'll give him a push."
    Clippy 5000: "OK"
    *SHOVE*-splat!
    Software: "Have a nice trip? See you next Fall! Muahaha!"

    --

    --
    "Outlook not so good." That magic 8-ball knows everything! I'll ask about Exchange Server next.
  21. The #1 Rule of Network Security by Guppy06 · · Score: 4, Interesting

    "Imagine computers in a group providing disk storage for their users, transparently swapping files and optimizing their collective performance, all with no central administration."

    Whoever thought up this pipe dream apparently doesn't understand the Zeroth Law of Network Security: If you want information to be secure, DON'T PUT IT ON THE FUCKING NETWORK!

    Seriously! As if most business OSes don't default to the least-secure settings already! Why would you want to run important apps on a system where the default is to share anything and everything with any computer in listening distance?

  22. Beware emergent behaviour by AJWM · · Score: 5, Insightful

    This OS is based on multiple tiny extremely reliable components

    Unfortunately that doesn't necessarily make the OS itself reliable. The emergent behaviour of a system is different from the behaviours of its components.

    After all, all software is based on multiple tiny extremely reliable components (F00F and FDIV bugs aside)-- the processors op-codes -- and look how flakey most software is.

    Sure, you've got to start with reliable components, but you have to combine them in just the right way, too.

    --
    -- Alastair
  23. If the last 18 years are any indication... by Whatsthiswhatsthis · · Score: 3, Interesting

    ...there won't be much drastic change from now till the next 18 years. For evidence of this, look at the Apple Lisa. The Lisa had windows, icons, a menubar, a WYSIWYG interface, and a mouse. Today's computers are little more than a glorified Lisa interface, whether they are running Mac OS X or Windows XP (I know because I run both.) Like the Lisa, todays computers still crash and still corrupt themselves. I doubt that this could be easilly changed in the next five, ten, or even fifteen years.

    I'll believe the distributed file-storage myth when I see it. To me, it sounds as if it would hog bandwidth, just like gnutella does. I don't see any change coming in the way I store files on my computer. It's fast, effecient, and hasn't needed a change.

    SysAdmins need not quit their day-jobs. As long as Microsoft is providing this technology, you can be sure that it will run into snags and security vulnerabilities. Increased complexity = increased vulnerability.

    ...and that's all I've got to say about that

  24. Computers still haven't changed by pmz · · Score: 4, Insightful

    What was they hype ten years ago? Twenty?? Then, why am I still using UNIX??? And why is UNIX still the most powerful OS commonly used????

    I think there hasn't been a new idea widely used in computing since the '70s! What gives?

    1. Re:Computers still haven't changed by markmoss · · Score: 4, Insightful

      Because Unix wasn't designed as an OS that came with all the functions you would ever need (until next year, when you had to replace it), but rather a framework for adding in whatever turned out to be needed.

  25. Re:Mod Me Down If I'm Wrong..... by Salamander · · Score: 4, Informative
    The idea of my files being stored on some Iowa farmhands computer does not sit well with me...
    ...The only real security is hardware security, which is to say, my files on my machine, your files on your machine

    The first statement above makes perfect sense if you consider the second as axiomatic. However, the people working on these types of systems don't accept that axiom. Instead, they believe that cryptography-based security is just as strong as physical security...the odds that someone will factor a couple of hundred-digit numbers (or accomplish some equally difficult mathematical feat) are no higher than that they'll break into your home/office and steal your hardware. If they're right then there should be no problem with storing your files on some Iowa farmhand's computer (so long as you also have other replicas elsewhere for availability purposes), because Iowa Farmboy still can't access or modify your data without the right keys.

    That's a big "if" you say. Well, yes it is. But if you want to make an argument that hardware security is the only real security, you'll need to show that cryptographically based systems aren't as secure as skilled and experienced implementors of such systems seem to think. Good luck.

    --
    Slashdot - News for Herds. Stuff that Splatters.
  26. Predictable Predictions by nathanh · · Score: 3, Interesting

    My strong belief is that the best "predictions" occur when you find something in use today - only too expensive for the home user - and "predict" it will be ubiquitous within a few years. So here are my completely predictable predictions.

    1. Stereo equipment will start to offer Ethernet ports and "integration with your home computer". Initially this will be limited to song selections via Windows-only software.
    2. Affordable SANs will become popular. Initially this will occur within school/university labs but the gear will spread into "tech homes" as well.
    3. The word processor will become "that thing you get for free with your computer" thanks to efforts from Sun and OpenOffice, similar to what currently occurs with web browsers and media players.
    4. People will get sick of managing hundreds of incompatible devices; stereo, computer, MP3 player, discman, mobile phone, PDA, etc. Vendors will form large alliances to offer an integrated system.

    Notice how all of my predictions sort-of exist already. This is what makes predictions so easy.

  27. Hmm. Does BT know about this? SUE! by crovira · · Score: 3, Insightful

    And if you believe this piece of dross, read their predictions from ten years ago.

    'Nuff said.

    --
    MSBPodcast.com The opinions expressed here are my own. If you don't like 'em... Think up your own stuff.
  28. Eros's features for keeping EB to a minimum by slithytove · · Score: 3, Informative

    Eros components arent just small and work exactly as documented like your assembly example- that would be enough if every programmer were an anal retentive computer scientist maybe.
    in eros everything is orthogonally persistant meaning that every object, without doing anything on its own, has it's state saved by the system.
    the other neat feature that makes it more reliable even in the face of bad application level code is that instead of access list based security ala unix, there are fine grained permissions called capabilites that govern what any object may do to any other.
    these features coupled with transparent distribution could guarantee that even if the terminal in front of you is struck by lightning you'll be able to move to the nearest working one and pick up *exactly* where you left off!

    check it out- there are a lot of kewl os level ideas that could make life better if adopted by more mainstream oses.

  29. Expectation is Key to Reliability by Louis+Savain · · Score: 3, Interesting

    Sure, you've got to start with reliable components, but you have to combine them in just the right way, too.

    First off, we should learn a lesson from biology. The bee, for example, has about a million interconnected neurons. Yet the bee's highly sophisticated behavior is extremely robust and efficient. How does nature do it? The answer has to do with parallelism and expectations.

    1. Parallel processing insures that signals are not delayed, i.e., their relative arrival times are guaranteed to be consistent.

    2. Expectations are assumptions that neurons make about the relative order of signal arrival times.

    We can emulate the robustness of nature by first realizing that computing is really a genus of a species known as signal processing. We can obtain very high reliability by emulating the parallelism of nature and enforcing a program's expectations about the temporal order of messages: no signal/message should arrive before its time. The use of stringent timing constraints will ensure that interactions between multiple tiny modules remains consistently robust. Enforcement should be fully automated and an integral part of the OS.

    Of course, this is only part of it. The other constraints (e.g., the use of plug-compatible links, strong typing, etc...) are known already. No message should be sent between objects unless first establishing that plugs are connected to compatible sockets, i.e., that they must be of the same type.

    The most problematic aspect of computing, IMO, is that it is currently based on the algorithm. Problem is that algorithms wreak havoc in process timing and the end result is unreliability. The algorithm should not be the basis of computing. To ensure reliability, computing should be based on signal processing. Algorithms should only be part of application design, not process design. Just one man's opinion.