Applying Compiler Techniques to Iterate At Blazing Speed
4 j'aime
vues
In this session, we will present real life applications of compiler techniques helping kaChing achieve ultra confidence and power its incredible 5 minutes commit-to-production cycle [1]. We'll talk about idempotency analysis [2], dependency detection, on the fly optimisations, automatic memoization [3], type unification [4] and more! This talk is not suitable for the faint-hearted... If you want to dive deep, learn about advanced JVM topics, devoure bytecode and see first hand applications of theoretical computer science, join us. [1] http://eng.kaching.com/2010/05/deployment-infrastructure-for.html [2] http://en.wikipedia.org/wiki/Idempotence [3] http://en.wikipedia.org/wiki/Memoization [4] http://eng.kaching.com/2009/10/unifying-type-parameters-in-java.html
Notes de l'éditeur
- A token is a string of characters, categorized according to the rules as a symbol.
- Abstract interpretation
- n compiler design, static single assignment form (often abbreviated as SSA form or simply SSA) is an intermediate representation (IR) in which every variable is assigned exactly once. Existing variables in the original IR are split into versions, new variables typically indicated by the original name with a subscript, so that every definition gets its own version
- In functional language compilers, such as those for Scheme, ML and Haskell, continuation-passing style (CPS) is generally used where one might expect to find SSA in a compiler for Fortran or C. SSA is formally equivalent to a well-behaved subset of CPS
- A token is a string of characters, categorized according to the rules as a symbol.
- A token is a string of characters, categorized according to the rules as a symbol.
- A token is a string of characters, categorized according to the rules as a symbol.
- A token is a string of characters, categorized according to the rules as a symbol.
- A token is a string of characters, categorized according to the rules as a symbol.
- Internal name of the method’s owner class, method’s name and method’s descriptor.
- Pretty tricky