当前位置: 首页 > news >正文

计算机系统基础笔记(12)——控制

前言

在持续输出ing

一、条件码

1.处理器状态(x86-64,部分的)

  • 当前程序的执行信息
    ◼ 临时数据
    ◼ 运行时栈的位置(栈顶)
    ◼ 当前代码控制点的位置(即将要执行的指令地址)
    ◼ 最近一次指令执行的状态
    在这里插入图片描述

2.条件码(隐式设置)

  • 简单的位寄存器
    条件码(隐式设置)
    CF 进位标志(无符号数)
    SF 符号标志(有符号数)
    ZF 零标志
    OF 溢出标志(有符号数)
  • 通过算术运算可以隐式设置条件码(可以把它看做是运算的副作用)
    ◼ 例如: addq Src,Dest ↔ t = a+b
    ◼ CF 被置位,如果运算时出现了超出最高位的进位(无符号数运算溢出)
    ◼ ZF 被置位,如果 t ==0
    ◼ SF 被置位,如果 t<0 (看做是有符号数)
    ◼ OF 被置位,如果有符号数运算出现了溢出
    (a>0 && b>0 && t<0) || (a<0 && b<0 && t>=0)

3.条件码(显式设置:比较指令)

  • 通过比较指令可以显式设置条件码
    Explicit Setting by Compare Instruction
  • cmpq Src2, Src1
  • cmpq b,a 这条指令和a-b的作用类似,但不需要将结果写入目标寄存器
    ◼ CF 被置位,如果运算时出现了超出最高位的借位(用于无符号数比较)
    ◼ ZF 被置位,如果 a == b
    ◼ SF 被置位,如果 (a-b) < 0 (看做是有符号数)
    ◼ OF 被置位,如果有符号数运算出现了溢出
    (a>0 && b<0 && (a-b)<0) || (a<0 && b>0 && (a-b)>0)

3.条件码(显式设置:测试指令)

  • 通过测试指令也可以显式设置条件码
  • testq Src2, Src1
    ◼ testq b,a 这条指令和a&b的作用类似,但不需要将结果写入目标寄存器
    ◼ 根据 Src1&Src2 的结果设置条件码
    ◼ 用于对一个操作数的某几个位进行掩码检测
    ◼ ZF 被置位,当 a&b == 0
    ◼ SF 被置位,如果 (a&b) < 0

4.读取条件码

  • SetX指令
    ◼ 根据条件码表达式将目标寄存器的最后一个字节修改为0或1
    ◼ 不会影响目标寄存器最高7个字节的值在这里插入图片描述

5.x86-64 各寄存器中最后一个字节的名称

在这里插入图片描述

6.读取条件码

  • 在x86-64指令集中,32位操作指令 会将目标寄存器的高32位清0
    在这里插入图片描述

二、条件分支

1.跳转

  • jX指令
    ◼根据条件码跳转到代码的其他位置执行
    在这里插入图片描述
    在这里插入图片描述
    这是机器指令与汇编代码的对应
    在这里插入图片描述
  • 生成汇编代码

gcc –Og -S –fno-if-conversion control.c

2.使用goto语句等价表示

  • 语言允许使用goto语句
    ◼ 跳转至标签所在位置的语句继续执行
    在这里插入图片描述
    在这里插入图片描述

3.条件表达式的翻译(使用分支)

  • 为Then和Else表达式创建独立的代码块
  • 根据条件选择合适的一个代码块并执行
    -
    在这里插入图片描述

在这里插入图片描述

4. 使用条件数据移动指令

  • 条件数据移动指令
    ◼ 指令的功能:if (Test) Dest Src
    ◼ 1995年后的x86处理器开始支持
    • GCC在编译时会尝试使用这个指令翻译条件分支
      ◼ 仅当保证逻辑安全的时候使用
  • 为什么使用条件数据移动指令?
    ◼ 分支会破坏流水线的指令流,影像处理器性能
    ◼ 条件数据移动指令不需要改变控制流
    在这里插入图片描述

在这里插入图片描述

