Anthony Williams

Tom Brinkman

该库提出了一种返回缓冲区，它在一个（子）线程中获取值（或异常），并在另一个（控制）线程中提供值。

• 一个接口用于将值分配为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检索值。

Robert Kawulak

Jeff Garland

http://rk.go.pl/f/constrained_value.zip

Boost约束值库包含用于创建约束对象的类模板。一个简单的例子是表示一天中的小时的对象，其中只有[0, 23]范围内的整数才是有效值。

bounded_int<int, 0, 23>::type hour;
hour = 20; // OK
hour = 26; // exception!

可以自定义赋值无效值的情况下的行为。例如，不是像上面的例子那样抛出异常，而是可以调整值以满足约束条件。

wrapping_int<int, 0, 255>::type buffer_index;
buffer_index = 257; // OK: wraps the value to fit in the range
assert( buffer_index == 1 );

该库不只关注如上例所示的有界对象——实际上，可以通过使用谓词来施加任何约束。

// constraint (a predicate)
struct is_odd {
   bool operator () (int i) const
   { return (i % 2) != 0; }
};

// and the usage is as simple as:
constrained<int, is_odd> odd_int = 1;
odd_int += 2; // OK
++odd_int; // exception!

该库具有基于策略的设计，允许灵活地定义约束和赋值无效值的情况下的行为。可以在编译时配置策略以获得最大效率，如果需要这种动态功能，则可以在运行时更改策略。

Oliver Kowalke

需要

Boost沙盒库

该库提供：

• 线程创建策略：确定工作线程的管理方式

  • 池中固定数量的线程
  • 按需创建工作线程（取决于上下文）
  • 让工作线程在一定空闲时间后超时

• 通道策略：管理对排队任务的访问

  • 具有高低水位线的有限通道，用于排队任务
  • 具有无限数量排队任务的无界通道
  • 生产者和消费者线程之间的会合同步交接

• 排队策略：确定如何从通道中删除任务

  • 先进先出
  • 后进先出
  • 优先级队列（分配给任务的属性）
  • 智能插入和提取（例如，用最新的任务替换具有特定属性的最旧任务）

• 任务可以链接，并且还支持任务的延迟提交（感谢Braddock的期货库）。

• 从提交函数返回任务对象。如果任务是合作的（意味着它的代码中有一些中断点->），则任务本身可以中断。this_thread::interruption_point() ).

Pawel Kieliszczyk

需要

Boost沙盒库

该库旨在实现快速且忠实的多分式操作。它提供：

• 主要的算术运算符（+、-、* 使用FFT、/、%），
• 最大公约数，
• 不同的评估方法（Horner方案、补偿Horner算法、预处理），
• 导数和积分，
• 插值，
• 各种多项式形式之间的转换（用于创建切比雪夫、厄米特、拉盖尔和勒让德形式的特殊函数）。

Matus Chochlik

Mirror库的目的是在编译时和运行时提供关于常见C++结构的有用元数据，例如命名空间、类型、typedef定义的类型、类及其基类和成员属性、实例等，并为它们的内省提供通用接口。

Mirror库的设计理念是分层，并尽量减少侵入性。不需要为了直接支持Mirror而重新设计新类或现有类，并且只要遵循一些通用准则，类定义中就不需要任何与Mirror相关的代码。

目前已实现的Mirror库最重要的功能包括：

• 命名空间名称检查。
• 检查定义命名空间的整个范围。
• 类型名称查询，支持typedef定义的类型名称和派生类型的类型名称，例如指针、引用、cv限定类型、数组、函数和模板名称。可以查询带有或不带有嵌套名称说明符的名称。
• 检查类型定义的范围。
• 统一且通用的类基类检查。例如，可以检查基类的特性，例如它们的类型、是否为虚拟继承以及访问说明符（私有、保护、公共）。
• 统一且通用的类成员属性检查。在编译时，可以查询类的属性数量及其类型、存储类说明符（静态、可变）和其他一些特性。在运行时，可以统一查询成员属性的名称和/或值（给定反射类的实例），并按顺序对类的每个属性执行自定义函数。
• 使用用户定义的访问者遍历类的（或一般类型的）结构，这些访问者可以选择作用于提供的类型的实例，或者仅作用于其结构而无需任何运行时数据。Mirror引导这些访问者遍历类的结构，并选择性地提供关于遍历中当前位置的上下文信息。

我希望在接下来的几个月内准备好进行审核。

Joachim Faulhaber

区间模板库 (Itl) 提供区间和两种区间容器：Interval_sets 和 interval_maps。Interval_sets 和 maps 可以像元素的集合或映射一样使用。但是，当元素以连续块（区间）出现时，它们在空间和时间效率方面要高得多：区间。这在许多问题领域中显然是正确的，尤其是在处理与日期和时间相关问题的领域中。

区间容器允许与 interval_sets 相交以处理分割。例如，您可能希望将区间容器与月份网格相交，然后迭代这些月份。

最后，interval_maps 提供对关联值的聚合，如果添加的区间与存储在 interval_map 中的区间重叠。此功能称为重叠聚合。示例中显示了这一点。

typedef set<string> guests;
interval_map<time, guests> party;
guests mary; mary.insert("Mary");
guests harry; harry.insert("Harry");
party += make_pair(interval<time>::rightopen(20:00, 22:00),mary);
party += make_pair(interval<time>::rightopen_(21:00, 23:00),harry);
// party now contains
[20:00, 21:00)->{"Mary"}
[21:00, 22:00)->{"Harry","Mary"} //guest sets aggregated on overlap
[22:00, 23:00)->{"Harry"}

从示例可以看出，interval_map 既具有分解行为（在时间维度上），也具有累积行为（在关联值上）。

Vicente J. Botet Escriba

Boost.InterThreads 扩展了 Boost.Threads，添加了一些功能

• 线程装饰器：thread_decorator 允许定义设置/清理函数，这些函数将仅由线程调用一次：在线程函数之前设置，在线程退出时清理。
• 线程特定共享指针：这是 thread_specific_ptr 的扩展，允许从其他线程访问此线程特定上下文。由于它是共享的，因此存储的指针是 shared_ptr 而不是原始指针。
• 线程保持活动机制：此机制允许检测那些不通过定期调用 keep_alive_point 来证明其存活的线程。当线程被声明为死亡时，将调用用户提供的函数，该函数默认情况下将中止程序。
• 线程元组：定义一个线程组，其中线程数量是静态已知的，并且线程在构造时创建。
• set_once：一种同步器，它只允许设置一次变量，并将变量值通知给任何等待该值的线程。
• thread_tuple_once：boost::thread_tuple 的扩展，允许加入第一个完成的线程，为此使用 set_once 同步器。
• thread_group_once：boost::thread_group 的扩展，允许加入第一个完成的线程，为此使用 set_once 同步器。

（thread_decorator 和 thread_specific_shared_ptr）基于 Roland Schwarz 编写的 threadalert 的原始实现。

Boost.InterThreads 扩展了 Boost.Threads，添加了线程设置/清理装饰器、线程特定共享指针、线程保持活动机制和线程元组。