跟我一起写个虚拟机 .Net 7（二）

最新推荐文章于 2023-10-18 13:44:37 发布
最新推荐文章于 2023-10-18 13:44:37 发布
阅读量268 收藏
点赞数
文章标签： .net
原文链接：https://mp.weixin.qq.com/s?__biz=MzI0NDE0MDgyNg==&mid=2649601934&idx=3&sn=0bc9a4a07018d6b88a5d9480570af197&chksm=f17b49fbc60cc0ed78341334cce135c531178481da7d1a95b4ede404fa05cb292fe01a2b9164&scene=126&sessionid=0
版权

虚拟机，我一直在路上。

之前写了《跟我一起写个虚拟机 .Net 7（一）》，之前有一些没有太明白的小细节，也琢磨明白了，实际上，所牵涉的基础概念是很多的。

比如，基于栈的虚拟机和基于寄存器的虚拟机有什么区别？

什么是图灵机，什么是图灵完备，以及什么是冯诺依曼机，它们之间有什么区别？

以及编译部分的前端和后端分别是什么，也会在后边的序列里，循序渐进的逐步了解。

基于栈的虚拟机与基于寄存器的虚拟机有什么区别？

基于栈的虚拟机就是《跟我一起写个虚拟机 .Net 7（一）》里的stack数组里保存的栈数据，另外像PUSH指令以及POP指令，就是基于栈的虚拟机的常规用法。

举个例子，有以下代码

int a = 1;
    int b = 2;
    int c = a + b;

