[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