[okl4-developer] thread spaceid

Jorge Torres jorge.torres.maldonado at gmail.com
Tue Jul 10 12:36:07 EST 2007


HI Carl,

YOur experiment sounds like a very good idea, there is one thing I don't
understand entierly, it is about faking the space-id, under which situation
could this happen?

Thanks,

Jorge


On 7/9/07, Carl van Schaik <carl at ok-labs.com> wrote:
>
> Hi Jorge / Harry,
>
> We have encountered this problem as well recently, although for very
> different reasons. I'm experimenting with adding a "Sender's Space"
> field in the UTCB, which is updated on every IPC to reflect the space-id
> of the sender. This would means that the roottask for example need not
> lookup the space-id of the thread, and the kernel guarantees that the
> value cannot be faked.
>
> regards,
> Carl
>
> Jorge Torres wrote:
> > Yeap,
> >
> > A syscall such as pagerof would be great in some situations,
> >
> > Thanks,
> >
> > JOrge
> >
> > On 7/9/07, *Harry Vennik* < htvennik at zonnet.nl
> > <mailto:htvennik at zonnet.nl>> wrote:
> >
> >     I have run into the same thing recently. Not often a thread needs to
> >     know its own space-id, but when implementing some memory management
> >     server it would be very nice to be able to map the thread-id where
> >     the IPC request is coming from to a space-id to apply the memory
> >     mapping to. I think the microkernel simply has to keep track of the
> >     thread to space relations, so why require a memory manager server to
> >     do the same thing? I think it would be better to keep that info in
> >     the micro kernel only, and provide a way for the memory manager to
> >     request that information through a (privileged) syscall.
> >
> >     Regards,
> >
> >     Harry
> >
> >     Op 9-jul-2007, om 9:04 heeft Carl van Schaik het volgende
> geschreven:
> >
> >     > Are you asking about finding a thread's space-id? Currently it
> >     is not
> >     > possible, the OS environment should tell the thread, eg on its
> >     > stack. In
> >     > general, threads don't need to know their space-id and can't
> >     call make
> >     > any L4 calls that require it.
> >     >
> >     > regards,
> >     > Carl
> >     >
> >     > Jorge Torres wrote:
> >     >> HI,
> >     >>
> >     >>
> >     >> Does somebody know how can one find a thread spaceid?
> >     >>
> >     >> Thanks,
> >     >>
> >     >> Jorge
> >     >>
> >
> ---------------------------------------------------------------------
> >     >> ---
> >     >>
> >     >> _______________________________________________
> >     >> Developer mailing list
> >     >> Developer at okl4.org <mailto:Developer at okl4.org>
> >     >> https://lists.okl4.org/mailman/listinfo/developer
> >     >>
> >     >
> >     >
> >     > _______________________________________________
> >     > Developer mailing list
> >     > Developer at okl4.org <mailto:Developer at okl4.org>
> >     > https://lists.okl4.org/mailman/listinfo/developer
> >
> >
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.okl4.org/pipermail/developer/attachments/20070709/cbb8a3a1/attachment.htm 


More information about the Developer mailing list