Modified receiveRelease & enterCriticalSection