Parallel programming must be deterministic by default
作者： Vikram S. Adve , Robert L. Bocchino , Marc Snir , Sarita V. Adve
DOI:
关键词:
摘要: In today's widely used parallel programming models, subtle errors can lead to unintended nondeterministic behavior and hard catch bugs. contrast, we argue for a model that is deterministic by default: guaranteed unless the programmer explicitly uses constructs. This goal particularly challenging modern object-oriented languages with expressive use of reference aliasing updates shared mutable state. We propose broad research agenda in support this goal, describe some our own work further agenda.
decoy.iki.fi 
acm.org 参考文章(25)
John R. Allen, Ken Kennedy, Optimizing Compilers for Modern Architectures: A Dependence-based Approach ,(2001)
Rakesh Komuravelli, Danny Dig, Mohsen Vakilian, Vikram S. Adve, Stephen Heumann, Robert L. Bocchino, Hyojin Sung, Jeffrey Overbey, Patrick Simmons, A Type and Effect System for Deterministic Parallelism in Object-Oriented Languages ,(2009)
James Reinders, Intel threading building blocks : outfitting C++ for multi-core processor parallelism O'Reilly. ,(2007)
David A Bader, Kamesh Madduri, None, Design and Implementation of the HPCS Graph Analysis Benchmark on Symmetric Multiprocessors Lecture Notes in Computer Science. pp. 465- 476 ,(2005) , 10.1007/11602569_48
H.-W. Loidl, F. Rubio, N. Scaife, K. Hammond, S. Horiguchi, U. Klusik, R. Loogen, G.J. Michaelson, R. Peña, S. Priebe, Á.J. Rebón, P.W. Trinder, Comparing Parallel Functional Languages: Programming and Performance Higher-Order and Symbolic Computation archive. ,vol. 16, pp. 203- 251 ,(2003) , 10.1023/A:1025641323400
J.G. Steffan, T.C. Mowry, The potential for using thread-level data speculation to facilitate automatic parallelization high-performance computer architecture. pp. 2- 13 ,(1998) , 10.1109/HPCA.1998.650541
Wesley M. Johnston, J. R. Paul Hanna, Richard J. Millar, Advances in dataflow programming languages ACM Computing Surveys. ,vol. 36, pp. 1- 34 ,(2004) , 10.1145/1013208.1013209
Martin C. Rinard, Monica S. Lam, The design, implementation, and evaluation of Jade ACM Transactions on Programming Languages and Systems. ,vol. 20, pp. 483- 545 ,(1998) , 10.1145/291889.291893
John Reid, Michael Metcalf, Fortran 90 Explained ,(1990)
J. M. Lucassen, D. K. Gifford, Polymorphic effect systems symposium on principles of programming languages. pp. 47- 57 ,(1988) , 10.1145/73560.73564