首页 > 系统相关 >内存对齐详解 (C++代码)

内存对齐详解 (C++代码)

时间:2023-04-15 18:01:46浏览次数:66  
标签:缓存 字节 C++ 访问 详解 内存 对齐 处理器

内存对齐详解 (C++代码)

目录

我每天都有读一下面经的习惯,从里面抽一些我不太懂的内容使用 dfs 的思想去探索,感谢有了GPT4,探索之路变得有趣和高效许多。

今天这个 Topic 如下,是腾讯日常实习面经中的内容

编译内存相关:

  1. C++内存管理,分了多少段,在堆上和在栈上的区别,为什么要区分堆和栈,new和malloc的区别,
  2. 内存对齐,为什么会出现内存对齐问题,程序员为什么要关注内存对齐问题

内存对齐是指数据在内存中的存储方式,要求数据存储在特定边界的倍数上。例如,4 字节的数据类型应该存储在 4 的倍数的地址上。内存对齐主要出于以下原因:

  1. 性能优化:对齐内存可以减少访问内存所需的 CPU 周期数。现代计算机硬件对于对齐的内存访问通常更加高效。不对齐的内存访问可能需要多次访问来读取或写入一个变量,而对齐的内存只需要一次访问。这里涉及缓存行的知识,后面相对提了提

  2. 硬件要求:某些硬件平台要求数据访问必须对齐。否则,这可能导致硬件异常、程序崩溃或其他未定义行为。

程序员需要关注内存对齐问题,因为它可能影响程序的性能和稳定性。以下是关于内存对齐的详细讨论:

  • 对齐边界:对齐边界通常是数据类型大小的倍数。例如,2 字节的数据类型(如 short)应该对齐到 2 字节边界,4 字节的数据类型(如 int)应该对齐到 4 字节边界,依此类推。

  • 结构体对齐:结构体中的成员变量可能会导致内存对齐问题。编译器通常会自动对齐结构体成员,但这可能导致结构体大小增加,因为编译器会在成员之间插入填充字节。了解如何手动调整结构体成员顺序和对齐,以减少填充和提高性能,对程序员来说很有帮助。后面我们通过代码展示结构体中的内存对齐

  • 编译器对齐:大多数编译器都提供了对齐设置的选项,可以在编译时指定对齐要求。例如,在 GCC 编译器中,可以使用 __attribute__((aligned(x)))/std::alignas(x) 指定对齐边界。后续我们会讲解这些关键词

  • 内存分配对齐:动态分配内存时,需要确保分配的内存满足对齐要求。许多内存分配函数,如 C++ 中的 new 或 C 中的 malloc,通常会自动对齐内存。但在某些情况下,需要手动处理对齐问题,例如使用特殊的内存分配函数。

总之,内存对齐对于程序性能和稳定性很重要。了解内存对齐原理和如何处理内存对齐问题,有助于编写高效、稳定的程序。

Test1: 结构体对齐

当我们说 "4 字节的数据类型应该存储在 4 的倍数的地址上" 时,我们是指数据在内存中的存储位置应该是 4 的整数倍。这是为了确保更高效的内存访问和满足某些硬件平台的要求。

假设我们有一个 4 字节的整数类型(如 int),它的内存地址应该是 4 的倍数,比如 0x1000、0x1004、0x1008 等。

#include <bits/stdc++.h>
struct MyStruct{
    char a;
    int b;
    char c;
};

int main(){
    MyStruct my_struct;
    uintptr_t a_address = reinterpret_cast<uintptr_t> (&my_struct.a);
    uintptr_t b_address = reinterpret_cast<uintptr_t> (&my_struct.b);
    uintptr_t c_address = reinterpret_cast<uintptr_t> (&my_struct.c);
    std::cout << "Address of a: " << std::hex << std::showbase << a_address << std::endl;
    std::cout << "Address of b: " << std::hex << std::showbase << b_address << std::endl;
    std::cout << "Address of c: " << std::hex << std::showbase << c_address << std::endl;


    return 0;
}
Address of a: 0x7ff7b762b530
Address of b: 0x7ff7b762b534
Address of c: 0x7ff7b762b538

在这个例子中,我们定义了一个名为 MyStruct 的结构体,包含一个 char 类型的成员 a(1 字节),一个 int 类型的成员 b(4 字节),和另一个 char 类型的成员 c(1 字节)。

