用125行C语言编写一个简单的16位虚拟机

news2024/10/7 0:10:07

改博文用图文代码的方式详细描述了实现的具体过程,包含每一条指令的含义。

虚拟机

在计算领域,VM(虚拟机)是一个术语,指的是模拟/虚拟化计算机系统/架构的系统。

从广义上讲,有两类虚拟机:

  • 系统虚拟机,可完全替代真实机器。它们实现了足够的功能,允许操作系统在它们上运行。他们可以共享和管理硬件,有时多个环境可以在同一台物理机器上运行而不会相互阻碍。

  • 进程虚拟机更简单,旨在在与平台无关的环境中执行计算机程序。JVM是进程虚拟机的一个很好的例子。

本文描述的是一个简单的进程虚拟机,旨在在独立于平台的环境中执行简单的计算机程序。该虚拟机基于LC-3 计算机体系结构,能够解释和执行 LC3 汇编代码(的子集)。

该虚拟机实现了:中断处理、优先级、进程、状态寄存器 (PSR)、特权模式、主管堆栈、用户堆栈等最基本的硬件内容。

冯诺依曼模型

受 LC-3 启发的 VM 与当今大多数通用计算机一样,基于冯诺依曼计算机模型,它将具有三个主要组件:CPU、主存储器、输入/输出设备

 

CPU是中央处理器的缩写,是控制和操作数据的“电路”。此外,CPU 分为三层:ALU、CU和寄存器

ALU 代表算术/逻辑单元,代表实际携带数据指令的电路(加法、异或、除法等操作)。

CU 是Control Unit的缩写,协调 CPU 上的活动。

寄存器是位于 CPU 级别的可快速访问的“插槽”。ALU 对寄存器进行操作。它们数量很少(这是一个相对的说法,因为它取决于架构),因此可以在 CPU 中加载的数据量是有限的。我们使用寄存器与主存储器交互。一个典型的场景包括将内存位置加载到寄存器中,执行一些更改,然后将数据放回内存中。

实现虚拟机原理

虚拟机功能如下:

  • 我们将程序加载到主存中;

  • 在RPC寄存器中,我们保存当前需要执行的指令;

  • 我们从指令中获取操作码(前 4 位),并在此基础上解码其余参数。

  • 我们执行与给定指令相关的方法;

  • 我们增加RPC并继续下一条指令;

实现的具体过程,可以参看原博文。

这里附上开源代码:


#include <stdio.h>
#include <stdlib.h>
#include <stdint.h>
#include <string.h>
#include <stdbool.h>

#include "vm_dbg.h"

#define NOPS (16)

#define OPC(i) ((i)>>12)
#define DR(i) (((i)>>9)&0x7)
#define SR1(i) (((i)>>6)&0x7)
#define SR2(i) ((i)&0x7)
#define FIMM(i) ((i>>5)&01)
#define IMM(i) ((i)&0x1F)
#define SEXTIMM(i) sext(IMM(i),5)
#define FCND(i) (((i)>>9)&0x7)
#define POFF(i) sext((i)&0x3F, 6)
#define POFF9(i) sext((i)&0x1FF, 9)
#define POFF11(i) sext((i)&0x7FF, 11)
#define FL(i) (((i)>>11)&1)
#define BR(i) (((i)>>6)&0x7)
#define TRP(i) ((i)&0xFF)

bool running = true;

typedef void (*op_ex_f)(uint16_t i);
typedef void (*trp_ex_f)();

enum { trp_offset = 0x20 };
enum regist { R0 = 0, R1, R2, R3, R4, R5, R6, R7, RPC, RCND, RCNT };
enum flags { FP = 1 << 0, FZ = 1 << 1, FN = 1 << 2 };

uint16_t mem[UINT16_MAX] = {0};
uint16_t reg[RCNT] = {0};
uint16_t PC_START = 0x3000;