[基于栈] 对应的IL 字节码(C# 字节码)

.locals init(
    [0] int32 a,
    [1] int32 b,
    [2] int32 c
)
    
IL_0001: ldc.i4.1 //将整数值 1 作为 int32 推送到计算堆栈上
IL_0002: stloc.0  //从计算堆栈顶部弹出当前值，并将其存储在索引 0 处的局部变量列表中。

IL_0003: ldc.i4.2
IL_0004: stloc.1

IL_0005: ldloc.0  //将索引 0 处的局部变量加载到计算堆栈上
IL_0006: ldloc.1  
IL_0007: add      //将两个值相加并将结果推送到计算堆栈上
IL_0008: stloc.2  //从评估堆栈顶部弹出当前值，并将其存储在索引 2 的局部变量列表中。

[基于栈] 对应的JAVA 字节码(bytecode)

stack=2, locals=4, args_size=1
0: iconst_1
1: istore_1
2: iconst_2
3: istore_2
4: iload_1
5: iload_2
6: iadd
7: istore_3
8: iload_3
9: ireturn

[基于寄存器] 对应C语言的汇编(ASM)

mov         dword ptr [a],1 
mov         dword ptr [b],2  
mov         eax,dword ptr [b]  
mov         ecx,dword ptr [a]  
add         ecx,eax  
mov         eax,ecx  
mov         dword ptr [c],eax

[基于寄存器] lua语言字节码(bytecode)

0 params, 3 slots, 0 upvalues, 3 locals, 0 constants, 0 functions
1       [2]     LOADI           0 1
2       [3]     LOADI           1 2
3       [4]     ADD             2 0 1
4       [4]     MMBIN           0 1 6   ; __add
5       [5]     RETURN1         2

3 slots 意思就是用了三个寄存器

那么基于栈与基于寄存器大致的优缺

为了避免寄存器的兼容性(物理机寄存器数量有限，各个CPU数量不一致)，实现跨平台等通用型会采用基于栈的结构，为了让栈的结构更合理，会增加整体的指令集，相对寄存器的指令集就会多一些，所以，基于栈的效率也相对低一些。

Lua实际上也是用的虚拟寄存器结构，并不是真实用的物理级的寄存器。所以，它相对性能高一些。

所以，针对虚拟机级别的也可以采用类似虚拟寄存器的方式来降低指令集的数量来降低次数，从而提升执行效率。

当然，还有更多的点，就需要多学，多看，多思考了。

什么是图灵机，什么是图灵完备，以及什么是冯诺依曼机，它们之间有什么区别？

图灵机

图灵机是艾伦·图灵提出的一种计算模型，即，一切计算问题都可以被机器所计算解决。

概念图

dc0f452458ee54f5798b4e24a1a428e3.png

模型实物图

320bd8f406f339141f0aada097f142c4.png 3d5420302a24908fa5c05acd00eed2c8.png

就像上边的两张图一样，整体原理结构如下

  1. 1. 它有一条无限长的纸带（就像老式的磁带机，里面有长长的黑棕色长带子，小时候经常玩）

  2. 2. 带字上有紧挨着的一个一个的小方格（有限的指令或者数据）

  3. 3. 有一个机器头在纸袋上移来移去（会根据小方格的指令移动到指定的位置继续移动）

  4. 4. 这个机器头自己会维持一个内部的状态

很简单的方式就描述了计算机的本质原理。

图灵完备

图灵完备的大致意思就是具备图灵机概念的任何指令集或者程序或者逻辑，即能执行任何可计算问题时，它就是图灵完备的。

具体图灵机的整体原理结构的，就是图灵完备。图灵完备只保证计算的可行性。

一切都为了解决计算而生 。

图灵测试

图灵测试是用来判断机器是否具有智能的方法。

大概方法是说，通过某种方式进行交流（文本，语音，等等），如果你感觉不到对方是机器人，那么，机器就具有智能。

从神经网络算法和深度学习等技术来的时候，实际上智能已经具备了，目前openai的来临，让智能达到了一种前所未有的高度，虽然，还有很多问题待解决。

那么，机器的智力该如何表现，幼儿，青年，中年？ 毕竟，它已经有了全人类的知识。

冯诺依曼机

如果说图灵机偏向原理和概念，那么，冯诺依曼机就偏向于结构化，变相的来说，是对图灵机原理的归纳和总结。

大致分成五个部分（规定了指令和数据要使用二进制）

  1. 1. 运算（加减乘除）

  2. 2. 控制 (类似图灵机的机器头，IP)

  3. 3. 存储 (硬盘，内存)

  4. 4. 输入 (键盘，鼠标，摄像头)

  5. 5. 输出 (屏幕，音响)

如下图

711dc42f1df3e8bbc5ca20b14e9844a4.png

可以明显的看到，跟图灵机的结构还是很相似的。

图灵机与冯诺依曼机的主要区别

一个偏向理论和概念，一个偏向工程化实现，能直接落地。

整体结构也能如下函数表示

y = F(x);

输入了一个x，然后，根据F的内部的处理不同，输出你想要的y。 F就是控制和运算（计算器，控制头），x是输入，y是输出(保存到指定的地方就叫存储)

至此，整个计算的概念和模型都已经有了一个初步的了解，更多的信息，还需要自己多了解。

送个图：

846b37e0af053603dfa044dcdb02af89.png

接下来，我们继续基于系列的学习。

多增加指令

实际上我在原有文章的基础上新增了一个JUMP指令，要不然，无法实现简单的if效果。 本来还想实现标签跳转，后来想想，目前是不需要的。

指令集如下

/// <summary>
/// 指令集
/// </summary>
public enum InstructionSet
{
    /// <summary>
    /// PUSH 5; 
    /// 将数据放入栈中
    /// </summary>
    PUSH,
    /// <summary>
    /// 取栈顶数据
    /// </summary>
    POP,
    /// <summary>
    /// 给寄存器赋值
    /// SET reg,3
    /// </summary>
    SET,
    /// <summary>
    /// MOV reg1,reg2
    /// 将寄存器 reg2中的数据移动到 reg1中
    /// </summary>
    MOV,
    /// <summary>
    /// 加法
    /// 取出栈中的两个操作数，执行加法操作，然后，放入栈中
    /// </summary>
    ADD,
    /// <summary>
    /// 减法
    /// 取出栈中的两个操作数，执行减法操作，然后，放入栈中
    /// </summary>
    SUB,
    /// <summary>
    /// 除法
    /// 取出栈中的两个操作数，执行除法操作，然后，放入栈中
    /// </summary>
    DIV,
    /// <summary>
    /// 乘法
    /// 取出栈中的两个操作数，执行乘法操作，然后，放入栈中
    /// </summary>
    MUL,
    /// <summary>
    /// 存储指令，将寄存器的数据放入栈中
    /// </summary>
    STR,
    /// <summary>
    /// 将栈顶数据放入寄存器中
    /// </summary>
    LDR,
    /// <summary>
    /// IF reg, value,ip;
    /// 如果reg中的值等于value，就把IP指针指向ip地址。
    /// </summary>
    IF,
    /// <summary>
    /// 打印寄存器中的数据
    /// </summary>
    LOGR,
    /// <summary>
    /// 无条件跳转
    /// </summary>
    JMP,
    /// <summary>
    /// 虚拟机停止运行
    /// </summary>
    HALT
}

目前所有指令集如下图:

380b5c3a88e36a5ea6a634a3813385a7.png

引入了寄存器

都是通用寄存器，也没有增加别的，感觉也没用，不一定非得模拟物理寄存器

public enum Register
{
    A,
    B,
    C,
    D,
    E,
    F,//A-F通用寄存器
}

虚拟机VM里也增加了寄存器的定义

/// <summary>
/// 寄存器
/// </summary>
public int[] Registers = new int[Enum.GetNames(typeof(Register)).Length];

指令的实现

switch (instruction)
{
    case InstructionSet.HALT:
        {
            Runing = false;
            Console.WriteLine("虚拟机停止");
        }
        break;
    case InstructionSet.PUSH:
        {
            StackPointer++;
            ++IP;
            Stack[StackPointer] = Instructions[IP];
        }
        break;
    case InstructionSet.POP:
        {
            int popValue = Stack[StackPointer];
            StackPointer--;
            Console.WriteLine($"poped {popValue}");
        }
        break;
    case InstructionSet.ADD:
        {
            //从栈中取出两个操作数，相加，然后，保存在栈中
            int a = Stack[StackPointer];
            StackPointer--;
            int b = Stack[StackPointer];
            StackPointer--;
            int sum = a + b;
            StackPointer++;
            Stack[StackPointer] = sum;
        }
        break;
    case InstructionSet.SUB:
        {
            //从栈中取出两个操作数，相减，然后，保存在栈中
            int a = Stack[StackPointer];
            StackPointer--;
            int b = Stack[StackPointer];
            StackPointer--;
            int sum = b - a;
            StackPointer++;
            Stack[StackPointer] = sum;
        }
        break;
    case InstructionSet.MUL:
        {
            //从栈中取出两个操作数，相乘，然后，保存在栈中
            int a = Stack[StackPointer];
            StackPointer--;
            int b = Stack[StackPointer];
            StackPointer--;
            int sum = a * b;
            StackPointer++;
            Stack[StackPointer] = sum;
        }
        break;
    case InstructionSet.DIV:
        {
            //从栈中取出两个操作数，相除，然后，保存在栈中
            int a = Stack[StackPointer];
            StackPointer--;
            int b = Stack[StackPointer];
            StackPointer--;
            if (a == 0)
            {
                Console.WriteLine("除数不能为0");
                Runing = false;
            }
            else
            {
                int sum = b / a;
                StackPointer++;
                Stack[StackPointer] = sum;
            }
        }
        break;
    case InstructionSet.MOV:
        {
            IP++;
            //将一个寄存器的值，放入到另外一个寄存器里
            //目标寄存器
            int dr = Instructions[IP];

            IP++;
            //源寄存器
            int sr = Instructions[IP];

            //目标寄存器的值为源寄存器的值
            Registers[dr] = Registers[sr];
        }
        break;
    case InstructionSet.STR:
        {
            IP++;
            //将指定寄存器中的参数，放入栈中
            int r = Instructions[IP];
            StackPointer++;
            Stack[StackPointer] = Registers[r];
        }
        break;
    case InstructionSet.LDR:
        {
            int value = Stack[StackPointer];
            IP++;
            int r = Instructions[IP];
            Registers[r] = value;
        }
        break;
    case InstructionSet.IF:
        {
            //如果寄存器的值和后面的数值相等，则跳转
            IP++;
            int r = Instructions[IP];
            IP++;
            if (Registers[r] == Instructions[IP])
            {
                IP++;
                IP = Instructions[IP];
                IsJump = true;
                Console.WriteLine($"jump if :{IP}");
            }
            else
            {
                IP++;
            }
        }
        break;
    case InstructionSet.SET:
        {
            IP++;
            int r = Instructions[IP];
            IP++;
            int value = Instructions[IP];
            Registers[r] = value;
        }
        break;
    case InstructionSet.LOGR:
        {
            IP++;
            int r = Instructions[IP];
            int value = Registers[r];
            Console.WriteLine($"log register_{(Register)r} {value}");
        }
        break;
    case InstructionSet.JMP:
        {
            IP++;
            IP = Instructions[IP];
            IsJump = true;
            Console.WriteLine($"jump if :{IP}");
        }
        break;
}

虽然不是最美化的，但是，调逻辑的话，不是问题，跟着逻辑走，就明白实际原理了。

代码程式

bool mark = false;//可以修改if条件
var result = 0;

if (!mark)
{
    result = ((((10 + 4) - 2) * 6) / 5);
}
else
{
    result = (((4 - 2) * 6) / 5);
}
Console.WriteLine($"所要达到的结果:{result}");
var program = new List<int>()
{
    (int)InstructionSet.SET,(int)Register.F,mark ? 0:1,
    (int)InstructionSet.IF,(int)Register.F,0,14,
    (int)InstructionSet.PUSH,10,
    (int)InstructionSet.PUSH,4,
    (int)InstructionSet.ADD,
    (int)InstructionSet.JMP,16,
    (int)InstructionSet.PUSH,4,
    (int)InstructionSet.PUSH,2,
    (int)InstructionSet.SUB,
    (int)InstructionSet.PUSH,6,
    (int)InstructionSet.MUL,
    (int)InstructionSet.PUSH,5,
    (int)InstructionSet.DIV,
    (int)InstructionSet.LDR,(int)Register.A,
    (int)InstructionSet.LOGR,(int)Register.A,
    (int)InstructionSet.SET,(int)Register.C,9,
    (int)InstructionSet.LOGR,(int)Register.C,
    (int)InstructionSet.MOV,(int)Register.B,(int)Register.C,
    (int)InstructionSet.STR,(int)Register.B,
    (int)InstructionSet.LDR,(int)Register.D,
    (int)InstructionSet.HALT
};

程序中包含了两种，一种是代码逻辑的表达式实现，另外一种是虚拟机指令集的代码实现。 通过两个结果来印证虚拟机运行的逻辑是正常的。

结果如下

条件为false的情况下的结果

7b0602875c58ac8d999591f7c542b720.png

条件为true的情况下的结果

8c3b554e8a13609f01295479358ce32b.png

可以看到所要达到的结果跟寄存器A里的结果是一致的，而寄存器A里存的就是我们的结果。

下篇预告

敬请期待下篇《跟我一起写个虚拟机 .Net 7（三）》，会更加的完整以LC-3 教学的汇编语言为模版示例。

代码地址

https://github.com/kesshei/VirtualMachineDemo.git

https://gitee.com/kesshei/VirtualMachineDemo.git

引用

https://aturingmachine.com/

https://baike.baidu.com/item/%E5%9B%BE%E7%81%B5%E6%9C%BA/2112989

https://baike.baidu.com/item/%E5%86%AF%C2%B7%E8%AF%BA%E4%BE%9D%E6%9B%BC%E7%BB%93%E6%9E%84

阅

一键三连呦！，感谢大佬的支持，您的支持就是我的动力!

-

技术群：添加小编微信并备注进群

小编微信：mm1552923   

公众号：dotNet编程大全    

zls365365
关注
  • 0
    点赞
  • 踩
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
主机64位win10 在vbox中安装32位win7虚拟机
SUPER_CHILD的博客
11-25 1903
想安装win7最开始的原因是实验课中，有一个软件无法在win10中运行，想到机房中是win7系统，便开始琢磨装一个虚拟机。 一、下载Windows7（32位）映像 在网上有很多一键装系统的映像文件，确实比较方便。但这一次我尝试了不同的几个映像文件都无法正常启动，出现如下错误： 上网找了很久都没有找到解决方法，后来看到一个评论推荐了一个很好用Windows系统正版映像文件下载的网站，在网站上下载了...
jar转dll.zip
07-16
- 类名和方法名的大小写必须正确，因为Java是大小写敏感的，而.NET在编译时会忽略大小写。 - 如果Java库依赖其他JAR，需要一起转换并正确引用。 - 转换过程中可能会遇到不兼容问题，因为IKVM并非完全实现所有Java...
C#编写的Vmware虚拟机
12-04
文件虽然只有十几兆，但是基本上实现了虚拟机的基本功能！！不可不谓之经典！！
[共享] C#写的虚拟机
06-22
C#能写出虚拟机,你能相信吗？<br>看看就知道
c#的虚拟机有什么用？
最新发布
m0_57236802的博客
10-18 353
这样，相同的 IL 代码可以在任何安装有 CLR 的系统上运行。因此，CLR 虚拟机在 C# 和整个 .NET 生态系统中扮演着非常重要的角色，它提供了一系列的服务和功能，以便简化开发工作，提高代码的可移植性和安全性。：.NET 平台上有多种语言（如 C#, VB.NET, F# 等）可以共存，它们都可以编译为 IL，并且可以互相调用，这得益于 CLR 的存在。：虽然 C# 代码首先被编译为 IL，但在运行时，这些 IL 代码会被即时编译（JIT）为本地机器代码，这样可以实现接近本地编译语言的性能。
c#写的虚拟机成功运转了
arcc阿克sir的专栏
01-11 1516
c#写的虚拟机成功运转了。可以分配内存，赋值，运算，比较，跳转。现在只能运行简单的汇编，隔了五六年了，重新写汇编，在自己的机器上运行，真爽。:)
VMware15pro安装Windows7虚拟机详细教程
小啊呜的博客
05-30 1万+
VMware15pro安装Windows7虚拟机详细教程 一、前言 二、虚拟里面创建新的虚拟机 三、虚拟机安装 Win7 系统 四、遇到问题&解决问题 叮嘟！这里是小啊呜的学习课程资料整理。好记性不如烂笔头，今天也是努力进步的一天。一起加油进阶吧！
跟我一起写操作系统(一)——10分钟写个操作系统
热门推荐
xyjikl
08-22 3万+
转载注明出处：http://www.cnblogs.com/lucasysfeng/p/4846119.html 　　项目地址：https://github.com/lucasysfeng/lucasOS   　　想动手，但不知从何入手，是学习一门新知识普遍会遇到的尴尬点。笔者喜欢边实践边学习理论，笔者的写作思路是：入门的文章要避免讲一些高深的理论，而应该先抛出demo，从研究demo入手，
关于.NET、ASP.NET和ASP
荒唐的博客
04-19 2549
发展历程 1996年，ASP 1.0（Active Server Pages，即ASP）版本出现了，它引起了Web开发的新革命，降低了动态网页开发的难度。以前开发动态网页需要编写大量繁杂的C代码，编程效率非常低下，而且需要Web网页开发者掌握非常高的编程技巧。而ASP使用简单的脚本语言，能够将代码直接嵌入HTML，使设计Web网页变得简单。 虽然ASP非常简单，但却能够实现非常强大的功能，这一切得益于其组件。特别是ADO组件，使得在网页中访问数据库易如反掌。这一切推动了动态网页的快速发展与建设，同时使A
2021-2022计算机二级等级考试试题及答案No.15984.docx
10-29
7. 对象方法和消息：在面向对象编程中，对象间通信通过发送消息实现，即一个对象请求另一个对象为其服务时，会发送一个消息。 8. JRE与JDK的区别：JRE（Java Runtime Environment）是运行Java程序所需的基本环境，...
MOOC-Java-2020:赫尔辛基大学在线Java课程。 我的解决方案
04-16
我的解决方案"这个项目可能包含了上述知识点的学习和实践。通过这个课程，学习者可以深入理解Java语言的基础和高级特性，掌握面向对象编程，学会使用Java集合框架，处理异常，进行I/O操作，以及编写多线程程序。通过...
怎样用MyEclipse发布java应用程序& MyEclipse怎么创建一个 windows应用程序 jack Sword 20120528.pdf
02-22
Java程序依赖于Java虚拟机（JVM）来执行，这意味着用户需要安装Java运行环境（JRE）才能运行Java程序。对于非Web应用程序，如使用Frame构建的桌面应用，发布通常涉及将所有类文件打包成一个JAR（Java Archive）文件...
kali-linux-2021.3-vmware-amd64.part3.rar
09-29
Kali Linux VMware（kali-linux-2021.3-vmware-amd64.7z）文件分割成 3个 压缩包，必须集齐3个 文件后才能一起解压一起使用： kali-linux-2021.3-vmware-amd64.part3.rar ...
C语言写个简单的虚拟机
Ez_coder的博客
05-28 1456
伪代码: 寄存器用变量表示 内存用数组表示 定义宏定义为操作码功能 1.数据定义 2.打印功能 3.错误判断 1.数据定义 { 定义寄存器 定义计数器 定义指针寄存器(指向下一条将要执行的指令EIP) 定义操作码 定义操作数 } 2.打印函数 { 打印信息 } 3.错误判断 { 判断是否溢出 判断除数 } main函数 { do { do{ }whlie }whlie 输入 do{ SWITCH语句执行操作 }(操作码不等于43) } #define _CRT_SECURE_NO_WARNING
虚拟机漫谈（Lua、Java、C#）
语言观止
11-30 9256
最近，花了四天的时间去看和虚拟机相关的资料，终于换来了一知半解。其实在N年前，我就碰到过虚拟机。那时候用的java、C#、vmware都和虚拟机有千丝万缕的关系。甚至，windows的保护模式也是虚拟机的一种。但是很多时候我不求甚解，对虚拟机的认识只停留在名词解析上面。也怪那时候的老师们从来不点破这层窗户纸，把Java教的和C一样，让我误以为Java就是C的移动版；把C#当做XX系统管理工具的专属
C#窗体实现打开关闭VM虚拟机
sinat_29705095的博客
11-08 467
vixclass.cs//定义开机、关机等函数 using System; using System.Collections.Generic; using System.Linq; using System.Runtime.InteropServices; using System.Text; using System.Threading.Tasks; using VixCOM;...
C# 实现 Hyper-V 虚拟机 管理
weixin_30502157的博客
09-17 400
Hyper-V WMI Provider 工具类如下： using System;using System.Collections.Generic;using System.Management;namespace MyNamespace{ #region Return Value of RequestStateChange Method of the Msvm_Compu...
陈皓 跟我一起写 makefile
09-04
当然可以和陈皓一起写makefile了！陈皓是著名的程序员，他在技术领域有很高的造诣，对于makefile也有深刻的理解和丰富的经验。 首先，我会跟陈皓一起梳理项目的目录结构和依赖关系。我们需要确定每个文件的编译顺序，并定义好它们之间的依赖关系。 接下来，我们可以一起编写makefile的规则。我们会定义编译器、编译选项等变量，并且为每个目标文件提供自定义的规则。我们会使得makefile具有智能的依赖检测功能，只重新编译那些修改过的文件，以提高编译效率。 然后，我们可以一起测试makefile的功能。我们会使用一些简单的测试样例来验证makefile是否正确地进行了编译和链接。如果有任何错误，我们会一起进行调试和修改，直到makefile达到预期的功能。 最后，我们可以一起对makefile进行优化。我们会寻找潜在的性能瓶颈，如何改进并简化makefile以提高构建速度和可维护性。 与陈皓一起编写makefile不仅可以得到他的专业指导，还可以进一步提高自己的技术能力。我相信在与陈皓的合作中，我们能够建立一个高效和可靠的makefile，为项目的开发和维护提供便利。
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值