深入浅出rust内存对齐

在 Rust 中,内存对齐是一个重要的概念,它涉及到数据在内存中的存储方式,以及如何优化内存访问的效率。往往一门语言的内存布局以及对齐方式决定了一门语言的性能,因此学会并深入理解rust中内存布局会让我们写出高性能的rust代码,我们就从以下介个方面来对rust的内存对齐:

1. **内存对齐的定义**:
   - 内存对齐要求数据在内存中的存储位置满足特定的对齐要求。大多数计算机体系结构要求某些数据类型的地址必须是特定大小的整数倍 。

2. **对齐的自然数倍**:
   - `address` 与 `size` 都必须是对齐位数 `alignment` 的自然数倍。例如,对齐位数为 2 字节的变量值仅能保存于偶数位的内存地址上 。

3. **对齐位数**:
   - 对齐位数 `alignment` 必须是 2 的自然数次幂,即 `alignment = 2^N` 且 `N` 是小于或等于 29 的自然数 。

4. **存储宽度**:
   - 存储宽度 `size` 是有效数据长度加上对齐填充位数的总和字节数 。

5. **对齐填充**:
   - 由于 `address`、`size` 与 `alignment` 之间存在倍数关系,程序对内存空间的利用会出现冗余与浪费,这些被浪费掉的部分被称为对齐填充 `alignment padding` 。

6. **小端和大端填充**:
   - 对齐填充分为小端填充 `Little-Endian padding` 和大端填充 `Big-Endian padding`,分别对应 0 填充位出现在有效数据右侧的低位和左侧的高位 。

7. **默认对齐规则**:
   - Rust 中,默认情况下,数据类型的对齐方式是与其大小相对应的。例如,`u32`、`i32`、`f32` 和指针类型对齐到 4 字节边界;`u64`、`i64` 和 `f64` 类型对齐到 8 字节边界 。

8. **手动控制对齐**:
   - 可以通过 `#[repr(align(n))]` 注解来手动控制结构体或枚举的对齐方式 。

9. **紧凑对齐**:
   - 通过 `#[repr(packed)]` 属性可以手动设置紧凑对齐方式,这会忽略默认的对齐规则,使结构体占用更少的空间 。

10. **内存对齐的影响**:
    - 内存对齐是编译器或虚拟机(比如 JVM)的工作,不需要人为指定,但是作为开发者需要了解内存对齐的规则,这有助于编写出合理利用内存的高性能程序 。

这些规则和特性确保了 Rust 程序在不同平台上的内存访问效率和兼容性。通过理解内存对齐,开发者可以更好地优化程序性能和内存使用。
# 例子
在 Rust 中,你可以使用 `#[repr(align(n))]` 属性来指定结构体或枚举的对齐要求。以下是一些关于内存对齐的例子:

### 默认对齐

```rust
#[repr(C)]
struct AlignedStruct {
    a: u8,
    b: u32,
    c: u64,
}

fn main() {
    println!("Size of AlignedStruct: {}", std::mem::size_of::<AlignedStruct>());
    println!("Align of AlignedStruct: {}", std::mem::align_of::<AlignedStruct>());
}
```

在这个例子中,`AlignedStruct` 使用默认对齐,`u8`、`u32` 和 `u64` 会根据它们的大小自然对齐。`u8` 不需要对齐,`u32` 需要 4 字节对齐,`u64` 需要 8 字节对齐。因此,`AlignedStruct` 的对齐要求将由最大的对齐要求决定,即 8 字节。

### 手动指定对齐

```rust
#[repr(align(4))]
struct ManuallyAligned {
    a: u8,
    b: u32,
    c: u64,
}

fn main() {
    println!("Size of ManuallyAligned: {}", std::mem::size_of::<ManuallyAligned>());
    println!("Align of ManuallyAligned: {}", std::mem::align_of::<ManuallyAligned>());
}
```

在这个例子中,我们手动将 `ManuallyAligned` 的对齐要求设置为 4 字节。这意味着结构体在内存中的地址必须是 4 的倍数。这可能会导致一些填充,以确保 `u64` 成员 `c` 也符合这个对齐要求。

### 紧凑对齐

```rust
#[repr(packed)]
struct PackedStruct {
    a: u8,
    b: u32,
    c: u64,
}

fn main() {
    println!("Size of PackedStruct: {}", std::mem::size_of::<PackedStruct>());
    println!("Align of PackedStruct: {}", std::mem::align_of::<PackedStruct>());
}
```

在这个例子中,`PackedStruct` 使用 `#[repr(packed)]` 属性,这意味着结构体将尽可能紧凑地排列,忽略默认的对齐规则。这可能会导致内存访问效率降低,但可以节省空间。

### 对齐填充

