2018-2019-1 20165307 《信息安全系统设计基础》第4周学习总结
教材学习内容总结
程序员可见的状态
Y86-64程序中的每条指令都会读取或修改处理器状态的某些部分，这称为程序员可见状态。包括：程序寄存器、条件码、程序状态、程序计数器和内存。
Y86-64指令
Y86-64指令是x86-84指令集的一个子集。它只包括8字节整数操作。
- 有4个整数操作指令：addq、subq、andq和xorq。
- 有7个跳转指令：jmp、jle、jl、je、jne、jge和jg。
- 有6个条件传送指令：cmovle、cmovl、cmove、cmovne、cmovge和cmovg。
条件码满足所需要的约束时才会更新寄存器的值。
- call：将返回地址入栈，然后跳到目的地址。
- ret:从call的调用中返回。
- pushq和popq：入栈和出栈。
- halt：停止指令的执行。
逻辑设计和硬件控制语言HCL
逻辑门
- 与：AND用“&&”表示
- 或：OR用“||”表示
- 非：NOT用“！”表示
（与、或、非三种逻辑门可以用一种与非门或者或非门实现）