On 13 May 2015 at 14:54, Programmingkid <programmingk...@gmail.com> wrote: > Thanks for the code, but it didn't work as it was expected to. The > abort or stack trace never happened. I did recompile using enable-debug.
I tested that it did detect double-unlock by adding a second call to unlock in qemu_mutex_unlock; does that fire for you? If so then maybe the bug isn't actually a double-unlock. If you could send the trace from your debug printing that might be helpful. thanks -- PMM