计算机系统基础笔记(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)
    在这里插入图片描述

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

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

相关文章

使用缓存降低数据库并发读写方案探索

文章目录 前言缓存设计思想缓存划分缓存应用时机 客户端缓存浏览器缓存网关或代理服务器缓存CDNPCDN 服务端缓存本地缓存本地缓存实现Java堆缓存memcached/ecachecaffeineORM框架一级/二级缓存 分布式缓存分布式缓存优缺点分布式缓存实现分布式缓存实施过程可能遇到问题分布式缓…

【模拟-BM100 设计LRU缓存结构】

题目 BM100 设计LRU缓存结构 描述 设计LRU(最近最少使用)缓存结构&#xff0c;该结构在构造时确定大小&#xff0c;假设大小为 capacity &#xff0c;操作次数是 n &#xff0c;并有如下功能: Solution(int capacity) 以正整数作为容量 capacity 初始化 LRU 缓存get(key)&am…

【C#】WinForm关闭新(二级)界面使主程序关闭

参考视频&#xff1a;https://www.bilibili.com/video/BV1JY4y1G7jo?p14&vd_source1c57ab1b2e551da5b65c0dfb0f05a493 1.背景介绍 主程序界面&#xff0c;点击弹出二级界面&#xff08;同时隐藏主界面&#xff09;&#xff0c;不做任何设置&#xff0c;这时关闭二级界面…

SpringCloud-OpenFeign拓展-连接池、最佳使用方法、日志输出

目录 1 OpenFeign连接池 1.1 常见连接类型 1.2 连接池使用方法 1.2.1 引入依赖 1.2.2 开启连接池功能 1.2.3 配置完成&#xff0c;重启实例即可&#xff0c;底层将更改设置。 2 OpenFeign最佳使用方法 2.1 每个微服务都是单独的project&#xff0c;内部有三个独立模块 …

脖子以下是人机交互,脖子以上是人机融合智能

“脖子以下是人机交互&#xff0c;脖子以上是人机融合智能”这句话是当前人与人工智能配合技术发展的一种形象描述&#xff0c;一个是生理物理&#xff0c;一个是人脑电脑&#xff1a; 1、人机交互的重要性 脖子以下的人机交互在当前的人工智能系统中扮演着重要的角色。人机交互…

Leetcode1161. 最大层内元素和

Every day a Leetcode 题目来源&#xff1a;1161. 最大层内元素和 解法1&#xff1a;层序遍历 每次以「层」为单位进行拓展&#xff0c;统计该层的元素和&#xff0c;维护处理过程中的最大值层数和&#xff0c;以及层深度。 代码&#xff1a; /** lc appleetcode.cn id116…

Unity 编辑器扩展,获取目录下所有的预制件

先看演示效果 实现方案 1创建几个用于测试的cube 2&#xff0c;创建一个Editor脚本 3&#xff0c;编写脚本内容 附上源码 using UnityEditor; using UnityEngine;public class GetPrefeb : EditorWindow {private string folderPath "Assets/Resources"; // 指定预…

两款好用的IOS、Android图片处理应用

GIF 小助手 GIF工具包是一个简单实用的GIF动画编辑器&#xff0c;目前仅支持IOS平台。 使用该软件&#xff0c;可以将多个图像、视频和现场照片创建为gif。 主要功能&#xff1a; 多种输入源&#xff1a;用户可以将多个图片、视频或Livephoto转换成GIF动图。 编辑功能&#…

深度解析:ChatGPT全面测评——功能、性能与用户体验全景剖析

从去年底至今&#xff0c;由 OpenAI 发布的大规模语言模型 ChatGPT 引发了几乎所有科技领域从业者的高度关注。据瑞银集团的报告显示&#xff0c;自 2023 年 1 月起&#xff0c;仅两个月内&#xff0c;ChatGPT 的月活用户数便超过了 1 亿。 ChatGPT 被誉为“最强 AI”&#xff…

【C++】用红黑树封装map、set

