change deadlock detection
improve give_priority()
improve handling of demanded_tasks
improve handling of queue