5.流水线

  • 最多可以有三条指令同时执行
    在这里插入图片描述

在这里插入图片描述


下面是例子
这是C代码
在这里插入图片描述
这是寄存器存储的值
在这里插入图片描述
在这里插入图片描述

6.不能使用条件数据移动指令的情况

  • 大量的计算
    ◼ 条件数据移动指令会将所有的结果提前计算出来
    ◼ 只有计算都非常简单的时候,使用条件数据移动指令才会有意义
    在这里插入图片描述

  • 存在风险的计算
    ◼ 可能导致程序出错
    在这里插入图片描述

  • 有副作用的计算
    在这里插入图片描述

三、循环

1.Do-While循环

  • 计算x编码中“1” 的个数
  • 使用条件分支决定继续或退出循环
    C代码
    在这里插入图片描述
    goto版本
    在这里插入图片描述
    翻译后
    汇编为
    在这里插入图片描述

寄存器里的值为
在这里插入图片描述

Do-While循环通用的翻译方式

  • C代码
    在这里插入图片描述

  • Goto

  • 先执行 如果满足条件继续循环
    在这里插入图片描述

2.while循环

While循环通用的翻译方式(1)

  • “跳转到中间”翻译方法
  • 使用 –Og 编译优化选
    C代码
    在这里插入图片描述
    可以看到下面汇编代码里面执行到最后
    如果满足条件那么就跳转到中间
    与 do-while 循环相比,循环开始
    前先跳转至循环条件检测的位置
    (注意第一行 gototest!!!)

在这里插入图片描述

While循环通用的翻译方式(2)

dowhile法
在这里插入图片描述
先翻译成dowhile
在这里插入图片描述

再依据dowhile的版本翻译Goto版本
在这里插入图片描述

3.for循环

for循环的通用翻译方式

“For” Loop → While Loop → Goto
在这里插入图片描述
while
在这里插入图片描述
dowhile
在这里插入图片描述
goto
在这里插入图片描述

四、switch语句

会考的
以下面的switch语句为例在这里插入图片描述
我们可以看到

  • 多个case (5 & 6)共用同一语句块
  • Case2贯穿
  • Case4缺失(case值不连续)

1.跳转表

  • 用作switch语句翻译的一个表
  • switch语句的通用翻译如下
    在这里插入图片描述
    注意这个goto 语句 后面接的是跳转表
    在这里插入图片描述

1.跳转表的结构

  • 基地址是 .L4
  • 每个跳转目标需要8个字节(指向目标语句块的地址)
    在这里插入图片描述

在这里插入图片描述

  • 这是跳转表里跳转目标对应的语句块
    在这里插入图片描述

2.直接跳转

  • jmp .L8
    直接跳转至.L8标签所指向地址的指令

3.间接跳转

  • jmp *.L4(,%rdi,8)
    • 跳转表起始地址.L4(跟那个存储器寻址可以类比一下)
    • 缩放因子必须是8的整倍数(每个地址是8个字节)
    • 从地址 .L4 + x*8 处获得跳转目标的位置
      • 仅限于 0 ≤ x ≤ 6的情况

4.分析跳转表(例子分析)

给一段switch语句
在这里插入图片描述
汇编代码为

在这里插入图片描述
跳转表如下
在这里插入图片描述

  • 跳转表与switch语句对应关系如图在这里插入图片描述
(1)正常情况 x==1

在这里插入图片描述
对应的汇编代码以及寄存器的值对应如下图
在这里插入图片描述
在这里插入图片描述

(2)代码块贯穿 x= =2 x= =3(无break)

对应C代码应该为在这里插入图片描述
汇编代码为(可以看到执行完case2就执行case3里面的代码 w+=z)在这里插入图片描述

在这里插入图片描述

(3)缺省 x= =5 x= =6(共用一个代码块)

在这里插入图片描述

汇编代码也是共用一块
在这里插入图片描述
在这里插入图片描述

(4)没有从0开始的情况

在这里插入图片描述
汇编代码还是会处理成从0开始
在这里插入图片描述

