• If queue is not empty, then request cannot be granted — others are already waiting.

  • SHARED: OK to grant lock if lock is currently UNLOCKED, or if it is already SHARED.

  • EXCLUSIVE: Can only grant if lock is currently UNLOCKED.