codr7 / liblg Goto Github PK

intro

The goal of liblg is to create a reasonably fast, minimal stack-based VM in C. It currently implements just enough functionality to generate the Fibonacci sequence using recursion, tail-recursion and iteration. The general idea is that it's potentially useful to have access to stack vm functionality in library form, for implementing custom DSLs on top etc.

setup

liblg requires a C compiler and CMake to build.

$ git clone https://github.com/codr7/liblg.git
$ cd liblg
$ mkdir build
$ cd build
$ cmake ..
$ make
$ ./fibrec
148810us

benchmarks

The VM is currently significantly faster than Python3 and an order of magnitude slower than Go, ideas on how to improve the performance further without making a mess are most welcome.

$ python3 bench/fibrec.py
353813us
$ go run bench/fibrec.go
14170us

$ build/lgasm --bench 100 bench/fibtail.lga
147us
$ python3 bench/fibtail.py
543us
$ go run bench/fibtail.go
9us

$ build/lgasm --bench 100 bench/fibiter.lga
126us
$ python3 bench/fibiter.py
173us
$ go run bench/fibiter.go
4us

design

The core loop uses computed goto, which means that new instructions must be added in identical order here and here.

Fundamental types are global (as in not tied to a specific VM instance), new types may be added here and initialized here.

Values are represented as tagged unions.

assembler

liblg comes equipped with a simple custom assembler that provides a transparent interface to it's functionality.

add

Pop and add the top of the stack to the previous item.

beq $offset $value $label

Branch to $label if the stack value att $offset is equal to $value.

bgr $offset $value $label

Branch to $label if the stack value att $offset is greater than $value.

ble $offset $value $label

Branch to $label if the stack value att $offset is less than $value.

call $label

Push the program counter on the call stack and jump to $label.

cp $offset

Push a copy of the value at stack $offset.

dec $offset

Decrease the value att stack $offset by one.

drop $offset $count

Drop $count items from stack $offset.

jmp $label

Jump to $label.

push $value

Push $value on the stack.

ret

Return from the current call.

stop

Stop execution.

swap

Swap the top two items on the stack.

license

MIT