(5)稀疏的switch语句

在这里插入图片描述

  • 将翻译为二分查找的语句 O(log n)
  • 而不是退化为 if-elseif-elseif-else O(n)
    在这里插入图片描述

相关文章:

计算机系统基础笔记(12)——控制

前言 在持续输出ing 一、条件码 1.处理器状态&#xff08;x86-64&#xff0c;部分的&#xff09; 当前程序的执行信息 ◼ 临时数据 ◼ 运行时栈的位置&#xff08;栈顶&#xff09; ◼ 当前代码控制点的位置&#xff08;即将要执行的指令地址&#xff09; ◼ 最近一次指令执…...

使用RedissonClient的管道模式批量查询key

1.场景 遇到了一个场景&#xff0c;在客户给我们推送的数据中&#xff0c;咋1分钟左右&#xff0c;会有相同车辆vehicle 和时间 gpstime一样的数据&#xff0c;这类数据呢&#xff0c;我们认为是重复数据&#xff0c;需要过滤的 把相同 vehicle 和 gpstime 作为key存入到redis中…...

UR机器人通信汇总

文章目录 一、概述二、UR机器人通信2.1UR通信协议2.2 UR通信端口 三、UR机器人通信端口类型3.1 Modbus TCP端口&#xff08;502端口&#xff09;3.2 Dashboard端口&#xff08;29999端口&#xff09;3.3 上位机编程端口&#xff08;30001/30002/30003端口&#xff09;3.3.1 URS…...

AI学习指南机器学习篇-使用ID3算法构建决策树

AI学习指南机器学习篇-使用ID3算法构建决策树 介绍ID3算法 ID3&#xff08;Iterative Dichotomiser 3&#xff09;是一种用于构建决策树的经典机器学习算法。它是由Ross Quinlan于1986年提出的&#xff0c;是一种基于信息论的算法&#xff0c;用于从一组特征中选择最佳特征来…...

React实战(一)初始化项目、配置router、redux、axios

(一)初始化项目 1.安装项目 npx create-react-app 项目名 编译报错&#xff1a; 解决办法&#xff1a;安装最新的babel-preset-react-app npm install babel-preset-react-applatest 2.配置项目 (1)配置文件目录 (2)使用craco配置webpack.config npm install craco/crac…...

高质量 HarmonyOS 权限管控流程

高质量 HarmonyOS 权限管控流程 在 HarmonyOS 应用开发过程中&#xff0c;往往会涉及到敏感数据和硬件资源的调动和访问&#xff0c;而这部分的调用就会涉及到管控这部分的知识和内容了。我们需要对它有所了解&#xff0c;才可以在应用开发中提高效率和避免踩坑。 权限管控了…...

java里面封装https请求工具类2

其他写法 https://blog.csdn.net/weixin_44372802/article/details/132620809?spm1001.2014.3001.5501 encodeJson 是请求参数的密文格式&#xff08;大公司都是要对请求参数加密的&#xff09; ResponseBean 是自己或者对方定义的返回内容参数 public ResponseBean sendByEnc…...

前端面试题日常练-day59 【面试题】

题目 希望这些选择题能够帮助您进行前端面试的准备&#xff0c;答案在文末 1. 在PHP中&#xff0c;以下哪个符号用于比较两个值的相等性&#xff1f; a) b) c) d) ! 2. PHP中的预定义变量$_POST用于获取什么类型的数据&#xff1f; a) 用户的输入数据 b) 浏览器发送的请…...

计算机小问题(4)--关闭联想电脑的小组件

打开联想软件管家&#xff0c;关闭即可 &#xff08;今天弄了好久才找到&#xff0c;记录一下&#xff09;...

mac无法读取windows分区怎么办 苹果硬盘怎么读取

对于Mac电脑用户但有Windows系统使用需求的&#xff0c;我们可以通过Boot Camp启动转换助理安装Windows分区这个方案来解决&#xff0c;不过因为两个系统的磁盘格式不同&#xff0c;相应的也会产生一些问题&#xff0c;例如无法正常读取windows分区。下面本文就详细说明mac无法…...

