Lec 10: Re-entrant Locks