4

我有一个用互斥锁保护的集合。初始化后它只会被读取，所以我不需要一个互斥锁。

集合在全局静态初始化器中被初始化和填充。我知道在单个翻译单元中保证全局静态初始化。是否可以保证全局静态初始化将是单线程的？

我有一个受施瓦茨计数器保护的静态集合，并由其他静态对象的构造函数填充。容器与互斥锁相关联。鉴于集合在启动后是只读的main，如果我能保证在单个线程中调用静态构造函数，我想摆脱互斥锁。

我的理解是静态初始化顺序通常在单个翻译单元内定义良好，但在翻译单元之间未指定。该标准是否允许由不同的运行时提供的线程初始化/构造静态对象？

施瓦茨计数器：

头文件：

struct Init
{
   Init();
   ~Init();
};
namespace
{
   Init _init;
}
extern std::map<int, std::unique_ptr<...>> &protected;

源文件：

namespace
{
   int init_count;
   std::aligned_storage<sizeof(std::map<int, std::unique_ptr<...>>), alignof(std::map<int, std::unique_ptr<...>>>)> protected_storage;
}
std::map<int, std::uniqe_ptr<...>> &protected = *reinterpret_cast<std::map<int, std::unique_ptr<...>> *>(&protected_storage);
Init::Init()
{
   if (!init_counter++)
   {
      new(&protected_storage) std::map<int, std::unique_ptr<...>>();
   }
}
Init::~Init()
{
   if (!--init_counter)
   {
      protected.~std::map<int, std::unique_ptr<...>>();
   }
}

收藏人群：

struct helper
{
   helper(...)
   {
      protected.insert(std::make_pair(...));
   }
};

扩展了一个宏来创建帮助器的静态实例。

4

1 回答 1

5

是否可以保证全局静态初始化将是单线程的？

你的意思是动态初始化。不，单线程初始化是明确不保证的。

从 3.6.2 开始：

如果程序启动线程（30.3），则变量的后续初始化相对于在不同翻译单元中定义的变量的初始化是无序的。否则，变量的初始化相对于在不同翻译单元中定义的变量的初始化是不确定的。如果程序启动一个线程，则变量的后续无序初始化相对于其他所有动态初始化都是无序的。否则，变量的无序初始化相对于所有其他动态初始化是不确定的

因此，如果您在程序中启动一个线程，那么来自两个不同 TU 的两个不同全局变量理论上可以让它们的构造函数同时从两个不同线程运行。

处理这些问题的最佳方法是将静态存储持续时间变量包装为以下“单例模式”中的局部静态变量：

const T& f()
{
    static T t(a,b,c);
    return t;
}

最新标准保证 的构造t是线程安全的，因此您根本不需要互斥体（至少没有明确指定，编译器将为您生成保护）。

作为一个额外的好处，对象是在第一次调用时“懒惰地”构造的f，所以你不需要担心初始化顺序。如果多个这样的单例在它们的构造函数中相互调用（当然前提是依赖关系是非循环的），它们将按照工作顺序进行初始化。对于非局部变量，情况并非如此。

于 2013-08-31T02:05:17.987 回答