标签: LDD3之并发和竞态-completion(完毕量)的学习和验证