具体的には、a-post-give-up-lockとb-post-gain-lockには"相対的な順序が"定義されてい"ない"ため、多くの人が驚いています。