SLIDE 1
BEYOND OPTIMAL:
COMPILER BLACK MAGIC BASED ON EQUIVALENT EXCHANGE
ISAAC SHEFF
BEYOND OPTIMAL
Isaac Sheff Asmodeus “The Dwarf”
isheff@cs.cornell.edu ♑❦⏣@♈♒♈♊.☿♆ “the flask”
Asmodeus Isaac Sheff The Dwarf @ . isheff@cs.cornell.edu - - PowerPoint PPT Presentation
Asmodeus Isaac Sheff The Dwarf @ . isheff@cs.cornell.edu - - PowerPoint PPT Presentation
I SAAC S HEFF BEYOND OPTIMAL: COMPILER BLACK MAGIC BASED ON EQUIVALENT EXCHANGE BEYOND OPTIMAL Asmodeus Isaac Sheff The Dwarf @ . isheff@cs.cornell.edu the flask BACKGROUND COMPILERS SOURCE
SLIDE 2
SLIDE 3
BACKGROUND
COMPILERS
LEX PARSE SEMANTIC ANALYSIS SOURCE
Tokens AST
TRANSLATE OPTIMIZE
- attr. AST
IL
CODE GEN LINK EXEC
ASM
SLIDE 4
BACKGROUND
OPTIMIZE
▸ Unroll Loops ▸ Remove dead code ▸ End-tail recursion
SLIDE 5
BACKGROUND
OPTIMIZE
▸ Unroll Loops ▸ Remove dead code ▸ End-tail recursion ▸ “Super” optimize
SLIDE 6
BACKGROUND
CONSTRAINTS
▸ Semantics ▸ Runtime ▸ limited super optimization ▸ Composability ▸ limits whole-program analysis ▸ Target Hardware ▸ limited operations
SLIDE 7
BACKGROUND
CONSTRAINTS
▸ Math
SLIDE 8
BACKGROUND
PROVIDENCE, 2012
▸ Student Disappearances ▸ Abandoned Tunnel ▸ Basement of University Hall
SLIDE 9
BACKGROUND
PROVIDENCE, 2012
▸ Bricked up within building’s
walls
▸ Bound in human skin ▸ Aura of corruption ▸ Obscure and forbidding
runes
SLIDE 10
BACKGROUND
PROVIDENCE, 2012
▸ sacrifice the blood of the
innocent for both efficiency and security
▸ 3 human hearts ▸ 2 pounds flesh ▸ Extract of Nightshade ▸ Aura of Pestilence ▸ Stone carved with Elder Sign ▸ Defiled altar of the Elder Gods ▸ 1 goat
SLIDE 11
BACKGROUND
PROVIDENCE, 2012
▸ Edward Tremel, The Council of
Shadows et al. — SigSEGV, 2014
Chaos of the Abyss
Impossibly
- ptimized assembly
arithmetic
Group/Field
- perations
Elliptic Curve
- perations
Source
- f True
Random
RSA encrypt & decrypt
SLIDE 12
BACKGROUND
PROVIDENCE, 2012
▸ Edward Tremel, The Council of
Shadows et al. — SigSEGV, 2014
2 4 6 8 10 12 RSA Sign RSA Verify Group multiply Group pairing Total time (ms)Cryptography operations
Best current implementation Prototype CBC implementation SLIDE 13
BACKGROUND
PROVIDENCE, 2012
▸ Edward Tremel, The Council of
Shadows et al. — SigSEGV, 2014
▸ “Tentacle Monster” ▸ Channel to Abyss may not be as
stable as originally thought
▸ Chaos leaking into mortal plane ▸ Increased incidence of unholy
monstrosities in Providence area
SLIDE 14
BACKGROUND
PROVIDENCE, 2012
SLIDE 15
OBJECTIVE
SAFE CROSS-PLANE OPTIMIZATION
▸ Infinite potential planes of existence ▸ the quantums
SLIDE 16
OBJECTIVE
SAFE CROSS-PLANE OPTIMIZATION
▸ Infinite potential planes of existence ▸ the quantums ▸ Ancient Theology
SLIDE 17
OBJECTIVE
SAFE CROSS-PLANE OPTIMIZATION
▸ Infinite potential planes of existence ▸ the quantums ▸ Ancient Theology ▸ Modern Mapping Techniques
SLIDE 18
CONTRIBUTIONS
EQUIVALENT EXCHANGE
▸ To obtain, something of equal value
must be lost
SLIDE 19
CONTRIBUTIONS
EQUIVALENT EXCHANGE
▸ To obtain, something of equal value
must be lost
▸ Equality determined by “God”
SLIDE 20
CONTRIBUTIONS
EQUIVALENT EXCHANGE
▸ To obtain, something of equal value
must be lost
▸ Equality determined by “God” ▸ Constrains damage
SLIDE 21
CONTRIBUTIONS
TARGET LANGUAGE
▸ Alchemical symbols
SLIDE 22
CONTRIBUTIONS
TARGET LANGUAGE
▸ Alchemical symbols ▸ Some degree of specialized
hardware required
SLIDE 23
CONTRIBUTIONS
RUNTIME SACRIFICE
▸ Sacrifices range from 10 kJoules
to 18,922 human souls
▸ Sacrifice value bounded
AT COMPILE TIME
SLIDE 24
CONTRIBUTIONS
BLOODSTONE
▸ Type-safe compiler with compile-
time bounded runtime sacrifice
▸ True whole-program super-
- ptimization possible with compile-
time sacrifice
SLIDE 25
RESULTS
BLOODSTONE
Performance vs Optimal souls
SLIDE 26
CONTRIBUTIONS
FUTURE WORK
▸ High-value sacrifice ▸ other than souls ▸ Decrease compile-time sacrifice