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

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

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

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

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

• 两个新的图类（无向图和有向图），旨在使该库对新开发人员更易于上手
• 一套图度量，包括度中心性和接近中心性、平均测地距离、离心率和聚类系数。
• 一种访问有向图中所有环的算法（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，
• 控制线程从 packaged_task 获取关联的 future，
• 控制线程启动子线程，该子线程调用 packaged_task，
• packaged_task 调用可调用函数并分配返回值，
• 控制线程等待 future 变为就绪，
• 控制线程从 future 检索值。