欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Java virtual machine
来自开放百科 - 灰狐
(版本间的差异)
小 (→链接) |
小 (→规范) |
||
第7行: | 第7行: | ||
==规范== | ==规范== | ||
*JVM 规范里,字节码校验的算法是用 [[Prolog]] 代码定义的。 | *JVM 规范里,字节码校验的算法是用 [[Prolog]] 代码定义的。 | ||
+ | |||
+ | ==解释器编译器== | ||
+ | HotSpot虚拟机内置了两个即时编译器(Client Compier和Server Compiler),三种虚拟机执行模式。 | ||
+ | $ java -version | ||
+ | Java HotSpot(TM) 64-Bit Server VM (build 25.60-b22, mixed mode) // 混合模式 | ||
+ | $ java -Xint -version | ||
+ | Java HotSpot(TM) 64-Bit Server VM (build 25.60-b22, interpreted mode) // 解释模式 | ||
+ | $ java -Xcomp -version | ||
+ | Java HotSpot(TM) 64-Bit Server VM (build 25.60-b22, compiled mode) // 编译模式 | ||
==项目== | ==项目== |
2018年11月12日 (一) 09:21的版本
您可以在Wikipedia上了解到此条目的英文信息 Java virtual machine Thanks, Wikipedia. |
Java Virtual Machine (JVM) Java虚拟机
目录 |
简介
规范
- JVM 规范里,字节码校验的算法是用 Prolog 代码定义的。
解释器编译器
HotSpot虚拟机内置了两个即时编译器(Client Compier和Server Compiler),三种虚拟机执行模式。
$ java -version Java HotSpot(TM) 64-Bit Server VM (build 25.60-b22, mixed mode) // 混合模式 $ java -Xint -version Java HotSpot(TM) 64-Bit Server VM (build 25.60-b22, interpreted mode) // 解释模式 $ java -Xcomp -version Java HotSpot(TM) 64-Bit Server VM (build 25.60-b22, compiled mode) // 编译模式
项目
由John Rose领导的the Da Vinci Machine Project正致力于让JVM成为动态语言的最佳归宿。
- HotSpot
- OpenJDK
- Eclipse OMR Eclipse OpenJ9 Eclipse Open J9:Eclipse OMR项目提供的开源JVM
- Jikes RVM
- Apache Harmony
- Dalvik
- Android Runtime (ART)
- Kaffe
- trireme Embed Node.js inside a Java Virtual Machine
- PyJVM Python实现
- Luyten An Open Source Java Decompiler Gui for Procyon
语言
- The Adventurous Developer's Guide to JVM Languages
- Java
- Scala
- Clojure
- Frege is a Haskell for the JVM
- Groovy
- JRuby
- Jython
文档
- JVM Performance tuning
- HotSpot Synchronization: A Peek Under the Hood
- Operating a 16-Terabyte JVM...and Living to Tell the Tale
- GC Tuning Confessions of a Performance Engineer
- Beyond top: Command-Line Monitoring on the JVM
- Work with Hundreds of Hot Terabytes in JVMs
- Beyond the Coffee Cup: Leveraging Java Runtime Technologies for Polyglot
- An Introduction to JVM Performance
- Understanding Java Garbage Collection
- What's in an Object? Java Garbage Collection for the Polyglot
- Using the Oracle Solaris Studio IDE to Dive Deeply into HotSpot JVM Source Code
- Introduction to HotSpot Internals
- JVM Mechanics: When Does the JVM JIT & Deoptimize?
- JVM @ Taobao
- Java Virtual Machine Virtualiza1on - building scalable JVM for Cloud
图集
链接
分享您的观点