Skip to content

Sources

References

Every technically important claim in JVM Atlas cites one of these 123 sources. Specifications are Java SE 25; implementation details are OpenJDK HotSpot, JDK 25. Examples were run with OpenJDK 25.0.4 on Linux x64.

Specifications (41)

The normative definitions: what every conforming JVM and Java compiler must do.

OpenJDK source code (43)

HotSpot and JDK sources at tag jdk-25-ga, cited for implementation-specific behaviour.

JDK Enhancement Proposals (29)

Design documents for features, with the release that delivered them.

Java SE API documentation (4)

The library contracts used in examples.

Tool reference (3)

The java, javac and javap commands used to produce our verified examples.

Guides (3)

Official guides for tuning and HotSpot features.

JVM Atlas

Explore the machine behind Java programs. A free, open-source atlas of the Java Virtual Machine. Specification baseline: Java SE 25. Implementation details: OpenJDK HotSpot, JDK 25.

MIT licensed · no accounts, no tracking, no backend · your progress stays in your browser.

JVM Atlas is an independent educational project and is not affiliated with or endorsed by Oracle. Java and OpenJDK are trademarks or registered trademarks of Oracle and/or its affiliates.