unmap() guaranteed to succeed?

Marcus Völp voelp at os.inf.tu-dresden.de
Fri Dec 22 21:16:21 CET 2006

Marcus Brinkmann schrieb:
>>> ...
>>> I have the feeling that this is an obvious threat scenario and thus is
>>> probably addressed already, but I can't find where.  
>> So far we mostly ignored this problem as far as the main-stream 
>> implementations go. One of the reasons I think was that map and unmap 
>> were not used by real-time tasks so their potentially unbounded 
>> execution time was not much of a problem. Volkmar's Beleg discusses some 
>> ideas how to solve this problem.
> Is some of that material online?
Yes, but unfortunately only in german:


Best regards


More information about the l4-hackers mailing list