Reentrant lock: not removing who owns the lock until counter==0