I love low-level learning projects like this, but I wish more of them would centralize around something like Nand2Tetris[1] to create an expanded, and interconnected, learning ecosystem.
Shameless plug: a while back I wrote an assembler-and-VM for a similarly hypothetical assembly language that I was studying in class. Just for kicks, I wondered if I could fit the entire thing into 1KB of JavaScript, whilst including features as step by step execution, a "debugging GUI" (as much as you could expect from 1KB!) featuring the stack, register contents and program counter, plus the assembler on top which performs full syntax/opcode argument checking.
> Add arithmetic shift left/right .. I'll add
> Add logical shift left/right .. I'll add
> Add exclusive OR (XOR) .. I'll add
> Pick a word size so your integer and bit ops have meaning .. I think I'll just rely on js types to keep things simple, If you see any reason not to please explain further
> How do I set the program counter from my assembly?
The only way to set PC is through branching
> Do I have registers (seems like a stack-based VM, so no)? If not, can I have more stacks?
Like you said it's a stack-based VM, so no registers.
Currently it's a single stack since it's enough. I never encountered a machine with multiple stacks, can you enlighten me about this ?
> Can you setup a dedicated block of memory to use as a framebuffer and render it to a <canvas> tag
I made this machine to be used by students to test compilers, But I think I'll add this feature in case there is any ambitious student who wants to embed a graphics library in his language :)
Having a fixed word size in a machine is important for being able to say, for example, what the largest and smallest integers are (assuming twos-complement arithmetic).
Also, let us not forget the Halt and Spontaneously Combust (HSC) instruction: ftp://reports.stanford.edu/pub/cstr/reports/csl/tr/86/289/CSL-TR-86-289.pdf .
I once wrote a MIPS assembler+VM in Racket. It went OK but I never used it for anything: https://github.com/gcr/mips-simulator
Was a great learning experience though.
I didn't want to call it VM.js since it sounds like a library, this project is a library (you can find it in js/vm.js) + UI which uses the library and define IO methods and callbacks. It's a webapp, briefly
Your VM will work much faster if you take the time to do a second pass over the generated "code" and resolve the jumps to LABELs all at once instead of linearly scanning the code for the appropriate target on each jump.
16 comments
[ 3.3 ms ] story [ 47.5 ms ] thread[1] http://www.nand2tetris.org/
The result (which I'm pretty pleased with) is here: http://chengsun.github.io/ocremutiny.html
> Add arithmetic shift left/right
> Add logical shift left/right
> Add exclusive OR (XOR)
> Pick a word size so your integer and bit ops have meaning
Questions:
> How do I set the program counter from my assembly?
> Do I have registers (seems like a stack-based VM, so no)? If not, can I have more stacks?
> Can you setup a dedicated block of memory to use as a framebuffer and render it to a <canvas> tag?
~
Good work so far!
> How do I set the program counter from my assembly? The only way to set PC is through branching
> Do I have registers (seems like a stack-based VM, so no)? If not, can I have more stacks? Like you said it's a stack-based VM, so no registers. Currently it's a single stack since it's enough. I never encountered a machine with multiple stacks, can you enlighten me about this ?
> Can you setup a dedicated block of memory to use as a framebuffer and render it to a <canvas> tag I made this machine to be used by students to test compilers, But I think I'll add this feature in case there is any ambitious student who wants to embed a graphics library in his language :)
Thanks,
Having a fixed word size in a machine is important for being able to say, for example, what the largest and smallest integers are (assuming twos-complement arithmetic).
https://github.com/tylerkahn/MIPS-Virtual-Machine
Also, let us not forget the Halt and Spontaneously Combust (HSC) instruction: ftp://reports.stanford.edu/pub/cstr/reports/csl/tr/86/289/CSL-TR-86-289.pdf .
I once wrote a MIPS assembler+VM in Racket. It went OK but I never used it for anything: https://github.com/gcr/mips-simulator Was a great learning experience though.