A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2005; you can also visit the original URL.
The file type is application/pdf.
Filters
LCM
1994
Proceedings of the sixth international conference on Architectural support for programming languages and operating systems - ASPLOS-VI
Preserved Fulltext
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
1994
ACM SIGOPS Operating Systems Review
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2005; you can also visit the original URL.
The file type is application/pdf.
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
1994
SIGPLAN notices
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2005; you can also visit the original URL.
The file type is application/pdf.
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]
2019
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Other Versions
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
1998
Proceedings of the SIGMETRICS symposium on Parallel and distributed tools - SPDT '98
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is application/pdf.
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
2009
Proceedings of the twenty-first annual symposium on Parallelism in algorithms and architectures - SPAA '09
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2010; you can also visit the original URL.
The file type is application/pdf.
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]
2018
Dependability Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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]
2001
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2010
Communications of the ACM
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2010; you can also visit the original URL.
The file type is application/pdf.
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
2009
Proceedings of the 28th ACM symposium on Principles of distributed computing - PODC '09
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2010; you can also visit the original URL.
The file type is application/pdf.
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
2016
Proceedings of the 7th International Workshop on Programming Models and Applications for Multicores and Manycores - PMAM'16
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2016
Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering - FSE 2016
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2009
Journal of Supercomputing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2009
2009 International Conference on Parallel and Distributed Computing, Applications and Technologies
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2009
Journal of Supercomputing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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