[英]Strict aliasing violation and analysis
我知道违反严格的别名规则可能会导致很多麻烦。 其中之一是某种“寄存器缓存/内存不一致”。 以下代码是一个示例:
#include <iostream>
#include <vector>
#include <cstring>
#include <numeric>
struct F { float x, y; };
int main()
{
int input;
std::cin >> input;
std::cerr << "\n";
int size = input;
constexpr int cap = 4;
int64_t z[cap];
size = size > cap ? cap : size;
std::iota(z, z + size, 0);
std::cerr << "Initial z[] = ";
for(int i = 0; i < size; ++i) std::cerr << z[i] << ", ";
std::cerr << "\n\n";
// Type punning, undefined behavior.
F *f = (F*)z;
for(int i = 0; i < size; ++i)
{
f[i].x = 3.14 * (i + 1);
f[i].y = 3.14 * (size - i);
}
std::cerr << "After writing floats z[] = ";
for(int i = 0; i < size; ++i) std::cerr << z[i] << ", ";
while(true);
return 0;
}
使用 gcc-8.3 (mingw64) 编译代码,
system("C:/rtools40/mingw64/bin/g++.exe -std=gnu++17 -Ofast -o Ofast.exe tmp2.cpp")
在 64 位 Windows 10、Intel i9-9980HK 上,这是 output:
写入浮点数后, z[2]
仍然为 2,这是错误的,但也是意料之中的。
标准规定任何char*
都可以指向由所有类型的其他指针指向的 memory 块,因此必须正确确认通过该char*
进行的读取和写入。 于是我修改了上面的代码:
#include <iostream>
#include <vector>
#include <cstring>
#include <numeric>
struct F { float x, y; };
int main()
{
int input;
std::cin >> input;
std::cerr << "\n";
int size = input;
constexpr int cap = 4;
int64_t z[cap];
size = size > cap ? cap : size;
std::iota(z, z + size, 0);
std::cerr << "Initial z[] = ";
for(int i = 0; i < size; ++i) std::cerr << z[i] << ", ";
std::cerr << "\n\n";
// Undefined behavior.
F *f = (F*)z;
for(int i = 0; i < size; ++i)
{
f[i].x = 3.14 * (i + 1);
f[i].y = 3.14 * (size - i);
}
// The following branch is runtime dependent so cannot be pruned by an
// aggressive but compliant compiler (ACC).
// The goal is to make any ACC "fear" that z[]'s contents can be altered
// via another char*.
// This complies the strict aliasing rule since a char* can point to
// any memory block pointed by another pointer of any type, and read / write
// the memory thereafter.
if(input > 2000000000) // Little chance to enter.
{
char dummy[cap * sizeof(int64_t)];
int Nbytes = size * sizeof(int64_t);
char *zchar = (char*)z; // Set a char* pointer to z[]
std::memcpy(dummy, zchar, Nbytes);
// Read and write zchar[], do some dummy arithmetics:
for(int i = 0; i < Nbytes; ++i) zchar[i] &= zchar[Nbytes - 1 - i];
int S = std::accumulate(zchar, zchar + Nbytes, 0);
// Print it so this whole dummy thing cannot be pruned by ACC.
std::cerr << "dummy result = " << S << "\n\n";
// Recover.
std::memcpy(zchar, dummy, Nbytes);
}
// Because the same memory block as z[] could be rewritten via a char*,
// the ACC has to achieve some sort of register-cache/memory coherence,
// thus the right output.
std::cerr << "After writing floats z[] = ";
for(int i = 0; i < size; ++i) std::cerr << z[i] << ", ";
while(true);
return 0;
}
我什至可以将虚拟分支简化为
if(input > 2000000000) // Little chance to enter.
{
int S = std::accumulate((char*)z, (char*)(z + size), int(0));
std::cerr << "dummy result = " << S << "\n\n";
}
它仍然产生正确的结果。
我关于严格别名规则的理由是否正确? 以上是防止类型双关语可能带来的“寄存器缓存/内存不连贯”问题的有效方法吗?
谢谢!
当您说“寄存器缓存/内存一致性”时,我不确定您在想什么。
别名违规的问题很简单(与所有未定义的行为一样)优化器可能会选择依赖它永远不会发生(因为它是 UB)来推断程序执行的约束并使用它来生成需要的优化机器代码只有在这些限制下才能发挥作用。
例如,在您没有通过char*
写入的情况下,优化器可以例如看到通过F*
的写入不可能修改z
,因为这将是一个别名违规。 因此,它可以例如在 output 之后通过F*
重新排序写入。
或者,编译器可能会看到z
首先写入了可以在编译时计算的值,它可能会记住这些值以进行优化。 然后它可以忽略通过F*
进行的写入,由于 UB,这是不可能的,最后看到 output 它可以简单地选择 output 常量对应于它“知道”在z
中的值。
您的保护方法可能会阻碍其中一些优化,但编译器可能会选择采用其他优化方法。
例如,编译器可能会识别出通过F*
进行的写入是 UB 并由此得出结论,唯一可能的值size
可能是0
,因为循环体可能永远不会在非 UB 程序中执行。
然后它可以使用这些知识来优化整个程序:
int main()
{
int input;
std::cin >> input;
std::cerr << "\n";
std::cerr << "Initial z[] = ";
std::cerr << "\n\n";
std::cerr << "After writing floats z[] = ";
return 0;
}
使用您的方法,您只能希望编译器在某些时候不会获得足够复杂的优化能力来做出此决定(而且我不确定目前没有编译器能够并且愿意这样做。)
如果您想使用违反别名规则的构造,那么您需要确保您的编译器根本不依赖它进行优化。 编译器通常有一个标志告诉他们不要这样做,例如-fno-strict-aliasing
用于 GCC,尽管在您的程序中,不仅是别名冲突是一个问题,而且它也是一个问题,没有实际上任何F
object 或F
对象数组,您将被允许在其上进行指针运算或访问成员。 我不确定 GCC 的-fno-strict-aliasing
标志通常是否足以保证它不会依赖这两种 UB 进行优化。
附带说明: while(true);
在 C++(但不是 C)中也是未定义的行为。 如果没有 IO、原子或易失性操作,就不可能有无限循环。
例如,只要循环存在 Clang 13 和-O3
编译器资源管理器输出:
Initial z[] = 0, 1, 2,
After writing floats z[] = 4690138725358302659, 4668251232723858883, 4632222435709990994, 4210784, 1, 12884901889, 2, 4200237, 140113662963656, 4200160, 0, 4200160, 0, 0, 0, 140113661087923, 140113662942080, 140736215914984, 4295040000, 4198848, 4200160, -8494071215197471174, 4198608, 140736215914976, 0, 0, 8494236860351561274, 8413707913860136506, 0, 0, 0, 1, 140736215914984, 140736215915000, 140113666830736, 0, 0, 4198608, 140736215914976, 0, 0, 4198654, 140736215914968, 28, 1, 140736215916259, 0, 140736215916270, 140736215916410, 140736215916436, 140736215916463, 140736215916489, 140736215916515, 0, 33, 140736217014272, 16, 529267711, 6, 4096, 17, 100, 3, 4194368, 4, 56, 5, 11, 7, 140113666637824, 8, 0, 9, 4198608, 11, 0, 12, 0, 13, 0, 14, 0, 23, 0, 25, 140736215915385, 26, 2, 31, 140736215916525, 15, 140736215915401, 0, 0, 0, -5663448171308038656, 2109109041276691562, 14696481348417631, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 8391735729100685312, 4921308987509732720, 6436278639021083743, 8011689642975907935, 7597692896546878576, 7813877729437312364, 7020094974597624431, 3328210922030065518, 8011686456465305392, 7597692896546878576, 7813877729437312364, 7020094974597624431, 3328210922030065518, 4193470700803862320, 7885630528017166127, 8675390226550253936, 7147056913697434736, 3329058620635505004, 3918810539134823984, 5719376094260428852, 7150963379136975952, 8605359904538979439, 4707178968379521377, 5642809484591980366, 4427723895174544723, 5548561706083904609, 5283936564644036947, 8028914707716066895, 8320788952091016562, 5786948835902442496, 8026326388909754708, 7023201308806115180, 4415020012612383609, 8011672841536692527, 32420700043113589, 0,
而且我不知道编译器资源管理器是否截断 output: https://godbolt.org/z/bcq5vKonG
声明:本站的技术帖子网页,遵循CC BY-SA 4.0协议,如果您需要转载,请注明本站网址或者原文地址。任何问题请咨询:yoyou2525@163.com.