Notes

解决死锁问题最好的方法还是规避死锁。破坏死锁产生的条件

可以用一把锁来保护多个资源，但是不能用多把锁来保护一个资源。解决原子性问题，是要保证中间状态对外不可见。

synchronized是Java在语言层面提供的互斥原语。

Happens-Before规则

缓存带来可见性问题，线程切换带来原子性问题，编译优化带来有序性问题。

GraalVM中的Ahead-Of-Time(AOT)编译框架SubstrateVM

Truffle是一个用Java写就的语言实现框架。基于Truffle的语言实现仅需用Java实现词法分析、语法分析以及针对语法分析所生成的抽象语法树(Abstract Syntax Tree, AST)的解释执行器，便可以享用由Truffle提供的各项运行时优化(Partial Evaluation以及节点重写,Polyglot特性)。

Graal是一个用Java写就的、并能够将Java字节码转换成二进制码的即时编译器。它通过JVMCI与JVM交互，响应由后者发出的编译请求、完成编译并部署编译结果。

Java agent与字节码注入

Java Native Interface