当我们创建一个 MyStruct 类型的实例并输出每个成员的地址时,你可能会注意到,尽管 ac 的地址可能不是 4 的倍数,但 b 的地址通常是 4 的倍数(按理来说,char 之后的 b 地址应该不在 4 的倍数上)。这是因为编译器会自动处理内存对齐,以确保 4 字节的 int 类型成员 b 存储在一个 4 的倍数的地址上,从而提高内存访问效率。这个过程可能涉及到在成员之间插入填充字节。

Q: 那存储在4的倍数的地址上有什么好处呢?

存储在 4 的倍数的地址上对于 4 字节的数据类型(如 int)具有好处,主要是因为对齐内存访问可以提高处理器性能。以下是更详细的说明:

  1. 处理器访问内存时,通常会一次性加载多个字节(称为一个“字”或“字宽”),例如,一次加载 4 个字节。处理器的内存总线宽度通常与其字宽相匹配。如果数据已经对齐,处理器只需要一次内存访问就可以将整个数据值加载到寄存器中。

    举例说明:假设处理器的字宽为 4 字节(32 位),并且有一个 4 字节的整数存储在地址 0x1004(4 的倍数)。处理器可以一次访问将整个整数加载到寄存器中。因为内存对齐,处理器不需要执行额外的内存访问。

  2. 如果数据没有对齐,处理器可能需要执行多次内存访问才能获取完整的数据值。这会导致额外的性能开销。

    举例说明:假设处理器的字宽为 4 字节(32 位),但一个 4 字节的整数存储在地址 0x1005(不是 4 的倍数)。这种情况下,处理器需要两次内存访问才能获取整个整数值。首先,处理器需要从地址 0x1004 加载 4 个字节,然后从地址 0x1008 加载另外 4 个字节。接下来,处理器需要将这两部分组合成一个完整的整数值。这样,处理器需要执行额外的内存访问和数据组合操作,导致性能降低。

因此,将数据存储在其大小的倍数的地址上(如将 4 字节的数据类型存储在 4 的倍数的地址上)有助于提高处理器性能,因为处理器可以更有效地访问内存。对于现代处理器和硬件平台来说,这种性能优化是非常重要的,因为内存访问延迟通常是处理器性能的关键瓶颈。

Q: 那为什么我们不能从 0x1005 开始读取内存呢,这样的话我们同样可以 一次性读完呢?

首先,我们有一个前置知识,缓存行(可以参考“伪共享问题”的理解)。处理器通常一次访问一个固定大小的内存块,称为“缓存行”或“缓存块”。处理器从内存中读取数据时,会将整个缓存行加载到缓存中。然后,处理器可以在缓存中访问所需的数据。

首先,要理解缓存行的概念与数据对齐是两个独立的概念。缓存行是处理器缓存的组织方式,通常包含连续的多个字节。缓存行大小(例如 64 字节)是处理器设计的一个固定参数,它主要是为了优化内存访问性能。

而数据对齐是编程时需要考虑的概念,指的是将数据放置在与其大小相匹配的地址。数据对齐有助于提高处理器访问内存的性能。在某些处理器上,对齐访问要比非对齐访问快得多。

现在回到你的问题。缓存行本身并不关心数据的对齐情况。实际上,缓存行可以从任何地址开始,包括非对齐的地址。然而,处理器在设计时,通常会使缓存行的起始地址与缓存行大小对齐,以优化内存访问性能。因此,缓存行通常从对齐的地址开始,如 0x1000、0x1040、0x1080 等。

如果缓存行从非对齐的地址开始,如 0x1005,当处理器访问对齐的数据时,可能会跨越两个缓存行。这会导致额外的内存访问和数据组合操作,从而降低性能。通过将缓存行与其大小对齐,可以减少这种情况的发生,从而提高处理器访问内存的性能。

总之,虽然缓存行可以从任何地址开始,包括非对齐的地址,但处理器通常会使缓存行与其大小对齐,以优化内存访问性能。数据对齐是一个独立的概念,它有助于提高处理器访问内存的性能,尤其是在某些对齐访问性能更好的处理器上。

所以,最后答案是,实际上这是由处理器决定的,是依据工程经验制定的

Test2: 时间开销对比

我们可以使用字符(char)数组作为基础,并将其转换为 int 指针。这是一个修示例,这个例子使用 C++11 的 chrono 库进行计时,并使用 alignas 关键字(后面有这部分的语法补充解释)来强制数据对齐。请注意,这个例子的性能差异可能因处理器、编译器和系统配置的不同而有所不同。