【设计模式】JAVA Design Patterns——State(状态模式)

&#x1f50d;目的 允许对象在内部状态改变时改变它的行为。对象看起来好像修改了它的类。 &#x1f50d;解释 真实世界例子 当在长毛象的自然栖息地观察长毛象时&#xff0c;似乎它会根据情况来改变自己的行为。它开始可能很平静但是随着时间推移当它检测到威胁时它会对周围的…...

Docker搭建可道云

Docker搭建可道云&#xff08;存储&#xff09; 文章目录 Docker搭建可道云&#xff08;存储&#xff09;介绍资源列表基础环境一、安装Docker二、配置Docker加速器三、搭建可道云私有云盘3.1、编写Dockerfile3.2、上传资源到指定目录3.3、查看目录下所有资源 四、构建镜像五、…...

【RISC-V】站在巨人的肩膀上——看开源芯片、软件生态、与先进计算/人工智能/安全的结合

目录 会议议程前言开源处理器芯片的机遇与挑战&#xff0c;孙凝晖&#xff0c;中国工程院院士RISC-V原生基础软件栈&#xff0c;武延军&#xff0c;中国科学院软件研究所RISC-V推动新型架构创新&#xff0c;孟建熠&#xff0c;浙江大学 专题一&#xff1a;开源芯片开源高性能 R…...

test 判断字符串不为空

#!/bin/bash read -p "请输入参数:" name test -z $name if [ $? -eq 1 ]; then echo "入参&#xff1a;$name" else echo "入参为null" fi...

Python数据分析I

目录 注&#xff1a;简单起见&#xff0c;下文中"df"均写为"表名"&#xff0c;"函数"均写为"HS"&#xff0c;"属性"均写为"SX"&#xff0c;"范围"均写为"FW"。 1.数据分析常用开源库 注释…...

Qt5/6使用SqlServer用户连接操作SqlServer数据库

网上下载SQLServer2022express版数据库,这里没啥可说的,随你喜欢,也可以下载Develop版本。安装完后,我们可以直接连接尝试, 不过一般来说,还是下载SQLServer管理工具来连接数据更加方便。 所以直接下载ssms, 我在用的时候,一开始只能用Windows身份登录。 所以首先,我…...

[经验] 场效应管是如何发挥作用的 #知识分享#学习方法#职场发展

场效应管是如何发挥作用的 在现代电子技术领域&#xff0c;场效应管&#xff08;MOSFET&#xff09;是一种重要的半导体元器件。它的作用非常广泛&#xff0c;例如在集成电路中扮演着关键的角色。在本文中&#xff0c;我们将详细探讨场效应管的作用及其在实际应用中的意义。 简…...

数据挖掘--分类

数据挖掘--引论 数据挖掘--认识数据 数据挖掘--数据预处理 数据挖掘--数据仓库与联机分析处理 数据挖掘--挖掘频繁模式、关联和相关性&#xff1a;基本概念和方法 数据挖掘--分类 数据挖掘--聚类分析&#xff1a;基本概念和方法 基本概念 决策树归纳 决策树:决策树是一…...

数据结构篇其六-串

数据结构—串 前置说明 由于学习Java面向对象语言走火入魔&#xff0c;试图在C语言中模拟实现面向对象设计。里面加入了大量的函数指针配合结构体来模拟类中的成员方法 故此篇&#xff0c;亦可称: 面向对象的C语言程序设计 用C语言实现串这种数据结构&#xff0c;并将它应用到…...

队列和栈的实现

本节讲解的队列与栈&#xff0c;如果你对之前的线性和链式结构顺利掌握了&#xff0c;那么下边的队列和栈就小菜一碟了。因为我们会用前两节讲到的东西来实现队列和栈。 之所以放到一起讲是因为这两个东西很类似&#xff0c;队列是先进先出结构(FIFO, first in first out)&…...

Cursor实现用excel数据填充word模版的方法

