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

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

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

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

对图形库进行了一些添加和修改，包括

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

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

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

使用 promise 和期货的典型过程如下

• 控制线程创建一个 promise，
• 控制线程从 promise 获取关联的期货，
• 控制线程启动子线程，
• 子线程调用实际函数并将返回值分配给 promise，
• 控制线程等待期货变为就绪，
• 控制线程从期货检索值。

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

使用 packaged_task 的典型过程如下

• 控制线程使用可调用对象创建一个 packaged_task，
• 控制线程从 packaged_task 获取关联的期货，
• 控制线程启动子线程，该子线程调用 packaged_task，
• packaged_task 调用可调用函数并分配返回值，
• 控制线程等待期货变为就绪，
• 控制线程从期货检索值。