CS61C | lecture6

news2024/11/15 20:01:04

Lecture 6

主流 ISA

Register

汇编语言没有变量。它用寄存器来存储值。
寄存器是固定大小的小内存(32 位或者 64 位)。可以进行读取和写入,但是有数量限制,它们很快并且耗电少。

Registers vs. Memory


What if more variables than registers?

如果变量多于寄存器数量,我们选择将最常用的变量存储到寄存器中,然后将其余的存储到内存中。(称为 spilling to memory)

Why are not all variables in memory?

寄存器比内存快 100-500 倍。

Locality Memory Hierarchy

RISCV

RISC V 有 32 个寄存器,从 x0 到 x31。
每个寄存器都是 32 bits wide and holds a word(a fixed size piece of data that handles as a unit by the instruction set or hardware of the processor, a word is defined as the size of a CPU’s registers).

s 开头的寄存器称为 safe registers,它们用来保存编程变量。
t 开头的寄存器持有临时变量。

The Zero Register

x0(zero) 永远有值 0 并且不能被改变!任何对 x0 寄存器的写入操作都无效。

Registers in a Computer

## RISCV Instructions ```assembly op dst, src1, src2 ``` op: operation name dst: register getting result src1: first register for operation src2: second register for operation

汇编指令和 C 相关(=, +, -, *, /, &, |, etc)

main: add    t0, x0, x0
    # op   dst1 src1 src2
    # 将 x0 和 x0 寄存器内容相加,结果存入 t0 寄存器中

Integer Addition(add)

在 C 语言中:

a = b + c;

在 RISCV 中:

add  s1, s2, s3     # s1 = a

Integer Subtraction(sub)

在 C 语言中:

a = b - c;

在 RISCV 中:

sub  s1, s2, s3    # s1 = a, s2 = b, s3 = c

RISCV Instructions Example

假设 a -> s0, b -> s1, c -> s2, d -> s3, e -> s4。将 a = (b + c) - (d + e) 转换为 RISCV。其中,t1 和 t2 是存储临时变量的寄存器。

add t1, s1, s2         # t1 = b + c
add t2, s3, s4         # t2 = d + e
sub s0, t1, t2         # s0 = t1 - t2 = (b + c) - (d + e)

Immediates

Immediates: Numerical constants

opi dst, src, imm

操作的名称结尾加个 ‘i’。
Immediates 可以达到 12 bits

addi s1, s2, 5    # a = b + 5
addi s3, s3, 1    # c 存储在 s3 中,相当于 c ++

假设 a -> s0, b -> s1, 将 a = (5 + b) - 3; 转换为 RISCV

addi t1, s1, 5     # t1 = 5 + b
addi s0, t1, -3    # a = t1 - 3

Data Transfer

Data Transfer instructions are between registers(Datapath) and Memory. Allow us to fetch and store operands in memory.

memop reg, off(bAddr)
  • memop: operation name(“operator”)
  • reg: register for operation source or destination
  • bAddr: register with pointer to memory(“base address”)
  • off: address offset(immediate) in bytes(“offset”)
    Access memory at address b A d d r + o f f bAddr + off bAddr+off

Memory is Byte-Addressed

不同系统下 word 和 Byte 和 bit 的关系

系统字节
16位1 word2 Bytes16 bits
32位1 word4 Bytes32 bits
64位1 word8 Bytes64 bits
Memory addresses 由 byte 而不是 word 来索引
Word addresses 每个相隔 4 Bytes(32 位系统下)

Data Transfer Instructions

Load Word(lw)

-Takes data at address b A d d r + o f f bAddr + off bAddr+off FROM memory and places it into reg.

Store Word(sw)

-Takes data in reg and stores it TO memory at address b A d d r + o f f bAddr + off bAddr+off

example

address of int array[] -> s3, value of b -> s2,

array[10] = array[3] + b;

转换成 RISCV

lw  t0, 12(s3)    # t0 = A[3]
add t0, s2, t0    # t0 = A[3] + b
sw  t0, 40(s3)    # A[10] = A[3] + b