这段代码使用一个 char 类型的缓冲区来模拟非对齐访问。aligned_data 指针指向缓冲区的开头,而 unaligned_data 指针指向缓冲区的第二个字节(即非对齐的 int 地址)。这样,你应该能看到对齐和非对齐访问之间的性能

#include <ios>
#include <iostream>
#include <chrono>

int main() {
    const int kSize = 100000;
    const int kRepeat = 10000;
	// 对齐
    alignas(4) char buffer[sizeof(int) * (kSize + 1)];

    int* aligned_data = reinterpret_cast<int*>(buffer);
    int* unaligned_data = reinterpret_cast<int*>(buffer + 1);

    // Initialize data
    for (int i = 0; i < kSize; ++i) {
        aligned_data[i] = i;
        unaligned_data[i] = i;
    }
    // 用来展示不同地址对齐
    std::cout << std::hex << std::showbase << \
        "aligned_data address: " << &aligned_data[0] << "\n" \
        "unaligned_data address: " << &unaligned_data[0] << "\n";
	// 回到标准的 std::dec
    std::cout.unsetf(std::ios_base::basefield);
    // Measure time for aligned access
    auto start_aligned = std::chrono::high_resolution_clock::now();
    for (int r = 0; r < kRepeat; ++r) {
        int sum = 0;
        for (int i = 0; i < kSize; ++i) {
            sum += aligned_data[i];
        }
    }
    auto end_aligned = std::chrono::high_resolution_clock::now();

    // Measure time for unaligned access
    auto start_unaligned = std::chrono::high_resolution_clock::now();
    for (int r = 0; r < kRepeat; ++r) {
        int sum = 0;
        for (int i = 0; i < kSize; ++i) {
            sum += unaligned_data[i];
        }
    }
    auto end_unaligned = std::chrono::high_resolution_clock::now();

    auto aligned_duration = std::chrono::duration_cast<std::chrono::microseconds>(end_aligned - start_aligned).count();
    auto unaligned_duration = std::chrono::duration_cast<std::chrono::microseconds>(end_unaligned - start_unaligned).count();

    std::cout << "Time for aligned access: " << aligned_duration << " microseconds" << std::endl;
    std::cout << "Time for unaligned access: " << unaligned_duration << " microseconds" << std::endl;

    return 0;
}
aligned_data address: 0x7ff7bacc8ab4
unaligned_data address: 0x7ff7bacc8ab5
Time for aligned access: 1018942 microseconds
Time for unaligned access: 1032926 microseconds

可以发现,首先我们的地址确实设计成了对齐非对齐两种情况。

其次,我们发现确实有运行效率的差异。但是现代 CPU 设计在处理非对齐访问时进行了很多优化,因此在某些情况下,非对齐访问的性能损失可能不太明显

扩展1: __attribute__((aligned(x)))alignas(x) 的区别和使用?

struct alignas(16) AlignedData {
    int a;
    float b;
    double c;
};
struct __attribute__((aligned(16))) AlignedData {
    int a;
    float b;
    double c;
};

两种代码都是可行的。__attribute__((aligned(x)))alignas(x) 都用于指定数据的对齐要求,但它们之间有一些细微的差别:

  1. __attribute__((aligned(x))) 是 GCC 编译器的特定语法,这意味着它在 GCC 编译器以及部分兼容 GCC 的编译器中可用,例如 Clang。然而,它在其他编译器,如 Microsoft Visual Studio 中可能不受支持。
  2. alignas(x) 是 C++11 标准中引入的语法,它在遵循 C++11 或更高标准的编译器中可用。与 __attribute__((aligned(x))) 不同,alignas(x) 是跨编译器可用的标准语法。

所以,一般情况下我们还是使用 alignas(x) 更好。

扩展2: 具体C++语法解析

对齐要求(Alignment)--- CPP reference

每种对象类型都有一种名为对齐要求(alignment requirement)的属性,它是一个非负整数值(类型为std::size_t,并且始终为2的幂),表示在这种类型的对象可以被分配的连续地址之间的字节数。

  • 类型的对齐要求可以使用alignofstd::alignment_of查询。
  • 指针对齐函数std::align可用于在某个缓冲区中获取适当对齐的指针,std::aligned_storage可用于获取适当对齐的存储空间。

(自C++11起)每种对象类型都对其所有对象施加其对齐要求;可以使用alignas(自C++11起)请求更严格的对齐(即具有更大的对齐要求)。

