secd machine是一种比较基础的虚拟机设计。一般是作为函数式语言的底层虚拟机。
secd machine的“secd”四个字母分别指的是这种虚拟机的核心Stack, Environment, Control, Dump,一般也称作寄存器。
secd machine 是一种stack-based虚拟机。
Stack一般是存放运算数据和结果
Environment保存的是环境变量,一般是函数调用里的参数以及局部变量
Control保存的是虚拟机指令
Dump保存的是函数调用时的调用帧数据。
secd machine常用的指令有如下一些。
- nil 将一个nil push入stack
s e (NIL.c) d => (nil.s) e c d
- ldc 将一个常量push入stack,如果区分类型也可以扩展成多个ld指令
s e (LDC x.c) d => (x.s) e c d
- ld 从环境中加载一个变量push入stack,因为env是分层级的,所以一般是ld [1,2] 类似的形式。
s e (LD [y x].c) d => (locate([y x], e).s) e c d
- sel 这个指令是为了实现条件选择,sel有两个参数,执行时会pop出stack的一个值,判断如果是真,则将Control寄存器设置为第一个参数,否则就设置为第二个参数。同时会将当前的C寄存器中的值push到Dump寄存器。
(x.s) e (SEL ct cf.c) d => s e c? (c.d)
where c? is (if (not= x false) ct cf)- join 和sel共用的,是在sel一条选择语句执行完时,将sel指令push到D寄存器里的指令pop出来,然后设置C寄存器。
-
s e (JOIN.c) (c'.d) => s e c' d
- ldf 将其参数当做一个函数加载到stack,创建函数时会加上当前的环境。
s e (LDF f.c) => ([f e].s) e c d
- ap 从stack里pop出一个closure对象和一个函数参数对象,将SEC寄存器push到D寄存器,closure携带的的env会替换E寄存器,函数体替换C寄存器,并将参数列表push到env,
([f e'] v.s) e (AP.c) d => nil (v.e') f (s e c.d)
- rtn 将返回值从stack之中pop出来,将d寄存器中保存的SEC值pop出来,赋值给SEC寄存器,然后将返回值push到stack里
-
(x.z) e' (RTN.q) (s e c.d) => (x.s) e c d
- dum push一个空环境到当前环境中
s e (DUM.c) d => s (nil.e) c d
- rap 和ap不同之处,是会将参数替换dum的空环境,dum和rap联合能实现递归。
([f (nil.e)] v.s) (nil.e) (RAP.c) d
=>
nil (rplaca((nil.e), v).e) f (s e c.d)
SECD machine简介的更多相关文章
-
SECD machine
SECD machine 对程序语言理论的理解 程序语言理论主要研究语法.语义及语言的实现.编程语言有语法,各种数学逻辑.结构化数据都有语法.乔姆斯基的语言体系及巴科斯范式是语法分析的基础,语法分析将 ...
-
Docker Machine 简介
Docker Machine 是什么? Docker Machine 是 Docker 官方提供的一个工具,它可以帮助我们在远程的机器上安装 Docker,或者在虚拟机 host 上直接安装虚拟机并在 ...
-
Docker Machine 详解
笔者在<Docker Machine 简介>一文中简单介绍了 Docker Machine 及其基本用法,但是忽略的细节实在是太多了.比如 Docker 与 Docker Machine ...
-
用 Docker Machine 创建 Azure 虚拟主机
搭建环境向来是一个重复造*的过程,Docker Machine 则把用户搭建 Docker 环境的各种方案汇集在了一起.笔者在<Docker Machine 简介>一文中演示了使用 Do ...
-
Docker Machine的使用
前面两篇文章(<Asp.Net Core 发布到 Docker(Linux Centos 虚拟机,使用Dockerfile)> <Docker Compose的使用>),简单介 ...
-
Docker学习—Machine
前言 前面<Docker学习-Compose>文中介绍了Compose的使用方式:接下来继续了解docker三剑客之一的 Machine: 一.Docker Machine简介 1.什么是 ...
-
[第十四篇]——Docker Machine之Spring Cloud直播商城 b2b2c电子商务技术总结
Docker Machine 简介 Docker Machine 是一种可以让您在虚拟主机上安装 Docker 的工具,并可以使用 docker-machine 命令来管理主机. Docker Mac ...
-
Microsoft 机器学习产品体系对比和介绍
Microsoft 提供多种多样的产品选项用于生成.部署和管理机器学习模型. 本文将比较这些产品,并帮助你选择所需的产品,以便最有效地开发机器学习解决方案. 机器学习产品 描述 作用 Azure云端服 ...
-
Continuation-passing style
Continuation-passing style 参考书籍: EOPL ( Essentials of Programming Languages, 3rd Edition ) 作者:知乎用户链 ...
随机推荐
-
phpv6_css
global @charset "utf-8"; /* CSS Document */ /*格式化样式*/ body,div,dl,dt,dd,ul,ol,li,h1,h2,h3, ...
-
android 图片浏览器
自定义了gallary和ImageView: gallary: public class MyGallery extends Gallery { /** * GestureDetector类 在on ...
-
io流对文件读写操作
public static void main(String[] args) throws IOException { BufferedReader reader = new BufferedRead ...
-
mac版photoshop滤镜库报错解法
http://bbs.pcbeta.com/viewthread-1556878-1-1.html
-
《Windows编程零基础学》第零节
首先很开心申请到了这一个专栏<Windows编程零基础学> 这是第一篇文章,在这里,我将讲述一些基础的知识. 什么是Windows编程 所谓Windows编程就是在Windows平台上开发 ...
-
python笔记之subprocess模块
python笔记之subprocess模块 [TOC] 从Python 2.4开始,Python引入subprocess模块来管理子进程,以取代一些旧模块的方法:如 os.system.os.spaw ...
-
Android面试题目2
1. 请描述下Activity的声明周期. onCreate->onStart->onRemuse->onPause->onStop->onRestart->onD ...
-
线程的同步控制(Synchronization)
临界区(Critical Sections) 摘要 临界区(Critical Section) 用来实现"排他性占有".适合范围时单一进程的各线程之间. 特点 一个局部对象,不是一 ...
-
项目Alpha冲刺(团队)-代码规范、冲刺任务与计划
课程名称:软件工程1916|W(福州大学) 作业要求:项目Alpha冲刺(团队)-代码规范.冲刺任务与计划 团队名称:SkyReach 作业目标:确定团队项目的代码规范.冲刺任务与计划 代码规范:隐流 ...
-
Python连接SQL Server数据库 - pymssql使用基础
连接数据库 pymssql连接数据库的方式和使用sqlite的方式基本相同: 使用connect创建连接对象 connect.cursor创建游标对象,SQL语句的执行基本都在游标上进行 cursor ...