Re: [boost] [thread-pool/futures] Explicit yielding

From: Peter Dimov (pdimov_at_[hidden])
Date: 2008-06-02 18:01:58

Johan Torp:

> If I understand you correctly, it can deadlock.

It can deadlock, but it cannot deadlock unexpectedly. That is, it will not 
turn code that didn't deadlock into code that deadlocks. Your example:

> Thread A, task 1, pool task:
>  submit task 2
>  acquire M2
>  wait on task 2 // Surprising that this call would acquire locks

> Thread A, task 2, executed from within wait on task 2 statement:
>  acquire M1 // Acquired in wrong order

> Thread X: // Acquires mutexes in correct order
>  acquire M1
>  acquire M2

already deadlocks without reuse.