为了满足类的所有非静态成员的对齐要求,可能会在某些成员之后插入填充位。

具体还有 alignof 使用方法和 sizeof 类似,参考

alignof 是 C++11 引入的一个操作符,用于查询类型或对象的对齐要求。对齐要求表示该类型或对象所需的内存地址的倍数。例如,如果某个类型的对齐要求是 4,则该类型的对象应该存储在 4 的倍数的内存地址上。

alignof 操作符的语法如下:

alignof(Type)

其中 Type 是要查询对齐要求的类型。

alignof 返回一个 std::size_t 类型的值,表示给定类型的对齐要求(以字节为单位)。

标签:缓存,字节,C++,访问,详解,内存,对齐,处理器
From: https://www.cnblogs.com/Last--Whisper/p/17321538.html

相关文章

  • c++20协程实现await及suspend效果
    例子是掌握c++20协程的的起点,网上很多的协程资料说的很复杂,但是例子举得都太差劲了,我这里写了一个可以await与suspend的列子。1.协程的基本框架//suspend.cpp#include<chrono>#include<coroutine>#include<functional>#include<iostream>#include<memory>#include......
  • auto C++11
    类成员或结构体成员也不可以定义为auto。auto作为函数返回值,需要注意的点:当函数使用多条判断语句时,可能有多条return语句,此时所有语句的返回类型必须一致,否则auto会报错。当函数没有return语句时,auto会被推导为void。如果声明和实现分离了,则不能声明为auto。比如:au......
  • os.path.dirname;os.path.abspath;os.walk方法详解
    os.path.dirname:os.path.dirname(path):用来获取文件的路径   os.path.dirname(__file__):用来获取当前py文件的上层目录例如:当前文件所处位置为:D:/AutoTestSys/script/AutoFunction/test1.pyprint(os.path.dirname(__file__))返回的结果为: D:/AutoTestSys/script/Aut......
  • C++基础知识系列-1
    C++基础知识1git基础SVN(集中式版本控制器)和git(分布式版本控制器)区别​ SVN本地没有仓库信息存储代码,代码信息全部存储到云端。本地代码全部push到云端。​ git好处:版本库对提交的代码保存其版本提交记录;每次提交代码push之前先拉取代码pull,再次push时只会push经过改动的地方......
  • C++基础知识系列-3
    设计模式GoF设计模式清单工厂模式和抽象工厂模式在实际开发中使用较少;单例模式是重点,针对一个类的唯一实例;单例模式:通过设计的接口getInstance()获得对象,在接口内部设计只能有一个对象。将类的构造函数定义为私有属性【外部不能创建对象】;定义一个私有的类的静态私有成员变量......
  • C++基础知识系列-2
    C++11新特性C++11易用性改进静态断言使用范围几乎不受限制static_assert断言对象必须是常量表达式,编译期给出断言警告。用于ERROR提示强枚举类型//enum关键字enum class HighSchool: unsigned int {    student,    teacher,    principal};使用强......
  • OpenStack详解
    OpenStack是当今最具影响力的云计算管理工具——通过命令或者基于Web的可视化控制面板来管理IaaS云端的资源池(服务器、存储和网络)。它最先由美国国家航空航天局(NASA)和Rackspace在2010年合作研发,现在参与的人员和组织汇集了来自100多个国家的超过9500名的个人和850多......
  • C++ 测试框架 GoogleTest 初学者入门篇 丙
    theme:channing-cyan*以下内容为本人的学习笔记,如需要转载,请声明原文链接微信公众号「ENG八戒」https://mp.weixin.qq.com/s/RIztusI3uKRnoHVf0sloeg开发者虽然主要负责工程里的开发任务,但是每个开发完毕的功能都是需要开发者自测通过的,所以经常会听到开发者提起单元测试的......
  • maven各标签详解
    <projectxmlns="http://maven.apache.org/POM/4.0.0"xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"xsi:schemaLocation="http://maven.apache.org/POM/4.0.0http://maven.apache.org/maven-v4_0_0.xsd"><!--父项目......
  • 数据库隔离级别详解-对比
    一、隔离级别的种类与分别可以解决的问题:事务的隔离级别分为4个,即读未提交(readuncommitted)、读已提交(readcommitted)、可重复读(Repeatableread)、可串行化(Serializable)oracle默认的隔离级别为读已提交。mysql的默认隔离级别为可重复读。其中可以解决的问题如下表:......