A lightweight in-place implementation for software thread-level speculation

作者: Cosmin E. Oancea , Alan Mycroft , Tim Harris

DOI: 10.1145/1583991.1584050

关键词:

摘要: … Under mis-speculation, we perform rollback recovery to a safe point: the end of the iteration … tion time cost, then, intuitively, the parallel execution resembles a k-stage pipeline, which is …

参考文章(28)
Silvius Rus, Lawrence Rauchwerger, Jay Hoeflinger, Hybrid analysis: static & dynamic memory reference analysis International Journal of Parallel Programming. ,vol. 31, pp. 251- 283 ,(2003) , 10.1023/A:1024597010150
Cosmin E. Oancea, Alan Mycroft, Set-Congruence Dynamic Analysis for Thread-Level Speculation (TLS) languages and compilers for parallel computing. pp. 156- 171 ,(2008) , 10.1007/978-3-540-89740-8_11
Per Stenström, Peter Rundberg, An All-Software Thread-Level Data Dependence Speculation System for Multiprocessors Journal of Instruction-level Parallelism. ,vol. 3, ,(2002)
Silvius Rus, Maikel Pennings, Lawrence Rauchwerger, Sensitivity analysis for automatic parallelization on multi-cores international conference on supercomputing. pp. 263- 273 ,(2007) , 10.1145/1274971.1275008
Susmit Sarkar, Peter Sewell, Francesco Zappa Nardelli, Scott Owens, Tom Ridge, Thomas Braibant, Magnus O. Myreen, Jade Alglave, The semantics of x86-CC multiprocessor machine code Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '09. ,vol. 44, pp. 379- 391 ,(2008) , 10.1145/1480881.1480929
François Masdupuy, Array abstractions using semantic analysis of trapezoid congruences international conference on supercomputing. pp. 226- 235 ,(1992) , 10.1145/143369.143414
S.S. Tse, A.W. Conigliam, S. Chaudhry, J. Chan, M. Tremblay, The MAJC architecture: a synthesis of parallelism and scalability IEEE Micro. ,vol. 20, pp. 12- 25 ,(2000) , 10.1109/40.888700
Vikram S. Adve, John Mellor-Crummey, Mark Anderson, Jhy-Chun Wang, Daniel A. Reed, Ken Kennedy, An Integrated Compilation and Performance Analysis Environment for Data Parallel Programs conference on high performance computing (supercomputing). ,vol. 2, pp. 50- 50 ,(1995) , 10.1145/224170.224340
Marcelo Cintra, Diego R. Llanos, Toward efficient and robust software speculative parallelization on multiprocessors acm sigplan symposium on principles and practice of parallel programming. ,vol. 38, pp. 13- 24 ,(2003) , 10.1145/781498.781501
Lawrence Rauchwerger, Nancy M. Amato, David A. Padua, A scalable method for run-time loop parallelization International Journal of Parallel Programming. ,vol. 23, pp. 537- 576 ,(1995) , 10.1007/BF02577866