SvendTofte SvendTofte

Niner since 2005


  • Singularity: A research OS written in C#

    Very nice video. The part of a managed OS is of course not new, as someone commented a few pages back (I skipped over the code debate), Lisp machines was essentially this, even with custom hardware, to execute lisp code faster.

    But the brief mention of code verifiability was very interesting. Perhaps someone else is doing something like this in the research labs? Maybe we could get a video of that?

    The concept alone is naturally worth persuing. Mathematically verifiably safe code. No stupid cert messing, you can simply (receiver side) verify a binary to be safe. That is so cool.
  • Windows, Part IV - Dave Probert

    As everyone else says, this series (I'm new around here, so I haven't watched that much) is great. And it really reminds me why the OS course you take in college is one of the most important classes you can take.

    We wrote a simple throw-away 3-4000 loc alpha kernel, and it teaches multiprogramming to the bone. It was nice to see alot of the stuff (also from my CPU class was still kicking around in my head), and to hear about "compare & swap".

    And I'll be looking forward to more on this stuff. I never found the time to read (it's not light reading after all) all of my copy of "Inside Windows 2K", so maybe I'll pick some up here Wink

    However, I think the most enjoyable part, was in the first (or was it second?) part, where he explained why he went with Windows, and how his son motivated that. Alone the story of how his wife was doing flyers (or something?) in troff?? My god, the pain she must have felt ...   I mean, I think LaTeX is damn sexy, but making my mom use it?

    Who is the interviewer we seem to see all the time? The one with the longhorn jacket? Is he hired to do nothing but produce these videos? Because they're getting posted awefully fast ...
  • Route 64 - Kang Su Gatlin talks about 64-bit

    Bah, that was so uninformative I stopped halfway through part 2. And I was looking forward to this, him being a VC++ PM and all.

    The questions were bad. And some of the comments ... vapid.

    1. He mentions that CLR code will run fine, and this surprises who? It's the whole point of the VM, as the x64/Itanium isn't the platform, but .NET is. Big whoop.

    2. He mentiones that some developers think (I want to see a show of hands here) that going 64 will give twice the speed.

    3. And this comment "If you can read 32 bit code, you can read 64 bit code", WOW! Considering that even C abstracts the bitsize of the architecture away, this will surprise who?

    And then he seems WAAY overenthusiastic about going 64 bit. How on earth does 32 -> 64 compare to the invention of the web? Few apps need an address space larger then 4 gig. Sure, 16 bit was not alot, but really, what has changed things is not the larger address space, but the architecture of chips, and operating systems. That you got more memory is really not where it's at.

    I'm a little surprised. The interview (or first half at least) gave no real reasons why 64 bit code will rock my world, so it all feels a bit hyped, which is a shame. What desktop machine does data mining (which cannot be accomplished in four gigs?), and how does media processing/files benefit from 64 bit?

    Let me ask people in another way:

    What would be seriously hampered, by the desktop market staying on 32 bit for another ... five years (let's ignore installed base, etc). If Intel and AMD kept making 32 bit chips, and nothing else for five more years, what would be the consequenses?

    Edit: Well, not to sound too sour Wink
    What I want to know, is WHY does he sound so hyped, about 64 bit? Data mining is nice, but really, who does that on a desktop (in a scale which cannot be accomplished today)? And media files? How do they benefit? Tell us what's exciting about it! We know that it wont affect actual developing, the architecture, languages and tools were made that way, to make the impact as small as possible.