From: Yuval Ronen (ronen_yuval_at_[hidden])
Date: 2007-08-22 11:22:33
Howard Hinnant wrote:
> On Aug 22, 2007, at 8:05 AM, Yuval Ronen wrote:
>> Yuval Ronen wrote:
>>> Howard Hinnant wrote:
>>>> Because of this, it is
>>>> not possible (in the above use case) for there to be a set_mutex on
>>>> the condition to change the facade, since both facades are
>>>> simultaneously in use.
>>> Yes, I've realized that too late. My set_mutex() function is useless
>>> because it has to be atomic with the wait().
>> I've just thought that it might be not so useless after all.
>> is supposed to be called after the mutex was locked, and before
>> condition::wait. Because the mutex is locked, we are protected against
>> simultaneous use. There can be a problem when multiple readers lock
>> read, and simultaneously call set_mutex, but if we assume they all set
>> the same mutex it shouldn't be a problem.
> How would wake from wait be handled? I.e. what mutex (facade) would
> it use to lock with? The last one set may not correspond to the
> proper one on wake.
It would lock the same mutex it unlocked upon entering wait().
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk