Filters








31,649 Hits in 2.7 sec

Hybrid dynamic data race detection

Robert O'Callahan, Jong-Deok Choi
2003 Proceedings of the ninth ACM SIGPLAN symposium on Principles and practice of parallel programming - PPoPP '03  
We present a new method for dynamically detecting potential data races in multithreaded programs. Our method improves on the state of the art in accuracy, in usability, and in overhead.  ...  We enhance usability by reporting more information about detected races than any previous dynamic detector.  ...  Previous work on dynamic data race detectors focused on two approaches.  ... 
doi:10.1145/781527.781528 fatcat:2r5riqot5zeejkpwybqd62m3zi

Hybrid dynamic data race detection

Robert O'Callahan, Jong-Deok Choi
2003 SIGPLAN notices  
We present a new method for dynamically detecting potential data races in multithreaded programs. Our method improves on the state of the art in accuracy, in usability, and in overhead.  ...  We enhance usability by reporting more information about detected races than any previous dynamic detector.  ...  Previous work on dynamic data race detectors focused on two approaches.  ... 
doi:10.1145/966049.781528 fatcat:kmoixegv3nfi7lt7fli35si7zq

Hybrid dynamic data race detection

Robert O'Callahan, Jong-Deok Choi
2003 Proceedings of the ninth ACM SIGPLAN symposium on Principles and practice of parallel programming - PPoPP '03  
We present a new method for dynamically detecting potential data races in multithreaded programs. Our method improves on the state of the art in accuracy, in usability, and in overhead.  ...  We enhance usability by reporting more information about detected races than any previous dynamic detector.  ...  Previous work on dynamic data race detectors focused on two approaches.  ... 
doi:10.1145/781498.781528 dblp:conf/ppopp/OCallahanC03 fatcat:aiillvjvzfazhbmbi5735k4jx4

Hybrid Data Race Detection for Multicore Software

Alper Sen, Onder Kalaci
2018 Computing and informatics  
Ultimately, a hybrid data race detector can improve the performance and accuracy of data race detection, enhancing its usability in practice.  ...  Main dynamic data race detection techniques in the literature are happens-before and lockset algorithms which suffer from high execution time and memory overhead, miss many data races or produce a high  ...  Overview of our dynamic data race detection In Figure 1 , an overview of our dynamic data race detection is displayed.  ... 
doi:10.4149/cai_2018_1_186 fatcat:6z4clccamfchlelgenisjxeelu

Parallel Hybrid Testing Techniques for the Dual-Programming Models-Based Programs

Ahmed Mohammed Alghamdi, Fathy Elbouraey Eassa, Maher Ali Khamakhem, Abdullah Saad AL-Malaise AL-Ghamdi, Ahmed S. Alfakeeh, Abdullah S. Alshahrani, Ala A. Alarood
2020 Symmetry  
errors that cannot be detected by any compiler.  ...  Our tool integrated both static and dynamic testing techniques to create ACC_TEST and allowed us to benefit from the advantages of both techniques reducing overheads, enhancing system execution time, and  ...  Finally, GRace is also used to test the OpenCL programming model for detecting data race. All the previous testing tools used static/dynamic hybrid testing techniques to detect runtime errors.  ... 
doi:10.3390/sym12091555 doaj:357eb376d21d4cdabd7ec942dd5230ee fatcat:s43om3wibrbhba2u5f5xmc2z3y

Efficient Data-Race Detection with Dynamic Symbolic Execution

Andreas Ibing
2016 Proceedings of the 2016 Federated Conference on Computer Science and Information Systems  
This paper presents data race detection using dynamic symbolic execution and hybrid lockset / happens-before analysis.  ...  Data races are detected in concrete execution with available static binary instrumentation using hybrid analysis.  ...  This paper presents data race detection using dynamic symbolic execution and hybrid lockset / happens-before analysis.  ... 
doi:10.15439/2016f117 dblp:conf/fedcsis/Ibing16 fatcat:vcnh2e553nauno7g4vfu2mbgfu

ACC_TEST: Hybrid Testing Techniques for MPI-Based Programs

Abdullah Saad Almalaise Alghamdi, Ahmed Mohammed Alghamdi, Fathy Elbouraey Eassa, Maher Ali Khemakhem
2020 IEEE Access  
We decided to use hybrid-testing techniques by combining both static and dynamic testing techniques to gain the benefit of each and reduce the cost.  ...  The dynamic testing techniques detect errors by analyzing the source code during runtime, which will cause overheads, and this will affect the program's performance, especially when targeting massive parallel  ...  Figure 12 shows an error message indicating potential race condition, and further detection by our dynamic phase is needed.  ... 
doi:10.1109/access.2020.2994172 fatcat:u34qzbzoezgtbkgaiyiomq323e

Race directed random testing of concurrent programs

Koushik Sen
2008 SIGPLAN notices  
Bugs in multi-threaded programs often arise due to data races. Numerous static and dynamic program analysis techniques have been proposed to detect data races.  ...  We propose a novel randomized dynamic analysis technique that utilizes potential data race information obtained from an existing analysis tool to separate real races from false races without any need for  ...  For example, a hybrid dynamic race detection tool [37] reports 51 data races for tomcat, out of which 39 are false warnings.  ... 
doi:10.1145/1379022.1375584 fatcat:gibs6r4sq5gh3afboedhv3x37u

Race directed random testing of concurrent programs

Koushik Sen
2008 Proceedings of the 2008 ACM SIGPLAN conference on Programming language design and implementation - PLDI '08  
Bugs in multi-threaded programs often arise due to data races. Numerous static and dynamic program analysis techniques have been proposed to detect data races.  ...  We propose a novel randomized dynamic analysis technique that utilizes potential data race information obtained from an existing analysis tool to separate real races from false races without any need for  ...  For example, a hybrid dynamic race detection tool [37] reports 51 data races for tomcat, out of which 39 are false warnings.  ... 
doi:10.1145/1375581.1375584 dblp:conf/pldi/Sen08 fatcat:6qagpzhz7bcbxjy63uvubyo274

Detecting Thread-Safety Violations in Hybrid OpenMP/MPI Programs

Hongyi Ma, Liqiang Wang, Krishanthan Krishnamoorthy
2015 2015 IEEE International Conference on Cluster Computing  
We propose an approach by integrating static and dynamic program analyses to detect threadsafety violations in hybrid MPI/OpenMP programs.  ...  In the dynamic analysis, both happen-before and lockset-based race detection algorithms are used to detect races on these aforementioned shared variables.  ...  The paper [2] implemented the dynamic analysis method to detect the data races in multithreaded programs.  ... 
doi:10.1109/cluster.2015.70 dblp:conf/cluster/MaWK15 fatcat:pyle2q5p5vfkdh6hevhaojquuu

ACC_TEST: Hybrid Testing Approach for OpenACC Based Programs

Fathy E. Eassa, Ahmed M. Alghamdi, Seif Haridi, Maher A. Khemakhem, Abdullah S. Al-Ghamdi, Eesa A. Alsolmai
2020 IEEE Access  
In this paper, we enhance ACC_TEST with the ability to test OpenACC-based programs and detect runtime errors by using hybrid-testing techniques that enhance error coverage occurring in OpenACC as well  ...  INDEX TERMS OpenACC, OpenACC testing tool, hybrid-testing techniques, parallel programming, ACC_TEST.  ...  checking, as well as instrumenting data race and deadlock for further checking in the dynamic phase of our approach.  ... 
doi:10.1109/access.2020.2991009 fatcat:cfb3qehqenazpicqfljmwafuju

Parallel Hybrid Testing Tool for Applications Developed by Using MPI + OpenACC Dual-Programming Model

Ahmed Mohammed Alghamdi, Fathy Elbouraey Eassa
2019 Advances in Science, Technology and Engineering Systems  
The hybrid techniques combine static and dynamic testing techniques for detecting real and potential run-time errors by analyzing the source code and during run time.  ...  To solve this problem, we proposed a parallel hybrid testing tool for detecting run-time errors for systems implemented in C++ and MPI + OpenACC.  ...  More deadlock detection can be found in [19, 36] . Regarding detecting data race, a hybrid test-driven approach has been introduced in [35] to detect data race in task-parallel programs.  ... 
doi:10.25046/aj040227 fatcat:3zjjojw26nayzjjoc3boqqge2y

Identifying ad-hoc synchronization for enhanced race detection

Ali Jannesari, Walter F Tichy
2010 2010 IEEE International Symposium on Parallel & Distributed Processing (IPDPS)  
Happens-Before -Example 2 Race Detection -Doktorandentreffen 28. Nov 2007 13 Helgrind + ! Efficient hybrid dynamic race detector !  ...  Apparent races (e.g. DATA) ! Synchronization races (e.g. FLAG) ! Detectors should identify and suppress them ! We developed a dynamic method to detect ad-hoc synchronization !  ... 
doi:10.1109/ipdps.2010.5470343 dblp:conf/ipps/JannesariT10 fatcat:7z5jnov5t5bzhjqc6z6dicnu4e

An Integrated Framework for Checking Concurrency-Related Programming Errors

Qichang Chen, Liqiang Wang
2009 2009 33rd Annual IEEE International Computer Software and Applications Conference  
The experiments show that the hybrid approach is able to detect concurrency errors in unexecuted parts of the code compared to dynamic analysis, and produce fewer false alarms compared to static analysis  ...  Our current work is to design and implement a hybrid approach that integrates static and dynamic analyses to check concurrency-related programming errors more accurately and efficiently.  ...  Three of the most common concurrency errors are deadlock, data race and atomicity violation. Deadlock and data race are well-known and have been studied for a long time.  ... 
doi:10.1109/compsac.2009.105 dblp:conf/compsac/ChenW09 fatcat:3my3yu4cwrchfejb2dkm4roz2u

CalFuzzer: An Extensible Active Testing Framework for Concurrent Programs [chapter]

Pallavi Joshi, Mayur Naik, Chang-Seo Park, Koushik Sen
2009 Lecture Notes in Computer Science  
It first uses predictive off-the-shelf static or dynamic program analyses to identify potential concurrency bugs, such as data races, deadlocks, and atomicity violations.  ...  The framework currently implements three active testers based on data races, atomic blocks, and deadlocks.  ...  These utility classes are used in the hybrid race detection [4] and iGoodlock [3] algorithms; other user defined dynamic analyses could also use these classes.  ... 
doi:10.1007/978-3-642-02658-4_54 fatcat:n46tnwdgafa4hf6ujds67drx4e
« Previous Showing results 1 — 15 out of 31,649 results