Module是Java9引入的新功能，旨在解决Jar包洪灾问题,在Java9之前，类的访问只能由public/protected/default/private加包来控制，module相当于在public上再加一层审控制。这里有两篇文章写得很详细，我就不在这里讲它是怎么使用以及它的来由了。Java 9 Module的特性以及解决的问题blog.csdn.net
java9学习之模块化 - 聂晨 - 博客园www.cnblogs.com
module由module-info.java来定义，这个文件最后会编译成一个module-info.class文件，但是没有类申明，只有Module的声明，见下面的注释：
module helloworld {
/*** 表示这个模块依赖哪些模块，其实java.base不需要明确requires,* 因为默认会增加，就像java.lang不用明确import一样的。*/
requires java.base;
requires java.compiler;
/*** 表示这个模块向外暴露哪些包，这个是在编译时可以引用的包。*/
exports icu.mianshi.openjdk.compiler;
/*** 这个也表示这个模块的暴露哪些包，只不过是运行时可用，* 就是编译时不能引用，但是可以用反射的方法调用。*/
opens icu.mainshi.oepnjdk.ref;
/*** 表示这个模块提供的接口或是虚类的实现，可以通过java.util.ServiceLoader来加载实现的。*/
provides icu.mianshi.openjdk.service.ICompilerService
with icu.mianshi.openjdk.serviceimpl.JavaCompilerService;
/*** 表示这个模块要用到的另人申明的接口或是虚类。*/
uses javax.annotation.processing.Processor;
}
然后就干了以下同几件事：如果trees里没有module-info.java的编译JCCompilationUnit，就去找包根目录下的是不是有module-info.java，然后通过一个Completor回调做下一个步骤的事件。
如果trees里含有module-info.java的编译JCCompilationUnit，就用它创建一个ModuleSymbol,然后负值给trees里的其它成员。
通过module.Completor做以下几件事：加载requires里早申明的module里exports的所有包，这就是这个Module所能用到的包。
把这个包以及它所exports里的类放到Symtab里的。(Symtab是事个编译器所有类型所在的一个HashMap)
检查是不是有循环引用的module.如果没找到module-info.java，那么这个module就一个unnamed的module,它所有的类可见与Java8之前的一样。
这部分其实也没有什么意思 ，但是引入了两个重要的概念可以在这里说一下：
JCTree.Visitor类，这是一个经典的Visitor模式，主要是为之后各种功能实现对JCTree的访问提供默认实现。关于Visitor模式，下面这篇讲得挺好的，我在这里就不赘述了。设计模式(Java)-Visitor模式_Java_zoinsung_lee的博客-CSDN博客blog.csdn.net
Modules里有两个内部类继承了JCTree.Visitor来集中实现对每一种AST节点的处理。Modules$ModuleVisitor和Modules$UsesProvidesVisitor，这两个类都只对Module相关的JCTree子类处理，如下图所示：
Modules本身也扩展了JCTree.Visitor但是没有扩展任何方法，所以它不会对任何树的结点处理。
另一个是com.sun.tools.javac.Symbol$Completer，它是在一个Symbol的一个completer属性上的一个回调。在不同的阶段赋值不同的Completer实现来做不同的事情。
2020年1月马智出了一本专门讲这个的书《深入解析Java编译器：源码剖析与实例详解》，基本上覆盖了所有的要点，所以专栏暂时不更新了，如果需要了解这方面的知识请翻阅这本书。