started=true;
    public void start() {        if(deadlock_detection) {            if(scheduler == null) {                scheduler=new Scheduler();                if(call_stack_setter != null)                    scheduler.setListener(call_stack_setter);                if(concurrent_processing)                    scheduler.setConcurrentProcessing(concurrent_processing);                scheduler.start();            }        }    }