Boost.FSM 库是 FSM（代表有限状态机）编程概念的实现。该库的主要目标是

• 简单性。使用此库创建状态机应该非常简单。
• 性能。状态机基础结构不应该非常耗时和占用内存，以便适用于更多用例。
• 可扩展性。开发人员可能希望向现有状态机添加更多状态。开发人员还应该能够以最少的代码修改为机器指定其他转换和事件。

对属性映射库的一些添加和修改，包括

• 一个常量值属性映射，对自然无权图很有用。
• 一个无操作写入属性映射，当您必须提供一个参数，但只是不关心输出时很有用。
• 有关详细信息，请参阅更改日志。

对图库的一些添加和修改，包括

• 两个新的图类（无向和有向），旨在使新开发人员更容易使用该库
• 一套图度量，包括度中心性和紧密中心性、平均测地线距离、偏心率和聚类系数。
• 一种访问有向图中所有循环的算法（Tiernan 在 1970 年代提出的）。它也适用于无向图，但会报告两次循环（每个方向一次）。
• 一种访问图中所有派系的算法（Bron&Kerbosch）。适用于有向和无向图。
• 派生图度量半径和直径（来自偏心率）以及周长和周长（来自 Tiernan）以及派系数（来自 Bron&Kerbosch）。
• 一个 exterior_property 类，有助于隐藏外部属性的一些怪异之处。
• 新算法的运行时和编译时测试。
• 大量的文档
• 图核，由 David Gleich（斯坦福大学）实现
• 确定性图生成器 - 能够在顶点集上创建或导出特定类型的图（例如，星图、轮图、棱镜图等）。还可以向其中添加其他几种特定类型，但我还没有时间。

本文提出了一种返回缓冲区，它在一个（子）线程中获取一个值（或异常），并在另一个（控制）线程中提供该值。此缓冲区本质上提供两个接口

• 一个用于赋值的接口，如类 promise，以及
• 一个用于等待、查询和从缓冲区中检索值（或异常）的接口，如类 unique_future 和 shared_future。unique_future 提供移动语义，其中值（或异常）只能检索一次，而 shared_future 提供复制语义，其中值可以任意多次检索。

使用 promise 和 future 的典型过程如下所示

• 控制线程创建一个 promise，
• 控制线程从 promise 中获取关联的 future，
• 控制线程启动子线程，
• 子线程调用实际函数并将返回值赋给 promise，
• 控制线程等待 future 准备好，
• 控制线程从 future 中检索值。

还提出了一个 packaged_task，它包装一个可调用对象并提供另一个可以在其自身线程中启动的可调用对象，并将返回值（或异常）赋给可以通过 future 类之一访问的返回缓冲区。

使用 packaged_task 的典型过程如下所示

• 控制线程使用可调用对象创建一个 packaged_task，
• 控制线程从 packaged_task 获取关联的 future，
• 控制线程启动子线程，该子线程调用 packaged_task，
• packaged_task 调用可调用函数并赋值返回值，
• 控制线程等待 future 准备好，
• 控制线程从 future 中检索值。