Gava

NOTE: (previously named Javo/Jago)

This project is not supposed to extend the features, more focus will be moved to its sister project zava - a rewrite in Zig

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.

Roadmap

• Java class file reader
• Interpreter engine
• Class loader delegation
• multi-threading support
• monitor, sleep, wait, notify support
• JDK native methods
• GC
• JIT

How to run

build and install

❯ cd ~/gava
❯ ./build.sh

By default, gava will be installed to /usr/local/gava

/usr/local/gava
├── bin
│   └── gava
├── 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

gava command

❯ gava -h
NAME:
   Gava - A simplified Java Virtual Machine for the educational purpose

USAGE:
   gava [-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 <chao@yang.so>

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 gava
   --help, -h                     show help
   --version, -v                  print the version

Run a calendar program

❯ gava -nl -cp . Calendar 8 2018

Run a pyramid program

❯ gava -nl -cp . Pyramid

run a program traversing a tree in the level order

❯ gava -nl -cp . TreeLevelOrderTraverse

Run a program into exception

❯ gava -nl . test/test_athrow

More examples to demonstrate features

• Print system properties

gava -d test.test_system_properties

• Multi-threading

gava -d test.test_thread

gava -d Multithread

• Thread sleep or wait / interrupt

gava -d SleepInterrupt

gava -d WaitInterrupt

• Java monitor lock with synchronized

gava -d Counter

• Java wait() and notify(), notifyAll()

gava -d ProducerConsumer

trace the execution

log/thread-[name].log

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 Gava 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

log/classloader.log

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.

log/threads.log

This log file records thread creation/exit information and object monitor enter/exit, thread sleep(), wait(), notify() etc.

log/io.log

This log file records I/O details around system interactions.

log/misc.log

Other trivial logs

Profiling

https://flaviocopes.com/golang-profiling/

• install Graphviz
• run gava with -p option
• go tool pprof --pdf /usr/local/bin/gava /var/../cpu.pprof > cpu.pdf

Documentation

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

Testing

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.