用红黑树封装map、set 1. 红黑树1.1 模板参数的控制1.1.1 Value1.1.2 KeyOfValue 1.2 正向迭代器1.2.1 构造函数1.2.2 begin()end()1.2.3 operator()1.2.4 operator--()1.2.5 operator*()1.2.6 operator->()1.2.7 operator()1.2.8 operator!()1.2.9 总代码 1.3 反向迭代器1.…

vue2的element的table组件使用form校验

1.需求描述 vue2有时候做自增表格el-table&#xff0c;希望能够带一些校验&#xff0c;但又不想手搓校验逻辑&#xff0c;可以借用el-form的校验逻辑。 2.代码处理 1. html <template><div class"sad-cont"><el-form ref"form" :model&…

WPF视频学习-基础知识篇

1.简介WPF&#xff1a; C# 一套关于windows界面应用开发框架 2.WPF和winform的差别 &#xff0c;(WPF比较新) 创建新项目使用模板&#xff1a; WPF使用.xaml后缀&#xff0c;双击可查看操作界面和设置代码&#xff0c;其文件展开之后中有MainWindow.xaml.cs为程序交互逻辑。…

1.Vue2使用ElementUI-初识及环境搭建

目录 1.下载nodejs v16.x 2.设置淘宝镜像源 3.安装脚手架 4.创建一个项目 5.项目修改 代码地址&#xff1a;source-code: 源码笔记 1.下载nodejs v16.x 下载地址&#xff1a;Node.js — Download Node.js 2.设置淘宝镜像源 npm config set registry https://registry.…

Python实现连连看9

&#xff08;2&#xff09;标识选中的图片 在判断出玩家选中的是哪一张图片之后&#xff0c;接下来就可以标识选中的图片了&#xff0c;即在该选中的图片外围画矩形。代码如下所示。 FIRSTCLICK True #FIRSTCLICK是全局变量 if(click_col>0 and click_row>0) and \(no…

GUI编程-01

组件 窗口 弹窗 面板 文本框 列表框 按钮 图片 监听事件 鼠标 键盘事件 破解工具 Java提供了丰富的图形用户界面&#xff08;Graphics User Interface&#xff0c;GUI&#xff09;的类库&#xff0c;基于这些类库可以编写窗口程序。 Java关于图形界面的类库主要放在…

uniapp自定义的下面导航

uniapp自定义的下面导航 看看效果图片吧 文章目录 uniapp自定义的下面导航 看看效果图片吧 ![在这里插入图片描述](https://img-blog.csdnimg.cn/direct/6aa0e964741d4dd3a58f4e86c4bf3247.png) 前言一、写组件、我这里就没有写组件了直接写了一个页面&#xff1f;总结 前言 在…

JWT 快速入门

什么是 JWT JSON Web Token&#xff08;JWT&#xff09;是目前最流行的跨域身份验证解决方案 JSON Web Token Introduction - jwt.ioLearn about JSON Web Tokens, what are they, how they work, when and why you should use them.https://jwt.io/introduction 一、常见会…

Vue13-计算属性的简写

一、计算属性的简写 注意&#xff1a; 当计算属性只有get&#xff0c;没有set的时候&#xff0c;才能用简写形式&#xff01;&#xff01;&#xff01;

端午与高考的交汇点:家的温暖与梦想的起点

当端午节的粽香弥漫在街头巷尾&#xff0c;高考的脚步也悄然而至。这两个看似毫无关联的时刻&#xff0c;却在每年的六月&#xff0c;奇妙地交汇在一起&#xff0c;为我们带来了一段特别的记忆。这不仅是家的温暖与梦想的起点相遇的时刻&#xff0c;更是传统文化与现代追求共融…

Rust-06-所有权

所有权&#xff08;系统&#xff09;是 Rust 最为与众不同的特性&#xff0c;它让 Rust 无需垃圾回收即可保障内存安全&#xff0c;下面是所有权以及相关功能&#xff1a;借用&#xff08;borrowing&#xff09;、slice 以及 Rust 如何在内存中布局数据。 通过所有权系统管理内…