Re: emulating no-senders notifications in L4?

2001-12-19 Thread Marcus Brinkmann
On Thu, Dec 20, 2001 at 01:54:18AM +0100, Marcus Brinkmann wrote: > A port is a message *queue*. messages are enqueued until a mach_msg (trap) > is made to receive the next message on a port. This can be seen as sending > an RPC to the receive port (for efficiency, and maybe other reasons, it's

Re: emulating no-senders notifications in L4?

2001-12-19 Thread Marcus Brinkmann
On Thu, Dec 20, 2001 at 12:37:34AM +0100, Niels Möller wrote: > I been thinking a little more about how to do this, I think I now > understand how to do port-rights on L4, and I'd like to share that. I think basically, you have described that we need a seperate port server that maintains port rig

Re: emulating no-senders notifications in L4?

2001-12-19 Thread Niels Möller
I wrote, some time ago: > To me, it seems that for resource cleanup to happen automatically and > reliably, all resources must to be registered with the task-server, > and there must be no way to unregister a resource without also > destroying it or giving up access to it. To me, this seems to im

Re: term & user space console

2001-12-19 Thread Roland McGrath
I think Thomas gave you the information you needed, but just to throw a few things in. The hurdio bottom half should use the very same term/tioctl interfaces that term implements for users to diddle the underlying state. It should be fairly obvious from how term uses the bottom_half functions wh

debugging a pager

2001-12-19 Thread Diego Roversi
Hello, I need some help in debugging a pager. I'm trying to implement a cache in libstore and I modified the dev_read e dev_write function, but they are used to serve the page foults. The problem is that the translator died with a SIGSEGV the first time it tries to access to the file system (to

¢º¢º´Ù¸¥°÷¿£ ¾ø½À´Ï´Ù!!¢¸¢¸[±³À°¼­ºñ½º±¤°í]

2001-12-19 Thread webmaster
Title: Web Expert Edu. Center ___ Bug-hurd mailing list [EMAIL PROTECTED] http://mail.gnu.org/mailman/listinfo/bug-hurd

¢º¢º´Ù¸¥°÷¿£ ¾ø½À´Ï´Ù!!¢¸¢¸[±³À°¼­ºñ½º±¤°í]

2001-12-19 Thread webmaster
Title: Web Expert Edu. Center ___ Bug-hurd mailing list [EMAIL PROTECTED] http://mail.gnu.org/mailman/listinfo/bug-hurd