unmap() guaranteed to succeed?
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:
More information about the l4-hackers