CSAPP笔记——第三章程序的机器级表示

已于 2024-05-29 21:21:20 修改
阅读量759 收藏 15
点赞数 13
分类专栏： # CSAPP 笔记 # 计算机基础 书籍网课笔记 文章标签： 笔记
于 2024-05-13 16:36:49 首次发布
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/m0_68657832/article/details/138791962
版权

🌈hello，你好鸭，我是Ethan，一名不断学习的码农，很高兴你能来阅读。

✔️目前博客主要更新Java系列、项目案例、计算机必学四件套等。
🏃人生之义，在于追求，不在成败，勤通大道。加油呀！

🔥个人主页：Ethan Yankang

🔥专栏：CSAPP笔记||书籍网课笔记 

🔥温馨提示：划到文末发现专栏彩蛋

🔥本篇概览：程序的机器级表示全过程解析

目录

code file

源代码文件与汇编语言之间的转化

Intelx86-64的处理器包含了16个寄存器

Caller-saved/Callee-saved Register

register

Instructions

Pointer Arithmetic

Nested Array 

Structures

Data Alignment

Union

BUffer Overflow

Stack Randomization

Stack Corruption Detection

code file

gcc指的是gcc编译器，将源代码翻译成汇编语言。-Og 指的是编译选项，这里是指生成与原始代码整体结构相同的机器语言代码，实际总还会使用 -Og1，-Og2来优化程序 ，只是优化后的代码会与源代码严重变形，-o prog便是生成的可执行文件的文件名 

下面来看看

源代码文件与汇编语言之间的转化

     

其中：

这里的以"."开头的行，都是指导汇编器与链接器工作的伪指令。也就是说我们可以完全忽略这些行

删除无关代码后，剩下的汇编代码就是与源文件C代码相关的了，如下——、、

Intelx86-64的处理器包含了16个寄存器

 

Caller-saved/Callee-saved Register

调用者保存寄存器与被调用者保存寄存器

（保存上下文，恢复原有上下文信息）

其中的addq后面的q表示数据大小，英特尔处理器里面有如下机器位长：

详细解释

下面逐步解释

如图，将函数的参数分别放在如下寄存器里

x->%rdi    y->%rsi    dest->%rdx

call mult表示调用函数mult2

将乘法的结果放在寄存器%rax里面，

movq  %rax  ，（%rbx）

之后，该寄存器里面的值放入内存中，该内存的地址为寄存器%rbx里面的值

最后函数返回

register

这里的寄存器用途

Instructions

指令分为操作码、操作数，操作数又有几种类型，分别如下：

指令在内存中就是以0101的序列存储的。该序列也就分为操作码与操作数。

指令执行的源地址、目的地址

以实际例子说明汇编语句与计算机系统的结构对应情况

首先这里的函数参数，地址xp保存在%rdi寄存器里，参数y保存在%rsi寄存器里面。

 首先CPU将读取地址存在于%rdi寄存器里面的内存处的值放入寄存器%rax里面。

之后再将存在于寄存器%rsi里面的参数y放入内存（%rdi）中，也就是说，该内存处的值被赋予了y。

所以变量都只是内存或者寄存器的代称，我们实际是在操作机器，而C语言中的指针就是内存所对应的地址。

下面是程序运行时的内存分布

有效地址和虚拟地址的关系是什么？

有效地址可以说是虚拟地址的一种具体表现形式。而有效地址到物理地址的转化就是虚拟地址到物理地址的转化。

Pointer Arithmetic

注意这里的伸缩长度与原来的数据类型有关。

从下图可看出，指针就是地址的抽象表示

Nested Array 

Structures

声明与访问

都是起始地址加上偏移地址来获取有效地址

Data Alignment

地址对齐优化（起始地址为4的整数倍，编译器会在前面加上空字节长度）

地址对齐的原则是任何K字节的基本对象地址必须是K的整数倍

比如说，short类型的数据对象起始地址必须是2的整数倍

复杂的地址对齐示例

Union

结构体和联合体的内存分布区别

注意联合体的数据类型的特点是所有字段在同一存储空间。一次只能访问一个字段，即联合体里面的字段是互斥的，以最大的字段占用的存储空间为准

