1
0
mirror of https://github.com/chai2010/advanced-go-programming-book.git synced 2025-05-24 20:52:22 +00:00

ch3-02: 完善

This commit is contained in:
chai2010 2018-05-31 18:18:36 +08:00
parent f50cc52186
commit 2843948025
4 changed files with 103 additions and 5 deletions

View File

@ -24,7 +24,7 @@
* [2.12. 补充说明](ch2-cgo/ch2-12-faq.md) * [2.12. 补充说明](ch2-cgo/ch2-12-faq.md)
* [第三章 汇编语言](ch3-asm/readme.md) * [第三章 汇编语言](ch3-asm/readme.md)
* [3.1. 快速入门](ch3-asm/ch3-01-basic.md) * [3.1. 快速入门](ch3-asm/ch3-01-basic.md)
* [3.2. 冯·诺伊曼计算机(TODO)](ch3-asm/ch3-02-arch.md) * [3.2. 计算机结构(Doing)](ch3-asm/ch3-02-arch.md)
* [3.3. 常量和变量(TODO)](ch3-asm/ch3-03-const-and-var.md) * [3.3. 常量和变量(TODO)](ch3-asm/ch3-03-const-and-var.md)
* [3.4. 函数(TODO)](ch3-asm/ch3-04-func.md) * [3.4. 函数(TODO)](ch3-asm/ch3-04-func.md)
* [3.5. 控制流(TODO)](ch3-asm/ch3-05-control-flow.md) * [3.5. 控制流(TODO)](ch3-asm/ch3-05-control-flow.md)

View File

