[okl4-developer] thread spaceid
Harry Vennik
htvennik at zonnet.nl
Mon Jul 9 17:53:25 EST 2007
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
>> https://lists.okl4.org/mailman/listinfo/developer
>>
>
>
> _______________________________________________
> Developer mailing list
> Developer at okl4.org
> https://lists.okl4.org/mailman/listinfo/developer
More information about the Developer
mailing list