双标志先检查

image.png

会导致同时进入临界区