Filters








10,361 Hits in 16.1 sec

LCM

James R. Larus, Brad Richards, Guhan Viswanathan
1994 Proceedings of the sixth international conference on Architectural support for programming languages and operating systems - ASPLOS-VI  
Higher-1evel parallel programming languages can be difficult to implement efficiently on parallel machines.  ...  This paper shows how a flexible, compiler-controlled memory system can help achieve good performance for language constructs that previously appeared too costly to be practical.  ...  We would like to thank Sarita Adve, Anne Rogers, and Guy Steele for helpful comments on this research and earlier drafts of this paper.  ... 
doi:10.1145/195473.195545 dblp:conf/asplos/LarusRV94 fatcat:z2fkv74ejzb3nkkn6y6oqzkega

LCM

James R. Larus, Brad Richards, Guhan Viswanathan
1994 ACM SIGOPS Operating Systems Review  
Higher-1evel parallel programming languages can be difficult to implement efficiently on parallel machines.  ...  This paper shows how a flexible, compiler-controlled memory system can help achieve good performance for language constructs that previously appeared too costly to be practical.  ...  We would like to thank Sarita Adve, Anne Rogers, and Guy Steele for helpful comments on this research and earlier drafts of this paper.  ... 
doi:10.1145/381792.195545 fatcat:it5hbol65raa5cccvt2hry2vf4

LCM

James R. Larus, Brad Richards, Guhan Viswanathan
1994 SIGPLAN notices  
Higher-1evel parallel programming languages can be difficult to implement efficiently on parallel machines.  ...  This paper shows how a flexible, compiler-controlled memory system can help achieve good performance for language constructs that previously appeared too costly to be practical.  ...  We would like to thank Sarita Adve, Anne Rogers, and Guy Steele for helpful comments on this research and earlier drafts of this paper.  ... 
doi:10.1145/195470.195545 fatcat:zlbgc5bo5fcz3end42ukzmgf4i

LLOV: A Fast Static Data-Race Checker for OpenMP Programs [article]

Utpal Bora, Santanu Das, Pankaj Kureja, Saurabh Joshi, Ramakrishna Upadrasta, Sanjay Rajopadhye
2019 arXiv   pre-print
In the era of Exascale computing, writing efficient parallel programs is indispensable and at the same time, writing sound parallel programs is highly difficult.  ...  In this paper, we propose a fast, lightweight, language agnostic, and static data race checker for OpenMP programs based on the LLVM compiler framework.  ...  ] , provide built-in data race detection support.  ... 
arXiv:1912.12189v1 fatcat:yr3iah332jc6vl7ctfro5xj4ue

Protocol-based data-race detection

Brad Richards, James R. Larus
1998 Proceedings of the SIGMETRICS symposium on Parallel and distributed tools - SPDT '98  
An implementation of this approach in a DSM system running on a Thinking Machines CM-5 found data races in two of a set of five shared-memory benchmarks.  ...  This paper describes a new, transparent, protocol-based technique for automatically detecting data races on-the-fly.  ...  Acknowledgements The authors would like to thank Bart Miller, Rob Netzer, and the anonymous referees for their many helpful comments and suggestions on this work.  ... 
doi:10.1145/281035.281040 fatcat:455bdlytgjhtpml5dt2evgeuwe

Memory models

Sarita V. Adve
2009 Proceedings of the twenty-first annual symposium on Parallelism in algorithms and architectures - SPAA '09  
Aside from a few domains, most parallel programs are written using a shared-memory approach.  ...  Further, for scalable and efficient performance, hardware should be co-designed to take advantage of and support such disciplined models.  ...  We would particularly like to acknowledge the contributions of Mark Hill for co-developing the data-race-free approach and other foundational work, Kourosh Gharachorloo for hardware models, Jeremy Manson  ... 
doi:10.1145/1583991.1584005 dblp:conf/spaa/Adve09 fatcat:45mxqzrbtncpbkwdhkbrl3d2ei

Advances in Engineering Software for Multicore Systems [chapter]

Ali Jannesari
2018 Dependability Engineering  
Our approach efficiently reports detailed runtime data dependences. It accurately identifies opportunities for parallelism and the appropriate type of parallelism to use as task-based or loop-based.  ...  A contribution of this work is an efficient profiling method to determine the control and data dependences for performing parallelism discovery or other types of code analysis.  ...  For data races, our library-independent race detection approach [33] is applied to the generated parallel code for finding potential data races.  ... 
doi:10.5772/intechopen.72784 fatcat:rxkrgppehndvrnqzdafew3vfte

Analysis of Multithreaded Programs [chapter]

Martin Rinard
2001 Lecture Notes in Computer Science  
This paper surveys research in analysis for multithreaded programs, focusing on ways to improve the efficiency of analyzing interactions between threads, to detect data races, and to ameliorate the impact  ...  But multithreading is becoming increasingly important, both as a program structuring mechanism and to support efficient parallel computations.  ...  Sections 4 and 5 discuss data race detection for activity management programs and parallel computing programs, respectively.  ... 
doi:10.1007/3-540-47764-0_1 fatcat:rwavkysiwbcblen2hshcaw6weq

Memory models

Sarita V. Adve, Hans-J. Boehm
2010 Communications of the ACM  
Aside from a few domains, most parallel programs are written using a shared-memory approach.  ...  Further, for scalable and efficient performance, hardware should be co-designed to take advantage of and support such disciplined models.  ...  We would particularly like to acknowledge the contributions of Mark Hill for co-developing the data-race-free approach and other foundational work, Kourosh Gharachorloo for hardware models, Jeremy Manson  ... 
doi:10.1145/1787234.1787255 fatcat:d7hcky6p6rffde4qcyen3n5ky4

Memory models

Sarita V. Adve
2009 Proceedings of the 28th ACM symposium on Principles of distributed computing - PODC '09  
Aside from a few domains, most parallel programs are written using a shared-memory approach.  ...  Further, for scalable and efficient performance, hardware should be co-designed to take advantage of and support such disciplined models.  ...  We would particularly like to acknowledge the contributions of Mark Hill for co-developing the data-race-free approach and other foundational work, Kourosh Gharachorloo for hardware models, Jeremy Manson  ... 
doi:10.1145/1582716.1582718 dblp:conf/podc/Adve09 fatcat:micsz6zsjraxxjiz4jwpka64xe

Embedding Semantics of the Single-Producer/Single-Consumer Lock-Free Queue into a Race Detection Tool

Manuel F. Dolz, David del Rio Astorga, Javier Fernández, J. Daniel García, Félix García-Carballeira, Marco Danelutto, Massimo Torquati
2016 Proceedings of the 7th International Workshop on Programming Models and Applications for Multicores and Manycores - PMAM'16  
In this paper, we extend the ThreadSanitizer race detection tool in order to support semantics of the general Single-Producer/Single-Consumer (SPSC) lockfree parallel queue and to detect benign data races  ...  For example, the use of synchronization mechanisms in multithreaded applications is essential on shared-cache multi-core architectures.  ...  It pursues the use of high-level, platform-independent structured parallel programming patterns and gives support to develop portable and efficient applications for shared-memory (multi-/many-core, hybrid  ... 
doi:10.1145/2883404.2883406 dblp:conf/ppopp/DolzAFGCDT16 fatcat:tgkthe7ha5fbpiwccqetfstbze

Parallel data race detection for task parallel programs with locks

Adarsh Yoga, Santosh Nagarakatte, Aarti Gupta
2016 Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering - FSE 2016  
Unfortunately, prior data race detectors for task parallel programs either run the program serially or do not handle locks, and/or detect races only in the schedule observed by the analysis.  ...  To detect data races (beyond the observed schedule) in programs with branches sensitive to scheduling decisions, we propose static compiler instrumentation that records memory accesses that will be executed  ...  SPD3 with support for isolated blocks [36] and ALL-SETS [8] detect data races per-schedule in task parallel programs.  ... 
doi:10.1145/2950290.2950329 dblp:conf/sigsoft/YogaNG16 fatcat:56wpulveera2fnq3gp42o3t7me

Trasgo: a nested-parallel programming system

Arturo González-Escribano, Diego R. Llanos
2009 Journal of Supercomputing  
nested-parallel programming.  ...  In this work we present key features of the evolution of a programming system based on high-level, nestedparallel specifications.  ...  Acknowledgements This research was partly supported by the Ministerio de Educación y Ciencia, Spain  ... 
doi:10.1007/s11227-009-0367-5 fatcat:mgdu46kgnjepbjs5gm3pg2bzxe

Maotai 2.0: Data Race Prevention in View-Oriented Parallel Programming

K. Leung, Z. Huang, Q. Huang, P. Werstein
2009 2009 International Conference on Parallel and Distributed Computing, Applications and Technologies  
VOPP is a novel shared-memory data-centric parallel programming model, which uses views to bundle mutual exclusion with data access.  ...  This paper proposes a data race prevention scheme, which can prevent data races in the View-Oriented Parallel Programming (VOPP) model.  ...  In some shared memory parallel programming models [9, 24, 26] , there are reduction constructs for programmers to avoid data races in parallel for-loops.  ... 
doi:10.1109/pdcat.2009.12 dblp:conf/pdcat/LeungHHW09 fatcat:wbkolkuqebd4lgpp67vq24dyfm

Data race: tame the beast

K. Leung, Z. Huang, Q. Huang, P. Werstein
2009 Journal of Supercomputing  
VOPP is a novel shared-memory data-centric parallel programming model, which uses views to bundle mutual exclusion with data access.  ...  This paper proposes a data race prevention scheme, which can prevent data races in the View-Oriented Parallel Programming (VOPP) model.  ...  footprint can be "several times" the memory footprint of the original application [9] . • Race detectors can only detect data races for one given input of a program.  ... 
doi:10.1007/s11227-009-0370-x fatcat:44dtsrv55bflrcsxc52f47iamm
« Previous Showing results 1 — 15 out of 10,361 results