@ -1,3 +1,104 @@
# 3.2. 冯·诺伊曼 计算机(TODO) # 3.2. 计算机结构(Doing)
汇编语言是直面计算机的编程语言因此理解计算机结构是掌握汇编语言的前提。当前流行的计算机基本采用的是冯·诺伊曼计算机体系结构在某些特殊领域还有哈佛体系架构。冯·诺依曼结构也称为普林斯顿结构采用的是一种将程序指令和数据存储在一起的存储结构。冯·诺伊曼计算机中的指令和数据存储器其实指的是计算机中的内存然后在配合CPU处理器就组成了一个最简单的计算机了。
汇编语言其实是一种非常简单的编程语言因为它面向的计算机模型就是非常简单的。让人觉得汇编语言难学主要有几个原因不同类型的CPU都有自己的一套指令即是是相同的CPU32位和64位的运行模式依然会有差异不同的汇编工具同样有自己特有的汇编指令不同的操作系统和高级编程语言和底层汇编的调用规范并不相同。本节将描述几个有趣的汇编语言模型最后精简出一个适用于AMD64架构的精简指令集以便于Go汇编语言的学习。
## 图灵机和BF语言
图灵机是由图灵提出的一种抽象计算模型。机器有一条无限长的纸带,纸带分成了一个一个的小方格,每个方格有不同的颜色,这类似于计算机中的内存。同时机器有一个探头头在纸带上移来移去,类似于通过内存地址来读写内存上的数据。机器头有一组内部计算状态,还有一些固定的程序(更像一个哈佛结构)。在每个时刻,机器头都要从当前纸带上读入一个方格信息,然后根据自己的内部状态和当前要执行的程序指令将信息输出到纸带方格上,同时更新自己的内部状态并进行移动。
图灵机虽然不容易编程但是非常容易理解。有一种极小化的BrainFuck计算机语言它的工作模式和图灵机非常相似。BrainFuck由Urban Müller在1993年创建的简称为BF语言。Müller最初的设计目标是建立一种简单的、可以用最小的编译器来实现的、符合图灵完全思想的编程语言。这种语言由八种状态构成早期为Amiga机器编写的编译器第二版只有240个字节大小
就象它的名字所暗示的brainfuck程序很难读懂。尽管如此brainfuck图灵机一样可以完成任何计算任务。虽然brainfuck的计算方式如此与众不同但它确实能够正确运行。这种语言基于一个简单的机器模型除了指令这个机器还包括一个以字节为单位、被初始化为零的数组、一个指向该数组的指针初始时指向数组的第一个字节、以及用于输入输出的两个字节流。这种 语言是一种按照“Turing complete完整图灵机”思想设计的语言它的主要设计思路是用最小的概念实现一种“简单”的语言BrainF**k 语言只有八种符号,所有的操作都由这八种符号的组合来完成。
下面是这八种状态的描述,其中每个状态由一个字符标识:
| 字符 | C语言类比 | 含义
| --- | ----------------- | ------
| `>` | `++ptr;` | 指针加一
| `<` | `--ptr;` | 指针减一
| `+` | `++*ptr;` | 指针指向的字节的值加一
| `-` | `--*ptr;` | 指针指向的字节的值减一
| `.` | `putchar(*ptr);` | 输出指针指向的单元内容ASCⅡ码
| `,` | `*ptr = getch();` | 输入内容到指针指向的单元ASCⅡ码
| `[` | `while(*ptr) {}` | 如果指针指向的单元值为零,向后跳转到对应的 `]` 指令的次一指令处
| `]` | | 如果指针指向的单元值不为零,向前跳转到对应的 `[` 指令的次一指令处
下面是一个 brainfuck 程序,向标准输出打印"hi"字符串:
```
++++++++++[>++++++++++<-]>++++.+.
```
理论上我们可以将BF语言当作目标机器语言将其它高级语言编译为BF语言后就可以在BF机器上运行了。
## 人力资源机器游戏
《人力资源机器》Hunman Resource Machine是一款设计精良汇编语言编程游戏。在游戏中玩家扮演一个职员角色来模拟人力资源机器的运行。通过完成上司给的每一份任务来实现晋升的目标完成任务的途径就是用游戏提供的11个机器指令编写正确的汇编程序最终得到正确的输出结果。人力资源机器的汇编语言可以认为是跨平台、跨操作系统的通用的汇编语言因为在macOS、Windows、Linux和iOS上该游戏的玩法都是完全一致的。
人力资源机器的机器模型非常简单INBOX命令对应输入设备OUTBOX对应输出设备玩家小人对应一个寄存器临时存放数据的地板对应内存然后是数据传输、加减、跳转等几本的指令。总共有11个机器指令:
| 名称 | 解释 |
| -------- | ---
| INBOX | 从输入通道取一个整数数据,放到手中(寄存器)
| OUTBOX | 将手中(寄存器)的数据放到输出通道,然后手中将没有数据(此时有些指令不能运行)
| COPYFROM | 将地板上某个编号的格子中的数据复制到手中(手中之前的数据作废),地板格子必须有数据
| COPYTO | 将手中(寄存器)的数据复制到地板上某个编号的格子中,手中的数据不变
| ADD | 将手中(寄存器)的数据和某个编号对应的地板格子的数据相加,新数据放到手中(手中之前的数据作废)
| SUB | 将手中(寄存器)的数据和某个编号对应的地板格子的数据相减,新数据放到手中(手中之前的数据作废)
| BUMP+ | 自加一
| BUMP- | 自减一
| JUMP | 跳转
| JUMP =0 | 为零条件跳转
| JUMP <0 | 为负条件跳转
除了机器指令外,游戏中有些环节还提供类似寄存器的场所,用于存放临时的数据。人力资源机器游戏的机器指令主要分有以下几类:
- 输入/输出(INBOX, OUTBOX): 输入后手中将只有1份新拿到的数据, 输出后手中将没有数据。
- 数据传输指令(COPYFROM/COPYTO): 主要用于仅有的1个寄存器手中和内存之间的数据传输传输时要确保源数据是有效的
- 算术相关(ADD/SUB/BUMP+/BUMP-)
- 跳转指令: 如果是条件跳转,寄存器中必须要有数据
主流的处理器也有类似的指令。除了基本的算术和逻辑预算指令外,在配合有条件跳转指令就可以实现分支、循环等常见控制流结构了。
下图是某一层的任务将输入数据的0剔除非0的数据依次输出右边部分是解决方案。
![](../images/ch3-02-arch-hsm-zero.jpg)
整个程序只有一个输入指令、一个输出指令和两个跳转指令共四个指令:
```
LOOP:
INBOX
JUMP-if-zero LOOP
OUTBOX
JUMP LOOP
```
首先通过INBOX指令读取一个数据包然后判断包裹的数据是否为0如果是0的话就跳转到开头继续读取下一个数据包否则将输出数据包然后再跳转到开头。以此循环无休止地处理数据包裹直到任务完成晋升到更高一级的岗位然后处理类似的但更复杂的任务。
## 精简X86指令集
TODO TODO
<!--
指令类型:
1. 数据传输: LEA/MOVQ
2. 算术运算: +-*/%
4. 逻辑运算 and or
5. 跳转: JMP, 有条件跳转
6. 函数调用
7. 栈操作
寄存器AX, BX, CX, DX, SP, PC
位运算的本质每个bit是一个独立的元素不会影响其它bit结果可以看作是一个bit数组。
配合if/else可以实现bit置0/1取反。
逻辑运算and 用乘法模拟or 用加法模拟
乘法是加法和for模拟
-->

View File

@ -1,3 +0,0 @@
package pkg
var id int = 9527

Binary file not shown.

After

Width:  |  Height:  |  Size: 104 KiB