static inline uint16_t mr(uint16_t address) { return mem[address];  }
static inline void mw(uint16_t address, uint16_t val) { mem[address] = val; }
static inline uint16_t sext(uint16_t n, int b) { return ((n>>(b-1))&1) ? (n|(0xFFFF << b)) : n; }
static inline void uf(enum regist r) {
    if (reg[r]==0) reg[RCND] = FZ;
    else if (reg[r]>>15) reg[RCND] = FN;
    else reg[RCND] = FP;
}
static inline void add(uint16_t i)  { reg[DR(i)] = reg[SR1(i)] + (FIMM(i) ? SEXTIMM(i) : reg[SR2(i)]); uf(DR(i)); }
static inline void and(uint16_t i)  { reg[DR(i)] = reg[SR1(i)] & (FIMM(i) ? SEXTIMM(i) : reg[SR2(i)]); uf(DR(i)); }
static inline void ldi(uint16_t i)  { reg[DR(i)] = mr(mr(reg[RPC]+POFF9(i))); uf(DR(i)); }
static inline void not(uint16_t i)  { reg[DR(i)]=~reg[SR1(i)]; uf(DR(i)); }
static inline void br(uint16_t i)   { if (reg[RCND] & FCND(i)) { reg[RPC] += POFF9(i); } }
static inline void jsr(uint16_t i)  { reg[R7] = reg[RPC]; reg[RPC] = (FL(i)) ? reg[RPC] + POFF11(i) : reg[BR(i)]; }
static inline void jmp(uint16_t i)  { reg[RPC] = reg[BR(i)]; }
static inline void ld(uint16_t i)   { reg[DR(i)] = mr(reg[RPC] + POFF9(i)); uf(DR(i)); }
static inline void ldr(uint16_t i)  { reg[DR(i)] = mr(reg[SR1(i)] + POFF(i)); uf(DR(i)); }
static inline void lea(uint16_t i)  { reg[DR(i)] =reg[RPC] + POFF9(i); uf(DR(i)); }
static inline void st(uint16_t i)   { mw(reg[RPC] + POFF9(i), reg[DR(i)]); }
static inline void sti(uint16_t i)  { mw(mr(reg[RPC] + POFF9(i)), reg[DR(i)]); }
static inline void str(uint16_t i)  { mw(reg[SR1(i)] + POFF(i), reg[DR(i)]); }
static inline void rti(uint16_t i) {} // unused
static inline void res(uint16_t i) {} // unused
static inline void tgetc() { reg[R0] = getchar(); }
static inline void tout() { fprintf(stdout, "%c", (char)reg[R0]); }
static inline void tputs() {
    uint16_t *p = mem + reg[R0];
    while(*p) {
        fprintf(stdout, "%c", (char)*p);
        p++;
    }
}
static inline void tin() { reg[R0] = getchar(); fprintf(stdout, "%c", reg[R0]); }
static inline void tputsp() { /* Not Implemented */ }
static inline void thalt() { running = false; } 
static inline void tinu16() { fscanf(stdin, "%hu", &reg[R0]); }
static inline void toutu16() { fprintf(stdout, "%hu\n", reg[R0]); }
trp_ex_f trp_ex[8] = { tgetc, tout, tputs, tin, tputsp, thalt, tinu16, toutu16 };
static inline void trap(uint16_t i) { trp_ex[TRP(i)-trp_offset](); }
op_ex_f op_ex[NOPS] = { /*0*/ br, add, ld, st, jsr, and, ldr, str, rti, not, ldi, sti, jmp, res, lea, trap };
void start(uint16_t offset) { 
    reg[RPC] = PC_START + offset;
    while(running) {
        uint16_t i = mr(reg[RPC]++);
        op_ex[OPC(i)](i);
    }
}
void ld_img(char *fname, uint16_t offset) {
    FILE *in = fopen(fname, "rb");
    if (NULL==in) {
        fprintf(stderr, "Cannot open file %s.\n", fname);
        exit(1);    
    }
    uint16_t *p = mem + PC_START + offset;
    fread(p, sizeof(uint16_t), (UINT16_MAX-PC_START), in);
    fclose(in);
}
int main(int argc, char **argv) {
    ld_img(argv[1], 0x0);
    fprintf(stdout, "Occupied memory after program load:\n");
    fprintf_mem_nonzero(stdout, mem, UINT16_MAX);
    start(0x0); // START PROGRAM
    fprintf(stdout, "Occupied memory after program execution:\n");
    fprintf_mem_nonzero(stdout, mem, UINT16_MAX);
    fprintf(stdout, "Registers after program execution:\n");
    fprintf_reg_all(stdout, reg, RCNT);
    return 0;
}

 

    【公众号】:奇牛编程

 【C语言】五小时快速入门C语言:【C语言】五小时快速入门C语言

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

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈,一经查实,立即删除!

