Ordered locks and 3 threads example