[Adrian] queue lock and vertex lock initialization and discharge implementation, deadlock prevention by using global ordering, push/relabel function made thread safe, not compiled...