相关文章

每日一练11——最近公共祖先求最大连续bit数

文章目录最近公共祖先思路&#xff1a;代码&#xff1a;求最大连续bit数思路&#xff1a;代码&#xff1a;最近公共祖先 题目链接 思路&#xff1a; 题目所描述的满二叉树如下&#xff1a; 上述树中子节点与父节点之间的关系为root child / 2 所以如果a &#xff01; b&a…

递归算法整理

一、概述&#xff1a;递归算法是一种直接或者间接调用自身函数或者方法的算法。说简单了就是程序自身的调用。类似于数列&#xff0c;通过前几项的值推出后几项 二、递归算法的使用条件1.大问题可以拆分为若干小问题2.原问题与子问题除数据规模不同&#xff0c;求解思路完全相同…

自助Active Directory组订阅

在任何基于Windows的企业的身份与访问管理(IAM)战略中&#xff0c;Active Directory组扮演了至关重要的角色&#xff0c;因为它们用来控制对几个资源&#xff08;包括电子邮件通讯组&#xff09;的用户访问。反复地添加用户到组中和从组中移除用户构成了IT管理员工作的有机组成…

C#windows竞赛管理系统

中文摘要 为了提高竞赛项目信息的管理效率&#xff0c;本课题使用C#语言和SQL Server数据库系统开发了一个WinForm类型的竞赛管理系统对竞赛项目信息进行高效管理&#xff0c;以提升管理质量。本系统包含教师登录注册、教师信息修改模块、添加学生信息模块、删除学生信息模块、…

可编程直流电源的介绍 什么是可编程直流电源

现在各种的电子设备不断地发展&#xff0c;它们对直流供电的电源也有了更高的要求&#xff0c;相对于电子设备来说&#xff0c;用单一的直流电源是没有办法达到供电的要求&#xff0c;所以需要不同的直流电源来给电子设备供电。可编程直流电源就是这一种。在生产测试中&#xf…

java:获取本机IP,Linux环境下使用InetAddress.getLocalHost()方法获得127.0.0.1

知道InetAddress.getLocalHost()方法是可以获取本地ip的&#xff0c;但是在mac电脑上执行的时候&#xff0c;偶尔会得到127.0.0.1的输出&#xff0c;这样拿到本地ip很不稳定&#xff0c;感觉就很不靠谱了 目录InetAddress.getLocalHost()方法获取本地IP不靠谱原因获取本地IP的靠…

Python中最简单不过的print语句讲解

名字&#xff1a;阿玥的小东东 学习&#xff1a;Python、c 主页&#xff1a;阿玥的小东东 前面使用 print() 函数时&#xff0c;都只输出了一个变量&#xff0c;但实际上 print() 函数完全可以同时输出多个变量&#xff0c;而且它具有更多丰富的功能。 目录 1.格式 2.参考 1…

leetcode-每日一题-1334-阈值距离内邻居最少的城市(中等,floyd)

佛洛依德的变化问法&#xff0c;我之前有文章介绍过佛洛依德算法&#xff0c;不难可以去看看。1334. 阈值距离内邻居最少的城市难度中等94收藏分享切换为英文接收动态反馈有 n 个城市&#xff0c;按从 0 到 n-1 编号。给你一个边数组 edges&#xff0c;其中 edges[i] [fromi, …

如何做数据清洗?

一.预处理阶段 预处理阶段主要做两件事情&#xff1a; 一是将数据导入处理工具。通常来说&#xff0c;建议使用数据库&#xff0c;单机跑数搭建MySQL环境即可。如果数据量大&#xff08;千万级以上&#xff09;&#xff0c;可以使用文本文件存储python操作的方式 而是看数据…

04-jQuery

目录1、jQuery 的属性操作2、jQuery 练习2.1、全选&#xff0c;全不选&#xff0c;反选3、DOM 的增删改4、jQuery 练习二4.1、从左到右&#xff0c;从右到左练习4.2.动态添加、删除表格记录5、CSS 样式操作。6、jQuery 动画练习 6.1、CSS_动画 品牌展示7、jQuery 事件操作7.1、…