BUffer Overflow

程序运行时栈

Stack Randomization

栈随机化是指程序的栈的地址每次运行都会随机地变化。

如图上面的程序的本地变量每次运行时地址打印处理都会变化

在linux中。栈随机化已经成为了标准行为。

他是地址空间随机化行为的一种，简称ASLR。

采用ASLR，每次运行时程序的不同部分都会被加载到内存的不同区域

Stack Corruption Detection

栈破坏检测

暂时跳过

📣非常感谢你阅读到这里，如果这篇文章对你有帮助，希望能留下你的点赞👍 关注❤ 分享👥 留言💬thanks！！！
📚愿大家都能学有所得，功不唐捐！

💖💖💖💖💖💖💖💖💖💖💖💖💖💖💖💖💖💖

热门专栏推荐

🌈🌈计算机科学入门系列                     关注走一波💕💕

🌈🌈CSAPP深入理解计算机原理        关注走一波💕💕

🌈🌈微服务项目之黑马头条                 关注走一波💕💕

🌈🌈redis深度项目之黑马点评            关注走一波💕💕

🌈🌈Java面试八股文系列专栏            关注走一波💕💕

🌈🌈算法leetcode+剑指offer              关注走一波💕💕

总栏

🌈🌈​​​​​​JAVA后端技术栈                          关注走一波💕💕  

🌈🌈JAVA面试八股文​​​​​​                          关注走一波💕💕  

🌈🌈JAVA项目（含源码深度剖析）    关注走一波💕💕  

🌈🌈计算机四件套                               关注走一波💕💕  

🌈🌈算法                                        ​​​​​​     ​关注走一波💕💕  

🌈🌈必知必会工具集                           关注走一波💕💕

🌈🌈书籍网课笔记汇总                       关注走一波💕💕  

🌈🌈考试复习资料                              关注走一波💕💕  

🌈🌈C/C++技术栈                              关注走一波💕💕  

🌈🌈GO技术栈                                   关注走一波💕💕  

分栏

🌈🌈JAVA后端技术栈

🌈🌈spring                                      关注走一波💕💕         ​

🌈🌈redis                                        关注走一波💕💕

🌈🌈MySQL                               ​​​     关注走一波💕💕 

🌈🌈mybatis        ​​​​​​​        ​​​​​​​        ​​​​     ​​​​      关注走一波💕💕

🌈🌈mybatisplus                           关注走一波💕💕

🌈🌈MQ          ​​​​​​​        ​​​​​​​        ​​​​​​​        ​​​​​​​        关注走一波💕💕

🌈🌈微服务                                     关注走一波💕💕

🌈🌈设计模式                                 关注走一波💕💕

🌈🌈分布式锁                                 关注走一波💕💕

🌈🌈JAVA八股文​​​​​​​​​​​​​​​​​​​​​JAVA面试八股文(redis、MySQL、框架、微服务、MQ、JVM、设计模式、并发编程、JAVA集合、常见技术场景)                                                          关注走一波💕💕    

                                                             

🌈🌈JAVA项目(含源码深度剖析)

🌈🌈黑马头条（微服务）             关注走一波💕💕

🌈🌈黑马点评（redis）               关注走一波💕💕

🌈🌈计算机四件套

🌈🌈计算机基础                           关注走一波💕💕

🌈🌈计算机基础                           关注走一波💕💕

🌈🌈计算机网络                           关注走一波💕💕

🌈🌈数据结构与算法                    关注走一波💕💕

🌈🌈算法

🌈🌈leetcode                              关注走一波💕💕

🌈🌈剑指offer                             关注走一波💕💕

🌈🌈必知必会工具集                   关注走一波💕💕

🌈🌈书籍网课笔记汇总

🌈🌈CSAPP笔记                        关注走一波💕💕

🌈🌈计算机科学速成课               关注走一波💕💕

🌈🌈CS自学指南                        关注走一波💕💕

🌈🌈读书笔记与每日记录           关注走一波💕💕

🌈🌈考试复习资料​​​​​​​                      关注走一波💕💕

🌈🌈C/C++技术栈                      关注走一波💕💕                           

🌈🌈GO技术栈                          关注走一波💕💕                                                    

