数据结构

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

昨天闲的蛋疼去翻了翻libc++的std::string实现，意外地发现libc++的std::string有实现短字符串优化，写篇文章记录一下优化原理。