vue3+vite+ElementPlus安装和使用

按照vue3官网安装 > npm init vuelatest这一指令将会安装并执行 create-vue&#xff0c;它是 Vue 官方的项目脚手架工具。你将会看到一些诸如 TypeScript 和测试支持之类的可选功能提示&#xff1a; ✔ Project name: … <your-project-name> ✔ Add TypeScript? ……

LeetCode 1252. 奇数值单元格的数目

给你一个 m x n 的矩阵&#xff0c;最开始的时候&#xff0c;每个单元格中的值都是 0。 另有一个二维索引数组 indices&#xff0c;indices[i] [ri, ci] 指向矩阵中的某个位置&#xff0c;其中 ri 和 ci 分别表示指定的行和列&#xff08;从 0 开始编号&#xff09;。 对 in…

《python3网络爬虫开发实战 第二版》之爬虫基础-Web网页基础 详解

文章目录Web网页基础网页的组成HTMLCSSJavaScript网页的结构节点树及节点间的关系选择器写在最后Web网页基础 用浏览器访问不同的网站时&#xff0c;展现的页面各不相同。下面从网页的组成、网页的结构、节点树及节点间的关系、选择器几个方面了解网页。 网页的组成 网页可以…

泼辣修图2023最新Polarr网页版有哪些新功能?

无论你是入门新手还是摄影专家&#xff0c;泼辣修图都可以满足你的一切需求。对于入门新手而言&#xff0c;泼辣修图搭载的先进自动增强工具和富有创意的图像滤镜&#xff0c;可以帮助他们快速雕琢图像的每一个细节。对于摄影专家而言&#xff0c;图层混合、局部调整、曲线工具…

Mysql批量更新的一种很少见但很快的方式

相信朋友们来到这里&#xff0c;都被批量更新搞的很烦。因为数据量增大&#xff0c;处理时间甚至可以说指数增长。在mybatis里面用foreach其实效果并不好。当需要更新的数据条数很多时&#xff0c;程序响应会变得非常慢。那我无意中学习到了一种非常小众的写法的语句。但亲身测…

Dart语法学习-函数、类与运算符 学习笔记

一、Runes and grapheme clusters 报错&#xff1a;Couldnt resolve the package characters in package:characters/characters.dart. 参考&#xff1a;flutter Error: Could not resolve the package ‘characters‘ in ‘package:characters/characters.dart‘._前进六的博…

AJAX(Asynchronous Javascript And Xml)

传统请求及缺点传统的请求都有哪些&#xff1f;直接在浏览器地址栏上输入URL。点击超链接提交form表单使用JS代码发送请求window.open(url)document.location.href urlwindow.location.href url....传统请求存在的问题页面代码全部清空、刷新&#xff0c;导致了用户的体验较差…

C语言——读写TXT文件中的(多行多列矩阵型)浮点型数据的两种方式

C语言——读写TXT文件中的&#xff08;多行多列矩阵型&#xff09;浮点型数据将要提取的数据方式一&#xff1a;将数据按行读取并写入到结构体数组中读取一个文件中的数据读取两个文件中的数据报错解决&#xff1a;0x00007FF6C90AB2C7 处有未经处理的异常(在 sfann_sins.exe 中…

LabVIEW更高的吞吐量与更少的延迟2

LabVIEW更高的吞吐量与更少的延迟2上一篇《LabVIEW更高的吞吐量与更少的延迟1》介绍了吞吐量的内容&#xff0c;本次介绍延迟的相关内容。改善延迟有一些技术可以解决改善延迟的问题。围绕这一目标的两个主要工具是实时操作系统和FPGA。实时操作系统任何操作系统都会遇到抖动或…

应用可靠性与性能不给力?HarmonyOS HiViewDFX了解一下

作为基础软件服务子系统的HarmonyOS HiViewDFX&#xff08;以下简称HiViewDFX&#xff09;框架&#xff0c;是HarmonyOS的公共基础设施。包括日志、事件、跟踪、故障管理及观测剖析五大部分&#xff0c;同时也提供了故障检测、定位和性能观测剖析的开发套件&#xff0c;以及将端…