1. refinement; 2 vlock can be recursively lock critical area