1

我发现当我激活 -O3 标志时，使用 Boost 创建的多线程程序要快得多。但是，这会引发一些额外的编译器警告，所有这些警告如下：

warning: dereferencing type-punned pointer will break strict-aliasing rules

这些警告都是在 Boost 文件中生成的shared_mutex.hpp。具体来说，以下函数导致了这些警告：

template<typename T>
T interlocked_compare_exchange(T* target,T new_value,T comparand)
{
    BOOST_STATIC_ASSERT(sizeof(T)==sizeof(long));
    long const res=BOOST_INTERLOCKED_COMPARE_EXCHANGE(reinterpret_cast<long*>(target),
                                                      *reinterpret_cast<long*>(&new_value),
                                                      *reinterpret_cast<long*>(&comparand));
    return *reinterpret_cast<T const*>(&res);
}

从这个问题来看，这些警告似乎意味着代码可能会崩溃，但这似乎不太可能来自 Boost 文件。现在，我的程序变得相当复杂，并且我已经看到它（在罕见且看似随机的实例上）在长时间运行时崩溃。Boost库是否可能导致这种情况？如果重要的话，我正在使用mingw。

4

2 回答 2

0

该问题已被报告为 boost here，并且警告是合法的。如果该代码内联在调用函数中，则在概念上允许编译器通过这些代码reinterpret_cast和原始变量重新排序访问。

话虽如此，这是在使用原子操作的特定代码段中，因此 BOOST_INTERLOCKED_COMPARE_EXCHANGE 宏的扩展可能包括阻止编译器和 cpu 重新排序指令的守卫......所以它可能没问题。

于 2013-11-08T23:21:37.030 回答
0

是的，您应该担心严格混叠警告！编译器实际上会假设没有会导致问题的对象的别名。如果您的代码（或您使用的代码）不是别名干净的，您应该禁用相应的选项：

-fno-strict-aliasing

这种特定的优化被显式禁用是很常见的，因为很多代码实际上违反了严格的别名规则。

于 2013-11-08T23:16:17.863 回答