Safe programmable speculative parallelism

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)

Volumn , Issue , 2010, Pages 50-61

  Prabhu, Prakash ^a   Ramalingam, Ganesan ^b   Vaswani, Kapil ^b  

^a PRINCETON UNIVERSITY   (United States)

^b MICROSOFT RESEARCH   (United States)

Author keywords

purity; rollback freedom; safety; speculative parallelism; value speculation

Indexed keywords

EMPIRICAL EVALUATIONS; LANGUAGE CONSTRUCTS; LOW LEVEL; OPERATIONAL SEMANTICS; PARALLELIZATIONS; RUNTIMES; SPECULATIVE COMPUTATION; SPECULATIVE EXECUTION; VALUE SPECULATION;

C (PROGRAMMING LANGUAGE); SEMANTICS;

LINGUISTICS;

EID: 77954746888     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1806596.1806603     Document Type: Conference Paper

References (25)

1. What's new in Beta 2 for the Task Parallel Library. In blogs.msdn.com, 2009.
2. Martín Abadi, Andrew Birrell, Tim Harris, and Michael Isard. Semantics of transactional memory and automatic mutual exclusion. In Proc. of POPL, pages 63-74, 2008.
3. Krste Asanovic, Rastislav Bodik, James Demmel, Tony Keaveny, Kurt Keutzer, John Kubiatowicz, Nelson Morgan, David Patterson, Koushik Sen, John Wawrzynek, David Wessel, and Katherine Yelick. A view of the parallel computing landscape. Communications of ACM, 2009.
4. Brian D. Carlstrom, Austen McDonald, Hassan Chafi, JaeWoong Chung, Chi Cao Minh, Christos Kozyrakis, and Kunle Olukotun. The atomos transactional programming language. SIGPLAN Not., 41(6):1-13, 2006.
5. Marcelo Cintra and Josep Torrellas. Eliminating squashes through learning cross-thread violations in speculative parallelization for multiprocessors. In Proc. of HPCA, page 43, Washington, DC, USA, 2002. IEEE Computer Society.
6. Chen Ding, Xipeng Shen, Kirk Kelsey, Chris Tice, Ruke Huang, and Chengliang Zhang. Software behavior oriented parallelization. In Proc. of PLDI, pages 223-234, 2007.
7. Tim Harris, Simon Marlow, Simon Peyton-Jones, and Maurice Herlihy. Composable memory transactions. In Proc. of PPoPP, pages 48-60, New York, NY, USA, 2005. ACM.
8. Christopher Grant Jones, Rose Liu, Leo Meyerovich, Krste Asanovic, and Rastislav Bodik. Parallelizing the web browser. In Proc. of HOTPAR, 2009.
9. Blake Kaplan. Speculative parsing patch. In bugzilla.mozilla.org, 2009.
10. Shmuel Tomi Klein and Yair Wiseman. Parallel huffman decoding with applications to jpeg files. Journal of Computing, 46(5):487-497, 2003.
11. Milind Kulkarni, Keshav Pingali, Bruce Walter, Ganesh Ramanarayanan, Kavita Bala, and L. Paul Chew. Optimistic parallelism requires abstractions. In PLDI, pages 211-222, 2007.
12. Butler W. Lampson. Lazy and speculative execution in computer systems. In Proc. of ICFP, pages 1-2, New York, NY, USA, 2008. ACM.
13. Mikko H. Lipasti, Christopher B. Wilkerson, and John Paul Shen. Value locality and load value prediction. In Proc. of ASPLOS, pages 138-147, 1996.
14. Daniel Luchaup, Randy Smith, Cristian Estan, and Somesh Jha. Multi-byte regular expression matching with speculation. In Proc. of RAID, pages 284-303, 2009.
15. Katherine F. Moore and Dan Grossman. High-level small-step operational semantics for transactions. In Proc. of POPL, pages 51-62, 2008.
16. Jeffrey T. Oplinger, David L. Heine, and Monica S. Lam. In search of speculative thread-level parallelism. In Proc. of PACT, page 303, Washington, DC, USA, 1999. IEEE Computer Society.
17. Carlos García Qui nones, Carlos Madriles, Jesús Sánchez, Pedro Marcuello, Antonio González, and Dean M. Tullsen. Mitosis compiler: an infrastructure for speculative threading based on precomputation slices. SIGPLAN Not., 40(6):269-279, 2005.
18. Easwaran Raman, Neil Vachharajani, Ram Rangan, and David I. August. Spice: speculative parallel iteration chunk execution. In Proc. of CGO, pages 175-184, 2008.
19. Alexandru Salcianu and Martin C. Rinard. Purity and side effect analysis for java programs. In Proc. of VMCAI, pages 199-215, 2005.
20. J. Gregory Steffan, Christopher B. Colohan, Antonia Zhai, and Todd C. Mowry. Improving value communication for thread-level speculation. In Proc. of HPCA, page 65, Washington, DC, USA, 2002. IEEE Computer Society.
21. Dean M. Tullsen and John S. Seng. Storageless value prediction using prior register values. In Proc. of ISCA, pages 270-279, 1999.
22. Christoph von Praun, Luis Ceze, and Calin Cascaval. Implicit parallelism with ordered transactions. In Proc. of PPoPP, pages 79-89, 2007.
23. G. Weikum and Gottfried Vossen. Transactional Information Systems: Theory, Algorithms, and the Practice of Concurrency Control and Recovery. Morgan Kaufmann, 2002.
24. Adam Welc, Suresh Jagannathan, and Antony Hosking. Safe futures for java. In Proc. of OOPSLA, pages 439-453, New York, NY, USA, 2005. ACM.
25. E. E. Witte, R. D. Chamberlain, and M. A. Franklin. Parallel simulated annealing using speculative computation. IEEE Trans. Parallel Distrib. Syst., 2(4):483-494, 1991.