Idempotent code generation: Implementation, analysis, and evaluation

Proceedings of the 2013 IEEE/ACM International Symposium on Code Generation and Optimization, CGO 2013

Volumn , Issue , 2013, Pages

  De Kruijf, Marc ^a   Sankaralingam, Karthikeyan ^b  

^a GOOGLE INC   (United States)

^b UNIVERSITY OF WISCONSIN MADISON   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CODE GENERATION; COMPILER DESIGN; IDEMPOTENT REGIONS; IMPACT PERFORMANCE; INSTRUCTION SET; RESEARCH TOOLS; RUN-TIME PERFORMANCE; SOFTWARE TECHNIQUES;

ALGORITHMS; NETWORK COMPONENTS; OPTIMIZATION; SEMANTICS;

PROGRAM COMPILERS;

EID: 84876946033     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CGO.2013.6495002     Document Type: Conference Paper

References (19)

1. DragonEgg-Using LLVM as a GCC backend. http://dragonegg. llvm. org.
2. iCompiler-LLVM Idempotent Code Generation. http://research. cs. wisc. edu/vertical/iCompiler.
3. A. V. Aho, M. S. Lam, R. Sethi, and J. D. Ullman. Compilers: Principles, Techniques, and Tools. Addison Wesley, 2nd edition, 2007.
4. C. Bienia. Benchmarking Modern Multiprocessors. PhD thesis, Princeton University, January 2011.
5. N. L. Binkert, R. G. Dreslinski, L. R. Hsu, K. T. Lim, A. G. Saidi, and S. K. Reinhardt. The M5 simulator: Modeling networked systems. IEEE Micro, 26:52-60, July 2006.
6. M. de Kruijf. Compiler Construction of Idempotent Regions and Applications in Architecture Design. PhD thesis, University of Wisconsin-Madison, 2012.
7. M. de Kruijf and K. Sankaralingam. Idempotent processor architecture. MICRO '11.
8. M. de Kruijf, K. Sankaralingam, and S. Jha. Static analysis and compiler design for idempotent processing. PLDI '12.
9. S. Feng, S. Gupta, A. Ansari, S. Mahlke, and D. August. Encore: Low-cost, fine-grained transient fault recovery. MICRO '11.
10. M. Hampton. Reducing Exception Management Overhead with Software Restart Markers. PhD thesis, Massachusetts Institute of Technology, 2008.
11. S. W. Kim, C.-L. Ooi, R. Eigenmann, B. Falsafi, and T. N. Vijaykumar. Exploiting reference idempotency to reduce speculative storage overflow. ACM Trans. Program. Lang. Syst. , 28:942-965, September 2006.
12. C. Lattner and V. Adve. LLVM: A compilation framework for lifelong program analysis & transformation. In CGO '04.
13. C.-K. Luk, R. Cohn, R. Muth, H. Patil, A. Klauser, G. Lowney, S. Wallace, V. J. Reddi, and K. Hazelwood. Pin: building customized program analysis tools with dynamic instrumentation. PLDI '05.
14. J. Menon, M. de Kruijf, and K. Sankaralingam. iGPU: exception support and speculative execution on GPUs. ISCA '12.
15. S. P. Midkiff. Automatic Parallelization: An Overview of Fundamental Compiler Techniques. Morgan & Claypool, 2012.
16. SPEC CPU2006, 2006. Standard Performance Evaluation Corporation.
17. J. A. Stratton, C. Rodrigues, I.-J. Sung, N. Obeid, and L.-W. Chang. Parboil: A revised benchmark suite for scientific and commercial throughput computing. IMPACT Technical Report, University of Illinois at Urbana-Champaign IMPACT-12-01, March 2012.
18. H.-W. Tseng and D. Tullsen. Data-triggered threads: Eliminating redundant computation. HPCA '11.
19. W. Zhang, M. de Kruijf, A. Li, S. Lu, and K. Sankaralingam. ConAir: Featherweight concurrency bug recovery via singlethreaded idempotent execution. In ASPLOS '13.