fix bug which provokes device busy when detroting a mutex