|  | 
 | ijar: A tool for generating interface .jars from normal .jars | 
 | ============================================================= | 
 |  | 
 | Alan Donovan, 26 May 2007. | 
 |  | 
 | Rationale: | 
 |  | 
 |   In order to improve the speed of compilation of Java programs in | 
 |   Bazel, the output of build steps is cached. | 
 |  | 
 |   This works very nicely for C++ compilation: a compilation unit | 
 |   includes a .cc source file and typically dozens of header files. | 
 |   Header files change relatively infrequently, so the need for a | 
 |   rebuild is usually driven by a change in the .cc file.  Even after | 
 |   syncing a slightly newer version of the tree and doing a rebuild, | 
 |   many hits in the cache are still observed. | 
 |  | 
 |   In Java, by contrast, a compilation unit involves a set of .java | 
 |   source files, plus a set of .jar files containing already-compiled | 
 |   JVM .class files.  Class files serve a dual purpose: from the JVM's | 
 |   perspective, they are containers of executable code, but from the | 
 |   compiler's perspective, they are interface definitions.  The problem | 
 |   here is that .jar files are very much more sensitive to change than | 
 |   C++ header files, so even a change that is insignificant to the | 
 |   compiler (such as the addition of a print statement to a method in a | 
 |   prerequisite class) will cause the jar to change, and any code that | 
 |   depends on this jar's interface will be recompiled unnecessarily. | 
 |  | 
 |   The purpose of ijar is to produce, from a .jar file, a much smaller, | 
 |   simpler .jar file containing only the parts that are significant for | 
 |   the purposes of compilation.  In other words, an interface .jar | 
 |   file.  By changing ones compilation dependencies to be the interface | 
 |   jar files, unnecessary recompilation is avoided when upstream | 
 |   changes don't affect the interface. | 
 |  | 
 | Details: | 
 |  | 
 |   ijar is a tool that reads a .jar file and emits a .jar file | 
 |   containing only the parts that are relevant to Java compilation. | 
 |   For example, it throws away: | 
 |  | 
 |   - Files whose name does not end in ".class". | 
 |   - All executable method code. | 
 |   - All private methods and fields. | 
 |   - All constants and attributes except the minimal set necessary to | 
 |     describe the class interface. | 
 |   - All debugging information | 
 |     (LineNumberTable, SourceFile, LocalVariableTables attributes). | 
 |  | 
 |   It also sets to zero the file modification times in the index of the | 
 |   .jar file. | 
 |  | 
 | Implementation: | 
 |  | 
 |   ijar is implemented in C++, and runs very quickly.  For example | 
 |   (when optimized) it takes only 530ms to process a 42MB | 
 |   .jar file containing 5878 classes, resulting in an interface .jar | 
 |   file of only 11.4MB in size.  For more usual .jar sizes of a few | 
 |   megabytes, a runtime of 50ms is typical. | 
 |  | 
 |   The implementation strategy is to mmap both the input jar and the | 
 |   newly-created _interface.jar, and to scan through the former and | 
 |   emit the latter in a single pass. There are a couple of locations | 
 |   where some kind of "backpatching" is required: | 
 |  | 
 |   - in the .zip file format, for each file, the size field precedes | 
 |     the data.  We emit a zero but note its location, generate and emit | 
 |     the stripped classfile, then poke the correct size into the | 
 |     location. | 
 |  | 
 |   - for JVM .class files, the header (including the constant table) | 
 |     precedes the body, but cannot be emitted before it because it's | 
 |     not until we emit the body that we know which constants are | 
 |     referenced and which are garbage.  So we emit the body into a | 
 |     temporary buffer, then emit the header to the output jar, followed | 
 |     by the contents of the temp buffer. | 
 |  | 
 |   Also note that the zip file format has unnecessary duplication of | 
 |   the index metadata: it has header+data for each file, then another | 
 |   set of (similar) headers at the end.  Rather than save the metadata | 
 |   explicitly in some datastructure, we just record the addresses of | 
 |   the already-emitted zip metadata entries in the output file, and | 
 |   then read from there as necessary. | 
 |  | 
 | Notes: | 
 |  | 
 |   This code has no dependency except on the STL and on zlib. | 
 |  | 
 |   Almost all of the getX/putX/ReadX/WriteX functions in the code | 
 |   advance their first argument pointer, which is passed by reference. | 
 |  | 
 |   It's tempting to discard package-private classes and class members. | 
 |   However, this would be incorrect because they are a necessary part | 
 |   of the package interface, as a Java package is often compiled in | 
 |   multiple stages.  For example: in Bazel, both java tests and java | 
 |   code inhabit the same Java package but are compiled separately. | 
 |  | 
 | Assumptions: | 
 |  | 
 |   We assume that jar files are uncompressed v1.0 zip files (created | 
 |   with 'jar c0f') with a zero general_purpose_bit_flag. | 
 |  | 
 |   We assume that javap/javac don't need the correct CRC checksums in | 
 |   the .jar file. | 
 |  | 
 |   We assume that it's better simply to abort in the face of unknown | 
 |   input than to risk leaving out something important from the output | 
 |   (although in the case of annotations, it should be safe to ignore | 
 |   ones we don't understand). | 
 |  | 
 | TODO: | 
 |   Maybe: ensure a canonical sort order is used for every list (jar | 
 |   entries, class members, attributes, etc.)  This isn't essential | 
 |   because we can assume the compiler is deterministic and the order in | 
 |   the source files changes little.  Also, it would require two passes. :( | 
 |  | 
 |   Maybe: delete dynamically-allocated memory. | 
 |  | 
 |   Add (a lot) more tests.  Include a test of idempotency. |