CAPSULE: Hardware-assisted parallel execution of component-based programs

Proceedings of the Annual International Symposium on Microarchitecture, MICRO

Volumn , Issue , 2006, Pages 247-258

  Palatin, Pierre ^a,d   Lhuillier, Yves ^b,c   Temam, Olivier ^a,d  

^a INRIA   (France)

^b UNIVERSITÉ PARIS SACLAY   (France)

^c CEA SACLAY   (France)

^d HiPEAC ^*

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER HARDWARE; CONTROL SYSTEMS; DATA STRUCTURES; PARALLEL PROCESSING SYSTEMS;

COMPLEX CONTROL FLOW; HARDWARE ASSISTED PARALLEL EXECUTION;

PROGRAM PROCESSORS;

EID: 40349113716     PISSN: 10724451     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/MICRO.2006.13     Document Type: Conference Paper

References (44)

1. E. Allen, D. Chase, V. Luchangco, J.-W. Maessen, S. Ryu, G. S. Jr., and S. Tobin-Hochstadt. The Fortress language specification., 2005.
2. R. Alverson, D. Callahan, D. Cummings, B. Koblenz, A. Porterfield, and B. Smith. The Tera computer system. In Proceedings of the 4th international conference on Supercomputing, pages 1-6. ACM Press, 1990.
3. P. An, A. Jula, S. Rus, S. Saunders, T. Smith, G. Tanase, N. Thomas, N. Amato, and L. Rauchwerger. STAPL: A Standard Template Adaptive Parallel C++ Library. In Int. Wkshp on Adv. Compiler Technology for High Perf. and Embedded Processors, page 10, July 2001.
4. H. Bal. Orca: a portable user-level shared object system, July 1996. Technical Report IR-408, Dept. of Mathematics and Computer Science, Vrije Universiteit, Amsterdam.
5. S. Balakrishnan and G. S. Sohi. Program demultiplexing: Data-flow based speculative parallelization of methos in sequential programs. In Proceedings of the 31st annual international symposium on Computer architecture, June 2006.
6. J. Bentley. Programming pearls: little languages. Commun. ACM, 29(8):711-721, 1986.
7. R. Blumofe and D. Dionisios. Hood: A user-level threads library for multiprogrammed multiprocessors, 1999. Technical Report, University of Texas at Austin.
8. R. Blumofe, C. Joerg, B. Kuszmaul, C. Leiserson, K. Randall, and Y. Zhou. Cilk: An efficient multithreaded runtime system. In Proceedings of the 5th Symposium on Principles and Practice of Parallel Programming, 1995.
9. P. Charles, C. Donawa, K. Ebcioglu, C. Grothoff, A. Kielstra, V. Saraswat, V. Sarkar, and C. V. Praun. X10: An object-oriented approach to non-uniform cluster computing. In Proceedings of the 20th ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications, pages 519-538. ACM SIGPLAN, 2005.
10. J. Chen, P. Juang, K. Ko, G. Contreras, D. Penry, R. Rangan, A. Stoler, L.-S. Peh, and M. Martonosi. Hardware-modulated parallelism in chip multiprocessors. SIGARCH Comput. Archit. News, Special Issue: Proc. of the dasCMP'05 Workshop, 33(4):54-63, 2005.
11. J.-L. Giavitto and O. Michel. MGS: a rule-based programming language for complex objects and collections. Electronic Notes in Theoretical Computer Science, 59(4), 2001.
12. F. Gruau, Y. Lhuillier, P. Reitz, and O. Temam. Blob computing. In Proceedings of the first conference on computing frontiers on Computing frontiers, pages 125-139. ACM Press, 2004.
13. M. H. Hall, S. P. Amarasinghe, B. R. Murphy, S.-W. Liao, and M. S. Lam. Detecting coarse-grain parallelism using an interprocedural parallelizing compiler. In Supercomputing '95: Proceedings of the 1995 ACM/IEEE conference on Supercomputing (CDROM), page 49, New York, NY, USA, 1995. ACM Press.
14. L. Hammond, V. Wong, M. Chen, B. D. Carlstrom, J. D. Davis, B. Hertzberg, M. K. Prabhu, H. Wijaya, C. Kozyrakis, and K. Olukotun. Transactional memory coherence and consistency. In Proceedings of the 31st Annual International Symposium on Computer Architecture, page 102. IEEE Computer Society, June 2004.
15. R. Hieb and R. K. Dybvig. Continuations and concurrency. In PPOPP '90: Proceedings of the second ACM SIGPLAN symposium on Principles & practice of parallel programming, pages 128-136, New York, NY, USA, 1990. ACM Press.
16. C. A. R. Hoare. Monitors: an operating system structuring concept. Commun. ACM, 17(10):549-557, October 1974.
17. J. Huselius. Debugging Parallel Systems: A State of the Art Report. Technical Report 63, Mälardalen University, Department of Computer Science and Engineering, Sept. 2002.
18. L. V. Kale and S. Krishnan. CHARM++ : A Portable Concurrent Object-Oriented System Based on C++. In A. Paepcke, editor, Proceedings of the Conference on Object Oriented Programming Systems, Languages and Applications (OOPSLA), pages 91-108. ACM Press, Sept. 1993.
19. H. Kim, O. Mutlu, Y. N. Patt, and J. Stark. Wish branches: Enabling adaptive and aggressive predicated execution. IEEE Micro, 26(1):48-58, 2006.
20. A. Krishnamurthy, D. E. Culler, A. Dusseau, S. C. Goldstein, S. Lumetta, T. von Eicken, and K. Yelick. Parallel programming in split-c. In Supercomputing '93: Proceedings of the 1993 ACM/IEEE conference on Supercomputing, pages 262-273, New York, NY, USA, 1993. ACM Press.
21. Y. Lhuillier, P. Palatin, and O. Temam. Ap+somt: Agent-programming combined with self-organized multithreading. In Workshop on Complexity-Effective Design, June 2004.
22. J. L. Lo, J. S. Emer, H. M. Levy, R. L. Stamm, D. M. Tullsen, and S. J. Eggers. Converting thread-level parallelism to instruction-level parallelism via simultaneous multithreading. ACM Trans. Comput. Syst., 15(3):322-354, 1997.
23. D. B.Loveman. High Performance Fortran. IEEE Parallel Distrib. Technol, 1(1):25-42, 1993.
24. J. R Martinez and J. Torrellas. Speculative synchronization: applying thread-level speculation to explicitly parallel applications. In ASPLOS-X: Proceedings of the 10th international conference on Architectural support for programming languages and operating systems, pages 18-29, New York, NY, USA, 2002. ACM Press.
25. L. McMurchie and C. Ebeling. Pathfinder: a negotiationbased performance-driven router for fpgas. In Proceedings of the 1995 ACM third international symposium on Field-programmable gate arrays, pages 111-117. ACM Press, 1995.
26. R Mueller. A library implementation of POSIX threads under Unix. In Proceedings of the Winter 1993 USENIX Technical Conference and Exhibition, pages 29-41, San Diego, CA, USA, 1993.
27. M. K. Prabhu and K. Olukotun. Exposing speculative thread parallelism in spec2000. In PPoPP '05: Proceedings of the tenth ACM SIGPLAN symposium on Principles and practice of parallel programming, pages 142-152, New York, NY, USA, 2005. ACM Press.
28. C. G. Quiñones, C. Madriles, J. Sánchez, P. Marcuello, A. González, and D. M. Tullsen. Mitosis compiler: An infrastructure for speculative threading based on precomputation slices. In PLDI '05: Proceedings of the ACM SIGPLAN 2004 conference on Programming language design and implementation. ACM Press, 2005.
29. A. Roth and G. Sohi. Speculative data-driven multithreading. In Proceedings of the 7th International Symposium on High-Performance Computer Architecture, pages 37-48. IEEE Computer Society, 2001.
30. K. Sankaralingam, R. Nagarajan, H. Liu, C. Kim, J. Huh, D. Burger, S. W. Keckler, and C. R. Moore. Exploiting
31. ILP, TLP, and DLP with the polymorphous TRIPS architecture. In Proceedings of the 30th annual international symposium on Computer architecture, pages 422-433. ACM Press, 2003.
32. A. Snavely, D. M. Tullsen, and G. Voelker. Symbiotic jobscheduling with priorities for a simultaneous multithreading processor. In Proceedings of the 2002 ACM SIGMETRICS international conference on Measurement and modeling of computer systems, pages 66-76. ACM Press, 2002.
33. J. G. Steffan, C. B. Colohan, A. Zhai, and T. C. Mowry. A scalable approach to thread-level speculation. In ISCA, pages 1-24, 2000.
34. S. Swanson, K. Michelson, A. Schwerin, and M. Oskin. Wavescalar. In Proceedings of the 36th Annual IEEE/ACM International Symposium on Microarchitecture, page 291. IEEE Computer Society, 2003.
35. C. Szyperski. Component Software: Beyond Object-Oriented Programming. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA, 2002.
36. M. Taylor, W. Lee, J. Miller, D. Wentzlaff, B. Greenwald, V. Strumpen, N. Shnidman, I. Bratt, H. Hoffmann, J. Kim, A. S. J. Psota, Jonathan, M. Frank, S. Amarasinghe, and A. Agarwal. Evaluation of the Raw Microprocessor: An exposed-wire-delay architecture for ILP and streams. In Proceedings of the 31st annual international symposium on Computer architecture. ACM Press, 2004.
37. W. Thies, M. Karczmarek, M. Gordon, D. Maze, J. Wong, H. Ho, M. Brown, and S. Amarasinghe. Streamlt: A compiler for streaming applications, December 2001. MIT-LCS Technical Memo TM-622, Cambridge, MA.
38. D. M. Tullsen, S. J. Eggers, J. S. Emer, H. M. Levy, J. L. Lo, and R. L. Stamm. Exploiting choice: instruction fetch and issue on an implementable simultaneous multithreading processor. In Proceedings of the 23rd annual International Symposium on Computer Architecture, pages 191-202. ACM Press, 1996.
39. D. M. Tullsen, S. J. Eggers, and H. M. Levy. Simultaneous multithreading: maximizing on-chip parallelism. In Proceedings of the 22nd annual International Symposium on Computer Architecture, pages 392-403. ACM Press, 1995.
40. D. M. Tullsen, J. L. Lo, S. J. Eggers, and H. M. Levy. Supporting fine-grained synchronization on a simultaneous multithreading processor. In Proceedings of the The Fifth International Symposium on High Performance Computer Architecture, page 54. IEEE Computer Society, 1999.
41. E. Tune, R. Kumar, D. Tullsen, and B. Calder. Balanced Multithreading: Increasing throughput via a low cost multithreading hierarchy. In Proceedings of the 37th annual ACMaEEE international symposium on Microarchitecture. IEEE Computer Society, Dec. 2004.
42. M. Ward. Language oriented programming. Software - Concepts and Tools, 15(4): 147-161, 1994.
43. A. J. Wellings, B. Johnson, B. Sanden, J. Kienzle, T. Wolf, and S. Michell. Integrating object-oriented programming and protected objects in ada 95. Ada Lett., XXII(2): 11-44, 2002.
44. C. Zilles and G. Sohi. Time-Shifted Modules: Exploiting Code Modularity for Fine Grain Parallelism. Technical Report TR1430, University of Wisconsin-Madison, Computer Sciences Dept., Oct 2001.