Values can start off in memory

$.data$ 指定了数据的存储位置。 $.text$ 指定了代码的存储位置。 ## Endianness ![](https://img-blog.csdnimg.cn/img_convert/f59b1ea822c5a0ab18977abf0e5b68c8.png) **RISC-V 是 Little Endian** ## Sign Extension ### Sign Extend Take the most-significant bit and copy it to the new bits $$ 0b~~11 = 0b~~1111 $$ ### Zero/One Pad Set the new bits with one/zero. $$ \begin{aligned} Zero~~Pad:&0b~~11 = 0b~~0011 \\ One~~Pad:&0b~~11 = 0b~~1111 \end{aligned} $$ **RSIC-V 是 Sign extend** ## Byte Instructions $s0 = 0x00000180$ ```assembly lb s1, 1(s0) # 获得 1 个字节,也就是 0x01,s1 = 0x00000001 lb s2, 0(s0) # 获取 0x80,s2 = 0xFFFFFF80 sb s2, 2(s0) # 从 s2 中取出最低 1 个字节,存储到 s0 第 3 个 字节的位置,*(s0) = 0x00800180 ``` ## Half-Word Instructions

beq s0, s1, then
else:
sub s2, s3, x0 # x0 = 0, s2 = s3 - 0 -> a = b - 0 = b
j end
else:
sub s2, x0, s3 # x0 = 0, s2 = 0 - s3 -> a = 0 - b = -b
end:


C 语言代码
```c
if(i < j) 
	a = b;   /* then */
else
	a = -b;  /* else */

RISC-V 代码:

# i -> s0, j -> s1
# a -> s2, b -> s3

bge s0, s1, else
then:
add s2, s3, x0
j end
else: 
sub s2, x0, s3
end:

Instruction Addresses

指令作为数据存储在 memory 中并且有自己的地址。
Labels 会被转换为指令地址。
PC 会跟踪 CPU 当前执行的指令。

Control Flow Greencard Explanation

imm 的第 0 位是 0,来保证它是偶数,这样 PC 的值总是会半对齐。 ## Shifting Instructions **Logical shift**:Add zeros as shift **Arithmetic shift**: Sign-extend as you shift,只对右移有效。

以下代码将 s1 的值存储到 s0 地址的第4个字节(最高字节)

假设 s0: 0x12345678s1: 0xAB
lw t0, 0(s0) 从 s0 地址读取当前值 0x12345678 到寄存器 t0,t0 = ‘0x12345678’。
li t1, 0x00FFFFFF 将立即数 0x00FFFFFF 加载到寄存器 t1。t1 = 0x00FFFFFF。
and t0, t0, t1 将 t0 与 t1 按位与,清除 t0 的最高字节。t0 = ‘0x12345678’ & ‘0x00FFFFFF’,最终 t0 = ‘0x00345678’(最高字节已经清零)
slli t1, s1, 24 将 s1 的值左移 24 位,将其移动到最高字节位置,也就是 0xAB << 24 -> t1 = 0xAB000000
or t0, t0, t1 将 t0 和 t1 按位或操作,合并新的最高字节。t0 = 0x00345678 | 0xAB000000,t0 = ‘0xAB345678’
sw t0, 0(s0) 将 t0 的值 0xAB345678 存储回 s0 地址,s0 = 0xAB345678

Arithmetic Instructions Myltiply Extension

Multiplication(mul and mulh)

s r c 1 × s r c 2 src1 \times src2 src1×src2:lower 32-bits through mul, upper 32-bits in mulh

mul dst, src1, src2
mulh dst, src1, src2

Division(div)

src1 / src2: quotient via div, remainder via rem

div dst, src1, src2
rem dst, src1, src2

Bitwise Instructions

Compare Instructions

Set Less Than (slt)

If value in reg1 < value in reg2, dst = 1, else 0

slt dst, reg1, reg2

Set Less Than Immediate (slti)

If value in reg1 < imm, dst = 1, else 0

slti dst, reg1, imm

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

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈,一经查实,立即删除!

相关文章

Linux系统将Mint 便签源码打包成deb包并进行安装

网上有提供Ubuntu安装Mint便签的命令&#xff0c;此处不再赘述。而是通过Github Mint便签的说明书&#xff0c;对Mint便签的源码打包成deb包并进行安装。作为练习&#xff0c;方便以后对其他源码进行打包安装。 一、Mint Sticky的介绍 Sticky是一款适用于Linux桌面的笔记应用…

任何值得发表的学术论文,一定要具备一些基础的特性

1. 科学价值&#xff1a;论文的心脏 首先&#xff0c;你的论文需要有“心”——科学价值。这意味着你的研究要么发现了新大陆&#xff0c;要么采用了新方法&#xff0c;要么提供了新视角&#xff0c;或者至少突破了现有局限。记住&#xff0c;你的论文要给科学界带来新的血液&…

预览 txt,ppt,图片,word 等

1.引入查看的封装的组件 <template><div><div class"well" ref"output"></div></div> </template><script>import { getExtend, readBuffer, render } from ./util;/*** 支持嵌入式显示&#xff0c;基于postMes…

谢希仁计算机网络第八版期末复习简答(2)

网络层 路由转发分组&#xff08;简答&#xff09;※ 一个网络中的主机A向另一个网络中的主机B发送数据&#xff0c;首先A将数据包发送给自己的默认网关路由器。路由器收到数据包之后&#xff0c;查看数据包头部&#xff0c;解析目的IP地址依次查询路由表&#xff0c;根据最长…

基于Deap遗传算法在全量可转债上做因子挖掘(附python代码及全量因子数据)

原创文章第604篇&#xff0c;专注“AI量化投资、世界运行的规律、个人成长与财富自由"。 在4.x的时候&#xff0c;咱们分享过deap遗传算法挖掘因子的代码和数据&#xff0c;今天我们来升级到5.x中。 源码发布Quantlab4.2&#xff0c;Deap因子挖掘|gplearn做不到的咱们也…

AI为什么无法替代律师?

AI能否真正取代律师&#xff1f;一探究竟&#xff01; ©作者|LuMiQ 来源|神州问学 引言 数字化时代&#xff0c;AI技术正如催化剂般加速各行业的变革&#xff1a;在医疗界&#xff0c;它犹如医生的“第二双眼睛”&#xff0c;精准分析影像&#xff1b;制造业里&#xff…

【C语言】深入浅出:C语言链表的全面解析

目录 一、单链表1. 基本概念节点结构定义 2. 创建链表示例代码输出结果 3. 插入节点示例代码输出结果 4. 删除节点示例代码输出结果 二、双向链表1. 基本概念节点结构定义 2. 创建双向链表示例代码输出结果 3. 插入节点示例代码输出结果 4. 删除节点示例代码输出结果 三、循环链…

名师引路,育梦成光 | 云校名师张梁老师收到学员诚挚感谢信!

在这个蝉鸣悠长的夏日里&#xff0c;一封满载感恩之情的信笺&#xff0c;悄悄诉说着一段珍贵的师生情谊。近日&#xff0c;深圳云校又一届“HCIE精英班”圆满结课&#xff0c;临别之际&#xff0c;姜同学以笔为媒&#xff0c;向我们展示了一位不仅传授知识&#xff0c;更以人格…

在kdevelop中运行程序并调试

补充前序知识&#xff1a; 1.CMakeLists.txt文件中&#xff0c;如下图&#xff0c;第一行生成的是静态库文件&#xff08;我们前一讲所使用的&#xff09;&#xff0c;第二行是动态库文件。 静态库与动态库&#xff1a; 静态库&#xff08;Static Libraries&#xff09; 定义…

torch.minimum与torch.min()

目录 1. torch.minimum 2. torch.minimum可以进行一个数组与多维度的比较 3.torch.min() 4. torch.min()多维度比较 1. torch.minimum torch.minimum() 函数用于逐元素地比较两个张量&#xff0c;并返回一个新的张量&#xff0c;其中每个元素是两个输入张量对应元素中的最小…

pychar安装、pychon安装、pycharm超过试用期30激活

如果pycharm超过试用期&#xff0c;可以双击vbs脚本重新激活 百度网盘&#xff1a; 链接: https://pan.baidu.com/s/1B-XyLOy3wjVWbJwuvZOHOw?pwdmsb6 提取码: msb6

基于域名的虚拟主机、多虚拟主机的配置、基于ip的虚拟主机及上线静态的前端系统(商城系统)

Day 14 基于域名的虚拟主机 说明&#xff1a; 一个配置文件一般只有一个http模块&#xff1b; 一个http模块可以有多个server模块&#xff1b; 一个server模块就是一套web项目&#xff1b; 一个server模块中可以有多个location&#xff1b; location就是项目中的url路由…

判断元音还是辅音字母

1.// kiki开始学习英文字母&#xff0c;bobo老师告诉他&#xff0c;有五个字母A&#xff08;a&#xff09;,E(e),O(o),U(u),I(i)为元音&#xff0c;其他所有字母为辅音 //请帮他编写程序判断输入的字母是元音&#xff08;vowel&#xff09;还是辅音&#xff08;consonant&#…

使用这个Blender工具非破坏性地自动化切割面板线

"Panel Cutter"插件自动化了在Blender中沿选定边缘创建程序化面板线的过程&#xff0c;使其成为硬表面建模的必备工具。 这是一个设计用来非破坏性地自动化切割程序化面板线的小工具。这个工具对于硬表面模型&#xff0c;如汽车、船只和飞机来说&#xff0c;是救星。…

Linux用户-普通用户

作者介绍&#xff1a;简历上没有一个精通的运维工程师。希望大家多多关注我&#xff0c;我尽量把自己会的都分享给大家&#xff0c;下面的思维导图也是预计更新的内容和当前进度(不定时更新)。 Linux是一个多用户多任务操作系统,这意味着它可以同时支持多个用户登录并使用系统。…

Java:面向对象(static,代码块,构造方法私有化,内部类)

5&#xff0c;static关键字 static是一个特殊的关键字&#xff0c;static的作用是将实例成员变为类成员&#xff0c;只能修饰在类里定义的成员部分&#xff08;成员变量、方法、内部类&#xff08;枚举和接口&#xff09;、初始化块&#xff09;。static修饰的成员表明它属于这…

三,搭建环境:事务控制

三&#xff0c;搭建环境&#xff1a;事务控制 文章目录 三&#xff0c;搭建环境&#xff1a;事务控制声明式事务配置注解写法查询操作增删改操作 声明式事务配置 在 demo-module01-web 的模块下的&#xff0c;spring-persist.xml 配置文件中 开启基于注解的声明式事务支持 <…

专硕复试线298/295!哈尔滨理工大学计算机考研考情分析!

哈尔滨理工大学&#xff08;Harbin University of Science and Technology&#xff09;&#xff0c;位于哈尔滨市&#xff0c;是黑龙江省人民政府与国家国防科技工业局共建高校&#xff0c;入选“中西部基础能力建设工程”高校、国家“特色重点学科项目”建设高校、教育部“卓越…

论文速递 | Management Science 5月文章合集

编者按&#xff1a; 在本系列文章中&#xff0c;我们梳理了运筹学顶刊Management Science在2024年5月份发布有关OR/OM以及相关应用的9篇文章的基本信息&#xff0c;旨在帮助读者快速洞察领域新动态。 推荐文章1 题目&#xff1a;Sensitivity Analysis of the Cost Coefficie…

OCC 布尔操作

一、简介 BRepAlgoAPI_Algo 是 OpenCASCADE 中用于布尔操作的基类&#xff0c;提供了布尔运算的基础功能。布尔操作是计算几何中常见的操作&#xff0c;用于对两个形状进行交、并、差运算等。这些操作在 CAD 和 3D 建模中非常重要。 BRepAlgoAPI_Algo 的基本功能 BRepAlgoAPI…