Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/MashPlant/tacvm
a naive virtual machine to execute tac code, for compiler course's use
https://github.com/MashPlant/tacvm
Last synced: 3 months ago
JSON representation
a naive virtual machine to execute tac code, for compiler course's use
- Host: GitHub
- URL: https://github.com/MashPlant/tacvm
- Owner: MashPlant
- Created: 2019-08-29T06:48:33.000Z (over 5 years ago)
- Default Branch: master
- Last Pushed: 2019-12-16T06:15:14.000Z (about 5 years ago)
- Last Synced: 2024-08-03T01:39:11.661Z (6 months ago)
- Language: Rust
- Size: 70.3 KB
- Stars: 6
- Watchers: 3
- Forks: 3
- Open Issues: 0
-
Metadata Files:
- Readme: readme.md
Awesome Lists containing this project
README
tacvm是用来执行tac的解释器。
tacvm从文本中parse出tac语句，然后经过一定转换后执行。目前我们还没有将tacvm中的tac与decaf框架中的tac统一化，也就是说目前仍然无法通过编写tac文本来直接构造可供编译器后续处理的tac。这的确是一个很重要的feature，只是我们的tac的设计初期就没有怎么考虑这个问题，现在要统一起来工作量较大，希望在将来能够实现这个feature。
从`examples/matrix.tac`文件中可以基本看出tac文件的大致格式，这里只大致讲一下tac中不能完全体现出来的内容：
- 程序有两种顶层元素，即`VTBL`和`FUNC`，括号里的标识符可以使用字母，数字，`.`和`_`
- `VTBL`和`FUNC`的内容(大括号里的内容)都是用换行分隔的，对空格缩进不敏感，但是对换行敏感(不允许出现空白的一行)
- `VTBL`中可以出现以下内容(也就是四种可以赋值给变量的右端项常量)
- `"string"`，填入对应的字符串指针
- `int`，填入对应整数
- `FUNC`，填入`identifier`对应的函数指针
- `VTBL`，填入`identifier`对应的虚表指针
- tac函数的参数传递过程是这样的：
- 调用者使用`parm`指令把参数存入一个临时的空间中
- `call`指令时，将临时空间中的内容复制到被调用的函数的前若干个连续的虚拟寄存器中，之后清空临时空间
希望了解更详细的格式信息的话，可以直接阅读`src/parser.rs`，parser combinator的可读性还是很好的。
tacvm会检测tac代码的运行错误，这里直接列出tacvm中表示所有的错误种类的代码：
```rust
pub enum Error {
// program calls _Halt explicitly
Halt,
// base % 4 != 0 or off % 4 != 0 or allocate size % 4 != 0
UnalignedMem,
// base == 0
NullPointer,
// base is in an invalid object
MemOutOfRange,
// base is in a valid obj, base + off is not or in another obj
ObjOutOfRange,
// access to string id is invalid(typically a string id is not a valid mem address)
StrOutOfRange,
// instruction fetch out of range
IFOutOfRange,
// call a register which is not a valid function id
CallOutOfRange,
// call stack exceeds a given level(specified in RunConfig)
StackOverflow,
// instructions exceeds a given number(specified in RunConfig)
TLE,
// the number of function arguments > function's stack size
TooMuchArg,
// div 0 or mod 0
Div0,
// fails in reading or writing things
IO,
}
```
相信注释写的比较清晰了，这里补充几点：
- 所有函数都必须显式地返回，即使是decaf返回void的函数，否则执行到函数末尾时会触发`IFOutOfRange`
- 虽然在decaf语法层面上允许返回void的函数不显式写出`return`，但是tac层面的`return`是不能省略的，正常的ir或者汇编代码应该都是这样要求的
- 目前decaf的tac翻译策略中还没有检测空指针的错误，这个错误目前在tac层面可以由tacvm检测，但是在汇编阶段则没有任何保护了
tacvm可以作为一个库链接到程序中，也可以作为一个独立的程序。目前tacvm提供以下的运行参数：
```
--inst_count # 指定info_output是否输出执行的指令条数
--stacktrace # 指定info_output中是否在tac发生运行时错误时输出stacktrace
--info_output # tacvm的运行信息输出路径
--inst_limit # tacvm至多执行多少条指令
--stack_limit # tacvm至多允许多少层调用栈
--vm_input # tacvm的输入路径(如ReadLine()等函数用到)
--vm_output # tacvm的输出路径(如Print()等函数用到)
# tacvm的输入tac文件
```