```rust
#[repr(C, align(8))]
struct AlignedWithPadding {
    a: u8,
    b: u32,
}

fn main() {
    let aligned_with_padding = AlignedWithPadding { a: 1, b: 2 };
    unsafe {
        println!("Address of a: {}", aligned_with_padding as *const _ as usize);
        println!("Address of b: {}", &aligned_with_padding.b as *const _ as usize);
    }
}
```

在这个例子中,`AlignedWithPadding` 被指定为 8 字节对齐。由于 `a` 是 `u8` 类型,它后面会有 3 字节的填充,以确保 `b` 是 8 字节对齐的。我们使用 `unsafe` 代码来打印出 `a` 和 `b` 的地址,以展示对齐的效果。

请注意,手动控制对齐和紧凑对齐可能会影响程序的性能和跨平台兼容性,因此应谨慎使用。在大多数情况下,依赖 Rust 的默认对齐策略是最佳实践。、

如果我的文章对您有所帮助,还请一键三连我的小绿书,从此不迷路,您的一键三连是对我最大的鼓励和支持,因为有您的鼓励和支持让我一路坚持输出,万分感谢您的鼓励和支持!

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:/a/914237.html

如若内容造成侵权/违法违规/事实不符,请联系我们进行投诉反馈qq邮箱809451989@qq.com,一经查实,立即删除!

相关文章

ARM64环境使用docker-compose进行ElasticSearch8集群部署

环境规划 主机IP系统ES版本CPU架构用户名密码192.168.174.18Ubuntu 22.04.4 LTSelasticsearch:8.10.4ARM64elasticllodyi4TMmZD192.168.174.218Ubuntu 22.04.4 LTSelasticsearch:8.10.4ARM64192.168.174.112Ubuntu 22.04.4 LTSelasticsearch:8.10.4ARM64 概念&#xff1a; no…

28.医院管理系统(基于springboot和vue)

目录 1.系统的受众说明 2. 相关技术和开发环境 2.1 相关技术 2.1.1 Java语言 2.1.2 HTML、CSS、JavaScript 2.1.3 Redis 2.1.4 MySQL 2.1.5 SSM框架 2.1.6 Vue.js 2.1.7 SpringBoot 2.2 开发环境 3. 系统分析 3.1 可行性分析 3.1.1 经济可行性 3.1.2 技术…

高性能分布式缓存Redis-高可用部署

一、主从架构搭建 为什么要进行主从架构搭建&#xff0c;一台redis不行吗&#xff1f; ①、持久化后的数据只在一台机器上&#xff0c;因此当硬件发生故障时&#xff0c;比如主板或CPU坏了&#xff0c;这时候无法重启服务器&#xff0c;有什么办法可以保证服务器发生故障时数…

Profinet转CanOpen网关连接与CanOpen协议磁轨道实现高效连接

该项目旨在展示如何通过开疆智能Profinet转Canopen网关实现西门子1200PLC与磁轨道之间的连接。以下是项目实施的步骤概要&#xff1a;安装必要的GSD文件到西门子组态软件中&#xff0c;确保系统能够识别并使用Profinet转Canopen网关设备。 进行设备配置&#xff0c;包括将PLC和…

openai Realtime API (实时语音)

https://openai.com/index/introducing-the-realtime-api/ 官方demo https://github.com/openai/openai-realtime-console 官方demo使用到的插件 https://github.com/openai/openai-realtime-api-beta?tabreadme-ov-file 装包配置 修改yarn.lock 这个包是从github下载的 &q…

Docker--Docker是什么和对Docker的了解

Docker 的本质 Docker的本质是LXC&#xff08;Linux容器&#xff09;之类的增强版&#xff0c;它本身不是容器&#xff0c;而是容器的易用工具。 Docker通过虚拟化技术&#xff0c;将代码、依赖项和运行环境打包成一个容器&#xff0c;并利用隔离机制来使得容器之间互相独立、…

【报错记录】Steam迁移(移动)游戏报:移动以下应用的内容失败:XXX: 磁盘写入错误

前言 由于黑神话悟空&#xff0c;导致我的2TB的SSD系统盘快满了&#xff0c;我又买了一块4TB的SSD用来存放游戏&#xff0c;我就打算把之前C盘里的游戏移动到D盘&#xff0c;结果Steam移动游戏居然报错了&#xff0c;报的还是“磁盘写入错误”&#xff0c;如下图所示&#xff…

攻防世界37-unseping-CTFWeb

