Managing performance vs. accuracy trade-offs with loop perforation

SIGSOFT/FSE 2011 - Proceedings of the 19th ACM SIGSOFT Symposium on Foundations of Software Engineering

Volumn , Issue , 2011, Pages 124-134

  Sidiroglou, Stelios ^a   Misailovic, Sasa ^a   Hoffmann, Henry ^a   Rinard, Martin ^a  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

Loop perforation; Profiling; Quality of service

Indexed keywords

AUDIO ENCODERS; CRITICAL LOOPS; DOMAIN SPECIFIC; LOOP PERFORATIONS; MONTE CARLO SIMULATION; PARETO-OPTIMAL; PROFILING; SPACE EXPLORATIONS; TESTING PHASE; TRADE OFF; TUNABLE LOOP;

COMPUTER SIMULATION; ECONOMIC AND SOCIAL EFFECTS; LEARNING ALGORITHMS; MONTE CARLO METHODS; QUALITY OF SERVICE; SOFTWARE ENGINEERING; SPACE RESEARCH;

COMMERCE;

EID: 80053213080     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2025113.2025133     Document Type: Conference Paper

References (39)

1. Xiph.org.
2. D. N. A. Asuncion. UCI machine learning repository, 2007.
3. E. Amigo, J. Gonzalo, and J. Artiles. A comparison of extrinsic clustering evaluation metrics based on formal constraints. In Information Retrieval Journal. Springer Netherlands, July 2008.
4. J. Ansel, C. Chan, Y. L. Wong, M. Olszewski, Q. Zhao, A. Edelman, and S. Amarasinghe. Petabricks: A language and compiler for algorithmic choice. In PLDI'09, Jun 2009.
5. W. Baek and T. Chilimbi. Green: a framework for supporting energy-conscious programming using controlled approximation. In PLDI'10, 2010.
6. C. Bienia, S. Kumar, J. P. Singh, and K. Li. The PARSEC benchmark suite: Characterization and architectural implications. In PACT'08, Oct 2008.
7. K. Brandenburg. MP3 and AAC explained. In AES 17th International Conference on High-Quality Audio Coding, 1999.
8. S. Chakradhar, A. Raghunathan, and J. Meng. Best-Effort Parallel Execution Framework for Recognition and Mining Applications. In IPDPS, 2009.
9. L. Chakrapani, K. Muntimadugu, A. Lingamneni, J. George, and K. Palem. Highly energy and performance efficient embedded computing through approximately correct arithmetic: A mathematical foundation and preliminary experimental validation. In International conference on Compilers, architectures and synthesis for embedded systems, 2008.
10. S. Chaudhuri, S. Gulwani, and R. Lublinerman. Continuity analysis of programs. In POPL'10.
11. S. Chaudhuri, S. Gulwani, R. Lublinerman, and S. Navidpour. Proving Programs Robust. In FSE'11, 2011.
12. J. Deutscher and I. Reid. Articulated body motion capture by stochastic search. International Journal of Computer Vision, 2005.
13. J. Flinn and M. Satyanarayanan. Energy-aware adaptation for mobile applications. In SOSP'99.
14. M. Frigo and S. G. Johnson. FFTW: An adaptive software architecture for the FFT. In Proc. 1998 IEEE Intl. Conf. Acoustics Speech and Signal Processing, pages 1381-1384.
15. J. Hartigan and M. Wong. A k-means clustering algorithm. Journal of the Royal Statistical Society C, 28:100-108, 1979.
16. H. Hoffmann, S. Misailovic, S. Sidiroglou, A. Agarwal, and M. Rinard. Using Code Perforation to Improve Performance, Reduce Energy Consumption, and Respond to Failures . Technical Report MIT-CSAIL-TR-2009-042, MIT, Sept. 2009.
17. H. Hoffmann, S. Sidiroglou, M. Carbin, S. Misailovic, A. Agarwal, and M. Rinard. Dynamic Knobs for Responsive Power-Aware Computing. In ASPLOS'11, March 2011.
18. M. Kalos and P. Whitlock. Monte Carlo Methods. Wiley-VCH, 2008.
19. P. Keleher, J. Hollingsworth, and D. Perkovic. Exposing application alternatives. In ICDCS'99.
20. C. Lattner and V. Adve. LLVM: A Compilation Framework for Lifelong Program Analysis & Transformation. In CGO'04.
21. J. Meng, A. A. Raghunathan, and S. B. Chakradhar. Exploiting the Forgiving Nature of Applications for Scalable Parallel Execution. In IPDPS, 2010.
22. S. Misailovic, D. Kim, and M. Rinard. Automatic Parallelization with Statistical Accuracy Bounds. Technical Report MIT-CSAIL-TR-2010-007, MIT, 2010.
23. S. Misailovic, D. Kim, and M. Rinard. Parallelizing Sequential Programs With Statistical Accuracy Test. Technical Report MIT-CSAIL-TR-2010-038, 2010.
24. S. Misailovic, D. Roy, and M. Rinard. Probabilistic and Statistical Analysis of Perforated Patterns. Technical Report MIT-CSAIL-TR-2011-003, MIT, 2011.
25. S. Misailovic, D. Roy, and M. Rinard. Probabilistically Accurate Program Transformations. In SAS'11, 2011.
26. S. Misailovic, S. Sidiroglou, H. Hoffmann, and M. Rinard. Quality of Service Profiling. In ICSE, 2010.
27. N. Nethercote and J. Seward. Valgrind A Program Supervision Framework. Electronic Notes in Theoretical Computer Science, 2003.
28. P. Pillai and K. Shin. Real-time dynamic voltage scaling for low-power embedded operating systems. In SOSP'01, page 102, 2001.
29. R. Ribler, J. Vetter, H. Simitci, and D. Reed. Autopilot: adaptive control of distributed applications. In High Performance Distributed Computing, July 1998.
30. M. Rinard. Using early phase termination to eliminate load imbalances at barrier synchronization points. In OOPSLA'07.
31. M. Rinard. Probabilistic accuracy bounds for fault-tolerant computations that discard tasks. In Proceedings of the 20th annual international conference on Supercomputing, 2006.
32. M. Rinard, H. Hoffmann, S. Misailovic, and S. Sidiroglou. Patterns and statistical analysis for understanding reduced resource computing. In Onward!'10.
33. J. Sorber, A. Kostadinov, M. Garber, M. Brennan, M. D. Corner, and E. D. Berger. Eon: a language and runtime system for perpetual systems. In SenSys'07.
34. P. Stanley-Marbell and D. Marculescu. Deviation-Tolerant Computation in Concurrent Failure-Prone Hardware. Technical Report ESR-2008-01, Eindhoven University of Technology, January 2008.
35. C. Tapus, I. Chung, and J. Hollingsworth. Active harmony: Towards automated performance tuning. In Supercomputing, ACM/IEEE 2002 Conference, 2002.
36. G. Wallace. The JPEG still picture compression standard. IEEE Transactions on Consumer Electronics, 1991.
37. R. Whaley and J. Dongarra. Automatically tuned linear algebra software. In ACM/IEEE conference on Supercomputing (CDROM).
38. x264. http://www.videolan.org/x264.html.
39. J. Xiong, J. Johnson, R. W. Johnson, and D. Padua. SPL: A language and compiler for DSP algorithms. In PLDI'01.