A simplified Java virtual machine written in Go language. One aim is to learn JVM specification in depth and try to understand the behind-the-scene behaviour when a Java program runs. This VM can be used for the educational purpose, for example, for a course about how to design a runtime for a language with the complete specification.
I only refer to "Java Virtual Machine Specification" and then look into how we should design one. Some production-level features are intentionally ignored and it is supposed to make it as simplified as possible so as to demonstrate the general idea. For the educational purpose, it is more than enough.
If you have no time to read OpenJDK source code or always guess the JVM behaviour when you need to tune your program, then your right here to be the lord of your universe.
A overview presentation can be found: https://drive.google.com/file/d/1gESJTwm_tJL8pA7WBxJfhz4iUW7KwihP/view?usp=sharing
Any thought is welcome and I am happy to be wrong.
- [x] Java class file reader
- [x] Interpreter engine
- [x] Class loader delegation
- [x] multi-threading support
- [x] monitor,
- [x] JDK native methods
- [ ] GC
- [ ] JIT
How to run
build and install
❯ cd ~/javo ❯ ./build.sh
By default, javo will be installed to
/usr/local/javo ├── bin │ └── javo ├── jdk │ └── classes │ ├── META-INF │ ├── apple │ ├── com │ ├── java │ ├── javax │ ├── jdk │ ├── org │ └── sun └── log ├── classloader.log ├── io.log ├── misc.log ├── thread-bootstrap.log ├── thread-main.log └── threads.log
❯ javo -h NAME: Javo - A simplified Java Virtual Machine for the educational purpose USAGE: javo [-options] class [args...] VERSION: 1.0.0 DESCRIPTION: A Java Virtual Machine demonstrating the basic features of execution engine, class loading, type/value system, exception handling, native methods etc. AUTHOR: Chao Yang <[email protected]> COMMANDS: help, h Shows a list of commands or help for one command GLOBAL OPTIONS: --classpath value, --cp value application classpath separated by colon --noLogo, --nl don't show logo --debug, -d debug mode --trace, -t trace mode --log:thread value log level of instruction execution in a thread context, options: info, debug, trace --log:classloader value log level of class loading, options: info, debug, trace --profile, -p profile javo --help, -h show help --version, -v print the version
Run a calendar program
❯ javo -nl -cp . Calendar 8 2018
Run a pyramid program
❯ javo -nl -cp . Pyramid
run a program traversing a tree in the level order
❯ javo -nl -cp . TreeLevelOrderTraverse
Run a program into exception
❯ javo -nl . test/test_athrow
More examples to demonstrate features
- Print system properties
javo -d test.test_system_properties
javo -d test.test_thread
javo -d Multithread
- Thread sleep or
javo -d SleepInterrupt
javo -d WaitInterrupt
- Java monitor lock with
javo -d Counter
- Java wait() and
javo -d ProducerConsumer
trace the execution
This log file records the each instruction execution and method call hierarchy within a thread context. Set the log level to info to view call hierarchy more clearly.
The blue diamond symbol ? means pure Java methods while the yellow one ? means native methods which is implemented within Javo internally.
The fire symbol ? means exception throwing (thrown by
athrow bytecode, rethrown if uncaught or thrown by VM internally), while the blue water symbol ? means an exception is caught by a method.
- TRACE: log all low level bytecode instructions, method call and exception thrown/caught
- DEBUG: only method call and exception thrown/caught
- INFO: only exception thrown/caught info
This log file records the class loading process, including what triggers a class loading and when its class initialization method <clinit> is invoked.
The trigger reason can be viewed after a class name.
This log file records thread creation/exit information and object monitor enter/exit, thread sleep(), wait(), notify() etc.
This log file records I/O details around system interactions.
Other trivial logs
- install Graphviz
- run javo with
go tool pprof --pdf /usr/local/bin/javo /var/../cpu.pprof > cpu.pdf
Really sorry, I have no time to write documentation but it is in my plan.
The Ebook about how it works internally is in progress: https://www.gitbook.com/book/chaoyangnz/go-my-jvm
I am really keen to get missing tests done if I have time. Another reason I didn't enjoy writing tests in Go is that I cannot find an awesome unit test library like Jest. For some libraries I looked into, it requires me to change my code just for testing. I don't like the idea about breaking the encapsulation just for testing.