无锁数据结构

华为研究院在OSDI23会议上发表了一篇名为BWoS: Formally Verified Block-based Work Stealing for Parallel Processing的论文，介绍了一种叫做BWoS的Work-Stealing Queue，能够极大地减小Work-Stealing带来的额外开销，本文会简要介绍BWoS的设计思想。