Re: Loadable VM pager

From: Pedro F. Giffuni (giffunip_at_yahoo.com)
Date: 08/18/03

  • Next message: Seigo Tanimura: "Embedding a vnode type to its interlock mutex type"
    Date: Mon, 18 Aug 2003 05:27:09 +0100 (BST)
    To: Nicolas Souchu <nsouch@free.fr>
    
    

    Hi;

    FWIW, I just wanted to mention... perhaps the only OS that has made all of it's
    components loadable in a similar way is SPIN:

    http://www.cs.washington.edu/research/projects/spin/www/

    I understand they did it to take advantage of Modula's features (strict OO)
    that provided better security.

    cheers,

       Pedro.

    ________________________________________________________________________
    Want to chat instantly with your online friends? Get the FREE Yahoo!
    Messenger http://uk.messenger.yahoo.com/
    _______________________________________________
    freebsd-arch@freebsd.org mailing list
    http://lists.freebsd.org/mailman/listinfo/freebsd-arch
    To unsubscribe, send any mail to "freebsd-arch-unsubscribe@freebsd.org"


  • Next message: Seigo Tanimura: "Embedding a vnode type to its interlock mutex type"

    Relevant Pages

    • Re: how to detect laptop hardware/drive problems?
      ... noticeable delay with command line stuff like ls. ... sometimes my harddrive seems to 'rev' (spin for a second, pause, spin ... To UNSUBSCRIBE, email to debian-user-REQUEST@xxxxxxxxxxxxxxxx ...
      (Debian-User)
    • Re: RISCOS Ltd Press Release 06/10/05
      ... >>> Haven't we covered your complete ineptitude at attempting to spin ... >>> blatant lying. ... >> With great regret I am going to unsubscribe from this ng. ...
      (comp.sys.acorn.misc)
    • Re: Hard Drive Spin Down
      ... Subject: Hard Drive Spin Down ... he is in trouble again. ... many of which require HDD access. ... To UNSUBSCRIBE, email to debian-user-REQUEST@xxxxxxxxxxxxxxxx ...
      (Debian-User)
    • Re: OT: Flash memory
      ... As the sub-atomic particles that maintain the charge that represent the ... Interestingly, as particles approach c, they loose mass, and you could ... Turning it on would by "up spin". ... To UNSUBSCRIBE, email to debian-user-REQUEST@xxxxxxxxxxxxxxxx ...
      (Debian-User)
    • Re: Buildworld fails for 6.0-RC1
      ... >> I saw some updates go by. ... FWIW... ... > Secure Computing Networks ... To unsubscribe, ...
      (freebsd-questions)