cursor主页&#xff1a;https://www.cursor.com/ 任务目标&#xff1a;把excel格式的数据里的单元格&#xff0c;按照某一个固定模版填充到word中 文章目录 注意事项逐步生成程序1. 确定格式2. 调试程序 注意事项 直接给一个excel文件和最终呈现的word文件的示例&#xff0c;…...

Golang 面试经典题:map 的 key 可以是什么类型?哪些不可以?

Golang 面试经典题&#xff1a;map 的 key 可以是什么类型&#xff1f;哪些不可以&#xff1f; 在 Golang 的面试中&#xff0c;map 类型的使用是一个常见的考点&#xff0c;其中对 key 类型的合法性 是一道常被提及的基础却很容易被忽视的问题。本文将带你深入理解 Golang 中…...

《用户共鸣指数(E)驱动品牌大模型种草:如何抢占大模型搜索结果情感高地》

在注意力分散、内容高度同质化的时代&#xff0c;情感连接已成为品牌破圈的关键通道。我们在服务大量品牌客户的过程中发现&#xff0c;消费者对内容的“有感”程度&#xff0c;正日益成为影响品牌传播效率与转化率的核心变量。在生成式AI驱动的内容生成与推荐环境中&#xff0…...

转转集团旗下首家二手多品类循环仓店“超级转转”开业

6月9日&#xff0c;国内领先的循环经济企业转转集团旗下首家二手多品类循环仓店“超级转转”正式开业。 转转集团创始人兼CEO黄炜、转转循环时尚发起人朱珠、转转集团COO兼红布林CEO胡伟琨、王府井集团副总裁祝捷等出席了开业剪彩仪式。 据「TMT星球」了解&#xff0c;“超级…...

质量体系的重要

质量体系是为确保产品、服务或过程质量满足规定要求&#xff0c;由相互关联的要素构成的有机整体。其核心内容可归纳为以下五个方面&#xff1a; &#x1f3db;️ 一、组织架构与职责 质量体系明确组织内各部门、岗位的职责与权限&#xff0c;形成层级清晰的管理网络&#xf…...

将对透视变换后的图像使用Otsu进行阈值化,来分离黑色和白色像素。这句话中的Otsu是什么意思?

Otsu 是一种自动阈值化方法&#xff0c;用于将图像分割为前景和背景。它通过最小化图像的类内方差或等价地最大化类间方差来选择最佳阈值。这种方法特别适用于图像的二值化处理&#xff0c;能够自动确定一个阈值&#xff0c;将图像中的像素分为黑色和白色两类。 Otsu 方法的原…...

镜像里切换为普通用户

如果你登录远程虚拟机默认就是 root 用户&#xff0c;但你不希望用 root 权限运行 ns-3&#xff08;这是对的&#xff0c;ns3 工具会拒绝 root&#xff09;&#xff0c;你可以按以下方法创建一个 非 root 用户账号 并切换到它运行 ns-3。 一次性解决方案&#xff1a;创建非 roo…...

ServerTrust 并非唯一

NSURLAuthenticationMethodServerTrust 只是 authenticationMethod 的冰山一角 要理解 NSURLAuthenticationMethodServerTrust, 首先要明白它只是 authenticationMethod 的选项之一, 并非唯一 1 先厘清概念 点说明authenticationMethodURLAuthenticationChallenge.protectionS…...

GitHub 趋势日报 (2025年06月08日)

&#x1f4ca; 由 TrendForge 系统生成 | &#x1f310; https://trendforge.devlive.org/ &#x1f310; 本日报中的项目描述已自动翻译为中文 &#x1f4c8; 今日获星趋势图 今日获星趋势图 884 cognee 566 dify 414 HumanSystemOptimization 414 omni-tools 321 note-gen …...

自然语言处理——Transformer

自然语言处理——Transformer 自注意力机制多头注意力机制Transformer 虽然循环神经网络可以对具有序列特性的数据非常有效&#xff0c;它能挖掘数据中的时序信息以及语义信息&#xff0c;但是它有一个很大的缺陷——很难并行化。 我们可以考虑用CNN来替代RNN&#xff0c;但是…...