code: synchronized void insert_except(DevFailed res, TimeVal when, TimeVal needed)
  	{
  		ring.insert_except(res,when);
  		needed_time = needed;
  	}
docs: ==========================================================================