攻防世界37-unseping-CTFWeb <?php highlight_file(__FILE__);class ease{private $method;private $args;function __construct($method, $args) {$this->method $method;$this->args $args;}function __destruct(){if (in_array($this->method, array("…

LabVIEW 版本控制

在软件开发中&#xff0c;版本控制系统&#xff08;VCS&#xff09; 是管理代码版本变化的核心工具。对于 LabVIEW 用户&#xff0c;虽然图形化编程带来高效开发体验&#xff0c;但由于其特有的二进制 VI 文件格式&#xff0c;传统文本比较工具无法直接用于 LabVIEW 项目。这时…

Cesium着色器的创意和方法(五——Polyline)

不接受反驳&#xff0c;线段在三维里面的渲染比多边形的渲染更复杂。因为线是没有宽度的&#xff0c;并且还需要时时刻刻向着你。 首先看下Cesium的线段的一些效果。这条线段非常宽&#xff08;20个像素&#xff09;&#xff0c;有两个需要留意观察的。一是线段并非实时面对我…

独立开发者赚钱心法

一、独立开发者的身份转变 开发者到多重角色&#xff1a;独立开发者不仅是程序员&#xff0c;还是产品经理、设计师、文案、销售、运营、客服&#xff0c;最重要的是成为“老板”。思维转变&#xff1a;将开发程序视为一门生意&#xff0c;而非单纯的技术实现。 二、赚钱的核…

Hook小程序

下载&#xff1a; https://github.com/JaveleyQAQ/WeChatOpenDevTools-Python 配置&#xff1a; pip install -r requirements 实现&#xff1a; 开启小程序开发者模式&#xff0c;类似浏览器F12 效果&#xff1a; 使用&#xff1a; 退出微信&#xff0c;进入安装的目录…

【Spring Security系列】10分钟实现 SpringSecurity + CAS 完美单点登录方案

作者&#xff1a;后端小肥肠 &#x1f347; 我写过的文章中的相关代码放到了gitee&#xff0c;地址&#xff1a;xfc-fdw-cloud: 公共解决方案 &#x1f34a; 有疑问可私信或评论区联系我。 &#x1f951; 创作不易未经允许严禁转载。 姊妹篇&#xff1a; 【Spring Security系列…

Spring Boot编程训练系统:构建可扩展的应用

摘要 随着信息技术在管理上越来越深入而广泛的应用&#xff0c;管理信息系统的实施在技术上已逐步成熟。本文介绍了编程训练系统的开发全过程。通过分析编程训练系统管理的不足&#xff0c;创建了一个计算机管理编程训练系统的方案。文章介绍了编程训练系统的系统分析部分&…

提升AI性能的关键大型语言模型(LLM)压缩策略

每周跟踪AI热点新闻动向和震撼发展 想要探索生成式人工智能的前沿进展吗&#xff1f;订阅我们的简报&#xff0c;深入解析最新的技术突破、实际应用案例和未来的趋势。与全球数同行一同&#xff0c;从行业内部的深度分析和实用指南中受益。不要错过这个机会&#xff0c;成为AI领…

「IDE」集成开发环境专栏目录大纲

✨博客主页何曾参静谧的博客&#x1f4cc;文章专栏「IDE」集成开发环境&#x1f4da;全部专栏「Win」Windows程序设计「IDE」集成开发环境「UG/NX」BlockUI集合「C/C」C/C程序设计「DSA」数据结构与算法「UG/NX」NX二次开发「QT」QT5程序设计「File」数据文件格式「UG/NX」NX定…

关于 npm 更新镜像源问题

npm&#xff08;Node Package Manager&#xff09;&#xff0c;是一个NodeJS包管理和分发工具&#xff0c;已经成为了非官方的发布Node模块&#xff08;包&#xff09;的标准。&#xff09; 查看当前npm版本 npm -v 10.9.0 执行以下命令报错 npm install --registryhttp…

Worldly平台更新Higg FEM 2024模块价格及购买指南

近日&#xff0c;LEVERAGE供应链管理从美国可持续服装联盟&#xff08;Cascale&#xff09;验证官方Worldly平台模块订阅更新中获悉&#xff0c;FEM2024模块价格更新的重要信息。此次更新涉及工厂环境模块&#xff08;FEM&#xff09;和工厂社会劳工模块&#xff08;FSLM&#…

MQ的实际使用

前言: 在这一篇文章当中我会以RcoketMQ来对其的使用的场景进行一个仔细地说明,这个里面也会涉及到一些额外的知识,看完之后对面试而言的话那么就是直接拿捏,当然在看这篇文章之前要先看MQ的基础知识-CSDN博客 毕竟基础才是王道,下面就是开始我们的正菜 在我的基础的那篇文章中就…

MFC图形函数学习08——绘图函数的重载介绍

在《MFC图形函数学习06——画椭圆弧线函数》中介绍了CPoint类、POINT结构体&#xff1b;在《MFC图形函数学习07——画扇形函数》中介绍了CRect类、RECT结构体。在介绍完后&#xff0c;没有介绍它们怎样使用。实际上&#xff0c;这些类和结构体对象或指针也是我们学习过的绘图函…