鸿蒙内核源码分析 (编码方式篇) | 机器指令是如何编码的？

2024-05-14 18:12
文章标签 分析 源码 编码 内核 鸿蒙 编码方式 机器指令

本文主要是介绍鸿蒙内核源码分析 (编码方式篇) | 机器指令是如何编码的？，希望对大家解决编程问题提供一定的参考价值，需要的开发者们随着小编来一起学习吧！

本篇说清楚 ARM指令是如何被编码的，机器指令由哪些部分构成，指令有哪些类型，每种类型的语法又是怎样的 ?

代码案例 | C -> 汇编 -> 机器指令

看一段C语言编译(clang)成的最后的机器指令(armv7)

int main(){int a = 0;if( a != 1) a = 2*a + 1;return a;
}

生成汇编代码如下:

    main:
60c: sub	sp, sp, #8
610: mov	r0, #0
614: str	r0, [sp, #4]
618: str	r0, [sp]
61c: ldr	r0, [sp]
620: cmp	r0, #1
624: beq	640 <main+0x34>
628: b	62c <main+0x20>
62c: ldr	r1, [sp]
630: mov	r0, #1
634: orr	r0, r0, r1, lsl #1
638: str	r0, [sp]
63c: b	640 <main+0x34>
640: ldr	r0, [sp]
644: add	sp, sp, #8
648: bx	lr

汇编代码对应的机器指令如下图所示:

便于后续分析，将以上代码整理成如下表格

汇编代码机器指令(十六进制表示)机器指令(二进制表示)
sub sp, sp, #8e24dd0081110 0010 0100 1101 1101 0000 0000 1000
mov r0, #0e3a000001110 0011 1010 0000 0000 0000 0000 0000
str r0, [sp, #4]e58d00041110 0101 1000 1101 0000 0000 0000 0100
str r0, [sp]e58d00001110 0101 1000 1101 0000 0000 0000 0000
ldr r0, [sp]e59d00001110 0101 1001 1101 0000 0000 0000 0000
cmp r0, #1e35000011110 0011 0101 0000 0000 0000 0000 0001
beq 640 <main+0x34>0a0000050000 1010 0000 0000 0000 0000 0000 0101
b 62c <main+0x20>eaffffff1110 1010 1111 1111 1111 1111 1111 1111
ldr r1, [sp]e59d10001110 0101 1001 1101 0001 0000 0000 0010
mov r0, #1e3a000021110 0011 1010 0000 0000 0000 0000 0001
orr r0, r0, r1, lsl #1e18000811110 0001 1000 0000 0000 0000 1000 0001
str r0, [sp]e58d00001110 0101 1000 1101 0000 0000 0000 0000
b 640 <main+0x34>eaffffff1110 1010 1111 1111 1111 1111 1111 1111
ldr r0, [sp]e59d10001110 0101 1001 1101 0001 0000 0000 0000
add sp, sp, #8e28dd0081110 0010 1000 1101 1101 0000 0000 1000
bx lre12fff1e1110 0001 0010 1111 1111 1111 0001 1110

CPSR寄存器

在理解本篇之前需了解下CPSR寄存器的高4位[31,28] 表达的含义。关于寄存器的详细介绍可翻看 系列篇的 (寄存器篇)

N、Z、C、V均为条件码标志位。它们的内容可被算术或逻辑运算的结果所改变，并且可以决定某条指令是否被执行!意义重大!

  • CPSR的第31位是 N，符号标志位。它记录相关指令执行后，其结果是否为负。
    如果为负 N = 1，如果是非负数 N = 0。
  • CPSR的第30位是Z，0标志位。它记录相关指令执行后，其结果是否为0。
    如果结果为0。那么Z = 1。如果结果不为0，那么Z = 0。
  • CPSR的第29位是C，进位标志位(Carry)。一般情况下，进行无符号数的运算。
    加法运算：当运算结果产生了进位时（无符号数溢出），C=1，否则C=0。
    减法运算（包括CMP）：当运算时产生了借位时（无符号数溢出），C=0，否则C=1。
  • CPSR的第28位是V，溢出标志位(Overflow)。在进行有符号数运算的时候，
    如果超过了机器所能标识的范围，称为溢出。

指令格式

ARM 指令流是一连串的字对齐的四字节指令流。每个 ARM 指令是一个单一的 32 位字(4字节)，如图(3)：

解读
图为ARM指令的编码一级格式，所有的指令都必须符合一级格式，分成三部分：

  • 条件域: cond[31:28]表示，条件域会影响CPSR的条件码N、Z、C、V标志位。
  • 类型域: op1[27:25]， op[4]，arm将指令分成了六大类型 。
  • 操作域: 剩下的[24:5]，[4:0] 即图中的空白位/保留位，这是留给下级自由发挥的，不同的类型对这些保留位有不同的定义。可以理解为因类型变化而变化的二级格式。
  • 那有了二级格式会不会有三级格式 ? 答案是必须有， 二级格式只会对保留位定义部分位，会留一部分给具体的指令格式自由发挥。
  • 一定要理解这种层次结构才能理解ARM指令集的设计总思路，因为RISC（精简指令集） 的指令长度是固定的16/32/64位，以32位为例，所有的指令设计必须全用32位来表示，如果只有一层结构是难以满足众多的指令设计需求的，要灵活有包容就得给适当的空间发挥。

条件域

cond 为条件域，每一条可条件执行的条件指令都有4位的条件位域，2^4能表示16种条件

cond助记符含义（整型）含义（浮点型）条件标志
0000EQ相等相等Z == 1
0001NE不等不等或无序Z == 0
0010CS进位大于等于或无序C == 1
0011CC进位清除小于C == 0
0100MI减、负数小于N == 1
0101PL加、正数或 0大于等于或无序N == 0
0110VS溢出无序V == 1
0111VC未溢出有序V == 0
1000HI无符号大于大于或无序C == 1 and Z == 0
1001LS无符号小于或等于小于或等于C == 0 or Z == 1
1010GE有符号大于或等于大于或等于N == V
1011LT有符号小于小于或无序N != V
1100GT有符号大于大于Z == 0 and N ==V
1101LE有符号大于或等于小于等于或无序Z == 1 or N != V
1110无无条件无条件任何
  • 大部分的指令都是 1110 = e，无条件执行指令，只要看到 e开头的机器指令都属于这类
    beq 640 <main+0x34>	// 机器码 0a000005 <=>	0000 1010 0000 0000 0000 0000 0000 01010000	EQ	Equal(相等)	Z == 1

类型域

图(3) 的 op1 域位于 bits[27:25]，占三位；op 域位于 bit[4]，占一位。它们的取值组合在一起，决定指令所属的分类（Instruction Class），其值对应的关系如下

op1    op    指令类型
00x    -     数据处理以及杂项指令
010    -     load/store word类型 或者 unsigned byte
011    0     同上
011    1     媒体接口指令
10x    -     跳转指令和块数据操作指令，块数据操作指令指 STMDA 这类，连续内存操作。
11x    -     协处理器指令和 svc 指令，包括高级的 SIMD 和浮点指令。

操作域

操作域是因类型变化而变化的二级格式 ，作用于保留位。包含

00x | 数据处理类指令

  • 上图为涉及数据处理指令的对应编码，由 op[占5位]和op2[占2位]两项来确定指令的唯一性
  • 一般情况下只需op指定唯一性，图中 SUB指令对应为 0010x，而代码案例中的第一句
    sub	sp, sp, #8  // 机器码 e24dd008 <=> 1110 001`0 0100` 1101 1101 0000 0000 1000

对应`[24:20]`位就是`0 0100`，从而`CPU`在译码阶段将其解析为`SUB`指令执行
  • 需要用到op2的是 MOV系列指令，包括逻辑/算术左移右移，例如:
    mov r0, #0	//e3a00000 <=> 1110 0011 1010 0000 0000 0000 0000 0000

中的op = 1 1010 ，op2 = 00 对应 MOV(register,ARM) on page A8-489 00x中的x表示数据处理分两种情况
* 000 无立即数参与(寄存器之间) ，图A5.2.1 表示了这种情况 [27:25]= 000
* 001 有立即参与的运算，例如 mov r0, #0 中的 [27:25]= 001，此处未展示图，可前往 ARM体系架构参考手册.pdf 翻看

010 | 加载存储指令

  • Load/store是一组内存访问指令，用来在ARM寄存器和内存之间进行数据传送，ARM指令中有3种基本的数据传送指令

    • 单寄存器 Load/Store 内存访问指令（single register）：这些指令为ARM寄存器和存储器提供了更灵活的单数据项传送方式。数据可以使字节，16位半字或32位字
    • 多寄存器 Load/Store 内存访问指令：可以实现大量数据的同时传送，主要用于进程的进入和退出、保存和恢复工作寄存器以及复制寄存器中的一片（一块）数据
    • 寄存器交换指令（single register swap）: 实现寄存器数据和内存数据进行交换，而且是在一条指令中完成，执行过程中不会受到中断干扰

  • 出现在代码案例中的

    str r0, [sp, #4] //  机器码 e58d0004 <=>	1110 0101 1000 1101 0000 0000 0000 0100str r0, [sp]	 //  机器码 e58d0000 <=>	1110 0101 1000 1101 0000 0000 0000 0000将r0中的字数据写入以SP为地址的存储器中ldr r0, [sp]	 //  机器码 e59d0000 <=>	1110 0101 1001 1101 0000 0000 0000 0000存储器地址地址为SP的数据读入r0 寄存器

[27:25] = 010说明都属于这类指令，完成对内存的读写，包括 LDR、LDRB、LDRH、STR、STRB、STRH六条指令。

ldr 为加载指令，但是加载到内存还是寄存器，这该怎么记 ? 因为主角是CPU，加载有进来的意思，将内容加载至寄存器中。STR有出去的意思，将内容保存到内存里。

[sp]相当于C语言的 *sp ，sp 指向程序运行栈当前位置

  • 具体可看 >> ARM的六条访存指令集—LDR、LDRB、LDRH、STR、STRB、STRH
010 | 多媒体指令

多媒体指令使用较少，但是它涉及指令却很多

10x | 跳转/分支/块数据处理 指令

  • 出现在代码案例中的
    beq 640 <main+0x34>	// 机器码 0a000005 <=> 0000 1010 0000 0000 0000 0000 0000 0101b 62c <main+0x20>	// 机器码 eaffffff <=> 1110 1010 1111 1111 1111 1111 1111 1111

[27:25] = 101说明都属于这类指令

  • 听得很多的pop，push也属于这类，成块的数据操作，例如push常用于将函数的所有参数一次性入栈。
  • 内存 <> 寄存器 批量数据搬运指令 STMDA (STMED) LDMDA/LDMF。
11x | 软中断/协处理器 指令

  • 其中最有名的就是svc 0，在系列篇中曾多次提及它，此处详细说下 svc， svc全称是 Supervisor Call， Supervisor是CPU的管理模式，svc导致处理器进入管理模式，很多人问的系统调用底层是怎么实现的? svc就是答案。
  • 例如 printf是个标准库函数，在标准库的底层代码中会调用 svc 0，导致用户态的 ARM 程序通常将系统调用号传入 R7 寄存器(也被鸿蒙内核使用)，然后用 SVC 指令调用 0 号中断来直接执行系统调用，
  • 在以前的ARM架构版本中，SVC指令被称为SWI，软件中断。
  • 描述svc功能的详细伪代码如下，请尝试读懂它
      The TakeSVCException() pseudocode procedure describes how the processor takes the exception:// TakeSVCException()// ==================TakeSVCException()// Determine return information. SPSR is to be the current CPSR, after changing the IT[]// bits to give them the correct values for the following instruction, and LR is to be// the current PC minus 2 for Thumb or 4 for ARM, to change the PC offsets of 4 or 8// respectively from the address of the current instruction into the required address of// the next instruction, the SVC instruction having size 2bytes for Thumb or 4 bytes for ARM.ITAdvance();new_lr_value = if CPSR.T == '1' then PC-2 else PC-4;new_spsr_value = CPSR;vect_offset = 8;// Check whether to take exception to Hyp mode// if in Hyp mode then stay in Hyp modetake_to_hyp = (HaveVirtExt() && HaveSecurityExt() && SCR.NS == '1' && CPSR.M == '11010');// if HCR.TGE is set to 1, take to Hyp mode through Hyp Trap vectorroute_to_hyp = (HaveVirtExt() && HaveSecurityExt() && !IsSecure() && HCR.TGE == '1'&& CPSR.M == '10000'); // User mode// if HCR.TGE == '1' and in a Non-secure PL1 mode, the effect is UNPREDICTABLEpreferred_exceptn_return = new_lr_value;if take_to_hyp thenEnterHypMode(new_spsr_value, preferred_exceptn_return, vect_offset);elsif route_to_hyp thenEnterHypMode(new_spsr_value, preferred_exceptn_return, 20);else// Enter Supervisor ('10011') mode, and ensure Secure state if initially in Monitor// ('10110') mode. This affects the Banked versions of various registers accessed later// in the code.if CPSR.M == '10110' then SCR.NS = '0';CPSR.M = '10011';// Write return information to registers, and make further CPSR changes: IRQs disabled,// IT state reset, instruction set and endianness set to SCTLR-configured values.SPSR[] = new_spsr_value;R[14] = new_lr_value;CPSR.I = '1';CPSR.IT = '00000000';CPSR.J = '0'; CPSR.T = SCTLR.TE; // TE=0: ARM, TE=1: ThumbCPSR.E = SCTLR.EE; // EE=0: little-endian, EE=1: big-endian// Branch to SVC vector.BranchTo(ExcVectorBase() + vect_offset);
  • 这部分内容在系列篇 (寄存器篇) ，(系统调用篇) ，(标准库篇) 中都有提及。

具体指令

细看几条代码案例出现的常用指令

sub sp, sp, #8
sub	sp, sp, #8  // 机器码 e24dd008 < = > 1110 0010 0100 1101 1101 0000 0000 1000

是减法操作指令，减法编码格式为

图中除了给出格式语法还有一段伪代码用于描述指令的使用条件

  • sp为 13号寄存器， lr为 14号寄存器 ，pc为 15号寄存器。

  • 如果是PC寄存器(Rn = 15)且S等于0 查看 ADR指令。。

  • 如果是SP寄存器(Rn = 13) 看 SUB(申请栈空间)。

  • 如果是PC寄存器(Rd = 15)且S等于1 。查看 subs pc lr相关指令

  • 套用格式结合源码

    condop1操作码SRnRdimm12(立即数)
    111000100100110111010000 0000 1000
    无条件执行表示数据处理SUBspsp8
mov r0, #0

mov r0, #0	//e3a00000	1110 0011 1010 0000 0000 0000 0000 0000
bx lr

bx lr	e12fff1e	1110 0001 0010 1111 1111 1111 0001 1110
  • Rm = 1110 对应 lr 寄存器 ，其相当于高级语言的 return，函数执行完了需切回到调用它的函数位置继续执行，lr保存的就是那个位置，从哪里来就回到哪里去。

鸿蒙全栈开发全新学习指南

也为了积极培养鸿蒙生态人才，让大家都能学习到鸿蒙开发最新的技术，针对一些在职人员、0基础小白、应届生/计算机专业、鸿蒙爱好者等人群，整理了一套纯血版鸿蒙（HarmonyOS Next）全栈开发技术的学习路线【包含了大厂APP实战项目开发】。

本路线共分为四个阶段：

第一阶段：鸿蒙初中级开发必备技能

在这里插入图片描述

第二阶段：鸿蒙南北双向高工技能基础：gitee.com/MNxiaona/733GH

第三阶段：应用开发中高级就业技术

第四阶段：全网首发-工业级南向设备开发就业技术：gitee.com/MNxiaona/733GH

《鸿蒙 (Harmony OS)开发学习手册》（共计892页）

如何快速入门？

1.基本概念
2.构建第一个ArkTS应用
3.……

开发基础知识:gitee.com/MNxiaona/733GH

1.应用基础知识
2.配置文件
3.应用数据管理
4.应用安全管理
5.应用隐私保护
6.三方应用调用管控机制
7.资源分类与访问
8.学习ArkTS语言
9.……

基于ArkTS 开发

1.Ability开发
2.UI开发
3.公共事件与通知
4.窗口管理
5.媒体
6.安全
7.网络与链接
8.电话服务
9.数据管理
10.后台任务(Background Task)管理
11.设备管理
12.设备使用信息统计
13.DFX
14.国际化开发
15.折叠屏系列
16.……

鸿蒙开发面试真题（含参考答案）:gitee.com/MNxiaona/733GH

鸿蒙入门教学视频：

美团APP实战开发教学：gitee.com/MNxiaona/733GH

写在最后

  • 如果你觉得这篇内容对你还蛮有帮助，我想邀请你帮我三个小忙：
  • 点赞，转发，有你们的 『点赞和评论』，才是我创造的动力。
  • 关注小编，同时可以期待后续文章ing🚀，不定期分享原创知识。
  • 想要获取更多完整鸿蒙最新学习资源，请移步前往小编：gitee.com/MNxiaona/733GH

这篇关于鸿蒙内核源码分析 (编码方式篇) | 机器指令是如何编码的？的文章就介绍到这儿，希望我们推荐的文章对编程师们有所帮助！


http://www.chinasem.cn/article/989480。

相关文章

Redis主从/哨兵机制原理分析

Redis主从/哨兵机制原理分析

《Redis主从/哨兵机制原理分析》本文介绍了Redis的主从复制和哨兵机制,主从复制实现了数据的热备份和负载均衡,而哨兵机制可以监控Redis集群,实现自动故障转移,哨兵机制通过监控、下线、选举和故... 目录一、主从复制1.1 什么是主从复制1.2 主从复制的作用1.3 主从复制原理1.3.1 全量复制
阅读更多...
Redis主从复制的原理分析

Redis主从复制的原理分析

《Redis主从复制的原理分析》Redis主从复制通过将数据镜像到多个从节点,实现高可用性和扩展性,主从复制包括初次全量同步和增量同步两个阶段,为优化复制性能,可以采用AOF持久化、调整复制超时时间、... 目录Redis主从复制的原理主从复制概述配置主从复制数据同步过程复制一致性与延迟故障转移机制监控与维
阅读更多...
Redis连接失败：客户端IP不在白名单中的问题分析与解决方案

Redis连接失败：客户端IP不在白名单中的问题分析与解决方案

《Redis连接失败：客户端IP不在白名单中的问题分析与解决方案》在现代分布式系统中,Redis作为一种高性能的内存数据库,被广泛应用于缓存、消息队列、会话存储等场景,然而,在实际使用过程中,我们可能... 目录一、问题背景二、错误分析1. 错误信息解读2. 根本原因三、解决方案1. 将客户端IP添加到Re
阅读更多...
Linux内核之内核裁剪详解

Linux内核之内核裁剪详解

《Linux内核之内核裁剪详解》Linux内核裁剪是通过移除不必要的功能和模块,调整配置参数来优化内核,以满足特定需求,裁剪的方法包括使用配置选项、模块化设计和优化配置参数,图形裁剪工具如makeme... 目录简介一、 裁剪的原因二、裁剪的方法三、图形裁剪工具四、操作说明五、make menuconfig
阅读更多...
Java汇编源码如何查看环境搭建

Java汇编源码如何查看环境搭建

《Java汇编源码如何查看环境搭建》：本文主要介绍如何在IntelliJIDEA开发环境中搭建字节码和汇编环境,以便更好地进行代码调优和JVM学习,首先,介绍了如何配置IntelliJIDEA以方... 目录一、简介二、在IDEA开发环境中搭建汇编环境2.1 在IDEA中搭建字节码查看环境2.1.1 搭建步
阅读更多...
Redis主从复制实现原理分析

Redis主从复制实现原理分析

《Redis主从复制实现原理分析》Redis主从复制通过Sync和CommandPropagate阶段实现数据同步,2.8版本后引入Psync指令,根据复制偏移量进行全量或部分同步,优化了数据传输效率... 目录Redis主DodMIK从复制实现原理实现原理Psync: 2.8版本后总结Redis主从复制实
阅读更多...
锐捷和腾达哪个好? 两个品牌路由器对比分析

锐捷和腾达哪个好? 两个品牌路由器对比分析

《锐捷和腾达哪个好?两个品牌路由器对比分析》在选择路由器时，Tenda和锐捷都是备受关注的品牌，各自有独特的产品特点和市场定位，选择哪个品牌的路由器更合适，实际上取决于你的具体需求和使用场景，我们从... 在选购路由器时，锐捷和腾达都是市场上备受关注的品牌，但它们的定位和特点却有所不同。锐捷更偏向企业级和专
阅读更多...
你的华为手机升级了吗? 鸿蒙NEXT多连推5.0.123版本变化颇多

你的华为手机升级了吗? 鸿蒙NEXT多连推5.0.123版本变化颇多

《你的华为手机升级了吗?鸿蒙NEXT多连推5.0.123版本变化颇多》现在的手机系统更新可不仅仅是修修补补那么简单了，华为手机的鸿蒙系统最近可是动作频频，给用户们带来了不少惊喜... 为了让用户的使用体验变得很好，华为手机不仅发布了一系列给力的新机，还在操作系统方面进行了疯狂的发力。尤其是近期，不仅鸿蒙O
阅读更多...
如何安装HWE内核? Ubuntu安装hwe内核解决硬件太新的问题

如何安装HWE内核? Ubuntu安装hwe内核解决硬件太新的问题

《如何安装HWE内核?Ubuntu安装hwe内核解决硬件太新的问题》今天的主角就是hwe内核(hardwareenablementkernel)，一般安装的Ubuntu都是初始内核，不能很好地支... 对于追求系统稳定性，又想充分利用最新硬件特性的 Ubuntu 用户来说，HWEXBQgUbdlna（Har
阅读更多...
Spring中Bean有关NullPointerException异常的原因分析

Spring中Bean有关NullPointerException异常的原因分析

《Spring中Bean有关NullPointerException异常的原因分析》在Spring中使用@Autowired注解注入的bean不能在静态上下文中访问,否则会导致NullPointerE... 目录Spring中Bean有关NullPointerException异常的原因问题描述解决方案总结
阅读更多...

Copyright China编程 23002807@qq.com

沪ICP备2023033072号-2