📣非常感谢你阅读到这里，如果这篇文章对你有帮助，希望能留下你的点赞👍 关注❤收藏✅ 评论💬，大佬三连必回哦！thanks！！！
📚愿大家都能学有所得，功不唐捐！

Ethan Yankang
关注
专栏目录
中文版-深入理解计算机系统讲义 第三章 程序的机器级表示
08-23
《深入理解计算机系统》第三章主要探讨的是程序的机器级表示，这是一门涉及底层计算机运作原理的关键领域。本章内容被分为五个部分，分别涵盖了基础、控制、数据、过程和高级主题，这些主题旨在帮助读者理解计算机...
CSAPP笔记PDF
06-15
2. **程序的机器级表示**：深入探讨汇编语言，介绍不同指令的含义和操作，以及如何从高级语言转换为机器代码。 3. **存储器层次结构**：分析缓存的工作原理，包括高速缓存（Cache）的组织结构、替换策略和缓存一致...
深入理解计算机系统 第三版 csapp 3ed
01-13
### 深入理解计算机系统 第三版 csapp 3ed #### 一、书籍概述与作者背景 《深入理解计算机系统》第三版（CSAPP 3ed）是一本广泛被计算机科学领域的学生和专业人士所推崇的经典教材。本书由卡内基梅隆大学的两位...
csapp-chapter01-Englsh-note 深入理解计算机系统第一章英文笔记
12-28
总结来说，深入理解计算机系统的第一章主要涵盖了信息的位表示、文本和二进制文件的区别、程序的翻译过程、编译系统的作用以及处理器如何执行指令。这些基本概念构成了计算机科学的基础，对于学习和优化任何计算机...
csapp大作业hello的自白——hello程序的一生
05-22
#### 第3章：编译 - **编译的概念与作用**： - 编译是将高级语言转换为汇编代码的过程。 - 这一过程涉及词法分析、语法分析、语义分析、中间代码生成等。 - **在Ubuntu下编译的命令**： - 使用命令`gcc -S hello...
C++学习笔记----8、掌握类与对象（四）---- 不同类型的数据成员（1）
weixin_71738303的博客
10-05 631
c++对于数据成员给了你许多选项。除了在类中声明简单的数据成员，可以生成静态数据成员供所有类的对象共享，const成员，引用成员，reference-to-const成员，等等。本节我们解释一下这些不同类型的数据成员的细节。
（笔记）第三期书生·浦语大模型实战营（十一卷王场）--书生入门岛通关第2关Python 基础知识
haidizym的博客
10-02 469
学员闯关手册：https://aicarrier.feishu.cn/wiki/ZcgkwqteZi9s4ZkYr0Gcayg1n1g?课程视频：https://www.bilibili.com/video/BV1mS421X7h4/课程文档：https://github.com/InternLM/Tutorial/tree/camp3/docs/L0/Python。
数据结构-哈西表笔记
2302_80490510的博客
10-05 181
如果不用去重就可以用哈希表。
江科大笔记—LED闪烁& LED流水灯& 蜂鸣器
m0_62005595的博客
09-28 491
LED闪烁& LED流水灯& 蜂鸣器
OpenGL笔记十九之相机系统
小勇博客
10-02 458
— 2024-10-02 晚上。
【数学分析笔记】第4章第4节 复合函数求导法则及其应用（2）
随手写写
10-05 576
【例4.4.3】ye1cosx​，求y′【解】y′e1cosx​⋅21cosx​1​⋅−sinx−21cosx​sinx​e1cosx​yfxuxvx两边取对数得lnylnfxvxlnux等式两边同时对x求导得y1​y′uxvx1​y′v′xlnuxuxvx​u′xy′xuxvxv′xln。
Coursera_ Algorithms I 学习笔记：Module_3_Analysis_of_Algorithm_Introduction
approximately_的博客
09-29 1186
Coursera_ Algorithms I 学习笔记：Module_3_Analysis_of_Algorithm_Introduction
项目-坦克大战学习笔记-控制玩家坦克不超出地图范围
2401_84659046的博客
10-02 566
由于坦克自身有占用像素格，而坦克生成位置是以左上角x,y的点开始生成，所有坦克向下和向右的实际碰撞位置应该是坦克生成位置加上坦自身宽或高，而坦克有四个方向就有4种对象碰撞可能，所以我们在物体对象的父类中声明存储物体宽和高的int类型。if (Fangxiang == fangxiang.Up)//检测坦克目前朝向。//设置父类继承过来的图片对象高。//设置父类继承过来的图片对象宽。}//放置图片对象的高。}//重写方向构造函数，调用传入的方向信息设置图片的宽高信息。
Elasticsearch学习笔记(2）
m0_74293254的博客
09-28 1249
创建索引: 使用 PUT 请求来定义索引及其映射。创建文档: 使用 POST 请求将数据添加到索引。读取文档: 使用 GET 请求获取特定文档。更新文档: 使用 POST 加上 _update 操作来修改现有文档。删除文档: 使用 DELETE 请求删除指定文档。删除索引: 使用 DELETE 请求删除整个索引。请求方式：POST请求格式：/{索引库名}/_doc/文档id示例：POST /my_index/_doc/1 { "field": "value" }
【数学分析笔记】第4章第3节 导数四则运算和反函数求导法则（1）
随手写写
10-02 838
4. 微分 4.3 导数四则运算与反函数求导法则 通过例题，计算常用的基本初等函数的导数 【例4.3.1】y=sin⁡xy=\sin xy=sinx 【解】y′(x)=lim⁡Δx→0sin⁡(x+Δx)−sin⁡xΔx=lim⁡Δx→02cos⁡2x+Δx2sin⁡Δx2Δx=cos⁡xy'(x)=\lim\limits_{\Delta x\to 0}\frac{\sin (x+\Delta x)-\sin x}{\Delta x}=\lim\limits_{\Delta x\to 0}\frac{2\c
第十五周：机器学习笔记
Zcymatics的博客
10-05 567
本周周报在机器学习的理论内容中，详细描述了attention matrix计算的各种优化形式，其中包括用人类自身的理解而诞生的Local Attention、Stride Attention、Global Attention、Clustering，也有通过机器自身通过学习而诞生Sinkhorn Sorting Network，最后还有简化attention matrix格式的Linformer。此外，周报在Pytorch学习中还补充了模型训练的细节和描述了如何利用GPU训练的过程。最后，在数学拓展部分，对s
计算机组成原理（笔记6阵列乘法器、补码阵列乘法器）
m0_72827793的博客
10-03 358
算前求补级输出为，同时乘法运算的时候是绝对值做的运算，而不是两个数的补码做的运算！因为在计算机里，是先有的补码，再做的运算。平时手算过程中我们是进行平行移位，可是在计算机里平行移位，会带来更大的开销，如下图我们可以看到，为此聪明的人，设计了斜移位的计算机。如图，11（1）（1）=1x2的3次方+1x2的2次方+（-1）x2的1次方+（-1）x2的0次方=9。上一章有写关于这个的乘法，当时是自学的，所以不够完美。值得注意的是最后一行用的是平行移位。平时我们计算乘法的时候是手算的。在电路中的实现，如图所示。
基金好书入门阅读笔记《基金作战笔记：从投基新手到配置高手的进阶之路》1
最新发布
jackyrongvip的专栏
10-05 569
3%~6%，对应要承担2%~4%的回撤，且持有1年以上实现的概率就很大了。自己定了30%的股票占比，外加10%的上下浮动区间，那么当牛市中股票占比超过40%，我。这里要提醒投资者，很多所谓的“理财公司”以8%，甚至10%以上的收益率为诱饵，承诺保。通常情况下，权益资产的长期年化收益率在8%~10%是一个合理的预期，但要实现这个收。然，买得便宜是关键。熊市里，跌跌不休的每一个交易日都是天将降大任之前的“苦其心志，劳其筋骨，饿其。当然，这里有一个前提就是我们的配置足够均衡，我们深知自己的投资标的不会产。
NeRF2: Neural Radio-Frequency Radiance Fields 笔记
行码棋
10-02 1146
任务：用 NeRF 对无线信号的传播进行建模，建模完成后可以用NeRF网络生成新位置下的信号。生成的信号用于指纹定位、信道估计等下游任务。
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值