Ow, my brain hurts. I'll stick to the occasional kernel recompile.
Posted Feb 21, 2008 11:39 UTC (Thu) by deleteme (guest, #49633)
But I like those quaject callbacks I think it's more beautiful than doing exception throwing
and signal passing. But again maybe that's just my ignorance showing.. ;-)
Posted Feb 21, 2008 13:51 UTC (Thu) by nix (subscriber, #2304)
It's definitely more elegant. It's more like the Emacs hooks-everywhere scheme than exception
(I've seen one program that approaches things in the same way as this does with its quaject
callbacks, and that's the ERC IRC client, which has a fairly conventional server core, but all
the actual processing is done by invoking hooks with names constructed from the type of the
server response; said hooks can then send messages back again, or whatever. Of course ERC
doesn't have all the *other* nifty stuff in Synthesis.)
(btw, isn't the cartoon at the end a picture of a quala, not a koala? --- sorry.)
Callbacks and quajects
Posted Feb 26, 2008 16:55 UTC (Tue) by pdc (guest, #1353)
I think you would need to come up with some new programming language syntax that encapsulates
the special conventions of quajects and the locking primitives (sort of how Occam encapsulates
the CSP-style synchronization primitives of the Transputer), doing all the bookkeeping and
self-modifying code invisibly for you. Without a higher-level language to write programs in
you presumably are left with hand-edited and fragile assembly-language code...
The Kernel Hacker's Bookshelf: Synthesis: An Efficient Implementation of Fundamental Operating Systems Services
Posted Feb 24, 2008 13:42 UTC (Sun) by nix (subscriber, #2304)
Ah, but with Synthesis, the kernel can recompile iself! :)
Copyright © 2017, Eklektix, Inc.
Comments and public postings are copyrighted by their creators.
Linux is a registered trademark of Linus Torvalds