Parallel programming must be deterministic by default

1st USENIX Workshop on Hot Topics in Parallelism, HotPar 2009

Volumn , Issue , 2009, Pages

  Bocchino, Robert L ^a   Adve, Vikram S ^a   Adve, Sarita V ^a   Snir, Marc ^a  

^a UNIVERSITY OF ILLINOIS AT URBANA CHAMPAIGN   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

PARALLEL PROGRAMMING;

ALIASING; DETERMINISTIC BEHAVIOR; NON-DETERMINISTIC CONSTRUCTS; NONDETERMINISTIC BEHAVIOR; PARALLEL PROGRAMMING MODEL; PROGRAMMING ERRORS; RESEARCH AGENDA;

OBJECT ORIENTED PROGRAMMING;

EID: 84924318954     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (24)

1. http://www.cilk.com/.
2. http://gee.cs.oswego.edu/dl/jsr166/dist/jsr166ydocs/jsr166y/forkjoin/package-summary.html.
3. http://research.microsoft.com/en-us/projects/tpl/.
4. http://dpj.cs.uiuc.edu.
5. M. D. Allen et al. Serialization sets: A dynamic dependence-based parallel execution model. PPOPP, 2009.
6. G. E. Blelloch. Programming parallel algorithms. CACM, 1996.
7. R. L. Bocchino, V. S. Adve, et al. A type and effect system for deterministic parallelismin object-oriented languages. Technical Report UIUCDCS-R-2009-3032, University of Illinois at Urbana-Champaign, 2009.
8. M. J. Bridges et al. Revisiting the sequential programming model for the multicore era. MICRO, 2008.
9. N. R. Cameron et al. Multiple ownership. OOPSLA, 2007.
10. J. Devietti et al. DMP: Deterministic Shared Memory Multiprocessing. In ASPLOS '09, 2009.
11. K. Kennedy and J. R. Allen. Optimizing Compilers for Modern Architectures: A Dependence-Based Approach. Morgan Kaufmann Publishers Inc., 2002.
12. M. Kulkarni et al. Optimistic parallelismrequires abstractions. PLDI, 2007.
13. E. A. Lee. The problem with threads. Computer, 2006.
14. H.-W. Loidl et al. Comparing parallel functional languages: Programming and performance. Higher Order Symbol. Comput., 2003.
15. J. M. Lucassen and D. K. Gifford. Polymorphic effect systems. POPL, 1988.
16. M. Metcalf and J. Reid. Fortran 90 Explained. Oxford University Press, 1992.
17. M. Olszewski et al. Kendo: Efficient Deterministic Multithreading in Software. In ASPLOS '09, 2009.
18. M. K. Prabhu and K. Olukotun. Using thread-level speculation to simplify manual parallelization. PPOPP, 2003.
19. J. Reinders. Intel Threading Building Blocks: Outfitting C++ for Multi-core Processor Parallelism. O'Reilly Media, 2007.
20. M. C. Rinard and M. S. Lam. The design, implementation, and evaluation of Jade. TOPLAS, 1998.
21. J. Steffan and T. Mowry. The potential for using threadlevel data speculation to facilitate automatic parallelization. HPCA, 1998.
22. Sun Microsystems, Inc. The Fortress language specification, version 1.0. Technical report, Sun Microsystems, Inc., 2008.
23. M. Vakilian et al. Inferring method effect summaries for deterministic parallel java. Technical Report UIUCDCS-R-2009-3038, University of Illinois at Urbana-Champaign, 2009.
24. A. Welc et al. Safe futures for Java. OOPSLA, 2005.