Java字节码是Java程序运行的中间表示形式，介于源代码和机器码之间。字节码的设计目标是平台无关性和紧凑性，使得"Write Once, Run Anywhere"成为可能。理解字节码和JIT编译的原理，对于性能调优、解决生产环境问题、以及理解Java语言的底层行为至关重要。
.class文件的结构是由JVM规范严格定义的。每个.class文件包含：魔数（0xCAFEBABE，用于标识文件类型）、版本号（主版本和次版本）、常量池（存储字符串常量、类和接口名、字段名、方法名等）、访问标志（public、final、abstract等）、类索引（当前类的名称）、父类索引、接口索引集合、字段表集合、方法表集合、以及属性表集合。常量池是.class文件中最大的数据结构，存储了类的所有符号引用。
参考：https://xgmoi.cn/category/siji.html
字节码指令是JVM的机器语言。与x86汇编不同，字节码是基于栈的，而不是基于寄存器的。这意味着大多数操作数存储在操作数栈中，而不是CPU寄存器中。常见的字节码指令包括：aload_0（将局部变量0压入栈，对于实例方法是this引用）、iconst_1（将整数1压入栈）、iadd（弹出两个整数，相加后压入栈）、invokevirtual（调用实例方法）、invokestatic（调用静态方法）、invokeinterface（调用接口方法）、以及invokespecial（调用构造函数或私有方法）。
字节码的生成通常由Java编译器（javac）完成，但也可以由其他语言（如Kotlin、Scala、Groovy）或字节码增强工具（如ASM、Javassist、ByteBuddy）生成。字节码增强可以在运行时动态修改类的行为，这是Spring AOP、Hibernate延迟加载、以及Mockito等框架的基础。
字节码验证是JVM加载类时的安全检查。验证器检查字节码是否符合JVM规范，包括：类型安全（不会将整数当作对象使用）、操作数栈不会上溢或下溢、以及访问控制（不会访问私有字段或方法）。字节码验证保证了加载的代码不会破坏JVM的内部安全机制。
参考：https://xgmoi.cn/category/xinli.html
解释执行是字节码最直接的执行方式。JVM的字节码解释器逐条读取字节码指令，将其翻译为机器码执行。解释执行的优点是启动快、内存占用低，但执行效率低，因为每条字节码指令都需要解释开销。
JIT编译（Just-In-Time Compilation）是Java性能的关键。JIT编译器在运行时将热点代码（频繁执行的方法或循环）编译为本地机器码，并缓存编译结果。JIT编译的优化程度远高于解释执行，但编译本身有成本。因此，JVM需要平衡启动时间和峰值性能——先解释执行，识别热点后再编译。
C1编译器（Client Compiler）是轻量级JIT编译器，优化程度较低，但编译速度快。C1适合桌面应用和短时间运行的应用，追求快速启动和低内存占用。C2编译器（Server Compiler）是重量级JIT编译器，优化程度极高，但编译速度慢。C2适合长期运行的服务端应用，追求峰值性能。分层编译（Tiered Compilation，JDK 7u40+）结合了C1和C2的优势：代码先由C1编译，收集性能分析数据；当代码足够热时，C2使用收集的数据进行更激进的优化。
参考：https://xgmoi.cn/category/yundong.html
JIT优化技术极其丰富。方法内联是JIT最重要的优化之一——将小方法的方法体直接嵌入调用点，消除方法调用开销，为后续优化创造机会。内联的阈值取决于方法大小和调用频率。逃逸分析判断对象是否在方法外部被引用。如果对象没有逃逸，JIT可以进行栈上分配（对象分配在栈上，随方法结束自动销毁，减轻GC压力）和标量替换（将对象的字段拆分为独立的局部变量）。锁消除是逃逸分析的另一应用——如果锁对象没有逃逸，JIT可以移除不必要的同步。
循环优化包括：循环展开（将多次循环体合并，减少循环控制开销）、循环向量化（将循环中的标量操作转换为SIMD向量操作）、循环不变代码外提（将循环中不变的计算移到循环外）。公共子表达式消除避免重复计算相同的表达式。空值检查消除移除已经确认非空的对象的空值检查。范围检查消除移除数组访问的边界检查，前提是JIT能证明索引在范围内。
代码缓存是存放JIT编译结果的区域。当代码缓存满时，JIT编译停止，未编译的代码只能解释执行。-XX:ReservedCodeCacheSize可以调整代码缓存大小。监控代码缓存的使用情况很重要，如果代码缓存频繁满，可能需要增大缓存或调整编译阈值。
去优化（Deoptimization）是JIT的逆向操作。当JIT基于某些假设（如某个方法从未被重写）进行优化后，如果假设被打破（如动态加载的类重写了该方法），JIT需要回退到解释执行。去优化使激进的JIT优化成为可能，因为JIT可以安全地假设一些不变量，并在假设失效时恢复。
GraalVM是Oracle开发的下一代JVM，提供了新的JIT编译器Graal。Graal使用Java编写，比C2更易维护和扩展。Graal支持提前编译（AOT），可以将Java代码直接编译为本地可执行文件，启动时间极快。Graal的多语言支持允许JavaScript、Python、R、Ruby等语言在同一个JVM中互操作。
性能分析工具对于理解JIT行为至关重要。-XX:+PrintCompilation打印JIT编译信息；-XX:+PrintInlining打印内联决策；JITWatch是可视化JIT日志的工具；JMH（Java Microbenchmark Harness）是编写微基准测试的标准工具。
字节码与反编译：javap -c可以查看字节码；CFR、Procyon、JD-GUI等工具可以将字节码反编译为Java源代码。反编译对于理解第三方库的行为、解决依赖冲突、以及审计安全漏洞非常有用。
理解字节码和JIT编译，可以帮助开发者编写对JIT友好的代码：编写小方法，便于内联；使用final关键字帮助逃逸分析；避免在循环中进行内存分配；以及使用接口而非反射（反射有严重的去优化惩罚）。但过度微优化通常是徒劳的——依赖JIT的自动优化，保持代码清晰，只在性能分析确认瓶颈后才进行手动优化。
参考：https://xgmoi.cn
