虽然PV操作是可实现____的工具，但只有____才能既保持进程的并发性又避免____而造成的错误。在解决具体问题时，应验证____。