A programming model for deterministic task parallelism

Proceedings of the 2011 ACM SIGPLAN Workshop on Memory Systems Performance and Correctness, MSPC 2011

Volumn , Issue , 2011, Pages 7-12

  Pratikakis, Polyvios ^a   Vandierendonck, Hans ^b   Lyberis, Spyros ^c   Nikolopoulos, Dimitrios S ^c  

^a INSTITUTE OF COMPUTER SCIENCE   (Greece)

^b GHENT UNIVERSITY   (Belgium)

^c UNIVERSITY OF CRETE   (Greece)

Author keywords

cache coherency; deterministic parallelism; programming model; task parallelism

Indexed keywords

CACHE COHERENCY; CACHE COHERENCY PROTOCOL; DETERMINISTIC EXECUTION; DETERMINISTIC PARALLELISM; INTERLEAVINGS; MEMORY FOOTPRINT; MULTI-CORE PROCESSOR; MULTI-THREADED PROGRAMS; PARALLEL SOFTWARE; POSITION PAPERS; PROGRAMMING MODEL; PROGRAMMING MODELS; RUNTIME SYSTEMS; SHARED MEMORIES; SHARED MEMORY MODEL; TASK PARALLELISM;

DATA TRANSFER; JAVA PROGRAMMING LANGUAGE; MULTITASKING; PARALLEL PROCESSING SYSTEMS; PARALLEL PROGRAMMING;

MULTICORE PROGRAMMING;

EID: 79959999129     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1988915.1988918     Document Type: Conference Paper

References (30)

1. BLUMOFE, R. D., JOERG, C. F., KUSZMAUL, B. C., LEISERSON, C. E., RANDALL, K. H., AND ZHOU, Y. Cilk: an efficient multithreaded runtime system. In PPoPP '95: Fifth ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming.
2. BOCCHINO, JR., R. L., HEUMANN, S., HONARMAND, N., ADVE, S. V., ADVE, V. S., WELC, A., AND SHPEISMAN, T. Safe nondeterminism in a deterministic-by- default parallel language. In POPL '11: 38th annual ACM SIGPLAN-SIGACT symposium on Principles Of Programming Languages.
3. CHAMBERLAIN, B., CALLAHAN, D., AND ZIMA, H. Parallel programmability and the Chapel language. International Journal of High Performance Computing Applications (August 2007).
4. Chapel Language Specification 0.796. http://chapel.cray.com/spec/spec-0. 796.pdf, Oct. 2010.
5. CHARLES, P., GROTHOFF, C., SARASWAT, V., DONAWA, C., KIELSTRA, A., EBCIOGLU, K., VON PRAUN, C., AND SARKAR, V. X10: an object-oriented approach to non-uniform cluster computing. In OOPSLA '05: 20th annual ACM SIGPLAN conference on Object Oriented Programming, Systems, Languages, and Applications.
6. CHEREM, S., CHILIMBI, T., AND GULWANI, S. Inferring locks for atomic sections. In PLDI '08: Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation.
7. DAGUM, L., AND MENON, R. OpenMP: An industry-standard API for shared-memory programming. IEEE Computational Science and Engineering (January 1998).
8. DEVIETTI, J., LUCIA, B., CEZE, L., AND OSKIN, M. Dmp: deterministic shared memory multiprocessing. In ASPLOS '09: Proceeding of the 14th international conference on Architectural support for programming languages and operating systems.
9. DEVIETTI, J., NELSON, J., BERGAN, T., CEZE, L., AND GROSSMAN, D. RCDC: A relaxed consistency deterministic computer. In ASPLOS '11: Proceedings of the sixteenth international conference on Architectural Support for Programming Languages and Operating Systems.
10. ENCORE: ENabling technologies for a programmable many-CORE. http://www.encore-project.eu.
11. FATAHALIAN, K., HORN, D. R., KNIGHT, T. J., LEEM, L., HOUSTON, M., PARK, J. Y., EREZ, M., REN, M., AIKEN, A., DALLY, W. J., AND HANRAHAN, P. Sequoia: programming the memory hierarchy. In SC '06: Proceedings of the ACM/IEEE conference on Supercomputing.
12. FENG, M., GUPTA, R., AND HU, Y. Spicec: scalable parallelism via implicit copying and explicit commit. In PPoPP '11: Proceedings of the 16th ACM symposium on Principles and practice of parallel programming.
13. FENG, M., AND LEISERSON, C. E. Efficient detection of determinacy races in cilk programs. In SPAA '97: Proceedings of the ninth annual ACM Symposium on Parallel Algorithms and Architectures.
14. GORDON, M. I., THIES, W., KARCZMAREK, M., LIN, J., MELI, A. S., LAMB, A. A., LEGER, C., WONG, J., HOFFMANN, H., MAZE, D., AND AMARASINGHE, S. A stream compiler for communication-exposed architectures. In ASPLOS '02: Proceedings of the 10th international conference on Architectural Support for Programming Languages and Operating Systems.
15. GROSSMAN, D., MORRISETT, G., JIM, T., HICKS, M., WANG, Y., AND CHENEY, J. Region-based memory management in Cyclone. In PLDI '02: ACM SIGPLAN Conference on Programming Language Design and Implementation.
16. HANSON, D. R. Fast allocation and deallocation of memory based on object lifetimes. Software-Practice and Experience (January 1990).
17. HERLIHY, M., AND MOSS, J. E. B. Transactional memory: architectural support for lock-free data structures. In ISCA '93: 20th annual International Symposium on Computer Architecture.
18. HICKS, M., FOSTER, J. S., AND PRATIKAKIS, P. Lock inference for atomic sections. In TRANSACT '06: First ACM SIGPLAN Workshop on Languages Compilers, and Hardware Support for Transactional Computing.
19. LEE, E. A. The problem with threads. Computer 39, 5 (2006), 33-42.
20. OLSZEWSKI, M., ANSEL, J., AND AMARASINGHE, S. Kendo: efficient deterministic multithreading in software. In ASPLOS '09: Proceeding of the 14th international conference on Architectural support for programming languages and operating systems.
21. PEREZ, J., BADIA, R., AND LABARTA, J. A dependency-aware task-based programming environment for multi-core architectures. In ICCC '08: Proceedings of the IEEE International Conference on Cluster Computing.
22. PEREZ, J. P., BELLENS, P., BADIA, R. M., AND LABARTA, J. CellSs: making it easier to program the cell broadband engine processor. IBM Journal of Research and Development (September 2007), 593-604.
23. POULSEN, K. Tracking the blackout bug. http://www.securityfocus.com/news/ 8412, 2004.
24. REINDERS, J. Intel Threading Building Blocks, first ed. O'Reilly & Associates, Inc., Sebastopol, CA, USA, 2007.
25. The Real-Time Specification for Java. http://http://www.rtsj.org.
26. SANDHU, H. S., GAMSA, B., AND ZHOU, S. The shared regions approach to software cache coherence on multiprocessors. In PPoPP '93: Proceedings of the fourth ACM SIGPLAN symposium on Principles and Practice of Parallel Programming.
27. SARASWAT, V., BLOOM, B., PESHANSKY, I., TARDIEU, O., AND GROVE, D. X10 Language Specification v2.1. http://dist.codehaus.org/x10/documentation/ languagespec/x10-latest.pdf, Feb. 2011.
28. The Sequoia programming language. http://http://sequoia.stanford.edu.
29. SWAMY, N., HICKS, M., MORRISETT, G., GROSSMAN, D., AND JIM, T. Safe manual memory management in Cyclone. Science of Computer Programming (October 2006), 122-144.
30. TOFTE, M., AND TALPIN, J.-P. Region-based memory management. Information and Computation (1997), 109-176.